@book{2674, author = {{Betz, Stefan}}, publisher = {{Gabler-Verlag}}, title = {{{Operatives Erfolgscontrolling - Ein funktionaler Ansatz für industrielle Fertigungsprozesse}}}, year = {{1996}}, } @phdthesis{3260, author = {{Wehrheim, Heike}}, publisher = {{University of Hildesheim, Germany}}, title = {{{Specifying reactive systems with action dependencies: modelling and hierarchical design}}}, year = {{1996}}, } @article{3261, author = {{Goltz, Ursula and Wehrheim, Heike}}, journal = {{Inf. Process. Lett.}}, number = {{4}}, pages = {{179----184}}, title = {{{Modelling Causality via Action Dependencies in Branching Time Semantics}}}, doi = {{10.1016/0020-0190(96)00111-1}}, year = {{1996}}, } @inproceedings{3262, author = {{Goltz, Ursula and Wehrheim, Heike}}, booktitle = {{Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings}}, editor = {{Penczek, Wojciech and Szalas, Andrzej}}, pages = {{394----406}}, title = {{{Causal Testing}}}, doi = {{10.1007/3-540-61550-4_165}}, year = {{1996}}, } @book{3385, author = {{Gries, Thomas and Sieg, Gernot and Strulik, Holger}}, isbn = {{978-3-540-60972-8}}, publisher = {{Springer-Verlag}}, title = {{{Repetitorium Mikroökonomik}}}, year = {{1996}}, } @inbook{3529, author = {{Gries, Thomas}}, booktitle = {{Modelling and Analysing Economies in Transition}}, editor = {{Owsinski, J.W. and Nahorski, Z.}}, title = {{{A Dynamic Model of a Reconstruction Economy}}}, year = {{1996}}, } @inbook{17304, author = {{Oevel, Gudrun and Schulze, T.}}, booktitle = {{Visualization methodes in High Performance Computing and Flow Simulation}}, editor = {{Borchers, W. and Domik, G. and Kröner, D. and Rautmann, R. and Saupe, D.}}, publisher = {{VSP}}, title = {{{Graphics in the Computer Algebra System MuPAD}}}, year = {{1996}}, } @techreport{17418, author = {{Czumaj, Artur and Meyer auf der Heide, Friedhelm and Stemann, Volker}}, title = {{{Contention Resolution in Hashing Based Shared Memory Simulations}}}, year = {{1996}}, } @inproceedings{17419, abstract = {{We present a parallel algorithm for the rendering of complex three-dimensional scenes. The algorithm runs across heterogeneous architectures of PC-clusters consisting of a visualization-node, equipped with a powerful graphics adapter, and cluster nodes requiring weaker graphics capabilities only. The visualization-node renders a mixture of scene objects and simplified meshes (Reliefboards). The cluster nodes assist the visualization-node by asynchronous computing of Reliefboards, which are used to replace and render distant parts of the scene. Our algorithm is capable of gaining significant speedups if the cluster's nodes provide weak graphics adapters only. We trade the number of cluster nodes off the scene objects' image quality.}}, author = {{Grigoriev, Dima and Karpinski, Marek and Meyer auf der Heide, Friedhelm and Smolensky, Roman}}, booktitle = {{Proc. of 28th ACM-STOC}}, pages = {{612--621}}, publisher = {{Eurographics Symposium on Parallel Graphics and Visualization}}, title = {{{A lower bound for randomized algebraic decision trees}}}, volume = {{65453}}, year = {{1996}}, } @misc{17444, abstract = {{Gutachter: Prof. Dr. Theodor Ebert (Erlangen), Prof. Dr. Gottfried Gabriel (Jena), Prof. Dr. Eberhard Knobloch (Berlin), Prof. Dr. Christian Thiel (Erlangen); Habilitation am 5.2.1996}}, author = {{Peckhaus, Volker}}, pages = {{VIII + 428}}, title = {{{Logik und Struktur. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert, als Habilitationsschrift der Philosophischen Fakultät I der Universität Erlangen-Nürnberg vorgelegt im Juli 1995}}}, year = {{1996}}, } @inproceedings{17483, abstract = {{In this paper we develop a model for communication time on parallel computers consisting of processors and a service network, i.e., a network performing services like broadcast, synchronization, and global variables. The implementation of the service network is done on a free configurable Transputer network. Our cost model describes the communication time of accesses to global variables and consists of a multi-linear function. The cost model includes the parameters packet size, send hot spot, and the number of processors accessing global variables. These parameters influence the communication time in a high degree and capture important parameters like contention. We implement a Bitonic Sort and a Connected Components algorithm (among others) and we show that our model is able to predict the communication time within a 10% error if indirect service networks are used. The applications show that it is easy for a programmer to determine the parameter values for our model and that our new cost model precisely predicts the communication time of parallel algorithms. Furthermore, we minimize the communication time of accesses to global variables by finding a balance between the number of messages in the network and their size. Our model predicts the optimal values for these parameters which we validate by experiments. A modified implementation of our routing which determines on-line the optimal parameter values for an access to a global variable achieves good speed ups.}}, author = {{Fischer, Matthias and Rethmann, Jochen and Wachsmann, Alf}}, booktitle = {{3rd Workshop on Abstract Machine Models for Parallel and Distributed Computing (AMW '96)}}, isbn = {{905199267X}}, pages = {{13–27}}, publisher = {{IOS Press}}, title = {{{A Realistic Cost Model for the Communication Time in Parallel Programs}}}, year = {{1996}}, } @inproceedings{17493, abstract = {{Rezensionen: Modern Logic 7 (1997), 88 (I.H. Anellis, “Bibliographic Notic-es”); MR 97j:01024 (J.W. Dauben); Zbl. Math. 907.01026 (J.J. Cross).}}, author = {{Peckhaus, Volker}}, booktitle = {{Hermann Günther Graßmann (1809–1877): Visionary Mathematician, Scientist and Neo-humanist Scholar. Papers from a Sesquicentennial Conference}}, editor = {{Schubring, Gert}}, pages = {{217--227}}, publisher = {{Kluwer}}, title = {{{The Influence of Hermann Günther Grassmann and Robert Grassmann on Ernst Schröder’s Algebra of Logic}}}, volume = {{187}}, year = {{1996}}, } @inbook{17564, author = {{Bäumker, Armin and Dittrich, Wolfgang and Meyer auf der Heide, Friedhelm and Rieping, Ingo}}, booktitle = {{Lecture Notes in Computer Science}}, isbn = {{9783540616276}}, issn = {{0302-9743}}, pages = {{369--376}}, title = {{{Realistic parallel algorithms: Priority queue operations and selection for the BSP* Model}}}, doi = {{10.1007/bfb0024725}}, year = {{1996}}, } @misc{19047, abstract = {{Seite 12}}, author = {{Peckhaus, Volker}}, title = {{{Fotografie: Peter Singer (Erlangen, 22.6.1993), die tageszeitung v. 8.5.1996}}}, year = {{1996}}, } @book{19121, author = {{Eke, Norbert Otto and Olma, Walter and a., u.}}, pages = {{765}}, publisher = {{Insel}}, title = {{{„Wir wollen unsere Sehnsucht teilen“. Literatur in den Rheinlanden und in Westfalen 1895-1918 (Edition)}}}, volume = {{1}}, year = {{1996}}, } @book{19135, author = {{Eke, Norbert Otto}}, pages = {{570}}, publisher = {{Igel}}, title = {{{Richard Beer-Hofmann: Die Historie von König David und andere dramatische Entwürfe (Edition)}}}, volume = {{5}}, year = {{1996}}, } @inproceedings{1918, author = {{Dreier, Bernd and Huber, Annja and Zahn, Markus and Karl, Holger and Ungerer, Theo}}, booktitle = {{Proceedings Trends in Distributed Systems}}, title = {{{ReGTime - Rent Gigaflops someTimes}}}, year = {{1996}}, } @inbook{19311, author = {{Seng, Eva- Maria}}, booktitle = {{Blätter für württembergische Kirchengeschichte, 96. Jg. }}, pages = {{119--126}}, title = {{{Der evangelische Kirchenbau im 19. Jahrhundert, die Eisenacher Bewegung und der Architekt Christian Friedrich von Leins}}}, volume = {{96. Jg. 1996}}, year = {{1996}}, } @inbook{19312, author = {{Seng, Eva- Maria}}, booktitle = {{Die Dresdner Frauenkirche. Jahrbuch zu ihrer Geschichte und zu ihrem archäologischen Wiederaufbau. Bd. 2}}, pages = {{147--164}}, title = {{{Die Dresdner Frauenkirche in der evangelischen Kirchenbaudiskussion des19. Jahrhunderts}}}, volume = {{Bd. 2}}, year = {{1996}}, } @inbook{19413, author = {{Eke, Norbert Otto}}, booktitle = {{Richard Beer-Hofmann: Die Historie von König David und andere dramatische Entwürfe}}, editor = {{Eke, Norbert Otto}}, pages = {{537--566}}, publisher = {{Igel}}, title = {{{„Wandle – schaue – höre Jisro-El!“ Richard Beer-Hofmanns „Historie von König David“}}}, year = {{1996}}, }