2042 search results - page 120 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
SIMPRA
2010
13 years 7 months ago
2010
Integrated performance simulation of buildings and heating, ventilation and airconditioning (HVAC) systems can help reducing energy consumption and increasing occupant comfort. Ho...
ICCAD
2001
IEEE
14 years 6 months ago
2001
IEEE
This paper presents a new methodology for system-level power and performance analysis of wireless multimedia systems. More precisely, we introduce an analytical approach based on ...
HASE
1998
IEEE
14 years 1 months ago
1998
IEEE
Fault trees provide a graphical and logical framework for analyzing the reliability of systems. A fault tree provides a conceptually simple modeling framework to represent the sys...
REX
1991
14 years 17 days ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
SECON
2010
IEEE
13 years 7 months ago
2010
IEEE
Reliability and predictability of the timing behavior have shown to be major issues for wireless sensor network deployments. Real-time requirements presented by several application...