Ulrich Holtmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
1993–2001
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2001 | DSD | Applying Formal Verification with Protocol Compiler. | Christian Stangier, Ulrich Holtmann |
| 1998 | DAC | Design of a SPDIF Receiver Using Protocol Compiler. | Ulrich Holtmann, Peter Blinzer |
| 1995 | DATE | Combining MBP-speculative computation and loop pipelining in high-level synthesis. | Ulrich Holtmann, Rolf Ernst |
| 1994 | FPL | FPGA Based Prototyping for Verification and Evaluation in Hardware-Software Cosynthesis. | Thomas Benner, Rolf Ernst, Ingo Knenkamp, Ulrich Holtmann, P. Schler, H.-C. Schaub, N. Serafimov |
| 1994 | ICCAD | Adaptation of partitioning and high-level synthesis in hardware/software co-synthesis. | Jrg Henkel, Rolf Ernst, Ulrich Holtmann, Thomas Benner |
| 1993 | ICCD | Speculative Computation for Coprocessor Synthesis. | Ulrich Holtmann, Rolf Ernst |