9210 search results - page 158 / 1842 » Analyzing Real-Time Systems |
VMCAI
2010
Springer
14 years 6 months ago
2010
Springer
We present uniform approaches to establish complexity bounds for decision problems such as reachability and simulation, that arise naturally in the verification of timed software s...
ICONS
2009
IEEE
14 years 3 months ago
2009
IEEE
The power saving is one of the important issue in the embedded systems. To reduce the consumption of the microprocessor of such a system, a way is to power down it when it is inac...
ICEIS
2008
IEEE
14 years 3 months ago
2008
IEEE
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
ECRTS
2006
IEEE
14 years 3 months ago
2006
IEEE