Sciweavers

2056 search results - page 76 / 412
» time 2000
Sort
View
ISCA
2000
IEEE
121views Hardware» more  ISCA 2000»
15 years 4 months ago
Selective, accurate, and timely self-invalidation using last-touch prediction
Communication in cache-coherent distributed shared memory (DSM) often requires invalidating (or writing back) cached copies of a memory block, incurring high overheads. This paper...
An-Chow Lai, Babak Falsafi
SWAT
2000
Springer
107views Algorithms» more  SWAT 2000»
15 years 3 months ago
A New Trade-Off for Deterministic Dictionaries
We consider dictionaries over the universe U = {0, 1}w on a unit-cost RAM with word size w and a standard instruction set. We present a linear space deterministic dictionary with m...
Rasmus Pagh
IPPS
2000
IEEE
15 years 4 months ago
High Performance Parametric Modeling with Nimrod/G: Killer Application for the Global Grid?
This paper examines the role of parametric modeling as an application for the global computing grid, and explores some heuristics which make it possible to specify soft real time ...
David Abramson, Jonathan Giddy, Lew Kotler
AAAI
2000
15 years 1 months ago
On 2-SAT and Renamable Horn
We introduce new linear time algorithms for satisfiability of binary propositional theories (2-SAT), and for recognition and satisfiability of renamable Horn theories. The algorit...
Alvaro del Val
HUMAN
2003
Springer
15 years 5 months ago
Fair Real-Time Resource Allocation for Internet End System's QoS Support
Delivered end-to-end QoS is often limited by the ineffective resource management at Internet end systems. To overcome this problem, we present a resource allocation framework tha...
Jungkeun Park, Minsoo Ryu, Seongsoo Hong