Sciweavers

84 search results - page 4 / 17
» icalp 2010
Sort
View
ICALP
2010
Springer
15 years 4 months ago
Pebble Weighted Automata and Transitive Closure Logics
Benedikt Bollig, Paul Gastin, Benjamin Monmege, Ma...
ICALP
2010
Springer
15 years 1 months ago
Space-Efficient Scheduling of Stochastically Generated Tasks
Tomás Brázdil, Javier Esparza, Stefa...
ICALP
2010
Springer
14 years 10 months ago
Finding Is as Easy as Detecting for Quantum Walks
Hari Krovi, Frédéric Magniez, Maris ...
63
Voted
ICALP
2010
Springer
15 years 4 months ago
Scheduling Periodic Tasks in a Hard Real-Time Environment
Friedrich Eisenbrand, Nicolai Hähnle, Martin ...
ICALP
2010
Springer
15 years 1 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