Volume 108,
Numbers 1-2,
2011
- Stephen A. Edwards, Ryszard Janicki, Walter Vogler:
Preface.
- Josep Carmona, Jorge Júlvez, Jordi Cortadella, Michael Kishinevsky:
A Scheduling Strategy for Synchronous Elastic Designs.
1-21
- Silvia Crafa, Francesco Ranzato, Francesco Tapparo:
Saving Space in a Time Efficient Simulation Algorithm.
23-42
- Niels Lohmann, Karsten Wolf:
Compact Representations and Efficient Algorithms for Operating Guidelines.
43-62
- Andrey Mokhov, Victor Khomenko, Alexandre Yakovlev:
Flat Arbiters.
63-90
- Dumitru Potop-Butucaru, Yves Sorel, Robert de Simone, Jean-Pierre Talpin:
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations.
91-118
- Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone:
A Modal Interface Theory for Component-based Design.
119-149
- Karsten Wolf, Christian Stahl, Daniela Weinberg, Janine Ott, Robert Danitz:
Guaranteeing Weak Termination in Service Discovery.
151-180
Volume 108,
Numbers 3-4,
2011
Last update Sat May 26 06:19:31 2012
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page