Autonomic networks are able to monitor and control themselves without direct human intervention. The smallest unit of an autonomic network is the autonomic element (AE). This work...
—This paper examines the process of customizing Particle sensors for use in a home energy monitoring project. Our developments affected sensor hardware, sensor software and data ...
Eric Harris, R. Krishna, D. Chalmers, Geraldine Fi...
This paper introduces a combination of models and proofs for optimal power management via Dynamic Frequency Scaling and Dynamic Voltage Scaling. The approach is suitable for syste...
Multimedia and communication algorithms from embedded system domain often make extensive use of floating-point arithmetic. Due to the complexity and expense of the floating-poin...
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...