Sciweavers

15885 search results - page 738 / 3177
» Strategic Software Engineering
Sort
View
FSTTCS
2009
Springer
16 years 2 months ago
Recurrence and Transience for Probabilistic Automata
Mathieu Tracol, Christel Baier, Marcus Grö&sz...
FSTTCS
2009
Springer
16 years 2 months ago
On the Memory Consumption of Probabilistic Pushdown Automata
Tomás Brázdil, Javier Esparza, Stefa...
ARCS
2010
Springer
16 years 1 months ago
JetBench: An Open Source Real-time Multiprocessor Benchmark
Muhammad Yasir Qadri, Dorian Matichard, Klaus D. M...
ISORC
2008
IEEE
16 years 1 months ago
C++ Dynamic Cast in Autonomous Space Systems
Damian Dechev, Rabi N. Mahapatra, Bjarne Stroustru...