While the use of software component models has become popular in the development of desktop applications and distributed information systems, such models have not been widely used...
The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a c...
We describe the motivation and design of a novel embedded systems architecture for large networks of small devices, tha canonical example being wireless sensor networks. The archit...
Leakage energy consumption is an increasing concern in current and future CMOS technologygenerations. Procrastination scheduling, where task execution can be delayed to maximize t...
We build on PTIDES, a programming model for distributed embedded systems that uses discrete-event (DE) models as program specifications. PTIDES improves on distributed DE executi...