Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM
W. Müller, G. Lehrenfeld, N. Wiechers, (1994).
LibreCat: /record/39577

The Semantics of Behavioral VHDL Descriptions
E. Börger, U. Glässer, W. Müller, in: Proceedings of EURO-DAC’94/EURO-VHDL’94, Grenoble, France, 1994.
LibreCat: /record/39575

Ein paralleles Framework fuer die Validierung von STEP-Produktdaten
G. Lehrenfeld, W. Müller, N. Wiechers, (1994).
LibreCat: /record/39554

Parallel Validation of STEP Files
G. Lehrenfeld, W. Müller, N. Wiechers, in: Proceedings of the 2nd International Conference on Concurrent Engineering &; Electronic Design Automation (CEED), Poole, UK, 1994.
LibreCat: /record/39566

Computational Model of a Logical Visual Programming Language
G. Lehrenfeld, W. Müller, (1994).
LibreCat: /record/39569

EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring
W. Felser, W. Müller, in: Proceedings of the 1994 ASME Computers in Engineering Conference, Minneapolis, MI, 1994, pp. 145–154.
LibreCat: /record/39572

On the restricted equivalence for subclasses of propositional logic
A. Flögel, H. Kleine Büning, T. Lettmann, RAIRO - Theoretical Informatics and Applications (1993) 327–340.
LibreCat: /record/19814
DOI: 10.1051/ita/1993270403271

On Kummer theory and the number of roots of unity in radical extensions of Q
J. Blömer, On Kummer Theory and the Number of Roots of Unity in Radical Extensions of Q, Technical Report, Freie Universität Berlin, Fachbereich Mathematik und Informatik, 1993.
LibreCat: /record/3045

Parallel Architectures and Their Efficient Use
F. Meyer auf der Heide, B. Monien, A.L. Rosenberg, eds., Parallel Architectures and Their Efficient Use, Springer, Berlin, Heidelberg, 1993.
LibreCat: /record/17477
DOI: 10.1007/3-540-56731-3

OCCAM-light: A Language Combining Shared Memory and Message Passing (A First Report)
U. Kastens, F. Meyer auf der Heide, A. Wachsmann, F. Wichmann, in: Proc. 3rd PASA Workshop, PARS Mitteilungen, 1993, pp. 50–55.
LibreCat: /record/17479

Integrationsaspekte bei verteilter Software-Entwicklung
G. Engels, A.A. Verrijn-Stuart, in: Fortschritt-Berichte VDI, VDI Verlag, 1993, pp. 45–53.
LibreCat: /record/7826

A Hybrid Query Language for the Extended Entity Relationship Model
M. Andries, G. Engels, A Hybrid Query Language for the Extended Entity Relationship Model, Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat: /record/8190

Towards a Module Concept for Graph Transformation Systems
H. Ehrig, G. Engels, Towards a Module Concept for Graph Transformation Systems, Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat: /record/8191

Abstracts COMPUGRAPH II Workshop
G. Engels, G. Rozenberg, Abstracts COMPUGRAPH II Workshop, Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat: /record/8192

Modular, Visual Specifications of Software Processes
G. Engels, L. Groenewegen, in: Proceedings of the Workshop on Software Process (ISPW 1993), Wadern (Germany), IEEE Computer Society, Washington, DC, USA, 1993, pp. 66–68.
LibreCat: /record/8262

An Optimal Parallel Dictionary
M. Dietzfelbinger, F. Meyer auf der Heide, Information and Computation (1993) 196–217.
LibreCat: /record/16729
DOI: 10.1006/inco.1993.1007

Strongly adaptive token distribution
F. Meyer auf der Heide, B. Oesterdiekhoff, R. Wanka, in: Automata, Languages and Programming, Berlin, Heidelberg, 1993.
LibreCat: /record/16730
DOI: 10.1007/3-540-56939-1_89

Simple, efficient shared memory simulations
M. Dietzfelbinger, F. Meyer auf der Heide, in: Proceedings of the Fifth Annual ACM Symposium on Parallel Algorithms and Architectures  - SPAA ’93, 1993.
LibreCat: /record/16731
DOI: 10.1145/165231.165246

