TAPAS

Keyphrases

Publications

volume 289, 2012

Third Workshop on Tools for Automatic Program Analysis, TAPAS 2012, Deauville, France, September 14, 2012 TAPAS 289 (2012)

2011

Hongyang Sun, Yuxiong He, Wen-Jing Hsu
Speed Scaling for Energy and Performance with Instantaneous Parallelism. TAPAS (2011)
Iyad A. Kanj, Fenghui Zhang
3-hitting set on Bounded Degree Hypergraphs: Upper and Lower Bounds on the Kernel Size. TAPAS (2011)
Hans L. Bodlaender, Johan M. M. van Rooij
Exact Algorithms for Intervalizing Colored Graphs. TAPAS (2011)
Janick V. Frasch, Sven Oliver Krumke, Stephan Westphal
MIP Formulations for Flowshop Scheduling with Limited Buffers. TAPAS (2011)
Mark de Berg, Atlas F. Cook
Go with the Flow: The Direction-Based Fréchet Distance of Polygonal Curves. TAPAS (2011)
Shay Kutten
Distributed Decision Problems: The Locality Angle. TAPAS (2011)
Apostolos Bessas, Spyros C. Kontogiannis, Christos D. Zaroliagis
Robust Line Planning in Case of Multiple Pools and Disruptions. TAPAS (2011)
Paolo Santi
The Mathematics of Mobility. TAPAS (2011)
Ho-Leung Chan, Tak Wah Lam, Rongbin Li
Energy-Efficient Due Date Scheduling. TAPAS (2011)
Leon Atkins, Guillaume Aupy, Daniel Cole, Kirk Pruhs
Speed Scaling to Manage Temperature. TAPAS (2011)
Kirk Pruhs
Managing Power Heterogeneity. TAPAS (2011)
Marc Goerigk, Anita Schöbel
A Scenario-Based Approach for Robust Linear Optimization. TAPAS (2011)
Britta Dorn, Falk Hüffner, Dominikus Krüger, Rolf Niedermeier, Johannes Uhlmann
Exploiting Bounded Signal Flow for Graph Orientation Based on Cause-Effect Pairs. TAPAS (2011)
Roland Bader, Jonathan Dees, Robert Geisberger, Peter Sanders
Alternative Route Graphs in Road Networks. TAPAS (2011)
Walter Kern, Xian Qiu
Improved Taxation Rate for Bin Packing Games. TAPAS (2011)
Luigi Laura, Federico Santaroni
Computing Strongly Connected Components in the Streaming Model. TAPAS (2011)
Pierluigi Crescenzi, Roberto Grossi, Leonardo Lanzi, Andrea Marino
A Comparison of Three Algorithms for Approximating the Distance Distribution in Real-World Graphs. TAPAS (2011)
Ulrich Meyer, Andrei Negoescu, Volker Weichert
New Bounds for Old Algorithms: On the Average-Case Behavior of Classic Single-Source Shortest-Paths Approaches. TAPAS (2011)
Tigran Tonoyan
Algorithms for Scheduling with Power Control in Wireless Networks. TAPAS (2011)
Tommi A. Junttila, Petteri Kaski
Conflict Propagation and Component Recursion for Canonical Labeling. TAPAS (2011)
Tiziana Calamoneri, Rossella Petreschi
(2, 1)-Labeling of Unigraphs - (Extended Abstract). TAPAS (2011)
Dariusz R. Kowalski, Mariusz A. Rokicki
Multi-channel Assignment for Communication in Radio Networks. TAPAS (2011)
Timo Berthold, Stefan Heinz, Jens Schulz
An Approximative Criterion for the Potential of Energetic Reasoning. TAPAS (2011)
Ulrich Faigle, Walter Kern, Britta Peis
On Greedy and Submodular Matrices. TAPAS (2011)
Giorgio Lucarelli, Ioannis Milis
Improved Approximation Algorithms for the Max-Edge Coloring Problem. TAPAS (2011)

volume 6595, 2011

Theory and Practice of Algorithms in (Computer) Systems - First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings TAPAS 6595 (2011)