20197 search results - page 3797 / 4040 » Comparing Computational Power |
108
click to vote
LAWEB
2003
IEEE
15 years 6 months ago
2003
IEEE
Streaming media applications are becoming more popular on the late years, as for example, news transmitted live through the web, music, show, and films. Traditional client/server...
132
click to vote
IMC
2003
ACM
15 years 6 months ago
2003
ACM
In this paper, we consider the problem of how to represent the locations of Internet hosts in a Cartesian coordinate system to facilitate estimate of the network distance between ...
114
Voted
PLDI
2003
ACM
15 years 6 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
110
click to vote
PPOPP
2003
ACM
15 years 6 months ago
2003
ACM
We present a new method for dynamically detecting potential data races in multithreaded programs. Our method improves on the state of the art in accuracy, in usability, and in ove...
122
click to vote
SIGECOM
2003
ACM
15 years 6 months ago
2003
ACM
Peer-to-Peer eCommerce communities are commonly perceived as an environment offering both opportunities and threats. One way to minimize threats in such an open community is to us...