97 search results - page 20 / 20 » Source Code Files as Structured Documents |
COMPUTER
2002
13 years 4 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...
ISSTA
2012
ACM
11 years 6 months ago
2012
ACM
Multithreaded programs are notoriously prone to unintended interference between concurrent threads. To address this problem, we argue that yield annotations in the source code sho...