794 search results - page 156 / 159 » Evaluation of Assertion Support for the Java Programming Lan... |
178
Voted
ASPLOS
2012
ACM
13 years 10 months ago
2012
ACM
Future microprocessors need low-cost solutions for reliable operation in the presence of failure-prone devices. A promising approach is to detect hardware faults by deploying low-...
122
Voted
ASPLOS
2010
ACM
15 years 9 months ago
2010
ACM
A large number of user requests execute (often concurrently) within a server system. A single request may exhibit fluctuating hardware characteristics (such as instruction comple...
121
Voted
PLDI
2000
ACM
15 years 7 months ago
2000
ACM
We describe the design and implementation of Dynamo, a software dynamic optimization system that is capable of transparently improving the performance of a native instruction stre...
155
Voted
ISCA
2012
IEEE
13 years 5 months ago
2012
IEEE
Data-race freedom is a valuable safety property for multithreaded programs that helps with catching bugs, simplifying memory consistency model semantics, and verifying and enforci...
130
Voted
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...