1133 search results - page 72 / 227 » Local Logics for Traces |
82
Voted
INFOCOM
1992
IEEE
15 years 4 months ago
1992
IEEE
The current Internet is based on a stateless (datagram) architecture. However, many recent proposals rely on the maintenance of state information within network routers, leading t...
110
click to vote
HUC
2010
Springer
14 years 11 months ago
2010
Springer
This paper introduces an algorithm that estimates the speed of a mobile phone by matching time-series signal strength data to a known signal strength trace from the same road. Kno...
109
Voted
TOG
2012
13 years 3 months ago
2012
Human hair is known to be very difficult to model or reconstruct. In this paper, we focus on applications related to portrait manipulation and take an application-driven approach...
104
click to vote
ICFP
2003
ACM
16 years 22 days ago
2003
ACM
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which conf...
118
click to vote
HPCA
2000
IEEE
15 years 5 months ago
2000
IEEE
Main memory accesses continue to be a significant bottleneck for applications whose working sets do not fit in second-level caches. With the trend of greater associativity in seco...