DATE 2013: Grenoble, France

Refine list

showing all ?? records

Keynotes

Acceleration and verification of ESL and analog systems

Energy optimization in multi-core systems

Memory and cache architectures

Communications, multimedia, and consumer electronics

Hot topic: reliability challenges of real-time systems in forthcoming technology nodes

Safety critical real-time systems

Hot topic: IP subsystems: the next productivity wave?

Panel: the heritage of mead & conway: what has remained the same, what was missed, what has changed, what lies ahead

Addressing process and delay variation in high-level synthesis

Microarchitectural techniques for reliability

Energy efficient mobile and cloud computing systems

Dealing with timing variation in advanced technologies

Timing analysis

Hot topic: design for variability, manufacturability, reliability, and debug: many faces of the same coin?

The quest for better NoCs

Embedded tutorial: reliability analysis reloaded: how will we survive?

Emerging solutions to manage energy/performance trade-offs along the memory hierarchy

Device identification and protection

New techniques for test pattern generation

Hot topic: security challenges in automotive hardware/software architecture design

Hot topic - system approaches to energy-efficiency

Panel: can energy harvesting deliver enough power for automotive electronics?

Post-silicon debug techniques

Novel approaches for real-time architectures

Error-aware adaptive modern computing architectures

Advances in mixed-signal, RF, and MEMS testing

Compilers and software synthesis for embedded systems

Embedded tutorial - HW-SW architecture approaches to energy-efficiency

Hot topic: emerging nanoscale devices: a booster for high performance computing

Verification and simulation support for architecture

Design space exploration for application specific architectures

Reliable multi-processor computing systems design

Hot topic: energy-efficient design and test techniques for future multi-core systems

Model-based design and verification for embedded systems

Hot topic - many-core SoC approaches to energy-efficiency

Formal verification algorithms and models

Dynamic reconfiguration

Emerging memory

Energy-efficient architectures and software design for power-constrained systems

On-line approaches towards processor resilience

Embedded tutorial: from multi-core SoC to scale-out processors

Hot topic - fabrication technology approaches to energy-efficiency

Scheduling for real-time embedded systems

Logic synthesis techniques

High-speed robust NoCs

Industrial experiences with embedded system design

DfT methods

Monitoring and control of cyber physical systems

Hot topic: countering counterfeit attacks on micro-electronics

Hot topic: smart grid and buildings

System-level analysis and simulation

Thermal/power management techniques for energy-efficient systems

Emerging architectures

Manufacturing and design security

Improving IC quality and lifetime though advanced characterization

Design and scheduling

Hot topic: smart data centers design and optimization

Embedded tutorial: on the use of GP-GPUs for accelerating computing intensive EDA applications

Thermal analysis and power optimization techniques

Abstraction techniques and SAT/SMT-based optimizations

Design and verification of mixed-signal circuits

On-line testing techniques

Embedded software for many-core architectures

Panel: will 3D-IC remain a technology of the future... even in the future?

Hot topic: smart health

High-level synthesis and coarse-grained reconfigurable architectures

Efficient NoC routing mechanisms

System-level modelling for physical properties

Energy challenges for multi-core and NoC architectures

Modelling and design for signal and power integrity

Powerful aging

Embedded tutorial: advances in asynchronous logic: from principles to GALS & NoC, recent industry applications, and commercial CAD tools

Hot topic: internet of energy - connecting smart mobility in the cloud

Methodologies to improve yield, reliability and security in embedded systems

NoC mapping and synthesis

Emerging logic

Emerging technology architectures for energy-efficient memories

Clock distribution and analogue circuit synthesis

Physical design

Embedded tutorial: closed-loop control for power and thermal management in multi-core processors: formal methods and industrial practice

a service of  Schloss Dagstuhl - Leibniz Center for Informatics