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.
5710 Publications
1995 | Book Chapter | LibreCat-ID: 16236
Konjunkturzyklen aufgrund von Investitionsinterdependenzen: Simulation und empirische Überprüfung
E. Hüllermeier, in: J. Flemmig (Ed.), Moderne Makroökonomie-Eine Kritische Bestandsaufnahme, Metropolis, 1995, pp. 413–454.
LibreCat
E. Hüllermeier, in: J. Flemmig (Ed.), Moderne Makroökonomie-Eine Kritische Bestandsaufnahme, Metropolis, 1995, pp. 413–454.
1995 | Conference Paper | LibreCat-ID: 13469
A Distributed Computer Architecture for Qualitative Simulation based on a Multi-DSP and FPGAs
M. Platzner, B. Rinner, R. Weiss, in: Proceedings of the 3rd Euromicro Workshop on Parallel and Distributed Processing , IEEE CS Press, 1995, pp. 311–318.
LibreCat
M. Platzner, B. Rinner, R. Weiss, in: Proceedings of the 3rd Euromicro Workshop on Parallel and Distributed Processing , IEEE CS Press, 1995, pp. 311–318.
1995 | Conference Paper | LibreCat-ID: 13470
High-Performance Simulators Based on Multi-TMS320C40
E. Brenner, R. Ginthör-Kalcsics, R. Hranitzky, M. Platzner, B. Rinner, C. Steger, R. Weiss, in: Proceedings of the 5th Annual Texas Instruments TMS320 Educators Conference, 1995.
LibreCat
E. Brenner, R. Ginthör-Kalcsics, R. Hranitzky, M. Platzner, B. Rinner, C. Steger, R. Weiss, in: Proceedings of the 5th Annual Texas Instruments TMS320 Educators Conference, 1995.
1995 | Conference Paper | LibreCat-ID: 13471
A Special-Purpose Coprocessor for Qualitative Simulation
G. Friedl, M. Platzner, B. Rinner, in: Proceedings of the EURO-PAR’95 International Conference on Parallel Processing, Springer International Publishing, 1995, pp. 695–698.
LibreCat
G. Friedl, M. Platzner, B. Rinner, in: Proceedings of the EURO-PAR’95 International Conference on Parallel Processing, Springer International Publishing, 1995, pp. 695–698.
1995 | Conference Paper | LibreCat-ID: 13472
Parallel Qualitative Simulation
M. Platzner, B. Rinner, R. Weiss, in: Proceedings of the EUROSIM Congress, Elsevier, 1995, pp. 231–236.
LibreCat
M. Platzner, B. Rinner, R. Weiss, in: Proceedings of the EUROSIM Congress, Elsevier, 1995, pp. 231–236.
1995 | Conference Paper | LibreCat-ID: 13473
Improving Performance of the Qualitative Simulator QSIM - Design and Implementation of a Specialized Computer Architecture
M. Platzner, B. Rinner, in: Proceedings of the PDCS International Conference on Parallel and Distributed Computing Systems, ISCA, 1995, pp. 494–501.
LibreCat
M. Platzner, B. Rinner, in: Proceedings of the PDCS International Conference on Parallel and Distributed Computing Systems, ISCA, 1995, pp. 494–501.
1995 | Conference Paper | LibreCat-ID: 13474
High-Performance Qualitative Simulation on a Multi-DSP Architecture
M. Platzner, B. Rinner, in: Proceedings of the 6th International Conference on Signal Processing Applications & Technology (ICSPAT), 1995.
LibreCat
M. Platzner, B. Rinner, in: Proceedings of the 6th International Conference on Signal Processing Applications & Technology (ICSPAT), 1995.
1995 | Conference Paper | LibreCat-ID: 13484
Design and Implementation of Adaptive Digital Filters on a Multi-TMS320C40 System
R. Hranitzky, M. Platzner, in: Proceedings of the 6th International Conference on Signal Processing Applications & Technology (ICSPAT), 1995.
LibreCat
R. Hranitzky, M. Platzner, in: Proceedings of the 6th International Conference on Signal Processing Applications & Technology (ICSPAT), 1995.
1995 | Book Chapter | LibreCat-ID: 34448
A Formal Definition of an Abstract VHDL'93 Simulator by EA-Machines
E. Börger, U. Glässer, W. Müller, in: C. Delgado Kloos, P.T. Breuer (Eds.), Semantics of VHDL, Kluwer Academic Publishers, Dordrecht, 1995, pp. 107–139.
LibreCat
| DOI
E. Börger, U. Glässer, W. Müller, in: C. Delgado Kloos, P.T. Breuer (Eds.), Semantics of VHDL, Kluwer Academic Publishers, Dordrecht, 1995, pp. 107–139.
1995 | Conference Paper | LibreCat-ID: 39532
Conformance Tests of Very Large STEP Files
G. Lehrenfeld, W. Müller, N. Wiechers, in: Proceedings of the 4th EXPRESS User’s Group, Greenville, South Carolina, 1995.
LibreCat
G. Lehrenfeld, W. Müller, N. Wiechers, in: Proceedings of the 4th EXPRESS User’s Group, Greenville, South Carolina, 1995.
1995 | Conference Paper | LibreCat-ID: 39535
Pen-based Interfaces for Engineering Environments
R. Zhao, H.J. Kaufmann, T. Kern, W. Müller, in: 1995.
LibreCat
R. Zhao, H.J. Kaufmann, T. Kern, W. Müller, in: 1995.
1995 | Conference Paper | LibreCat-ID: 39541
Transforming SDL Diagrams Into a Complete Visual Representation
G. Lehrenfeld, W. Müller, C. Tahedl, in: Proceedings of Symposium on Visual Languages, Darmstadt, Germany , 1995.
LibreCat
| DOI
G. Lehrenfeld, W. Müller, C. Tahedl, in: Proceedings of Symposium on Visual Languages, Darmstadt, Germany , 1995.
1995 | Conference Paper | LibreCat-ID: 39546
Validation of EXPRESS Models
W. Müller, G. Lehrenfeld, N. Wiechers, (1995).
LibreCat
W. Müller, G. Lehrenfeld, N. Wiechers, (1995).
1995 | Conference Paper | LibreCat-ID: 39531
Guide to EXPRESS-P
W. Müller, W. Felser, F. Buijs, in: Proceedings of the 4th EXPRESS User’s Group, Greenville, South Carolina, 1995.
LibreCat
W. Müller, W. Felser, F. Buijs, in: Proceedings of the 4th EXPRESS User’s Group, Greenville, South Carolina, 1995.
1995 | Conference Paper | LibreCat-ID: 39538
Complete Visual Specification and Animations of Protocols
W. Müller, G. Lehrenfeld, C. Tahedl, in: Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair, Chiba, Japan , 1995.
LibreCat
| DOI
W. Müller, G. Lehrenfeld, C. Tahedl, in: Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair, Chiba, Japan , 1995.
1995 | Conference Paper | LibreCat-ID: 39543
An Editor for the Rapid Prototyping of EXPRESS-G Models
R. Zhao, W. Müller, H.J. Kaufmann, Th. Kern, F. Buijs, in: Proceedings of the 5th EXPRESS User’s Group, Grenoble, 1995.
LibreCat
R. Zhao, W. Müller, H.J. Kaufmann, Th. Kern, F. Buijs, in: Proceedings of the 5th EXPRESS User’s Group, Grenoble, 1995.
1995 | Conference Paper | LibreCat-ID: 39550
The Process Modeling Language EXPRESS-P
W. Müller, W. Felser, N. Wiechers, (1995).
LibreCat
W. Müller, W. Felser, N. Wiechers, (1995).
1994 | Dissertation | LibreCat-ID: 19624
Paralleles Sortieren auf mehrdimensionalen Gittern
R. Wanka, Paralleles Sortieren Auf Mehrdimensionalen Gittern, Universität Paderborn, 1994.
LibreCat
| Files available
R. Wanka, Paralleles Sortieren Auf Mehrdimensionalen Gittern, Universität Paderborn, 1994.
1994 | Conference Paper | LibreCat-ID: 3263
Weak Sequential Composition in Process Algebras
A. Rensink, H. Wehrheim, in: B. Jonsson, J. Parrow (Eds.), {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, 1994, pp. 226--241.
LibreCat
| DOI
A. Rensink, H. Wehrheim, in: B. Jonsson, J. Parrow (Eds.), {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, 1994, pp. 226--241.
1994 | Conference Paper | LibreCat-ID: 3264
Parametric Action Refinement
H. Wehrheim, in: E.-}R{\"{u}}diger Olderog (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, 1994, pp. 247--266.
LibreCat
H. Wehrheim, in: E.-}R{\"{u}}diger Olderog (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, 1994, pp. 247--266.