Themen für Konferenzen
Mögliche Themen, die auf zukünftigen Konferenzen diskutiert werden und für die man wissenschaftliche Arbeiten einreichen kann sind:
1. Embedded Systems
2. Computersysteme: Methoden, Implementierungen und Anwendungen
Fortschrittliche Computer Architektur mit uni-parallelen Prozessoren. Besprechung homogener und heterogener Multi Core Prozessor Systemen.
3. Prozessor-Architektur
Design-Techniken für uni-und multi-core Prozessoren: Instruction-Level-Parallelität, Pipelining, Caching, Branch Prediction, Multithreading, Computer-Arithmetik; Techniken für low-power, sicheres und zuverlässiges Prozessor-Designs, Fallstudien, Kompromisse und Obduktionen.
4. Logic-und Schaltungstechnik
Schaltkreise und Design-Techniken für digitale, Speicher. Schaltkreise und Design-Techniken für hohe Performance und geringe Leistungsaufnahme; Schaltkreise und Design-Techniken für die Robustheit unter Prozessvariabilität sowie Strahlung; Design-Techniken für neue Prozesstechnologien, Electronic Design Automation
5. Verifikation und Test
Simulations-basierte und formale Techniken für funktionales Design, dynamische Simulation, die Überprüfung der Gleichwertigkeit, formale Verifikation, Model und Property Checking und Beweisen; High- Level-Design-Validierung, Hardware-Emulation, Modellierungssprachen, Assertion-basierte Verifikation, coverage-Analyse,