204 search results - page 38 / 41 » Abstract Simulators for the DSDE Formalism |
113
click to vote
GLVLSI
2007
IEEE
15 years 3 months ago
2007
IEEE
he abstract and simple computation and communication mechanism in the synchronous computational model it is easy to simulate synchronous systems and to apply formal verification m...
131
click to vote
DILS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Ecologists spend considerable effort integrating heterogeneous data for statistical analyses and simulations, for example, to run and test predictive models. Our research...
CLIMA
2007
15 years 23 days ago
2007
Abstract. In this paper we are concerned with proposing, analyzing and implementing simple, yet flexible, constructs for multi-agent programming. In particular, we wish to extend ...
CCGRID
2010
IEEE
15 years 13 days ago
2010
IEEE
Abstract--Reducing energy consumption for high end computing can bring various benefits such as, reduce operating costs, increase system reliability, and environment respect. This ...
106
click to vote
FSKD
2010
Springer
15 years 12 days ago
2010
Springer
Abstract--Worldwide health scientists are producing, accessing, analyzing, integrating, and storing massive amounts of digital medical data daily, through observation, experimentat...