Capabilities and complexity of computations with integer division
K. Lürwer-Brüggemeier, F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1993.
LibreCat: /record/16732
DOI: 10.1007/3-540-56503-5_46

Education in Scientific Visualization
G. Domik, in: S. D. Franklin, A. R. Stubberud, L. P. Wiedeman (Eds.), University Education Uses of Visualization in Scientific Computing, Proceedings of the IFIP W.2 Working Conference on Visualization in Scientific Computing: Uses in University Education, Irvine, CA, USA, 28-30 July, 1993, North-Holland, 1993, pp. 25–32.
LibreCat: /record/16828

Scientific Visualization
G. Domik, in: H. Maurer (Ed.), Proceedings of ED Media ’93, Florida, USA, 1993.
LibreCat: /record/16906

An Agenda for Education in Scientific Visualization, Visualization Workshop Report
G. Domik, COMPUTER GRAPHICS-NEW YORK-ASSOCIATION FOR COMPUTING MACHINERY- 27 (1993) 6–6.
LibreCat: /record/15045

Guidelines for a curriculum in scientific visualization
G. Domik, Computers &; Graphics 17 (1993) 185–191.
LibreCat: /record/15273
DOI: 10.1016/0097-8493(93)90103-G

Macroscopic and Microscopic Aspects of Glyphs
G. Domik, C. Joslyn, T. Segura, in: Proceedings of the Vienna Conference on Human Computer Interaction, 1993.
LibreCat: /record/15275

Erfahrungen mit einer Multi-Signalprozessorarchitektur (TM0)
M. Platzner, C. Steger, Mikroelektronik (1993).
LibreCat: /record/13466

Performance Measurements on a Multi-DSP Architecture with TM0
M. Platzner, C. Steger, R. Weiss, in: Proceedings of the 4th International Conference on Signal Processing Applications &; Technology (ICSPAT), DSP Associates, 1993.
LibreCat: /record/13467

Tight Integration and Synchronization of Distributed Graphical Applications
W. Müller, B. Kleinjohann, in: Proceedings of the Seventh Annual Database Symposium, San Diego, USA, 1993.
LibreCat: /record/39578

Approaching the Denotational Semantics of Behavioral VHDL Descriptions
W. Müller, in: Proc. of the 1st Asian Pacific Conference on Hardware Description Languages, Standards and Applications, Brisbane, Australia, 1993.
LibreCat: /record/39580

Parallel Validation of STEP Files
W. Müller, G. Lehrenfeld, N. Wiechers, in: Proceedings of the 3nd EXPRESS User’s Group Conference, Berlin, 1993.
LibreCat: /record/39579

Simplifying Expressions Involving Radicals
J. Blömer, Simplifying Expressions Involving Radicals, PhD thesis, Freie Universität Berlin, Fachbereich Mathematik und Informatik, 1992.
LibreCat: /record/3043

Resemblance and symmetries of geometric patterns
H. Alt, J. Blömer, in: Data Structures and Efficient Algorithms, Springer Berlin Heidelberg, Berlin, Heidelberg, 1992, pp. 1–24.
LibreCat: /record/3046
DOI: 10.1007/3-540-55488-2_19

How to denest Ramanujan's nested radicals
J. Blömer, in: Proceedings., 33rd Annual Symposium on Foundations of Computer Science, IEEE, 1992.
LibreCat: /record/3047
DOI: 10.1109/sfcs.1992.267807

Periodic Sorting on Two-Dimensional Meshes
M. Kutylowski, R. Wanka, Parallel Processing Letters 2 (1992) 213–220.
LibreCat: /record/18936
DOI: 10.1142/s0129626492000349

Design and development of data visualization systems in a workstation environment
G. Domik, K.D. Mickus-Miceli, Journal of Microcomputer Applications 15 (1992) 81–88.
LibreCat: /record/21787
DOI: 10.1016/0745-7138(92)90051-6

Designing User-Centered Interfaces for Astrophysical Software
G. Domik, in: Proceedings on User Interfaces for Astrophysical Software, 1992.
LibreCat: /record/21789

