52 search results - page 7 / 11 » sofsem 2010 |
93
Voted
SOFSEM
2010
Springer
15 years 9 months ago
2010
Springer
ACT DATATYPE APPROACH Patrick Michel Arnd Poetzsch-Heffter
109
click to vote
SOFSEM
2010
Springer
15 years 9 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 10 months ago
2010
Springer
We present a tutorial on verification of safety properties for parameterized systems. Such a system consists of an arbitrary number of processes; the aim is to prove correctness of...
107
click to vote
SOFSEM
2010
Springer
15 years 7 months ago
2010
Springer
In this paper, we study the complexity and (in)approximability of the minimum label vehicle routing problem. Given a simple complete graph G = (V, E) containing a special vertex 0 ...
108
Voted
SOFSEM
2010
Springer
14 years 10 months ago
2010
Springer
It is well-known that, given a probability distribution over n characters, in the worst case it takes (n log n) bits to store a prefix code with minimum expected codeword length. H...