37 search results - page 8 / 8 » dsn 2002 |
205
click to vote
DSN
2002
IEEE
16 years 14 days ago
2002
IEEE
Concentration of design effort for current single-chip Commercial-Off-The-Shelf (COTS) microprocessors has been directed towards performance. Reliability has not been the primary ...
212
Voted
DSN
2002
IEEE
16 years 14 days ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...