Functional Description of Parallel Processes
P. Koopman, L. Groenewegen, G. Engels, in: Proceedings of the Conference SION Computing Science in the Netherlands (CSN ’92), The Netherlands, 1992, pp. 156–167.
LibreCat: /record/7825

Visual Specifications of Conceptual Database Schemata (Abstract)
G. Engels, Visual Specifications of Conceptual Database Schemata (Abstract), Leiden University, 1992.
LibreCat: /record/8189

CADDY: A Highly Integrated Environment to Support Conceptual Database Design
G. Engels, P. Löhr-Richter, in: Proceedings of the Fifth International Workshop on Computer-Aided Software Engineering (CASE 1992), Montreal (Canada), IEEE Computer Society, Washington, DC, USA, 1992, pp. 19–22.
LibreCat: /record/8260

Specification of Coordinated Behaviour in the Software Development Process
G. Engels, L. Groenewegen, in: Proceedings of the Second European Workshop on Software Process Technology (EWSPT 92), Trondheim, Norway, Springer, Berlin/Heidelberg, 1992, pp. 58–60.
LibreCat: /record/8261
DOI: http://dx.doi.org/10.1007/BFb0017495

SQL/EER - Syntax and Semantics of an Entity-Relationship-Based Query Language
U. Hohenstein, G. Engels, Information Systems 17 (1992) 209–242.
LibreCat: /record/7408
DOI: http://dx.doi.org/10.1016/0306-4379(92)90014-E

Building Integrated Software Development Environments, Part I: Tool Specification
G. Engels, C. Lewerentz, M. Nagl, W. Schäfer, A. Schürr, ACM Transactions on Software Engineering and Methodology (TOSEM) 1 (1992) 135–167.
LibreCat: /record/7409

Conceptual Modelling of Database Applications Using an Extended ER Model
G. Engels, M. Gogolla, U. Hohenstein, K. Hülsmann, P. Löhr-Richter, G. Saake, H.-D. Ehrich, Data &; Knowledge Engineering 9 (1992) 157–204.
LibreCat: /record/7410
DOI: http://dx.doi.org/10.1016/0169-023X(92)90008-Y

High performance universal hashing, with applications to shared memory simulations
M. Dietzfelbinger, F. Meyer auf der Heide, in: Data Structures and Efficient Algorithms, Berlin, Heidelberg, 1992.
LibreCat: /record/16733
DOI: 10.1007/3-540-55488-2_31

Hashing strategies for simulating shared memory on distributed memory machines
F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1992.
LibreCat: /record/16734
DOI: 10.1007/3-540-56731-3_3

On the performance of networks with multiple busses
F. Meyer auf der Heide, H.T. Pham, in: STACS 92, Berlin, Heidelberg, 1992.
LibreCat: /record/16735
DOI: 10.1007/3-540-55210-3_176

Efficient PRAM simulation on a distributed memory machine
R.M. Karp, M. Luby, F. Meyer auf der Heide, in: Proceedings of the Twenty-Fourth Annual ACM Symposium on Theory of Computing  - STOC ’92, 1992.
LibreCat: /record/16736
DOI: 10.1145/129712.129743

Dynamic Hashing in Real Time
M. Dietzfelbinger, F. Meyer auf der Heide, in: TEUBNER-TEXTE Zur Informatik, Wiesbaden, 1992.
LibreCat: /record/16737
DOI: 10.1007/978-3-322-95233-2_7

Software design and development in a scientific environment: lessons learned during the development of STAR, an astrophysical analysis and visualization package
G.O. Domik, K.D. Mickus-Miceli, in: D.M. Worrall, C. Biemesderfer (Eds.), Astronomical Data Analysis Software and Systems I, 1992, p. 95.
LibreCat: /record/14997

Visualization of Multi-dimensional Arrays in Astronomy
G. Domik, in: European Southern Observatory Conference and Workshop Proceedings, 1992, p. 249.
LibreCat: /record/15042

An Enriched Framework for Multidisciplinary Data Analysis
K. Mickus-Miceli, G. Domik, in: Symposium on Intelligent Scientific Computation, American Association for Artificial Intelligence (AAAI), Fall 1992 Symposium Series, Cambridge MA, October, 1992.
LibreCat: /record/15252