3156 search results - page 68 / 632 » An address translation simulator |
TACAS
1998
Springer
15 years 2 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...
DATE
1999
IEEE
15 years 2 months ago
1999
IEEE
This paper addresses the problem of efficient functional simulation of synchronous digital systems. A technique based on the use of Decision Diagrams (DD) for representing the fun...
WSC
1998
14 years 11 months ago
1998
This paper focuses on the practical value of using and selecting rail simulation models to find real solutions to real problems in constrained traffic corridors. It discusses issu...
MABS
2007
Springer
15 years 3 months ago
2007
Springer
This paper contributes to the analysis of the question how altruistic behaviour can be in an agent’s own interest. The question is addressed by involving a temporal dimension in ...
WAPCV
2004
Springer
15 years 3 months ago
2004
Springer
A number of computational models of visual attention exist, but making comparisons is difficult due to the incompatible implementations and levels at which the simulations are con...