1071 search results - page 135 / 215 » Using Cell-DEVS for Modeling Complex Cell Spaces |
157
click to vote
SAMOS
2010
Springer
15 years 1 months ago
2010
Springer
—Instruction set simulators (ISS) are vital tools for compiler and processor architecture design space exploration and verification. State-of-the-art simulators using just-in-ti...
123
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
The methods used to establish PSPACE-bounds for modal logics can roughly be grouped into two classes: syntax driven methods establish that exhaustive proof search can be performed...
130
Voted
SIGGRAPH
1999
ACM
15 years 7 months ago
1999
ACM
We present a preprocessing algorithm and run-time system for rendering 3D geometric models at a guaranteed frame rate. Our approach trades off space for frame rate by using images...
134
Voted
APN
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In this work, we address the problem of transient and steadystate analysis of a stochastic Petri net which includes non Markovian distributions with a finite support but ...
125
Voted
WSC
1998
15 years 4 months ago
1998
This paper introduces the Visual Simulation Environment (VSE). VSE has been developed under research funding, primarily from the U.S. Navy for over a decade. It enables discrete-e...