544 search results - page 94 / 109 » Testing concurrent programs using value schedules |
72
Voted
ASPLOS
2010
ACM
15 years 4 months ago
2010
ACM
Data center power infrastructure incurs massive capital costs, which typically exceed energy costs over the life of the facility. To squeeze maximum value from the infrastructure,...
90
Voted
ICFP
1999
ACM
15 years 2 months ago
1999
ACM
Type dispatch constructs are an important feature of many programming languages. Scheme has predicates for testing the runtime type of a value. Java has a class cast expression an...
124
click to vote
CONCUR
1998
Springer
15 years 1 months ago
1998
Springer
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...
ECAI
2004
Springer
15 years 3 months ago
2004
Springer
Super solutions are a mechanism to provide robustness to constraint programs [10]. They are solutions in which, if a small number of variables lose their values, we are guaranteed ...
100
click to vote
WCRE
2002
IEEE
15 years 2 months ago
2002
IEEE
The University of Queensland Binary Translator (UQBT ) is a static binary translation framework that allows for the translation of binary, executable programs, from one architectu...