dblp.uni-trier.dewww.uni-trier.de

Ulrich Holtmann

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2001
7EEChristian Stangier, Ulrich Holtmann: Applying Formal Verification with Protocol Compiler. DSD 2001: 165-169
1999
6 Christian Stangier, Ulrich Holtmann: Applying Formal Verification with Protocol Compiler Universität Trier, Mathematik/Informatik, Forschungsbericht 99-29: (1999)
1998
5EEUlrich Holtmann, Peter Blinzer: Design of a SPDIF Receiver Using Protocol Compiler. DAC 1998: 794-799
1994
4 Thomas Benner, Rolf Ernst, Ingo Könenkamp, Ulrich Holtmann, P. Schüler, H.-C. Schaub, N. Serafimov: FPGA Based Prototyping for Verification and Evaluation in Hardware-Software Cosynthesis. FPL 1994: 251-258
3EEJörg Henkel, Rolf Ernst, Ulrich Holtmann, Thomas Benner: Adaptation of partitioning and high-level synthesis in hardware/software co-synthesis. ICCAD 1994: 96-100
1993
2 Ulrich Holtmann, Rolf Ernst: Speculative Computation for Coprocessor Synthesis. ICCD 1993: 126-131
1EEUlrich Holtmann, Rolf Ernst: Experiments with low-level speculative computation based on multiple branch prediction. IEEE Trans. VLSI Syst. 1(3): 262-267 (1993)

Coauthor Index

1Thomas Benner [3] [4]
2Peter Blinzer [5]
3Rolf Ernst [1] [2] [3] [4]
4Jörg Henkel [3]
5Ingo Könenkamp [4]
6H.-C. Schaub [4]
7P. Schüler [4]
8N. Serafimov [4]
9Christian Stangier [6] [7]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)