Anzahl: 5 10 25 50 100 Alle
Seiten: << < 1 .. 29 30 31 32 33 .. 48 > >>
InProceedings
2004
Stefan Ihmor and Wolfram Hardt
Runtime Reconfigurable Interfaces - The RTR-IFB Approach
IN Proceedings of the 11th ReconfigurableArchitectures Workshop (RAW'04) , IEEE Computer Society, April 2004.
Runtime Reconfigurable Interfaces - The RTR-IFB Approach
IN Proceedings of the 11th ReconfigurableArchitectures Workshop (RAW'04) , IEEE Computer Society, April 2004.
Wolfram Hardt
The IPQ Format -- An Approach to Support IP based Design
IN Proc. of the 7. GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, page 106 - 115, Shaker Verlag, Aachen, Deutschland, February 2004.
The IPQ Format -- An Approach to Support IP based Design
IN Proc. of the 7. GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, page 106 - 115, Shaker Verlag, Aachen, Deutschland, February 2004.
2003
Wolfram Hardt
IPQ Toolbox based on the IPQ Format
IN Demo Presentations of the German Project-Workshop: IP-Qualifikation für effizientes Systemdesign, November 2003.
IPQ Toolbox based on the IPQ Format
IN Demo Presentations of the German Project-Workshop: IP-Qualifikation für effizientes Systemdesign, November 2003.
Wolfram Hardt
Integration Infrastructure for IPQ Format compliant IP based Design Tools
IN German Project-Workshop: IP-Qualifikation für effizientes Systemdesign, November 2003.
Integration Infrastructure for IPQ Format compliant IP based Design Tools
IN German Project-Workshop: IP-Qualifikation für effizientes Systemdesign, November 2003.
André Meisel
Entwicklung und Erprobung eines hardwarenahen Bildrekonstruktionsalgorithmus für die mikroskopische Bildgebung mit strukturierter Beleuchtung
IN Informatiktage 2003 - Fachwissenschaftlicher Informatik-Kongress, page 222 - 225, November 2003. ISBN: 3-920560-21-3
Entwicklung und Erprobung eines hardwarenahen Bildrekonstruktionsalgorithmus für die mikroskopische Bildgebung mit strukturierter Beleuchtung
IN Informatiktage 2003 - Fachwissenschaftlicher Informatik-Kongress, page 222 - 225, November 2003. ISBN: 3-920560-21-3
Johannes Lessmann and Wolfram Hardt and Frank Kelso and Wolfgang Thronicke
An XML Format based Integration Infrastructure for IP based Design
IN Proceedings of the 16th Symposium on Integrated Circuits and Systems Design (SBCCI), page 119 - 124, IEEE Computer Society, September 2003. ISBN: 0-7695-2009-X
An XML Format based Integration Infrastructure for IP based Design
IN Proceedings of the 16th Symposium on Integrated Circuits and Systems Design (SBCCI), page 119 - 124, IEEE Computer Society, September 2003. ISBN: 0-7695-2009-X
Dieter Monjau and Burkhard Balser and Marco Fischer and André Windisch and Stefan Förster
A New Time Extension to PI-Calculus based on Time Consuming Transition Semantics
IN Proceedings of Forum on Specification and Design Languages (FDL'03), page 447 - 455, September 2003.
A New Time Extension to PI-Calculus based on Time Consuming Transition Semantics
IN Proceedings of Forum on Specification and Design Languages (FDL'03), page 447 - 455, September 2003.
Stefan Förster and André Windisch and Marco Fischer and Dieter Monjau and Burkhard Balser
Process Algebraic Specification, Refinement, and Verification of Embedded Systems
IN Proceedings of Forum on Specification and Design Languages (FDL'03), page 525 - 535, September 2003.
Process Algebraic Specification, Refinement, and Verification of Embedded Systems
IN Proceedings of Forum on Specification and Design Languages (FDL'03), page 525 - 535, September 2003.
Stefan Ihmor and Nilson Bastos Jr. and Rafael Cardoso Klein and Wolfram Hardt
Rapid Prototyping of Realtime Communication -- A Case Study: Interacting Robots
IN Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP), page 186 - 192, IEEE Computer Society, June 2003. ISBN: 0-7695-1743-1
Rapid Prototyping of Realtime Communication -- A Case Study: Interacting Robots
IN Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP), page 186 - 192, IEEE Computer Society, June 2003. ISBN: 0-7695-1743-1
Stefan Förster and Marco Fischer and André Windisch and Burkhard Balser and Dieter Monjau
A New Specification Methodology for Embedded Systems Based on the PI-Calculus Process Algebra
IN Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP), page 26 - 32, IEEE Computer Society, June 2003. ISBN: 0-7695-1943-1
A New Specification Methodology for Embedded Systems Based on the PI-Calculus Process Algebra
IN Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP), page 26 - 32, IEEE Computer Society, June 2003. ISBN: 0-7695-1943-1
Seiten: << < 1 .. 29 30 31 32 33 .. 48 > >>
