SOFSEM
2010
Springer
14 years 1 months ago
2010
Springer
Programmers rely on programming idioms, design patterns, and workaround techniques to make up for missing programming language support. Evolving languages often address frequently ...
SOFSEM
2010
Springer
14 years 1 months ago
2010
Springer
SOFSEM
2010
Springer
14 years 1 months ago
2010
Springer
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...
SOFSEM
2010
Springer
14 years 1 months ago
2010
Springer
SOFSEM
2010
Springer
14 years 1 months ago
2010
Springer
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...
SOFSEM
2010
Springer
14 years 1 months ago
2010
Springer
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...
SOFSEM
2010
Springer
14 years 1 months ago
2010
Springer
SOFSEM
2010
Springer
14 years 1 months ago
2010
Springer
SOFSEM
2010
Springer
14 years 1 months ago
2010
Springer
SOFSEM
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. Smart play-out is a method for executing declarative scenariobased specifications, which utilizes powerful computation methods to compute safe supersteps, thus helping t...