52 search results - page 7 / 11 » sofsem 2010 |
SOFSEM
2010
Springer
14 years 7 months ago
2010
Springer
ACT DATATYPE APPROACH Patrick Michel Arnd Poetzsch-Heffter
SOFSEM
2010
Springer
14 years 7 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
13 years 8 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...
SOFSEM
2010
Springer
14 years 5 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 ...
SOFSEM
2010
Springer
13 years 8 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...