Programming support for multi-threaded applications on embedded microcontroller platforms has attracted a considerable amount of research attention in the recent years. This paper is focused on this problem, and presents UnStacked C, a source-to-source transformation that can translate multithreaded programs written in C into stackless continuations. The transformation can support legacy code by not requiring any changes to application code; only the underlying threading library needs modifications. We describe the details of UnStacked C in the context of the TinyOS operating system for wireless sensor network applications. We present a modified implementation of the TOSThreads library for TinyOS, and show how existing applications programm...
AbstractMost of the research effort towards verification of concurrent software has focused on multi...
Today the majority of embedded software is written in C or C++ using the thread paradigm. C and C++ ...
Event-driven operating systems such as TinyOS are the preferred choice for wireless sensor networks....
Programming support for multi-threaded applications on embedded microcontroller platforms has attrac...
Programming support for multi-threaded applications on embedded microcontroller platforms has attrac...
As embedded systems embrace ever more complicated microcontrollers, they present both new capability...
Over the last several years, large-scale wireless mote net-works have made possible the exploration ...
Abstract. The prevailing paradigm in the regime of resource-constrained embedded devices is event-dr...
Protothreads are a extremely lightweight, stackless threads designed for use in severely memory cons...
Event-driven programming is a popular model for writing programs for tiny embedded systems and senso...
Ten years after the Internet revolution are we standing on the brink of another revolution: networke...
In this paper we present the main results achieved with the implementation of an efficient multithre...
ManuscriptWe report our experience in implementing type and memory safety in an efficient manner for...
Multiprocessor system-on-chip (MPSoC) platforms have found their way into embedded systems. The reas...
Even though chip multiprocessors have emerged as the predominant organization for future microproces...
AbstractMost of the research effort towards verification of concurrent software has focused on multi...
Today the majority of embedded software is written in C or C++ using the thread paradigm. C and C++ ...
Event-driven operating systems such as TinyOS are the preferred choice for wireless sensor networks....
Programming support for multi-threaded applications on embedded microcontroller platforms has attrac...
Programming support for multi-threaded applications on embedded microcontroller platforms has attrac...
As embedded systems embrace ever more complicated microcontrollers, they present both new capability...
Over the last several years, large-scale wireless mote net-works have made possible the exploration ...
Abstract. The prevailing paradigm in the regime of resource-constrained embedded devices is event-dr...
Protothreads are a extremely lightweight, stackless threads designed for use in severely memory cons...
Event-driven programming is a popular model for writing programs for tiny embedded systems and senso...
Ten years after the Internet revolution are we standing on the brink of another revolution: networke...
In this paper we present the main results achieved with the implementation of an efficient multithre...
ManuscriptWe report our experience in implementing type and memory safety in an efficient manner for...
Multiprocessor system-on-chip (MPSoC) platforms have found their way into embedded systems. The reas...
Even though chip multiprocessors have emerged as the predominant organization for future microproces...
AbstractMost of the research effort towards verification of concurrent software has focused on multi...
Today the majority of embedded software is written in C or C++ using the thread paradigm. C and C++ ...
Event-driven operating systems such as TinyOS are the preferred choice for wireless sensor networks....