169 search results - page 28 / 34 » Last Conflict Based Reasoning |
137
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
A growing part of population is used to performing transactions on-line via the Internet, even in relationships to authorities. Not even the health care sector can escape this tre...
134
click to vote
ICDCS
2003
IEEE
15 years 10 months ago
2003
IEEE
In a system proposed by Plaxton, Rajaraman and Richa (PRR), the expected cost of accessing a replicated object was proved to be asymptotically optimal for a static set of nodes an...
149
click to vote
ISCA
2003
IEEE
15 years 10 months ago
2003
IEEE
Debuggers have been proven indispensable in improving software reliability. Unfortunately, on most real-life software, debuggers fail to deliver their most essential feature — a...
144
click to vote
ATAL
2006
Springer
15 years 9 months ago
2006
Springer
The challenge we address is to reason about projected resource usage within a hierarchical task execution framework in order to improve agent effectiveness. Specifically, we seek ...
188
click to vote
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
The most intuitive memory model for shared-memory multithreaded programming is sequential consistency (SC), but it disallows the use of many compiler and hardware optimizations th...