640 search results - page 66 / 128 » On Timed Simulation Relations for Hybrid Systems and Composi... |
PRESENCE
2007
13 years 7 months ago
2007
We describe a methodology for Virtual Reality designers to capture and resynthesize the variations in sound made by objects when we interact with them through contact such as touc...
BMCBI
2008
13 years 7 months ago
2008
Background: The topology of signaling cascades has been studied in quite some detail. However, how information is processed exactly is still relatively unknown. Since quite divers...
DATE
2007
IEEE
14 years 2 months ago
2007
IEEE
Solid frameworks and toolkits for design and analysis of embedded systems are of high importance, since they enable early reasoning about critical properties of a system. This pap...
ISPASS
2007
IEEE
14 years 1 months ago
2007
IEEE
— The design trend towards CMPs has made the simulation of multiprocessor systems a necessity and has also made multiprocessor systems widely available. While a serial multiproce...
RTAS
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...