2470 search results - page 97 / 494 » Liveness-Preserving Simulation Relations |
67
Voted
TASLP
2010
14 years 11 months ago
2010
—In this paper, a complete method for finite-difference time-domain modeling of rooms in 2-D using compact explicit schemes is presented. A family of interpolated schemes using ...
93
Voted
EWC
2007
15 years 17 days ago
2007
This paper describes and exercises a new design paradigm for cast components. The methodology integrates foundry process simulation, non-destructive evaluation (nde), stress analys...
113
click to vote
TOMACS
1998
15 years 8 days ago
1998
architectures at multiple levels of abstraction, encompassing both hardware and software. It has five modes of operation (Design, Model Validation, Build Simulation, Simulate Syste...
118
Voted
ISER
2000
Springer
15 years 4 months ago
2000
Springer
: This paper describes a virtual collaborative world simulator, DVECS (Distributed Virtual Environment Collaborative Simulator), for underwater robots and its underwater vehicle, S...
123
click to vote
SCA
2007
15 years 3 months ago
2007
We propose a flexible geometric algorithm for placing arbitrary cracks and incisions on tetrahedralized deformable objects. Although techniques based on remeshing can also accomm...