1810 search results - page 31 / 362 » Informational Macrodynamics: System Modelling and Simulation... |
DSRT
2005
IEEE
14 years 1 months ago
2005
IEEE
Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodolog...
ITC
2003
IEEE
14 years 1 months ago
2003
IEEE
Functional verification of complex designs largely relies on the use of simulation in conjunction high-level verification languages (HVL) and test-bench automation (TBA) tools. In...
CAISE
2003
Springer
14 years 29 days ago
2003
Springer
The consolidation of the Web as one of the most important ways to share and spread information has given raise to a huge amount of information systems for this media. This is the r...
FMICS
2009
Springer
14 years 2 months ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...
VLSID
2002
IEEE
14 years 8 months ago
2002
IEEE
This paper presents the applicability of a cosimulation methodology based on an object-oriented simulation environment, to multi-domain and multi-language systems design. This met...