John A. Darringer

According to our database1, John A. Darringer authored at least 26 papers between 1967 and 2012.

Collaborative distances:

Awards

IEEE Fellow

IEEE Fellow 1991, "For contributions to the development of practical techniques and algorithms for automated logic synthesis of high-performance computers.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2012
Power management of multi-core chips: Challenges and pitfalls.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2011
Floorplanning challenges in early chip planning.
Proceedings of the IEEE 24th International SoC Conference, SOCC 2011, Taipei, Taiwan, 2011

Early chip planning cockpit.
Proceedings of the Design, Automation and Test in Europe, 2011

2010
Power-efficient, reliable microprocessor architectures: modeling and design methods.
Proceedings of the 20th ACM Great Lakes Symposium on VLSI 2009, 2010

2008
Thousand-Core Chips [Roundtable].
IEEE Des. Test Comput., 2008

Exploring power management in multi-core systems.
Proceedings of the 13th Asia South Pacific Design Automation Conference, 2008

2007
Multi-Core Design Automation Challenges.
Proceedings of the 44th Design Automation Conference, 2007

Performance modeling for early analysis of multi-core systems.
Proceedings of the 5th International Conference on Hardware/Software Codesign and System Synthesis, 2007

2006
From single core to multi-core: preparing for a new exponential.
Proceedings of the 2006 International Conference on Computer-Aided Design, 2006

2005
A Mask Reuse Methodology for Reducing System-on-a-Chip Cost.
Proceedings of the 6th International Symposium on Quality of Electronic Design (ISQED 2005), 2005

2004
Were the good old days all that good?: EDA then and now.
Proceedings of the 41th Design Automation Conference, 2004

2003
SEAS: a system for early analysis of SoCs.
Proceedings of the 1st IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, 2003

2002
Early analysis tools for system-on-a-chip design.
IBM J. Res. Dev., 2002

2001
Panel: What Drives EDA Innovation?
Proceedings of the 38th Design Automation Conference, 2001

2000
EDA in IBM: past, present, and future.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2000

LSS: A system for production logic synthesis.
IBM J. Res. Dev., 2000

1993
Where in the World Should CAD Software be Made? (Panel Abstract).
Proceedings of the 30th Design Automation Conference. Dallas, 1993

1989
Advanced Design Automation in Industry.
Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

1985
Production logic synthesis.
Proceedings of the 13th ACM Annual Conference on Computer Science, 1985

1984
Automated Logic Synthesis.
Proceedings of the VLSI Engineering: Beyond Software Engineering, 1984

1981
Logic Synthesis Through Local Transformations.
IBM J. Res. Dev., 1981

1980
A new look at logic synthesis.
Proceedings of the 17th Design Automation Conference, 1980

1979
The application of program verification techniques to hardware verification.
Proceedings of the 16th Design Automation Conference, 1979

1978
Applications of Symbolic Execution to Program Testing.
Computer, 1978

1968
A language for the description of digital computer processors.
Proceedings of the 5th annual Design Automation Workshop, 1968

1967
SODAS and a methodology for system design.
Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '67 Fall Joint Computer Conference, 1967


  Loading...