The ease of deployment of battery-powered and mobile systems is pushing the network edge far from powered infrastructures. A primary challenge in building untethered systems is of...
Nilanjan Banerjee, Jacob Sorber, Mark D. Corner, S...
nce of computation has systematically abstracted away the physical world. Embedded software systems, however, engage the physical world. Time, concurrency, liveness, robustness, c...
In modern wireless communication systems, power control plays a fundamental role for efficient resource utilization, in particular in the systems where the users share the same ban...
Luigi Chisci, Romano Fantacci, Lorenzo Mucchi, Tom...
Many system-level design tasks (e.g. timing analysis, hardware/software partitioning and design space exploration) involve computational kernels that are intractable (usually NP-ha...
In this case study, we describe our use of ECT, a tool intended to simplify the design and development of network-spanning applications. We have used ECT throughout the course of ...
Stefan Rennick Egglestone, Andy Boucher, Tom Rodde...