2470 search results - page 79 / 494 » Liveness-Preserving Simulation Relations |
ISORC
2002
IEEE
15 years 5 months ago
2002
IEEE
ARTISST (ARTISST is a Real-Time System Simulation Tool) is a modular event-driven simulation framework for real-time systems. It is targeted towards the performance evaluation of ...
94
Voted
ICCS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper we introduce a numerical procedure for performing dynamic data driven simulations (DDDAS). The main ingredient of our simulation is the multiscale interpola...
ICCS
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, two tools are presented: an execution driven cache simulator which relates event metrics to a dynamically built-up call-graph, and a graphical front end able to visu...
104
Voted
MICCAI
2002
Springer
16 years 1 months ago
2002
Springer
Abstract. A novel interactive virtual needle insertion simulation is presented. The insertion model simulates three-degree-of-freedom needle motion, physically-based needle forces,...
103
Voted
WDAG
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Optimistic and nonblocking concurrent algorithms are increasingly finding their way into practical use; an important example is software transactional memory implementat...