Sciweavers

MST
2010
83views more  MST 2010»
12 years 11 months ago
Local MST Computation with Short Advice
Pierre Fraigniaud, Amos Korman, Emmanuelle Lebhar
MST
2010
74views more  MST 2010»
12 years 11 months ago
Strong-Diameter Decompositions of Minor Free Graphs
Ittai Abraham, Cyril Gavoille, Dahlia Malkhi, Udi ...
MST
2010
146views more  MST 2010»
12 years 11 months ago
The Cache-Oblivious Gaussian Elimination Paradigm: Theoretical Framework, Parallelization and Experimental Evaluation
We consider triply-nested loops of the type that occur in the standard Gaussian elimination algorithm, which we denote by GEP (or the Gaussian Elimination Paradigm). We present tw...
Rezaul Alam Chowdhury, Vijaya Ramachandran
MST
2010
95views more  MST 2010»
12 years 11 months ago
Optimal Sparse Matrix Dense Vector Multiplication in the I/O-Model
Michael A. Bender, Gerth Stølting Brodal, R...
MST
2010
187views more  MST 2010»
12 years 11 months ago
Distributed Approximation of Capacitated Dominating Sets
We study local, distributed algorithms for the capacitated minimum dominating set (CapMDS) problem, which arises in various distributed network applications. Given a network graph...
Fabian Kuhn, Thomas Moscibroda
MST
2010
155views more  MST 2010»
12 years 11 months ago
Stochastic Models and Adaptive Algorithms for Energy Balance in Sensor Networks
We consider the important problem of energy balanced data propagation in wireless sensor networks and we extend and generalize previous works by allowing adaptive energy assignment...
Pierre Leone, Sotiris E. Nikoletseas, José ...
MST
2010
196views more  MST 2010»
12 years 11 months ago
Non-Cooperative Cost Sharing Games via Subsidies
We consider a cost sharing system where users are selfish and act according to their own interest. There is a set of facilities and each facility provides services to a subset of ...
Niv Buchbinder, Liane Lewin-Eytan, Joseph Naor, Ar...
MST
2010
122views more  MST 2010»
12 years 11 months ago
Self-Referential Justifications in Epistemic Logic
This paper is devoted to the study of self-referential proofs and/or justifications, i.e., valid proofs that prove statements about these same proofs. The goal is to investigate wh...
Roman Kuznets
MST
2010
75views more  MST 2010»
12 years 11 months ago
W-Hierarchies Defined by Symmetric Gates
Michael R. Fellows, Jörg Flum, Danny Hermelin...
MST
2010
79views more  MST 2010»
12 years 11 months ago
On Bounded Rational Trace Languages
Christian Choffrut, Flavio D'Alessandro, Stefano V...