640 search results - page 108 / 128 » On Timed Simulation Relations for Hybrid Systems and Composi... |
ROBIO
2006
IEEE
14 years 1 months ago
2006
IEEE
- SuperMedia provides human operators rich environmental information, thus providing telepresence and enhances efficiency of operation. However, coupling human with the remote envi...
PACS
2000
Springer
13 years 11 months ago
2000
Springer
Power dissipation is a major concern not only for portable systems, but also for high-performance systems. In the past, energy consumption and processor heating was reduced mainly...
CODES
2003
IEEE
14 years 25 days ago
2003
IEEE
In the Sesame framework, we develop a modeling and simulation environment for the efficient design space exploration of heterogeneous embedded systems. Since Sesame recognizes se...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— In this paper we study the problem of dynamic optimization of ping schedule in an active sonar buoy network deployed to provide persistent surveillance of a littoral area throu...
IUI
2006
ACM
14 years 1 months ago
2006
ACM
Automated software customization is drawing increasing attention as a means to help users deal with the scope, complexity, potential intrusiveness, and ever-changing nature of mod...