932 search results - page 68 / 187 » Verifying Progress in Timed Systems |
127
Voted
ISSS
2000
IEEE
15 years 8 months ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
106
Voted
DEXAW
2004
IEEE
15 years 7 months ago
2004
IEEE
In this research, we investigated the everyday life of inpatients in a hospital. We found that family members want to meet with inpatients even if they are very busy with their wo...
139
click to vote
ICONS
2008
IEEE
15 years 10 months ago
2008
IEEE
Missing or faulty exception handling has caused a number of spectacular system failures and is a major cause of software failures in extensively tested critical systems. Prior wor...
136
Voted
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
We introduce a type system based on intervals, objects representing the time in which a block of code will execute. The type system can verify time-based properties such as when a...
139
click to vote
ISQED
2002
IEEE
15 years 8 months ago
2002
IEEE
All synchronous CMOS integrated systems have to pay some sequencing overhead. This overhead includes the skew and the jitter of the clock. It also includes the setup time and the ...