2470 search results - page 141 / 494 » Liveness-Preserving Simulation Relations |
125
Voted
ENTCS
2008
15 years 4 months ago
2008
This paper presents the language Lutin and its operational semantics. This language specifically targets the domain of reactive systems, where an execution is a (virtually) infini...
163
click to vote
CVGIP
2006
15 years 4 months ago
2006
In this paper, we detail an anatomically inspired, physically based model of the human torso designed for the visual simulation of respiration using a mixed system of rigid and de...
115
click to vote
IJHPCA
2008
15 years 4 months ago
2008
We present a speculative extrapolation of the performance aspects of an atmospheric general circulation model to ultra-high resolution and describe alternative technological paths...
126
click to vote
CCE
2007
15 years 4 months ago
2007
For systems where exact constitutive relations are unknown, a microscopic level description can be alternatively used. As microscopic simulations are computationally expensive, th...
116
click to vote
NN
2006
Springer
15 years 4 months ago
2006
Springer
The Vector Integration to Endpoint (VITE) circuit describes a real-time neural network model simulating behavioral and neurobiological properties of planned arm and hand movements...