Sciweavers

11022 search results - page 181 / 2205
» Programming Systems for Autonomy
Sort
View
ICEIS
2007
IEEE
16 years 27 days ago
Architectural Design via Declarative Programming
Luís Moniz Pereira, Ruben Duarte Viegas
CASES
2004
ACM
16 years 7 hour ago
Causality analysis of synchronous programs with delayed actions
Klaus Schneider, Jens Brandt, Tobias Schüle
IFIP
2004
Springer
15 years 12 months ago
Controller Synthesis for Probabilistic Systems
Christel Baier, Marcus Größer, Martin L...
IFIP
1992
Springer
15 years 10 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