6740 search results - page 1113 / 1348 » Using Classification as a Programming Language |
186
Voted
PPOPP
2012
ACM
14 years 1 months ago
2012
ACM
We introduce the first binary search tree algorithm designed for speculative executions. Prior to this work, tree structures were mainly designed for their pessimistic (non-specu...
260
click to vote
VEE
2012
ACM
14 years 1 months ago
2012
ACM
Flexible and efficient runtime design requires an understanding of the dependencies among the components internal to the runtime and those between the application and the runtime...
215
click to vote
ISSTA
2012
ACM
13 years 8 months ago
2012
ACM
Swarm testing is a novel and inexpensive way to improve the diversity of test cases generated during random testing. Increased diversity leads to improved coverage and fault detec...
179
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
As Web sites are now ordinary products, it is necessary to explicit the notion of quality of a Web site. The quality of a site may be linked to the easiness of accessibility and a...
308
Voted
POPL
2009
ACM
16 years 7 months ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...