204 search results - page 23 / 41 » Abstract Simulators for the DSDE Formalism |
112
click to vote
FORMATS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Well-known hierarchies discriminate between the computational power of discrete time and space dynamical systems. A contrario the situation is more confused for dynamical...
108
click to vote
IRI
2005
IEEE
15 years 5 months ago
2005
IEEE
The development of applications for monitoring, control, simulation and diagnosis in the petroleum industry involves a multitude of complex software tools. These tools have their ...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Space is a spatial programming language designed to exploit the massive parallelism available in a formal model of computation called the Synchronic A-Ram, and physically related ...
139
click to vote
FAABS
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
FM
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...