433 search results - page 8 / 87 » FAST-EVP: An Engine Simulation Tool |
WSC
2007
13 years 9 months ago
2007
Conceptual models serve as abstractions of user’s perceptions of a system. The choice and detailing of these abstractions are key to model use and understanding for analyst and ...
ISQED
2005
IEEE
14 years 1 months ago
2005
IEEE
As the scale and complexity of VLSI circuits increase, Electronic Design Automation (EDA) tools become much more sophisticated and are held to increasing standards of quality. New...
ATVA
2009
Springer
13 years 11 months ago
2009
Springer
TAPAAL is a new platform independent tool for modelling, simulation and verification of timed-arc Petri nets. TAPAAL provides a stand-alone editor and simulator, while the verifica...
APSEC
2002
IEEE
14 years 14 days ago
2002
IEEE
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...
KBSE
2007
IEEE
14 years 1 months ago
2007
IEEE
Adoption of advanced automated SE (ASE) tools would be favored if a business case could be made that these tools are more valuable than alternate methods. In theory, software pred...