433 search results - page 34 / 87 » FAST-EVP: An Engine Simulation Tool |
TACAS
1998
Springer
14 years 1 months ago
1998
Springer
This paper enables symbolic ternary simulation of systems with large embedded memories. Each memory array is replaced with a behavioral model, where the number of symbolic variable...
IMC
2003
ACM
14 years 2 months ago
2003
ACM
Available bandwidth estimation is useful for route selection in overlay networks, QoS verification, and traffic engineering. Recent years have seen a surge in interest in availab...
ICCD
2004
IEEE
14 years 6 months ago
2004
IEEE
Formal and dynamic (simulation, emulation, etc.) verification techniques are both needed to deal with the overall challenge of verification. Ideally, the same specification/tes...
BMCBI
2008
13 years 9 months ago
2008
Background: In the adaptive immune system, variable regions of immunoglobulin (IG) are encoded by random recombination of variable (V), diversity (D), and joining (J) gene segment...
RE
2004
Springer
14 years 3 months ago
2004
Springer
Requirements engineers need to make sure that the requirements models and specifications they are building do accurately capture what stakeholders really want. Requirements animat...