Karl S. Brace
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
1987–1997
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1997 | ICCD | Formal Implementation Verification of the Bus Interface Unit for the Alpha 21264 Microprocessor. | Gabriel P. Bischoff, Karl S. Brace, Samir Jain, Rahul Razdan |
| 1994 | ICCD | PRISC Software Acceleration Techniques. | Rahul Razdan, Karl S. Brace, Michael D. Smith |
| 1990 | DAC | Efficient Implementation of a BDD Package. | Karl S. Brace, Richard L. Rudell, Randal E. Bryant |
| 1987 | DAC | COSMOS: A Compiled Simulator for MOS Circuits. | Randal E. Bryant, Derek L. Beatty, Karl S. Brace, Kyeongsoon Cho, Thomas J. Sheffler |