1163 search results - page 27 / 233 » Case Studies of Model Checking for Embedded System Designs |
124
click to vote
CODES
2006
IEEE
15 years 8 months ago
2006
IEEE
Process variability has a detrimental impact on the performance of memories and other system components, which can lead to parametric yield loss at the system level due to timing ...
118
click to vote
ICST
2008
IEEE
15 years 8 months ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
106
Voted
WSC
1998
15 years 3 months ago
1998
The application of simulation as a performance estimation tool in automated material handling system design is well documented, as is the amount of time required to build, debug, ...
121
Voted
SSS
2010
Springer
14 years 11 months ago
2010
Springer
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
102
Voted
BIRTHDAY
2007
Springer
15 years 8 months ago
2007
Springer
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...