Proceedings of the 48th Design Automation Conference on - DAC '11
Latest Publications

TOTAL DOCUMENTS

187

(FIVE YEARS 0)

H-INDEX

28

(FIVE YEARS 0)

Published By ACM Press

9781450306362

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Plugging versus logging

Proceedings of the 48th Design Automation Conference on - DAC '11 ◽

10.1145/2024724.2024731 ◽

2011 ◽

Author(s):

Li-Pin Chang ◽

You-Chiuan Su

Download Full-text

Self-aligned double patterning decomposition for overlay minimization and hot spot detection

Proceedings of the 48th Design Automation Conference on - DAC '11 ◽

10.1145/2024724.2024741 ◽

2011 ◽

Author(s):

Hongbo Zhang ◽

Yuelin Du ◽

Martin D. F. Wong ◽

Rasit Topaloglu

Keyword(s):

Hot Spot ◽

Spot Detection ◽

Double Patterning

Download Full-text

Test-case generation for embedded simulink via formal concept analysis

Proceedings of the 48th Design Automation Conference on - DAC '11 ◽

10.1145/2024724.2024777 ◽

2011 ◽

Author(s):

Nannan He ◽

Philipp Rümmer ◽

Daniel Kroening

Keyword(s):

Formal Concept Analysis ◽

Concept Analysis ◽

Test Case Generation ◽

Formal Concept ◽

Download Full-text

FlexiBuffer

Proceedings of the 48th Design Automation Conference on - DAC '11 ◽

10.1145/2024724.2024932 ◽

2011 ◽

Author(s):

Gwangsun Kim ◽

John Kim ◽

Sungjoo Yoo

Download Full-text

Implicit permutation enumeration networks and binary decision diagrams reordering

Proceedings of the 48th Design Automation Conference on - DAC '11 ◽

10.1145/2024724.2024866 ◽

2011 ◽

Author(s):

Stergios Stergiou

Keyword(s):

Binary Decision Diagrams ◽

Decision Diagrams ◽

Binary Decision ◽

Permutation Enumeration

Download Full-text

Efficient WCRT analysis of synchronous programs using reachability

Proceedings of the 48th Design Automation Conference on - DAC '11 ◽

10.1145/2024724.2024837 ◽

2011 ◽

Author(s):

Matthew Kuo ◽

Roopak Sinha ◽

Partha Roop

Download Full-text

Joint DAC/IWBDA special session design and synthesis of biological circuits

Proceedings of the 48th Design Automation Conference on - DAC '11 ◽

10.1145/2024724.2024750 ◽

2011 ◽

Author(s):

Douglas Densmore ◽

Mark Horowitz ◽

Smita Krishnaswamy ◽

Xiling Shen ◽

Adam Arkin ◽

...

Keyword(s):

Special Session ◽

Design And Synthesis ◽

Biological Circuits

Download Full-text

Diagnosing scan clock delay faults through statistical timing pruning

Proceedings of the 48th Design Automation Conference on - DAC '11 ◽

10.1145/2024724.2024823 ◽

2011 ◽

Author(s):

Mingjing Chen ◽

Alex Orailoglu

Keyword(s):

Delay Faults ◽

Statistical Timing

Download Full-text

A helper thread based dynamic cache partitioning scheme for multithreaded applications

Proceedings of the 48th Design Automation Conference on - DAC '11 ◽

10.1145/2024724.2024936 ◽

2011 ◽

Author(s):

Mahmut Kandemir ◽

Taylan Yemliha ◽

Emre Kultursay

Keyword(s):

Cache Partitioning ◽

Dynamic Cache Partitioning

Download Full-text

Thermal-aware system analysis and software synthesis for embedded multi-processors

Proceedings of the 48th Design Automation Conference on - DAC '11 ◽

10.1145/2024724.2024786 ◽

2011 ◽

Author(s):

Lothar Thiele ◽

Lars Schor ◽

Hoeseok Yang ◽

Iuliana Bacivarov

Keyword(s):

System Analysis ◽

Software Synthesis

Download Full-text