4595 search results - page 699 / 919 » Reasoning about Plans |
ISSTA
2009
ACM
14 years 4 months ago
2009
ACM
Atomicity is a key correctness specification for multithreaded programs. Prior dynamic atomicity analyses include precise tools, which report an error if and only if the observed...
SIGCOMM
2009
ACM
14 years 4 months ago
2009
ACM
TCP Throughput Collapse, also known as Incast, is a pathological behavior of TCP that results in gross under-utilization of link capacity in certain many-to-one communication patt...
ICIW
2008
IEEE
14 years 4 months ago
2008
IEEE
—We previously proposed a meeting scheduling system based on mobile agent technology. The users of our system do not need to input all of their schedules unlike the existing grou...
IROS
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract— In their interactions with the world robots inevitably face equivalent action choices, situations in which multiple actions are equivalently applicable. In this paper, ...
ISCA
2008
IEEE
14 years 4 months ago
2008
IEEE
Architectures that exploit control independence (CI) promise to remove in-order fetch bottlenecks, like branch mispredicts, instruction-cache misses and fetch unit stalls, from th...