107
Voted
SOFSEM
2010
Springer
15 years 11 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 ...
99
Voted
SOFSEM
2010
Springer
15 years 11 months ago
2010
Springer
125
Voted
SOFSEM
2010
Springer
15 years 11 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...
68
Voted
SOFSEM
2010
Springer
15 years 11 months ago
2010
Springer
126
Voted
SOFSEM
2010
Springer
15 years 11 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...
123
click to vote
SOFSEM
2010
Springer
15 years 11 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...
98
Voted
SOFSEM
2010
Springer
15 years 11 months ago
2010
Springer
85
Voted
SOFSEM
2010
Springer
15 years 11 months ago
2010
Springer
101
Voted
SOFSEM
2010
Springer
15 years 11 months ago
2010
Springer
119
click to vote
SOFSEM
2010
Springer
15 years 11 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...