10159 search results - page 316 / 2032 » System Design Validation Using Formal Models |
154
Voted
TCAD
2008
15 years 3 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...
113
Voted
MEMOCODE
2005
IEEE
15 years 9 months 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...
85
Voted
CANDC
2007
ACM
15 years 5 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...
147
Voted
BERTINORO
2005
Springer
15 years 9 months 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...
94
Voted
ATAL
2003
Springer
15 years 9 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...