141 search results - page 16 / 29 » A dynamic evaluation of the precision of static heap abstrac... |
CCR
2004
14 years 11 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
97
Voted
JCNS
2010
14 years 10 months ago
2010
Abstract Continuous attractor networks require calibration. Computational models of the head direction (HD) system of the rat usually assume that the connections that maintain HD n...
118
click to vote
GLOBECOM
2007
IEEE
15 years 6 months ago
2007
IEEE
— Although recent years provided many protocols for anonymous routing in overlay networks, they commonly rely on the same communication paradigm: Onion Routing. In Onion Routing ...
81
Voted
ICS
2003
Tsinghua U.
15 years 5 months ago
2003
Tsinghua U.
Recent work in low-latency, high-bandwidth communication systems has resulted in building user–level Network InControllers (NICs) and communication abstractions that support dir...
100
click to vote
IPPS
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--NABBIT is a work-stealing library for execution of task graphs with arbitrary dependencies which is implemented as a library for the multithreaded programming language Ci...