1133 search results - page 36 / 227 » Local Logics for Traces |
144
click to vote
HUC
2010
Springer
15 years 4 months ago
2010
Springer
Cell tower triangulation is a popular technique for determining the location of a mobile device. However, cell tower triangulation methods require the knowledge of the actual loca...
143
click to vote
ICS
2005
Tsinghua U.
15 years 10 months ago
2005
Tsinghua U.
As network traffic continues to increase and with the requirement to process packets at line rates, high performance routers need to forward millions of packets every second. Eve...
131
click to vote
SIGMETRICS
1991
ACM
15 years 8 months ago
1991
ACM
Prior to this work, all implementations of stack simulation [MGS70] required more than linear time to process an address trace. In particular these implementations are often slow ...
134
click to vote
CC
2010
Springer
15 years 11 months ago
2010
Springer
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...
178
click to vote
INFOCOM
2002
IEEE
15 years 9 months ago
2002
IEEE
—Caching is a popular technique for reducing both server load and user response time in distributed systems. In this paper, we consider the question of whether caching might be e...