Sciweavers

11016 search results - page 522 / 2204
» Cloud Computing for Science
Sort
View
SPIN
2004
Springer
16 years 12 days ago
Formal Analysis of Processor Timing Models
Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution
Reinhard Wilhelm
STACS
2004
Springer
16 years 12 days ago
Online Competitive Algorithms for Maximizing Weighted Throughput of Unit Jobs
Yair Bartal, Francis Y. L. Chin, Marek Chrobak, St...
FOCS
2002
IEEE
16 years 7 hour ago
Zero-Knowledge
We show new lower bounds and impossibility results for general (possibly non-black-box) zero-knowledge proofs and arguments. Our main results are that, under reasonable complexity...
Oded Goldreich
FOCS
2002
IEEE
16 years 7 hour ago
LT Codes
We introduce LT codes, the first rateless erasure codes that are very efficient as the data length grows.
Michael Luby
FOCS
1999
IEEE
15 years 11 months ago
How Asymmetry Helps Load Balancing
This paper deals with balls and bins processes related to randomized load balancing, dynamic resource allocation, and hashing. Suppose
Berthold Vöcking