Sciweavers

789 search results - page 16 / 158
» Pushing using Compliance
Sort
View
IPTPS
2003
Springer
15 years 4 months ago
PeerNet: Pushing Peer-to-Peer Down the Stack
- An unwritten principle of the Internet Protocol is that the IP address of a node also serves as its identifier. We observe that many scalability problems result from this princi...
Jakob Eriksson, Michalis Faloutsos, Srikanth V. Kr...
HICSS
1998
IEEE
120views Biometrics» more  HICSS 1998»
15 years 3 months ago
Designing the Digital Agora: Pushing the Web Envelope
The Digital Agora is an information resource that supports understanding and analysis of complex problems in the social sciences. Large amounts of data are available from many dif...
Carolyn R. Watters, Michael A. Shepherd, Cynthia A...
FORTE
2003
15 years 13 days ago
Generation of All Counter-Examples for Push-Down Systems
We present a new, on-the-fly algorithm that given a push-down model representing a sequential program with (recursive) procedure calls and an extended finite-state automaton repr...
Samik Basu, Diptikalyan Saha, Yow-Jian Lin, Scott ...
ENTCS
2002
114views more  ENTCS 2002»
14 years 11 months ago
Adjunction Models For Call-By-Push-Value With Stacks
Call-by-push-value is a "semantic machine code", providing a set of simple primitives from which both the call-by-value and call-by-name paradigms are built. We present i...
Paul Blain Levy
ICS
2000
Tsinghua U.
15 years 2 months ago
Push vs. pull: data movement for linked data structures
As the performance gap between the CPU and main memory continues to grow, techniques to hide memory latency are essential to deliver a high performance computer system. Prefetchin...
Chia-Lin Yang, Alvin R. Lebeck