2488 search results - page 217 / 498 » An improvement in formal verification |
101
click to vote
EMSOFT
2007
Springer
15 years 7 months ago
2007
Springer
Flash memory is a storage medium that is becoming more and more popular. Though not yet fully embraced in traditional computing systems, Flash memory is prevalent in embedded syst...
116
click to vote
AMOST
2007
ACM
15 years 5 months ago
2007
ACM
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
119
click to vote
GECCO
2006
Springer
15 years 5 months ago
2006
Springer
Embedded systems are often used in a safety-critical context, e.g. in airborne or vehicle systems. Typically, timing constraints must be satisfied so that real-time embedded syste...
114
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
Multi-agent systems benefit greatly from an organization design that guides agents in determining when to communicate, how often, with whom, with what priority, and so on. However...
ICS
2005
Tsinghua U.
15 years 6 months ago
2005
Tsinghua U.
Performance simulation tools must be validated during the design process as functional models and early hardware are developed, so that designers can be sure of the performance of...