Sciweavers

10304 search results - page 383 / 2061
» Computer science with the sciences: an emphasis in computati...
Sort
View
WG
2005
Springer
16 years 8 days 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
16 years 4 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 4 days 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 11 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 11 months ago
LT Codes
We introduce LT codes, the first rateless erasure codes that are very efficient as the data length grows.
Michael Luby