1610 search results - page 4 / 322 » Model generation issues in a simulation support environment |
HASE
1997
IEEE
13 years 10 months ago
1997
IEEE
The testtng and valadatzon of formal speczficatzons of hzgh-assurance real-tzme systems repiizres a n ertenszble szniulatzon enrwonment wzth support for users to generate events, ...
SIGGRAPH
1997
ACM
13 years 10 months ago
1997
ACM
This paper describes the integration of the Berkeley Architectural Walkthrough Program with the National Institute of Standards and Technology’s CFAST fire simulator. The integ...
STTT
2010
13 years 4 months ago
2010
Tool support for the Java Modeling Language (JML) is a very pressing problem. A main issue with current tools is their architecture: the cost of keeping up with the evolution of Ja...
CODES
2009
IEEE
14 years 16 days ago
2009
IEEE
In this paper, we investigate the use of instruction set simulators (ISS) based on binary translation to accelerate full timed multiprocessor system simulation at transaction leve...
WSC
2000
13 years 7 months ago
2000
Despite the size and importance of the health care industry, simulation is less prevalent in health care than in other fields such as manufacturing, logistics, and military applic...