Sciweavers

234 search results - page 47 / 47
» Theory of Optimal Control Using Bisimulations
Sort
View
EMSOFT
2006
Springer
13 years 9 months ago
An analysis framework for network-code programs
Distributed real-time systems require a predictable and verifiable mechanism to control the communication medium. Current real-time communication protocols are typically independe...
Madhukar Anand, Sebastian Fischmeister, Insup Lee
ATAL
2010
Springer
13 years 7 months ago
Aggregation-mediated collective perception and action in a group of miniature robots
We introduce a novel case study in which a group of miniaturized robots screen an environment for undesirable agents, and destroy them. Because miniaturized robots are usually end...
Grégory Mermoud, Loïc Matthey, William...
TCOM
2008
136views more  TCOM 2008»
13 years 6 months ago
Cross-layer adaptive transmission with incomplete system state information
We consider a point-to-point communication system in which data packets randomly arrive to a finite-length buffer and are subsequently transmitted to a receiver over a timevarying ...
Anh Tuan Hoang, Mehul Motani
EMSOFT
2010
Springer
13 years 4 months ago
Power-aware temporal isolation with variable-bandwidth servers
Variable-bandwidth servers (VBS) control process execution speed by allocating variable CPU bandwidth to processes. VBS enables temporal isolation of EDF-scheduled processes in th...
Silviu S. Craciunas, Christoph M. Kirsch, Ana Soko...