Sciweavers

84 search results - page 4 / 17
» icalp 2010
Sort
View
ICALP
2010
Springer
13 years 10 months ago
Pebble Weighted Automata and Transitive Closure Logics
Benedikt Bollig, Paul Gastin, Benjamin Monmege, Ma...
ICALP
2010
Springer
13 years 7 months ago
Space-Efficient Scheduling of Stochastically Generated Tasks
Tomás Brázdil, Javier Esparza, Stefa...
ICALP
2010
Springer
13 years 4 months ago
Finding Is as Easy as Detecting for Quantum Walks
Hari Krovi, Frédéric Magniez, Maris ...
ICALP
2010
Springer
13 years 10 months ago
Scheduling Periodic Tasks in a Hard Real-Time Environment
Friedrich Eisenbrand, Nicolai Hähnle, Martin ...
ICALP
2010
Springer
13 years 7 months ago
Efficient Evaluation of Nondeterministic Automata Using Factorization Forests
In the first part of the paper, we propose an algorithm which inputs an NFA A and a word a1
Mikolaj Bojanczyk, Pawel Parys