DATE 2013 SESSION INDEX
Keynotes
2.2:
Acceleration and Verification of ESL and Analog Systems
2.3:
Energy Optimization in Multi-core Systems
2.4:
Memory and Cache Architectures
2.5:
Communications, Multimedia, and Consumer Electronics
2.6:
HOT TOPIC: Reliability Challenges of Real-time Systems in Forthcoming Technology Nodes
2.7:
Safety Critical Real-Time Systems
2.8:
HOT TOPIC: IP Subsystems: The Next Productivity Wave?
3.2:
PANEL: The Heritage of Mead & Conway: What Has Remained the Same, What
Was Missed, What Has Changed, What Lies Ahead 171
3.3:
Addressing Process and Delay Variation in High-Level Synthesis
3.4:
Microarchitectural Techniques for Reliability
3.5:
Energy Efficient Mobile and Cloud Computing Systems
3.6:
Dealing with Timing Variation in Advanced Technologies
3.7:
Timing Analysis
3.8:
HOT TOPIC: Design for Variability, Manufacturability, Reliability, and Debug: Many
Faces of the Same Coin?
4.2:
The Quest for Better NoCs
4.3:
EMBEDDED TUTORIAL: Reliability Analysis Reloaded: How Will We Survive?
4.4:
Emerging Solutions to Manage Energy/Performance Trade-Offs along the Memory
Hierarchy
4.5:
Device Identification and Protection
4.6:
New Techniques for Test Pattern Generation
4.7:
HOT TOPIC: Security Challenges in Automotive Hardware/Software Architecture
Design
5.1:
HOT TOPIC - System Approaches to Energy-Efficiency
5.2:
PANEL: Can Energy Harvesting Deliver Enough Power for Automotive Electronics?
5.3:
Post-Silicon Debug Techniques
5.4:
Novel Approaches for Real-Time Architectures
5.5:
Error-Aware Adaptive Modern Computing Architectures
5.6:
Advances in Mixed-Signal, RF, and MEMS Testing
5.7:
Compilers and Software Synthesis for Embedded Systems
6.1:
EMBEDDED TUTORIAL - HW-SW Architecture Approaches to Energy-Efficiency
6.2:
HOT TOPIC: Emerging Nanoscale Devices: A Booster for High Performance Computing
6.3:
Verification and Simulation Support for Architecture
6.4:
Design Space Exploration for Application Specific Architectures
6.5:
Reliable Multi-Processor Computing Systems Design
6.6:
HOT TOPIC: Energy-Efficient Design and Test Techniques for Future Multi-Core Systems
6.7:
Model-Based Design and Verification for Embedded Systems
7.1:
HOT TOPIC - Many-Core SoC Approaches to Energy-Efficiency
7.2:
Formal Verification Algorithms and Models
7.3:
Dynamic Reconfiguration
7.4:
Emerging Memory
7.5:
Energy-efficient Architectures and Software Design for Power-constrained Systems
7.6:
On-Line Approaches towards Processor Resilience
7.7:
EMBEDDED TUTORIAL: From Multi-core SoC to Scale-out Processors
8.1:
HOT TOPIC - Fabrication Technology Approaches to Energy-Efficiency
8.2:
Scheduling for Real-Time Embedded Systems
8.3:
Logic Synthesis Techniques
8.4:
High-Speed Robust NoCs
8.5:
Industrial Experiences with Embedded System Design
8.6:
DfT Methods
8.7:
Monitoring and Control of Cyber Physical Systems
8.8:
HOT TOPIC: Countering Counterfeit Attacks on Micro-Electronics
9.1:
HOT TOPIC: Smart Grid and Buildings
9.2:
System-Level Analysis and Simulation
9.3:
Thermal/Power Management Techniques for Energy-Efficient Systems
9.4:
Emerging Architectures
9.5:
Manufacturing and Design Security
9.6:
Improving IC Quality and Lifetime Though Advanced Characterization
9.7:
Design and Scheduling
10.1:
HOT TOPIC: Smart Data Centers Design and Optimization
10.2:
EMBEDDED TUTORIAL: On the Use of GP-GPUs for Accelerating Computing
Intensive EDA Applications
10.3:
Thermal Analysis and Power Optimization Techniques
10.4:
Abstraction Techniques and SAT/SMT-Based Optimizations
10.5:
Design and Verification of Mixed-Signal Circuits
10.6:
On-Line Testing Techniques
10.7:
Embedded Software for Many-Core Architectures
10.8:
PANEL: Will 3D-IC Remain a Technology of the Future...Even in the Future?
11.1:
HOT TOPIC: Smart Health
11.2:
High-Level Synthesis and Coarse-Grained Reconfigurable Architectures
11.3:
Efficient NoC Routing Mechanisms
11.4:
System-Level Modelling for Physical Properties
11.5:
Energy Challenges for Multi-Core and NoC Architectures
11.6:
Modelling and Design for Signal and Power Integrity
11.7:
Powerful Aging
11.8:
EMBEDDED TUTORIAL: Advances in Asynchronous Logic: From Principles to GALS
& NoC, Recent Industry Applications, and Commercial CAD Tools
12.1:
HOT TOPIC: Internet of Energy - Connecting Smart Mobility in the Cloud
12.2:
Methodologies to Improve Yield, Reliability and Security in Embedded Systems
12.3:
NoC Mapping and Synthesis
12.4:
Emerging Logic
12.5:
Emerging Technology Architectures for Energy-Efficient Memories
12.6:
Clock Distribution and Analogue Circuit Synthesis
12.7:
Physical Design
12.8:
EMBEDDED TUTORIAL: Closed-Loop Control for Power and Thermal Management in
Multi-core Processors: Formal Methods and Industrial Practice
|