137 search results - page 28 / 28 » An Approach to Reasoning About Continuous Change for Applica... |
MICRO
2007
IEEE
13 years 11 months ago
2007
IEEE
Program runtime characteristics exhibit significant variation. As microprocessor architectures become more complex, their efficiency depends on the capability of adapting with wor...
ISSTA
2004
ACM
13 years 10 months ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...