146 search results - page 30 / 30 » Monotonic Abstraction for Programs with Dynamic Memory Heaps |
127
Voted
COMPUTER
2002
15 years 3 months ago
2002
tail defines the level of abstraction used to implement the model's components. A highly detailed model will faithfully simulate all aspects of machine operation, whether or n...