Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
SOFSEM
2010
Springer
11 years 1 months ago
Source Code Rejuvenation Is Not Refactoring
Programmers rely on programming idioms, design patterns, and workaround techniques to make up for missing programming language support. Evolving languages often address frequently ...
Peter Pirkelbauer, Damian Dechev, Bjarne Stroustru...
SOFSEM
2010
Springer
11 years 1 months ago
A Rule Format for Unit Elements
Luca Aceto, Anna Ingólfsdóttir, Moha...
SOFSEM
2010
Springer
11 years 1 months ago
Picture Recognizability with Automata Based on Wang Tiles
We introduce a model of automaton for picture language recognition which is based on tiles and is called Wang automaton, since its description relies on the notation of Wang system...
Violetta Lonati, Matteo Pradella
SOFSEM
2010
Springer
11 years 1 months ago
Vertex Ranking with Capacity
Ruben van der Zwaan
SOFSEM
2010
Springer
11 years 1 months ago
Mixing Coverability and Reachability to Analyze VASS with One Zero-Test
We study Vector Addition Systems with States (VASS) extended in such a way that one of the manipulated integer variables can be tested to zero. For this class of system, it has bee...
Alain Finkel, Arnaud Sangnier
SOFSEM
2010
Springer
11 years 1 months ago
Parallel Randomized Load Balancing: A Lower Bound for a More General Model
We extend the lower bound of Adler et. al [1] and Berenbrink [3] for parallel randomized load balancing algorithms. The setting in these asynchronous and distributed algorithms is...
Guy Even, Moti Medina
SOFSEM
2010
Springer
11 years 1 months ago
A Kernel for Convex Recoloring of Weighted Forests
Hans L. Bodlaender, Marc Comas
SOFSEM
2010
Springer
11 years 1 months ago
Accelerating Smart Play-Out
Abstract. Smart play-out is a method for executing declarative scenariobased specifications, which utilizes powerful computation methods to compute safe supersteps, thus helping t...
David Harel, Hillel Kugler, Shahar Maoz, Itai Sega...
books