3238 search results - page 539 / 648 » On the Computational Interpretation of Negation |
178
click to vote
ISCA
2010
IEEE
15 years 11 months ago
2010
IEEE
Over the past decade there has been a surge of academic and industrial interest in optimistic concurrency, i.e. the speculative parallel execution of code regions that have the se...
191
click to vote
WCRE
2002
IEEE
15 years 11 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...
158
click to vote
CHI
2009
ACM
15 years 11 months ago
2009
ACM
We build on our prior work with computer-supported teams performing a complex decision-making task on maps, where the distinction between content and process common ground is prop...
185
click to vote
MIG
2009
Springer
15 years 11 months ago
2009
Springer
There are various techniques for simulating crowds, however, in most cases the quality of the simulation is measured by examining its “look-and-feel”. Even if the aggregate mov...
163
click to vote
OOPSLA
2001
Springer
15 years 10 months ago
2001
Springer
Checking pre- and post-conditions of procedures and methods at runtime helps improve software reliability. In the procedural world, pre- and post-conditions have a straightforward...