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.
5693 Publications
1995 | Dissertation | LibreCat-ID: 19627
Czumaj A. Parallel Algorithmic Techniques: PRAM Algorithms and PRAM Simulations. Vol 8. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 1995.
LibreCat
| Files available
1995 | Dissertation | LibreCat-ID: 19630
Wachsmann A. Eine Bibliothek von Basisdiensten Für Parallelrechner: Routing, Synchronisation, Gemeinsamer Speicher. Vol 6. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 1995.
LibreCat
1995 | Dissertation | LibreCat-ID: 19634
Ameur F. Space-Bounded Learning Algorithms. Vol 10. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 1995.
LibreCat
1995 | Journal Article | LibreCat-ID: 3037
Alt H, Behrends B, Blömer J. Approximate matching of polygonal shapes. Annals of Mathematics and Artificial Intelligence. 1995;13(3).
LibreCat
1995 | Report | LibreCat-ID: 3038
Blömer J, Kalfane M, Karp R, Karpinski M, Luby M, Zuckerman D. An XOR-Based Erasure-Resilient Coding Scheme. Berkeley, USA; 1995.
LibreCat
| Files available
1995 | Conference Paper | LibreCat-ID: 17482
Czumaj A, Meyer auf der Heide F, Stemann V. Simulating shared memory in real time: On the computation power of reconfigurable meshes. In: Proceedings of the 2nd IEEE Workshop on Reconfigurable Architectures. ; 1995:46--59.
LibreCat
1995 | Conference Paper | LibreCat-ID: 21786
Kienegger-Domik G. Intelligent visualization systems in educational environments. In: Maurer H, ed. Proceedings of ED-MEDIA `95. Graz, Austria: AACE; 1995:17-22.
LibreCat
1995 | Conference Paper | LibreCat-ID: 2187 | 
Meyer auf der Heide F, Scheideler C. Routing with Bounded Buffers and Hot-Potato Routing in Vertex-Symmetric Networks. In: ESA. Lecture Notes in Computer Science. ; 1995:341--354. doi:10.1007/3-540-60313-1_154
LibreCat
| Files available
| DOI
1995 | Conference Paper | LibreCat-ID: 2207 |
Meyer auf der Heide F, Scheideler C. Space-Efficient Routing in Vertex-Symmetric Networks (Extended Abstract). In: SPAA. ; 1995:137--146.
LibreCat
| Files available
1995 | Conference Paper | LibreCat-ID: 2208 |
Meyer auf der Heide F, Scheideler C, Stemann V. Exploiting Storage Redundancy to Speed Up Randomized Shared Memory Simulations. In: STACS. ; 1995:267--278.
LibreCat
| Files available
1995 | Conference Paper | LibreCat-ID: 7831
Heckel R, Müller J, Taentzer G, Wagner A. Attributed Graph Transformations with Controlled Application of Rules. In: Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science. Technical Report. Universitat de les Illes Balears; 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 7832
Thoben W, Appelrath H-J, Sauer S. Record Linkage of Anonymous Data by Control Numbers. In: Proceedings of the 18th Annual Conference of the Gesellschaft Für Klassifikation, Oldenburg (Germany). Studies in Classification, Data Analysis, and Knowledge Organization. Berlin/Heidelberg: Springer; 1995:412-419.
LibreCat
1995 | Conference Paper | LibreCat-ID: 7833
Heckel R. Embedding of Conditional Graph Transformations. In: Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science. Technical Report. Universitat de les Illes Balears; 1995.
LibreCat
1995 | Report | LibreCat-ID: 8194
Conrad M, Gajewsky M, Holl-Biniasz R, et al. Graphische Spezifikation Ausgewählter Teile von AGG - Einem Algebraischen Graphgrammatiksystem.; 1995.
LibreCat
1995 | Report | LibreCat-ID: 8195
Ebert J, Engels G. Specialization of Object Life Cycle Definitions. Koblenz: University of Koblenz-Landau; 1995.
LibreCat
1995 | Report | LibreCat-ID: 8196
Engels G, Schürr A. Encapsulated Hierarchical Graphs, Graph Types, and Meta Types. Vakgroep Informatica, Rijksuniversiteit Leiden; 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 8266
Groenewegen L, Engels G. Coordination by Behavioural Views and Communication Patterns. In: Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands). Vol 913. LNCS. Berlin/Heidelberg: Springer; 1995:189-192. doi:http://dx.doi.org/10.1007/3-540-59205-9_56
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 8267
Corradini A, Heckel R. A Compositional Approach to Structuring and Refinement of Typed Graph Grammars. In: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy). Vol 2. Electronic Notes in Theoretical Computer Science . Elsevier; 1995:46-55.
LibreCat
1995 | Conference Paper | LibreCat-ID: 8268
Bardohl B, Bardohl R, Castro P, et al. GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development. In: Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany). Vol 26. Bilateral Seminars of the International Bureau. Forschungszentrum Jülich GmbH; 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 8269
Engels G, Schürr A. Encapsulated Hierarchical Graphs, Graph Types, and Meta Types. In: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy). Electronic Notes in Theoretical Computer Science. Amsterdam, The Netherlands: Elsevier; 1995:101-109. doi:http://dx.doi.org/10.1016/S1571-0661(05)80186-0
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 8270
Heckel R, Wagner A. Ensuring Consistency of Conditional Graph Grammars - A constructive Approach. In: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy). Vol 2. Electronic Notes in Theoretical Computer Science. Elsevier; 1995:118-126. doi:http://dx.doi.org/10.1016/S1571-0661(05)80188-4
LibreCat
| DOI
1995 | Journal Article | LibreCat-ID: 16566
Breslauer D, Czumaj A, Dubhashi DP, Meyer auf der Heide F. Transforming comparison model lower bounds to the parallel-random-access-machine. Information Processing Letters. 1995:103-110. doi:10.1016/s0020-0190(97)00032-x
LibreCat
| DOI
1995 | Book Chapter | LibreCat-ID: 16704
Meyer auf der Heide F, Vöcking B. A packet routing protocol for arbitrary networks. In: STACS 95. Berlin, Heidelberg; 1995. doi:10.1007/3-540-59042-0_81
LibreCat
| DOI
1995 | Book Chapter | LibreCat-ID: 16705
Czumaj A, Meyer auf der Heide F, Stemann V. Shared memory simulations with triple-logarithmic delay. In: Lecture Notes in Computer Science. Berlin, Heidelberg; 1995. doi:10.1007/3-540-60313-1_133
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 16706
Meyer auf der Heide F, Storch M, Wanka R. Optimal trade-offs between size and slowdown for universal parallel networks. In: Proceedings of the Seventh Annual ACM Symposium on Parallel Algorithms and Architectures - SPAA ’95. ; 1995. doi:10.1145/215399.215430
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 16707
Czumaj A, Meyer auf der Heide F, Stemann V. Improved optimal shared memory simulations, and the power of reconfiguration. In: Proceedings Third Israel Symposium on the Theory of Computing and Systems. ; 1995. doi:10.1109/istcs.1995.377051
LibreCat
| DOI
1995 | Book Chapter | LibreCat-ID: 16717
Meyer auf der Heide F, Westermann M. Hot-potato routing on multi-dimensional tori. In: Graph-Theoretic Concepts in Computer Science. Berlin, Heidelberg; 1995. doi:10.1007/3-540-60618-1_77
LibreCat
| DOI
1995 | Book Chapter | LibreCat-ID: 16874
Bäumker A, Dittrich W, Meyer auf der Heide F. Truly efficient parallel algorithms: c-optimal multisearch for an extension of the BSP model. In: Lecture Notes in Computer Science. Berlin, Heidelberg; 1995. doi:10.1007/3-540-60313-1_131
LibreCat
| DOI
1995 | Journal Article | LibreCat-ID: 10610
Platzner M, Rinner B, Weiss R. Exploiting Parallelism in Constraint Satisfaction for Qualitative Simulation. JUCS Journal of Universal Computer Science. 1995;12:811-820.
LibreCat
1995 | Conference Paper | LibreCat-ID: 15294
Hüllermeier E. Towards modelling of fuzzy functions. In: Zimmermann HJ, ed. In Proceedings EUFIT-95 3rd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany. ; 1995:150-154.
LibreCat
1995 | Conference Paper | LibreCat-ID: 15295
Hüllermeier E. Rule-based modelling in fuzzy simulation. In: In Proceedings ISFL-95 International Symposium on Logic, Zürich. ICSC Academic Press; 1995:B49-B56.
LibreCat
1995 | Conference Paper | LibreCat-ID: 15305
Hüllermeier E. Fuzzy polynomial and spline interpolation. In: In Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin. Gordon and Breach Publishers; 1995:401-404.
LibreCat
1995 | Conference Paper | LibreCat-ID: 15272
Domik-Kienegger G, Owen G. Education for Visualization-Activities of the ACM-SIGGRAPH Education Committee. In: Proceedings of the Third Eurographics Workshop on Graphics and Visualization. ; 1995.
LibreCat
1995 | Book Chapter | LibreCat-ID: 16236
Hüllermeier E. Konjunkturzyklen aufgrund von Investitionsinterdependenzen: Simulation und empirische Überprüfung. In: Flemmig J, ed. Moderne Makroökonomie-Eine Kritische Bestandsaufnahme. Metropolis; 1995:413-454.
LibreCat
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