640 search results - page 117 / 128 » On Timed Simulation Relations for Hybrid Systems and Composi... |
DSD
2006
IEEE
14 years 1 months ago
2006
IEEE
We propose a power model for the Nostrum NoC. For this purpose an empirical power model of links and switches has been formulated and validated with the Synopsys Power Compiler. T...
ICNP
2006
IEEE
14 years 1 months ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
RTAS
2006
IEEE
14 years 1 months ago
2006
IEEE
Real-time media servers are becoming increasingly important as the Internet supports more and more multimedia applications. In order to meet these ever increasing demands, real-ti...
VRST
2004
ACM
14 years 27 days ago
2004
ACM
We have integrated technologies related to virtual social interaction, e.g. virtual environments, visual simulations, and lifelike characters. In our previous efforts to integrate...
IH
2004
Springer
14 years 26 days ago
2004
Springer
Abstract. Existing navigation services, such as GPS, offer no signalintegrity (anti-spoof) protection for the general public, especially not with systems for remote attestation of...