2057 search results - page 58 / 412 » Quadratic placement using an improved timing model |
TACAS
2005
Springer
15 years 5 months ago
2005
Springer
Shorter counterexamples are typically easier to understand. The length of a counterexample, as reported by a model checker, depends on both the algorithm used for state space explo...
TOG
2008
14 years 11 months ago
2008
Recent advances have brought real-time physically based simulation within reach, but simulations are still difficult to control in real time. We present interactive simulations of...
FORMATS
2003
Springer
15 years 5 months ago
2003
Springer
Testing is the primary software validation technique used by industry today, but remains ad hoc, error prone, and very expensive. A promising improvement is to automatically genera...
102
click to vote
ACSC
2004
IEEE
15 years 3 months ago
2004
IEEE
We have been investigating ways in which the performance of model elimination based systems can be improved and in this paper we present some of our results. Firstly, we have inve...
101
click to vote
WSC
2008
15 years 2 months ago
2008
This paper describes research that investigated the application of 3D Augmented Reality (AR) for animating traffic simulation models in real time to support the planning and desig...