Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5719 Publications
1995 | Conference Paper | LibreCat-ID: 13469
Platzner M, Rinner B, Weiss R. A Distributed Computer Architecture for Qualitative Simulation based on a Multi-DSP and FPGAs. In: Proceedings of the 3rd Euromicro Workshop on Parallel and Distributed Processing . IEEE CS Press; 1995:311-318.
LibreCat
1995 | Conference Paper | LibreCat-ID: 13470
Brenner E, Ginthör-Kalcsics R, Hranitzky R, et al. High-Performance Simulators Based on Multi-TMS320C40. In: Proceedings of the 5th Annual Texas Instruments TMS320 Educators Conference. ; 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 13471
Friedl G, Platzner M, Rinner B. A Special-Purpose Coprocessor for Qualitative Simulation. In: Proceedings of the EURO-PAR’95 International Conference on Parallel Processing. Springer International Publishing; 1995:695-698.
LibreCat
1995 | Conference Paper | LibreCat-ID: 13472
Platzner M, Rinner B, Weiss R. Parallel Qualitative Simulation. In: Proceedings of the EUROSIM Congress. Elsevier; 1995:231-236.
LibreCat
1995 | Conference Paper | LibreCat-ID: 13473
Platzner M, Rinner B. Improving Performance of the Qualitative Simulator QSIM - Design and Implementation of a Specialized Computer Architecture. In: Proceedings of the PDCS International Conference on Parallel and Distributed Computing Systems. ISCA; 1995:494-501.
LibreCat
1995 | Conference Paper | LibreCat-ID: 13474
Platzner M, Rinner B. High-Performance Qualitative Simulation on a Multi-DSP Architecture. In: Proceedings of the 6th International Conference on Signal Processing Applications & Technology (ICSPAT). ; 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 13484
Hranitzky R, Platzner M. Design and Implementation of Adaptive Digital Filters on a Multi-TMS320C40 System. In: Proceedings of the 6th International Conference on Signal Processing Applications & Technology (ICSPAT). ; 1995.
LibreCat
1995 | Book Chapter | LibreCat-ID: 34448
Börger E, Glässer U, Müller W. A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines. In: Delgado Kloos C, Breuer PT, eds. Semantics of VHDL. Kluwer Academic Publishers; 1995:107-139. doi:10.1007/978-1-4615-2237-9_5
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39532
Lehrenfeld G, Müller W, Wiechers N. Conformance Tests of Very Large STEP Files. In: Proceedings of the 4th EXPRESS User’s Group. ; 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39535
Zhao R, Kaufmann HJ, Kern T, Müller W. Pen-based Interfaces for Engineering Environments. In: ; 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39541
Lehrenfeld G, Müller W, Tahedl C. Transforming SDL Diagrams Into a Complete Visual Representation. In: Proceedings of Symposium on Visual Languages. ; 1995. doi:10.1109/VL.1995.520803
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39546
Müller W, Lehrenfeld G, Wiechers N. Validation of EXPRESS Models. Published online 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39531
Müller W, Felser W, Buijs F. Guide to EXPRESS-P. In: Proceedings of the 4th EXPRESS User’s Group. ; 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39538
Müller W, Lehrenfeld G, Tahedl C. Complete Visual Specification and Animations of Protocols. In: Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair. ; 1995. doi:10.1109/ASPDAC.1995.486383
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39543
Zhao R, Müller W, Kaufmann HJ, Kern Th, Buijs F. An Editor for the Rapid Prototyping of EXPRESS-G Models. In: Proceedings of the 5th EXPRESS User’s Group. ; 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39550
Müller W, Felser W, Wiechers N. The Process Modeling Language EXPRESS-P. Published online 1995.
LibreCat
1994 | Dissertation | LibreCat-ID: 19624
Wanka R. Paralleles Sortieren Auf Mehrdimensionalen Gittern. Universität Paderborn; 1994.
LibreCat
| Files available
1994 | Conference Paper | LibreCat-ID: 3263
Rensink A, Wehrheim H. Weak Sequential Composition in Process Algebras. In: Jonsson B, Parrow J, eds. {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings. Lecture Notes in Computer Science. ; 1994:226--241. doi:10.1007/978-3-540-48654-1_20
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 3264
Wehrheim H. Parametric Action Refinement. In: Olderog E-}R{\"{u}}diger, ed. Programming Concepts, Methods and Calculi, Proceedings of the {IFIP} {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts, Methods and Calculi {(PROCOMET} ’94) San Miniato, Italy, 6-10 June, 1994. {IFIP} Transactions. ; 1994:247--266.
LibreCat
1994 | Conference (Editor) | LibreCat-ID: 7797
Ehrich H-D, Engels G, Paredaens J, Wegner J, eds. Fundamentals of Object-Oriented Languages, Systems, and Methods. Vol 95. Schloss Dagstuhl, Leibniz Center for Informatics; 1994.
LibreCat