Location: Munich, Germany
Minyoung Kim, Mark-Oliver Stehr, Carolyn Talcott, Nikil Dutt, Nalini Venkatasubramanian, “Constraint Refinement for Online Verifiable Cross-Layer System Adaptation,” IEEE/ACM Design Automation and Test in Europe (DATE ’08), Mar. 2008, Munich, Germany.
Gunar Schirner and Rainer Dömer, “Introducing Preemptive Scheduling in Abstract RTOS Models using Result Oriented Modeling,” In Proceedings of Design Automation and Test in Europe (DATE), Munich, Germany, March 2008.
Nikil Dutt, “Design Methodology for Memory-aware NoC Exploration and Design,” Special Session on The Memory Challenge in NOC based Systems, Proceedings of the 2008 Conference on Design, Automation and Test in Europe (DATE 2008), March 2008.