1522 search results - page 171 / 305 » Practical Exception Specifications |
137
click to vote
SIGSOFT
2010
ACM
14 years 8 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
123
click to vote
AIED
2011
Springer
14 years 5 months ago
2011
Springer
In this study, we designed and developed two educational games on mobile phones with support for speech-recognition to examine and train the cognitive underpinnings of word reading...
119
click to vote
DAC
2004
ACM
16 years 2 months ago
2004
ACM
To meet conflicting flexibility, performance and cost constraints of demanding signal processing applications, future designs in this domain will contain an increasing number of a...
133
click to vote
SRDS
1999
IEEE
15 years 6 months ago
1999
IEEE
Hybrid systems like computer-controlled chemical plants are typical safety critical distributed systems. In present practice, the safety of hybrid systems is guaranteed by hazard ...
140
click to vote
CAV
2004
Springer
15 years 5 months ago
2004
Springer
We study the problem of formally verifying shared memory multiprocessor executions against memory consistency models--an important step during post-silicon verification of multipro...