12th MEMOCODE 2014: Lausanne, Switzerland

Keynote 1

Session 1: Scheduling

Session 2: High Assurance Software

Session 3: Models, Components, Contracts and Interfaces

Keynote 2

Session 4: High Assurance Hardware

Session 5: MEMOCODE Design & Software Contest

Session 6: Many Core

Keynote 3

Tutorials

a service of Schloss Dagstuhl - Leibniz Center for Informatics