12050 search results - page 445 / 2410 » Modeling and Simulation |
183
click to vote
ISBI
2006
IEEE
16 years 8 days ago
2006
IEEE
We describe the goals and proposed design for SimTK, part of the NIH-supported Simbios National Center for Biomedical Computing. SimTK (Simulation ToolKit) will enable biomedical ...
187
click to vote
WSC
1997
15 years 7 months ago
1997
Parallel discrete event simulation systems (PDES) are used to simulate large-scale applications such as modeling telecommunication networks, transportation grids, and battlefield...
185
click to vote
PADS
2005
ACM
15 years 11 months ago
2005
ACM
ct This paper provides an overview of the WarpIV Simulation Kernel that was designed to be an initial implementation of the Standard Simulation Architecture (SSA). WarpIV is the ne...
149
click to vote
FOSSACS
2010
Springer
16 years 22 days ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
195
click to vote
ICAT
2006
IEEE
16 years 9 days ago
2006
IEEE
Abstract. In this paper, MM-Model is presented for real-time simulation of 3D deformable objects on both global level and local region. This model consists of a deformable centerli...