1886 search results - page 155 / 378 » Verifying and Validating Simulation Models |
101
click to vote
ASPLOS
2006
ACM
15 years 1 months ago
2006
ACM
Architects use cycle-by-cycle simulation to evaluate design choices and understand tradeoffs and interactions among design parameters. Efficiently exploring exponential-size desig...
WSC
2004
14 years 11 months ago
2004
This paper describes an approach to real-time decisionmaking for quality of service based scheduling of distributed asynchronous data replication. The proposed approach addresses ...
IROS
2007
IEEE
15 years 4 months ago
2007
IEEE
— Restoring mechanical energy lost by heel-strike collisions is necessary for stable gait generation. One principle to realize this is parametric excitation. Recently, Asano et a...
CAV
2006
Springer
15 years 1 months ago
2006
Springer
We describe a formal verification of a recent concurrent list-based set algorithm due to Heller et al. The algorithm is optimistic: the add and remove operations traverse the list ...
CAV
2001
Springer
15 years 2 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...