Sciweavers

10271 search results - page 388 / 2055
» Computer Science
Sort
View
WG
2005
Springer
15 years 10 months ago
Faster Dynamic Algorithms for Chordal Graphs, and an Application to Phylogeny
We improve the current complexities for maintaining a chordal graph by starting with an empty graph and repeatedly adding or deleting edges.
Anne Berry, Alain Sigayret, Jeremy Spinrad
SPIN
2004
Springer
15 years 10 months 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
15 years 10 months ago
Online Competitive Algorithms for Maximizing Weighted Throughput of Unit Jobs
Yair Bartal, Francis Y. L. Chin, Marek Chrobak, St...
FOCS
2002
IEEE
15 years 9 months 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
15 years 9 months ago
LT Codes
We introduce LT codes, the first rateless erasure codes that are very efficient as the data length grows.
Michael Luby