Sciweavers

2252 search results - page 305 / 451
» Lower Bounds for Dynamic Algorithms
Sort
View
104
Voted
SRDS
2006
IEEE
15 years 9 months ago
Reliably Executing Tasks in the Presence of Untrusted Entities
In this work we consider a distributed system formed by a master processor and a collection of n processors (workers) that can execute tasks; worker processors are untrusted and m...
Antonio Fernández, Luis López, Agust...
154
Voted
STOC
2010
ACM
200views Algorithms» more  STOC 2010»
16 years 26 days ago
Hardness Amplification in Proof Complexity
We present a generic method for converting any family of unsatisfiable CNF formulas that require large resolution rank into CNF formulas whose refutation requires large rank for p...
Paul Beame, Trinh Huynh and Toniann Pitassi
140
Voted
MOBIHOC
2004
ACM
16 years 3 months ago
Localized algorithms for energy efficient topology in wireless ad hoc networks
We propose several novel localized algorithms to construct energy efficient routing structures for homogeneous wireless ad hoc networks, where all nodes have same maximum transmis...
Wen-Zhan Song, Yu Wang 0003, Xiang-Yang Li
123
Voted
ISAAC
2004
Springer
91views Algorithms» more  ISAAC 2004»
15 years 8 months ago
Techniques for Indexing and Querying Temporal Observations for a Collection of Objects
We consider the problem of dynamically indexing temporal observations about a collection of objects, each observation consisting of a key identifying the object, a list of attribu...
Qingmin Shi, Joseph JáJá
MFCS
2009
Springer
15 years 10 months ago
Branching Programs for Tree Evaluation
We introduce the tree evaluation problem, show that it is in LogDCFL (and hence in P), and study its branching program complexity in the hope of eventually proving a superlogarith...
Mark Braverman, Stephen A. Cook, Pierre McKenzie, ...