Daniel K. Beece

According to our database1, Daniel K. Beece authored at least 14 papers between 1984 and 2010.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2010
Transistor sizing of custom high-performance digital circuits with parametric yield considerations.
Proceedings of the 47th Design Automation Conference, 2010

2006
First-Order Incremental Block-Based Statistical Timing Analysis.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006

2005
Verification strategy for the Blue Gene/L chip.
IBM J. Res. Dev., 2005

2003
Formal verification - prove it or pitch it.
Proceedings of the 40th Design Automation Conference, 2003

2002
An overview of the BlueGene/L Supercomputer.
, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , ,
Proceedings of the 2002 ACM/IEEE conference on Supercomputing, 2002


2001
Blue Gene: A vision for protein science using a petaflop supercomputer.
IBM Syst. J., 2001

1997
A 4.1-ns compact 54×54-b multiplier utilizing sign-select Booth encoders.
IEEE J. Solid State Circuits, 1997

Design Methodology for the High-Performance G4 S/390.
Proceedings of the Proceedings 1997 International Conference on Computer Design: VLSI in Computers & Processors, 1997

1990
The EVE companion simulator.
Proceedings of the European Design Automation Conference, 1990

1988
SLS-a fast switch-level simulator [for MOS].
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1988

The IBM Engineering Verification Engine.
Proceedings of the 25th ACM/IEEE Conference on Design Automation, 1988

1986
SLS - a fast switch level simulator for verification and fault coverage analysis.
Proceedings of the 23rd ACM/IEEE Design Automation Conference. Las Vegas, 1986

1984
Using a Hardware Simulation Engine for Custom MOS Structured Designs.
IBM J. Res. Dev., 1984


  Loading...