4809 search results - page 183 / 962 » Scalable Analysis of Scalable Systems |
177
click to vote
ICFP
2002
ACM
16 years 7 months ago
2002
ACM
We present the type theory LTT, intended to form a basis for typed target languages, providing an internal notion of logical proposition and proof. The inclusion of explicit proof...
191
click to vote
SOSP
2001
ACM
16 years 3 months ago
2001
ACM
We propose a new design for highly concurrent Internet services, which we call the staged event-driven architecture (SEDA). SEDA is intended to support massive concurrency demands...
197
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
At the core of contemporary high performance computer systems is the communication infrastructure. For this reason, there has been a lot of work on providing low-latency, high-ban...
175
click to vote
MM
2006
ACM
16 years 1 months ago
2006
ACM
Periodic broadcast protocols enable the efficient streaming of highly popular media files to large numbers of concurrent clients. Most previous periodic broadcast protocols, howe...
193
click to vote
ICDM
2005
IEEE
16 years 20 days ago
2005
IEEE
Collaborative filtering-based recommender systems, which automatically predict preferred products of a user using known preferences of other users, have become extremely popular ...