10159 search results - page 316 / 2032 » System Design Validation Using Formal Models |
205
click to vote
TCAD
2008
15 years 6 months ago
2008
Abstract--Thermal issues are fast becoming major design constraints in high-performance systems. Temperature variations adversely affect system reliability and prompt worst-case de...
156
click to vote
MEMOCODE
2005
IEEE
16 years 9 days ago
2005
IEEE
In principle, bounded model checking (BMC) leads to semidecision procedures that can be used to verify liveness properties and to falsify safety properties. If the procedures fail...
131
click to vote
CANDC
2007
ACM
15 years 8 months ago
2007
ACM
Every musician who improvises has a unique musical vocabulary, which may be perceived in his or her compositions. In this paper, we explain our design of a computational model tha...
195
click to vote
BERTINORO
2005
Springer
16 years 8 days ago
2005
Springer
Current computing environments are becoming increasingly complex in nature and exhibit unpredictable workloads. These environments create challenges to the design of systems that c...
131
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
We show how it is possible to pair the NuSMV model checker with Akka, a software platform used to check validity of propositional modal formulas, to verify properties of multi-age...