1133 search results - page 36 / 227 » Local Logics for Traces |
113
Voted
HUC
2010
Springer
15 years 26 days 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...
104
Voted
ICS
2005
Tsinghua U.
15 years 6 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...
99
Voted
SIGMETRICS
1991
ACM
15 years 4 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 ...
101
Voted
CC
2010
Springer
15 years 7 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...
139
click to vote
INFOCOM
2002
IEEE
15 years 5 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...