626 search results - page 70 / 126 » Closing the Gap Between Software Modelling and Code |
CSL
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
CLEIEJ
1998
13 years 8 months ago
1998
Parallel disk I/O subsystems are becoming more important in today’s large-scale parallel machines. Parallel disk systems provide a significant boost in I/O performance reducing ...
ICDE
2007
IEEE
14 years 27 days ago
2007
IEEE
In smart item environments, multitude of sensors are applied to capture data about product conditions and usage to guide business decisions as well as production automation proces...
BRAIN
2010
Springer
13 years 5 months ago
2010
Springer
Biologically realistic modeling has been greatly facilitated by the development of neuro-simulators, and the development of simulatorindependent formats for model exchange is the s...
SIGSOFT
2003
ACM
14 years 9 months ago
2003
ACM
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...