Sciweavers

11022 search results - page 181 / 2205
» Programming Systems for Autonomy
Sort
View
ICEIS
2007
IEEE
16 years 1 months ago
Architectural Design via Declarative Programming
Luís Moniz Pereira, Ruben Duarte Viegas
CASES
2004
ACM
16 years 9 days ago
Causality analysis of synchronous programs with delayed actions
Klaus Schneider, Jens Brandt, Tobias Schüle
IFIP
2004
Springer
16 years 7 days ago
Controller Synthesis for Probabilistic Systems
Christel Baier, Marcus Größer, Martin L...
IFIP
1992
Springer
15 years 11 months ago
Implementations of IF-statements in the TODOS microarchitecture synthesis system
In microarchitecure synthesis, early algorithms considered only a single implementation technique for IF -statements. Focus was on scheduling and on maximum hardware sharing. In t...
Peter Marwedel