SearchBrowse

close this section of the libraryftp://ftp.ira.uka.de (184)
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/gom/ER90.ps.gz, 19911220
published in: Proc. Intl. Conf. Entity-Relationship Approach, Lausanne, Oct. 1990 Autonomy over Ubiquity: Coping with the Complexity of a Distributed World A. Kemper, P. C. Lockemann, G. Moerkotte, H.-D. Walter, and S. M. Lang Fakult at f ur Informatik, Universit at Karlsruhe, D{7500 Karlsruhe, West
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/gom/BTW91.ps.gz, 19911220
References M. Atkinson, F. Bancilhon, D. J. DeWitt, K. R. Dittrich, D. Maier, and S. Zdonik. The objectoriented database system manifesto. In Proc. of the DOOD Conference, pages 407, Kyoto, Japan, Dec 1989. F. Bancilhon, T. Briggs, S. Khoshafian, and P. Valduriez. FAD, a powerful and simple
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/gom/Fashion.ps.gz, 19920117
Multiple Substitutability Without Affecting the Taxonomy Guido Moerkotte Andreas Zachmann Universit at Karlsruhe Fakult at f ur Informatik D-7500 Karlsruhe, F. R.G. Netmail: @ira.uka.de
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/gom/GI-DBTG91.ps.gz, 19920117
Die verteilte Informationswelt einer Fabrik Eine Welt autonomer Objekte Hans-Dirk Walter Fakult at f ur Informatik Universit at Karlsruhe W{7500 Karlsruhe email: walter@ira.uka.de Zu den Herausforderungen von Anwenderseite an die Datenbankforschung geh ort die effiziente und zuverl assige Datenhaltung f
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/gom/TYPdexa90.ps.gz, 19920429
Correcting Anomalies of Standard Inheritance |A Constraint-Based Approach| Alfons Kemper Guido Moerkotte Universit at Karlsruhe, Fakult at f ur Informatik, D-7500 Karlsruhe, West Germany, kemper/moer@ira.uka.de
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/gom/Cluster.ps.gz, 19920429
Clustering in Object Bases Carsten Gerlhof Alfons Kemper Christoph Kilger y Guido Moerkottey RWTH Aachen yUniversit at Karlsruhe Lehrstuhl f ur Informatik III Fakult at f ur Informatik 5100 Aachen, Germany 7500 Karlsruhe, Germany @informatik.rwth-aachen.de @ira.uka.de
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/gom/UBIQUITYer91.ps.gz, 19920429
Modelling CIM Applications Utilizing Autonomous Objects Alfons Kemper Peter C. Lockemann Guido Moerkotte Hans-Dirk Walter Fakult at f ur Informatik Universit at Karlsruhe D500 Karlsruhe, F. R.G. email: @ira.uka.de
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/gom/QUERYintber90.ps.gz, 19920429
Advanced Query Processing in Object Bases: A Comprehensive Approach to Access Support, Query Transformation and Evaluation Alfons Kemper Guido Moerkotte Interner Bericht Nr. 27/90 September 1990 1
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/gom/TRENDS.ps.gz, 19920429
Future Database Technology: Driving Forces and Directions Peter C. Lockemann Alfons Kemper Guido Moerkotte Fakult at f ur Informatik Universit at Karlsruhe D{7500 Karlsruhe West Germany 1 A Framework for Predictions: Driving Forces Predictions are notoriously difficult and unreliable especially if they
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/gom/TYPdexa91.ps.gz, 19920429
A Framework for Strong Typing and Type Inference in (Persistent) Object Models Alfons Kemper Guido Moerkotte Lehrstuhl f ur Informatik III Fakult at f ur Informatik RWTH Aachen Universit at Karlsruhe W-5100 Aachen W-7500 Kalrsruhe kemper@informatik.rwth-aachen.de moer@ira.uka.de
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/gom/QUERYvldb90.ps.gz, 19920429
to appear in: VLDB 90 Conference, Brisbane, Australia, Aug. 1990 Advanced Query Processing in Object Bases Using Access Support Relations Alfons Kemper Guido Moerkotte Universit at Karlsruhe Fakult at f ur Informatik D-7500 Karlsruhe, F. R. G. Netmail: kemper/moer@ira.uka.de
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/gom/ASRsigmod90.ps.gz, 19920429
M. Stonebraker, J. Anton, and E. Hanson. Extending a database system with procedures. ACM Trans. Database Systems, 12(3):35076, Sep 1987. P. Valduriez. Join indices. ACM Trans. Database Syst., 12(2):21846, Jun 87. P. Valduriez, S. Khoshafian, and G. Copeland. Implementation techniques
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/gom/QUERYdag92.ps.gz, 19920429
BIBLIOGRAPHY 137 Zdonik S. and Maier D. Fundamentals of object-oriented databases." In Zdonik S. and Maier D., editors, Readings in Object-Oriented Databases, pp. 12. Morgan-Kaufman Publ. Co. 136 BIBLIOGRAPHY Kemper A., Kilger C., and
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/gom/ASRinfsys.ps.gz, 19920429
Grundlagen objektorientierter Datenbanksysteme Alfons Kemper Guido Moerkotte RWTH Aachen Universit at Karlsruhe Zusammenfassung In objektorientierten Datenmodellen werden Struktur und Verhalten (d.h. Operationen, oft auch Methoden genannt) ahnlicher Anwendungsobjekte als duale, sich erg anzende
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/odersky-popl93.ps.gz, 19921026
Yale University Department of Computer Science Call by Name, Assignment, and the Lambda Calculus1 Martin Odersky Dan Rabin Paul Hudak Research Report YALEU/DCS/RR-929 October, 1992 This work was supported in part by DARPA grant number N00014-91-J-4043. The second author was supported during the final
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/gom/BXP.ps.gz, 19921119
Optimizing Boolean Expressions in Object Bases Alfons Kemper Guido Moerkotte+ Michael Steinbrunn Lehrstuhl f ur Informatik III +Fakult at f ur Informatik RWTH Aachen Universit at Karlsruhe Ahornstrasse 55 Am Fasanengarten W-5100 Aachen W-7500 Karlsruhe Germany Germany kemper
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/gom/HAIFA93.ps.gz, 19930208
Autonomous Objects: A Natural Model for Complex Applications Alfons Kemper Guido Moerkotte+ Hans-Dirk Walter+ Lehrstuhl f ur Informatik III +Fakult at f ur Informatik RWTH Aachen Universit at Karlsruhe Ahornstrasse 55 Am Fasanengarten 5 D{5100 Aachen, F. R. G. D{7500 Karlsruhe, F. R. G.
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/gom/INCOM92.ps.gz, 19930323
are intended to customize the representation of information stored in an integrated database for the needs of an application. A lot of promising research is under way to transfer the notion view into object-oriented models but the problem has not been solved in a satisfactory
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/gom/QUERYvldb93.ps.gz, 19930607
A Blackboard Architecture for Query Optimization in Object Bases Alfons Kemper Guido Moerkotte+ KlausPeithner Fakult at f ur Mathematik und Informatik +Fakult at f ur Informatik Universit at Passau Universit at Karlsruhe W-8390 Passau, F.R.G. W-7500 Karlsruhe, F.R.G. kemper peithner@db.fmi.uni-passau
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/gom/NGITS93.ps.gz, 19930616
Autonomous Objects: A Natural Model for Complex Applications Alfons Kemper Peter C. Lockemann+ Guido Moerkotte+ Hans-Dirk Walter+ Fakult at f ur Mathematik und Informatik +Fakult at f ur Informatik Universit at Passau Universit at Karlsruhe Innstrasse 33 Am Fasanengarten 5 D{8390 Passau, F. R.G. D{7500
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/gom/rids.ps.gz, 19930920
Activities in Object Basesy Peter C. Lockemann Hans-Dirk Walter Fakult at f ur Informatik, Universit at Karlsruhe, Karlsruhe, Germany
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/gom/DEng93.ps.gz, 19930930
Towards More Flexible Schema Management in Object Bases Guido Moerkotte Andreas Zachmann Universit at Karlsruhe Fakult at f ur Informatik D-7500 Karlsruhe West Germany Netmail: moer/zachmann@ira.uka.de
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/gom/IntRep24-92.ps.gz, 19930930
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/gom/stak-94.ps.gz, 19931020
Aktive und mobile Objekte als Modellierungskonzept f ur dezentrale Ingenieuranwendungen L. Keller C. Kilger D. Kottmann G. Moerkotte A. Schill H.-D. Walter A. Zachmann Fakult at f ur Informatik Universit at Karlsruhe Postfach 6980 D{76128 Karlsruhe kilger jmoerjwalter jzachmann @ira.uka.de lkeller
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/odersky-lfp92.ps.gz, 19931215
Parametric Type Classes (Extended Abstract) Kung Chen, Paul Hudak, Martin Odersky Yale University, Department of Computer Science, Box 2158 Yale Station, New Haven, CT 06520 ACM Conf. on LISP and Functional Programming, June 1992
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/odersky-popl94.ps.gz, 19931215
A Functional Theory of Local Names Martin Odersky Universit at Karlsruhe 76128 Karlsruhe, Germany odersky@ira.uka.de 21st ACM Symposium on Principles of Programming Languages, January 1994
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/cupit.ps.gz, 19940128
CuPit | A Parallel Language for Neural Algorithms: Language Reference and Tutorial Lutz Prechelt (prechelt@ira.uka.de) Institut f ur Programmstrukturen und Datenorganisation Universit at Karlsruhe 76128 Karlsruhe, Germany ++49/721/608-4068, Fax: ++49/721/694092 January 20, 1994 Technical Report 4/94
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/da.3d-metaphors.ps.gz, 19940217
Mathematisch- Informationstheoretische Untersuchung von 3D-Metaphern Diplomarbeit Lutz Kettner 21. Dezember 1993 Universit at Karlsruhe Institut f ur Betriebs- und Dialogsysteme Abteilung Dialogsysteme und graphische Datenverarbeitung Prof. Dr. A. Schmitt Betreuer: Prof. Dr. A. Schmitt Dipl. Inform. U.
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/da.3d-metaphors.abstract.ps.gz, 19940217
A Mathematical and Information-Theoretical Survey of 3D-Metaphors Thesis Lutz Kettner 21. Dezember 1993 University of Karlsruhe, Germany Department of Informatics Institute for Operating and Dialog Systems Prof. Dr. A. Schmitt Dipl. Inform. U. Br ockl-Fox
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/3d-metaphors.workshop.ps.gz, 19940218
Theoretical Foundations of 3D-Metaphors Lutz Kettner February 18, 1994 University of Karlsruhe, Germany Department of Informatics Institute for Operating and Dialog Systems Prof. Dr. A. Schmitt 1 Introduction A 3D-metaphor explains the handling of a 3D- operation with a two dimensional input device. It
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/gom/Sigmod91Proc.ps.gz, 19940223
Function Materialization in Object Bases Alfons Kemper Christoph Kilger Guido Moerkotte Universit at Karlsruhe Fakult at f ur Informatik D-7500 Karlsruhe, F. R. G. Netmail: @ira.uka.de
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/gom/DBPL93.ps.gz, 19940223
Nested Queries in Object Bases Sophie Cluet Guido Moerkotte INRIA Fakult at f ur Informatik BP 105 Universit at Karlsruhe Domaine de Voluceau Am Fasanengarten 5 78153 Le Chesnay Cedex D{7500 Karlsruhe France Germany Sophie.Cluet@inria.fr moer@ira.uka.de
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/gom/TKDE92.ps.gz, 19940223
To appear in: IEEE Transactions on Knowledge and Data Engineering, April 1994. Function Materialization in Object Bases: Design, Realization and Evaluation Alfons Kemper y Christoph Kilger z Guido Moerkottez yRWTH Aachen zUniversit at Karlsruhe Lehrstuhl f ur Informatik III Fakult at f ur Informatik
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/icalp.ps.gz, 19940317
Valuations and Unambiguity of Languages, with Applications to Fractal Geometry Henning Fernau Lehrstuhl Informatik f ur Ingenieure und Naturwissenschaftler Universit at Karlsruhe (TH) D-76128 Karlsruhe Ludwig Staiger Lehrstuhl f ur Informatik II RWTH Aachen Ahornstrasse 55 D-52056 Aachen
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/tcs.ps.gz, 19940317
VALUATIONS OF LANGUAGES, WITH APPLICATIONS TO FRACTAL GEOMETRY HENNING FERNAU LEHRSTUHL INFORMATIK F UR INGENIEURE UND NATURWISSENSCHAFTLER UNIVERSIT AT KARLSRUHE (TH) AM FASANENGARTEN 5 D-76128 KARLSRUHE GERMANY PHONE: +49(721)608-4336 FAX: +49(721)698675 EMAIL: FERNAU@IRA.UKA.DE March 17, 1994 But
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/analysis-random-polling.ps.gz, 19940428
Analysis of Random Polling Dynamic Load Balancing Peter Sanders Lehrstuhl Informatik f ur Ingenieure und Naturwissenschaftler University of Karlsruhe D-76128 Karlsruhe (Germany) E-mail: sanders@ira.uka.de April 28, 1994
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/MN.ps.gz, 19940608
INFINITE ITERATED FUNCTION SYSTEMS HENNING FERNAU LEHRSTUHL INFORMATIK F UR INGENIEURE UND NATURWISSENSCHAFTLER UNIVERSIT AT KARLSRUHE (TH) GERMANY June 8, 1994
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/gom/Cgtree-Vldb94.ps.gz, 19940609
Indexing Multiple Sets Christoph Kilger Guido Moerkotte Universit at Karlsruhe, Fakult at f ur Informatik, D-76128 Karlsruhe, Germany email: @ira.uka.de
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1994/1994-10.ps.gz, 19940610
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1994/1994-02.ps.gz, 19940610
Universit at Karlsruhe Fakult at f ur Informatik 76128 Karlsruhe, Germany Translating E/R-diagrams into Consistent Database Specifications Thomas Fuchss Institut f ur Logik, Komplexit at und Deduktionssysteme Universit at Karlsruhe 76128 Karlsruhe, Germany email: fuchss@ira.uka.de Interner Bericht Nr.
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/Techreports/1994/1994-05.ps.gz, 19940610
Mapping Large-Scale FEM-Graphs to Highly Parallel Computers with Grid-Like Topology by Self-Organization Marcus Dormanns Hans-Ulrich Heiss University of Karlsruhe Department of Informatics D-76128 Karlsruhe Germany e-mail: fdormanns,heissg@ira.uka.de February 9, 1994
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/Techreports/1994/1994-12.ps.gz, 19940725
Analysis of Random Polling Dynamic Load Balancing Peter Sanders Lehrstuhl Informatik f ur Ingenieure und Naturwissenschaftler University of Karlsruhe D-76128 Karlsruhe (Germany) E-mail: sanders@ira.uka.de April 28, 1994
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1994/1994-17.ps.gz, 19940830
Experimental Evaluation in Computer Science: A Quantitative Study Paul Lukowicz, Ernst A. Heinz, Lutz Prechelt, Walter F. Tichy email: (lukowicz j heinze j prechelt j tichy) @ ira.uka.de Department of Informatics University of Karlsruhe, Germany Technical Report 17/94 To appear in Journal of Systems
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1994/1994-22.ps.gz, 19940830
Universit at Karlsruhe Fakult at f ur Informatik Henning Fernau: Observations on Grammar and Language Families Henning Fernau Lehrstuhl Informatik f ur Ingenieure und Naturwissenschaftler Universit at Karlsruhe (TH) Am Fasanengarten 5 D-76128 Karlsruhe (Germany) email: fernau@ira.uka.de Interner Bericht
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/da.VBA_ATM.ps.gz, 19940909
Entwurf eines Verfahrens zur Verbindungsannahme uberwachung in B-ISDN Diplomarbeit am Institut f ur Telematik, Fakult at f ur Informatik, Universit at Karlsruhe (TH) von cand. inform. Carsten Voigt Tag der Ausgabe: 14.01.1994 Tag der Abgabe: 14.07.1994 Betreuer: Prof. Dr. Gerhard Kr uger Dipl.-Inform. J
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/da.VBA_ATM.abstract.ps.gz, 19940920
Entwurf eines Verfahrens zur Verbindungsannahme uberwachung in B-ISDN Diplomarbeit am Institut f ur Telematik, Fakult at f ur Informatik, Universit at Karlsruhe (TH) von cand. inform. Carsten Voigt Tag der Ausgabe: 14.01.1994 Tag der Abgabe: 14.07.1994 Betreuer: Prof. Dr. Gerhard Kr uger Dipl.-Inform. J
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/da.VBA_ATM.bib.ps.gz, 19940920
Literaturverzeichnis Anindo Banerjea, Srinivasan Keshav: Queueing Delays in Rate Controlled Networks, Technical Report tr-92-015, University of Berkeley: M arz 1992 Graham M. Birtwistle and Ole-Johan Dahl and Bjorn Myhrhaug and Kristen Nygaard : SIMULA BEGIN Van Nostrand Reinhold
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1994/1994-26.ps.gz, 19941020
Valid Extensions of Introspective Systems: A Foundation for Reflective Theorem Provers Arno Sch onegge Institut f ur Logik, Komplexit at und Deduktionssysteme Universit at Karlsruhe D-76128 Karlsruhe, Germany email: schoeneg@ira.uka.de
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/maraist-odersky-popl95.ps.gz, 19941027
A Call-By-Need Lambda Calculus Zena M. Ariola Computer & Information Science Department University of Oregon Eugene, Oregon Matthias Felleisen Department of Computer Science Rice University Houston, Texas John Maraist and Martin Odersky Institut f ur Programmstrukturen Universit at Karlsruhe Karlsruhe,
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/Techreports/1994/1994-18.ps.gz, 19941123
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1994/1994-30.ps.gz, 19941123
3 T A P The Many-Valued Theorem-Prover Reiner H ahnle Bernhard Beckert Stefan Gerberding 3rd Edition September 1994 University of Karlsruhe Institute for Logic, Complexity and Deduction Systems
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1994/1994-25.ps.gz, 19941123
Translating Inheritance Nets to Default Logic Ingrid Neumann Institut f ur Logik, Komplexit at und Deduktionssysteme Universit at Karlsruhe 76128 Karlsruhe, Germany e-mail: neumann@ira.uka.de
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1994/1994-34.ps.gz, 19950111
Membership for Limited ET0L Languages Is Not Decidable Henning Fernau Lehrstuhl Informatik f ur Ingenieure und Naturwissenschaftler Universit at Karlsruhe (TH) Am Fasanengarten 5 D-76128 Karlsruhe Germany email: fernau@ira.uka.de Christmas 1994 Joseph went to register with Mary, who was promised in
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1994/1994-33.ps.gz, 19950111
Proving WAM Compiler Correctness P.H.Schmitt January 9, 1995
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/Techreports/1994/1994-07.ps.gz, 19950111
Eine Basis f ur effiziente Konsistenzpr ufung Uwe Herzog Guido Moerkotte Universit at Karlsruhe, Fakult at f ur Informatik D-76128 Karlsruhe, Germany email: @ira.uka.de 1. Dezember 1994 Zusammenfassung Im folgenden Beitrag wird eine Ubersetzungstechnik f ur effiziente Konsistenztests in
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1995/1995-06.ps.gz, 19950114
Towards Better Algorithms for Parallel Backtracking IB 6/95 Peter Sanders Department of Computer Science University of Karlsruhe, 76128 Karlsruhe, Germany E-mail: sanders@ira.uka.de January 14, 1995
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/Techreports/1995/1995-03.ps.gz, 19950114
A Second Look at Overloading Technical Report 3/95, University of Karlsruhe, Department of Computer Science Martin Odersky Philip Wadlery Martin Wehr
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/Techreports/1994/1994-28.ps.gz, 19950114
The Call-by-Need Lambda Calculus (Unabridged) John Maraist Martin Odersky Universit at Karlsruhey Philip Wadler University of Glasgowz October 1994
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/Techreports/1994/1994-03.ps.gz, 19950114
Specification and Verification of Distributed Technical Systems with Central Control Gerhard Schellhorn Institut f ur Logik, Komplexit at und Deduktionssysteme Universit at Karlsruhe 76128 Karlsruhe, Germany email: schellhorn@ira.uka.de January 1994
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1994/1994-27.ps.gz, 19950114
Applying ss: Towards a Basis for Concurrent Imperative Programming Martin Odersky Universit at Karlsruhe 76128 Karlsruhe, Germany odersky@ira.uka.de December 22, 1994
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/Techreports/1994/1994-23.ps.gz, 19950125
ArchE { Entwicklung einer datenbankunterst utzten Architektur{Entwurfsumgebung Ein Anforderungsbericht L: Hovestadt+, V: Hovestadt+, J: A: M ulle++, R: Sturm++ November 1994 + Institut f ur Industrielle Bauproduktion und ++ Institut f ur Programmstrukturen und Datenorganisation Universit at Karlsruhe
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/Techreports/1994/1994-14.ps.gz, 19950125
-1- UNIVERSIT T KARLSRUHE Postfach 6980, D-76128 Karlsruhe, Deutschland FAKULT T F R INFORMATIK A Verification Concept for SDL Systems and its Application to the Abracadabra Protocol Markus Rinderspacher Institut f r Logik, Komplexit t und Deduktionssysteme Interner Bericht 14/94 -2-
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/Techreports/1993/1993-01.ps.gz, 19950125
Measurements of MasPar MP-1216A Communication Operations Lutz Prechelt (prechelt@ira.uka.de) Institut f ur Programmstrukturen und Datenorganisation Fakult at f ur Informatik Universit at Karlsruhe, Postfach 6980 D{7500 Karlsruhe, Germany ++49/721/608-4068, Fax: ++49/721/694092 January 6, 1993 Technical
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1995/1995-05.ps.gz, 19950125
A case study on different modeling approaches based on model checking - verifying numerous versions of the alternating bit protocol with SMV January 23, 1995 Armin Biere1 Alexander Kick2 1Institut f ur Logik, Komplexit at und Deduktionssysteme, 2Lehrstuhl Informatik f ur Ingenieure und
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1993/1993-16.ps.gz, 19950125
Comparison of MasPar MP-1 and MP-2 Communication Operations Lutz Prechelt (prechelt@ira.uka.de) Institut f ur Programmstrukturen und Datenorganisation Fakult at f ur Informatik Universit at Karlsruhe, Postfach 6980 D{7500 Karlsruhe, Germany ++49/721/608-4068, Fax: ++49/721/694092 April 23, 1993
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1994/1994-01.ps.gz, 19950125
1 Freundeskreis der Fakult t f r Informatik der Universit t Karlsruhe e.V. Freundeskreis der Fakult t f r Informatik der Universit t Karlsruhe e.V. Kaiserstr. 12, 76128 Karlsruhe WORKSHOPFORUM PRAXIS Informatik 2000 des Freundeskreises der Fakult t f r Informatik 24. 27. Juni 1993 W rzbach / Schwarzwald
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/Techreports/1995/1995-01.ps.gz, 19950125
The CuPit Compiler for the MasPar MP-1 and MP-2 A Literate Programming Document Lutz Prechelt (prechelt@ira.uka.de) Fakult at f ur Informatik Universit at Karlsruhe 76128 Karlsruhe, Germany ++49/721/608-4068, Fax: ++49/721/694092 January 7, 1995 Technical Report 1/95
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1995/1995-07.ps.gz, 19950201
wickelt. Die Anwendung von Transformationsregeln wird nicht unterst tzt. Als ProgrammierspraProgrammverifikationssystem che wird eine Teilmenge von UCSD-Pascal benutzt. Tatzelwurm 2. Als Spezifikationssprache verwenden wir die Weiterentwicklung w hrend des Pr dikatenlogik erster Stufe mit Gleichheit und
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/Techreports/1994/1994-09.ps.gz, 19950201
Accepting Grammars and Systems Henning Bordihn Fakult at f ur Informatik Otto-von-Guericke-Universit at Magdeburg Postfach 4120 D-39016 Magdeburg Germany email: bordihn@cs.uni-magdeburg.de Henning Fernau Lehrstuhl Informatik f ur Ingenieure und Naturwissenschaftler Universit at Karlsruhe (TH) Am
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1994/1994-31.ps.gz, 19950201
Lower and upper bounds for (sums of) binomial coefficients Thomas Worsch Lehrstuhl Informatik f ur Ingenieure und Naturwissenschaftler Universit at Karlsruhe 76128 Karlsruhe Germany email: worsch@ira.uka.de January 1994
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/Techreports/1995/1995-16.ps.gz, 19950303
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/Techreports/1995/1995-17.ps.gz, 19950303
Applying AXIOM to Partial Differential Equations W.M. Seiler Institut f ur Algorithmen und Kognitive Systeme Universit at Karlsruhe 76128 Karlsruhe, Germany Email: seilerw@ira.uka.de
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1995/1995-15.ps.gz, 19950303
From Radial to Rectangular Basis Functions: A new Approach for Rule Learning from Large Datasets Michael R. Berthold and Klaus{Peter Huber Institut f ur Rechnerentwurf und Fehlertoleranz (Prof. D. Schmid) Universit at Karlsruhe
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/Techreports/1995/1995-19.ps.gz, 19950403
Data Flow Analysis of Parallel Programs J urgen Vollmer Interner Bericht 19/95 Universit at Karlsruhe Fakult at f ur Informatik Universit at Karlsruhe Fakult at f ur Informatik Data Flow Analysis of Parallel Programs J urgen Vollmer Institut f ur Programmstrukturen und Datenorganisation Interner Bericht
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/Lieberman-ML-PBD.ps, 19950613
INTERACTION IS THE KEY TO MACHINE LEARNING APPLICATIONS HENRY LIEBERMAN Media Laboratory, Massachusetts Institute of Technology, Cambridge, Mass., USA
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1995/1995-29.ps.gz, 19950623
Efficient Emulation of MIMD Behavior on SIMD Machines Peter Sanders LS Informatik f ur Ingenieure und Naturwissenschaftler Universit at Karlsruhe D-76128 Karlsruhe Germany E-mail: sanders@ira.uka.de Fax: (49) 721-698 675
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/Techreports/1995/1995-13.ps.gz, 19950623
Beschreibung gemeinsamen Verhaltens in einem einheitlichen Objektraum Heiko Kiessling Uwe Kr uger Universit at Karlsruhe, Fakult at f ur Informatik, Institut f ur Betriebs- und Dialogsysteme D-76128 Karlsruhe, Deutschland E-Mail: fkiessling, ukruegerg@ira.uka.de Interner Bericht 13/95 Zusammenfassung
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/Techreports/1995/1995-10.ps.gz, 19950623
OE Universit at Karlsruhe Fakult at f ur Informatik Informatik-Rechnerabteilung Institut f ur Betriebs- und Dialogsysteme Seminar Netzwerkmanagement Sommersemester 1994 Betreuer und Herausgeber: Dipl.-Inform. G. Schreiner Prof. Dr. W. Zorn ii Einleitung Die Datenkommunikation ist in den letzten Jahren
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1995/1995-24.ps.gz, 19950623
Fast Subsumption Checks Using Anti-Links Anavai Ramesh Neil V. Murray Bernhard Beckert Reiner H ahnle Interner Bericht 24/95 Universit at Karlsruhe Fakult at f ur Informatik Publication Note This report has been submitted for publication elsewhere, and will be copyrighted if accepted. Fast Subsumption
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1995/1995-33.ps.gz, 19950623
Would you ever risk a non-monomorphic specification Arno Sch onegge Institut f ur Logik, Komplexit at und Deduktionssysteme Universit at Karlsruhe D-76128 Karlsruhe, Germany email: schoenegge@ira.uka.de
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1995/1995-25.ps.gz, 19950623
leanEA A Poor Man's Evolving Algebra Compiler Bernhard Beckert Joachim Posegga Interner Bericht 25/95 Universit at Karlsruhe Fakult at f ur Informatik leanEA: A Poor Man's Evolving Algebra Compiler Bernhard Beckert & Joachim Posegga Universit at Karlsruhe Institut f ur Logik, Komplexit at und
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1995/1995-27.ps.gz, 19950705
Formula dependent model reduction through elimination of invisible transitions for checking fragments of CTL Alexander Kick Lehrstuhl Informatik f ur Ingenieure und Naturwissenschaftler, Universit at Karlsruhe, Am Fasanengarten 5,D-76128 Karlsruhe, Germany Email: kick@ira.uka.de
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1995/1995-34.ps.gz, 19950705
Proof Obligations for Monomorphicity Arno Sch onegge Institut f ur Logik, Komplexit at und Deduktionssysteme Universit at Karlsruhe D-76128 Karlsruhe, Germany email: schoenegge@ira.uka.de
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1995/1995-31.ps.gz, 19950724
Universit at Karlsruhe Fakult at f ur Informatik OPTIMIX Language Report (for OPTIMIX 7.0) Uwe Assmann Institut f ur Programmstrukturen und Datenorganisation Interner Bericht 31/95 July 20, 1995
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/Techreports/1995/1995-09.ps.gz, 19950811
OE Universit at Karlsruhe Fakult at f ur Informatik Informatik-Rechnerabteilung Institut f ur Betriebs- und Dialogsysteme Seminar Netzwerkmanagement Wintersemester 1992/93 Betreuer und Herausgeber: Dipl.-Inform. G. Schreiner Prof. Dr. W. Zorn ii Einleitung Die Datenkommunikation ist in den letzten
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/Techreports/1995/1995-12.ps.gz, 19950811
OE Universit at Karlsruhe Fakult at f ur Informatik Informatik-Rechnerabteilung Institut f ur Betriebs- und Dialogsysteme Seminar Netzwerkmanagement Wintersemester 1994/95 Betreuer und Herausgeber: Dipl.-Inform. G. Schreiner Prof. Dr. W. Zorn ii Einleitung Die Datenkommunikation ist in den letzten
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/Techreports/1994/1994-32.ps.gz, 19950824
MULTIMEDIA DATENSPEICHERUNG UND DATENBANKEN (Tutorial) A. Klingert, C. Kn orzer, A. Schmitt Interner Bericht Nr. 32/94 Universit at Karlsruhe Fakult at f ur Informatik Institut f ur Betriebs- und Dialogsysteme Lehrstuhl Prof. Dr. A. Schmitt 1994 Zusammenfassung Multimedia hat heute in Technik, Forschung
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1995/1995-40.ps.gz, 19950828
Some Implementation Results on Random Polling Dynamic Load Balancing Peter Sanders Department of Computer Science University of Karlsruhe, 76128 Karlsruhe, Germany Email: sanders@ira.uka.de
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1995/1995-41.ps.gz, 19950831
Effective Strategies for Enumeration Games Martin Kummer and Matthias Ott Institut f ur Logik, Komplexit at und Deduktionssysteme Universit at Karlsruhe, D-76128 Karlsruhe, Germany Email: fkummer; m ottg@ira.uka.de
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1995/1995-37.ps.gz, 19950905
Generation of counterexamples and witnesses for the -calculus August 23, 1995 Alexander Kick Lehrstuhl Informatik f ur Ingenieure und Naturwissenschaftler, Universit at Karlsruhe, Am Fasanengarten 5,D-76128 Karlsruhe, Germany Email: kick@ira.uka.de
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/Techreports/1994/1994-24.ps.gz, 19950905
Bereichsdynamische Konsistenz uberwachung R: Sturm, P:C: Lockemann Dezember 1994 Institut f ur Programmstrukturen und Datenorganisation Universit at Karlsruhe D{76128 Karlsruhe e-mail: fsturm; lockemanng@ira:uka:de Interner Bericht Nr.24/94, Fakult at f ur Informatik Universit at Karlsruhe 1
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/Techreports/1994/1994-29.ps.gz, 19950921
The Semantics of Rational Contractions J rgen Giesl Ingrid Neumann Fachbereich Informatik Fakult t f r Informatik Technische Hochschule Darmstadt Universit t Karlsruhe Alexanderstr. 10 Kaiserstr. 12 64283 Darmstadt 76128 Karlsruhe Tel.: ++49-6151-166658 Tel.: ++49-721-6084375 Fax: ++49-6151-165326
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1995/1995-42.ps.gz, 19950921
Object-Oriented Protocol Hierarchies for Distributed Workflow Systems P. C. Lockemann, H.-D. Walter Interner Bericht 42/95
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1995/1995-43.ps.gz, 19950927
Object Migration in Non-Monolithic Distributed Applications O. Ciupke, D. Kottmann, H.-D. Walter Interner Bericht 43/95
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1995/1995-44.ps.gz, 19951007
Tableaux and witnesses for the -calculus October 7, 1995 Alexander Kick Lehrstuhl Informatik f ur Ingenieure und Naturwissenschaftler, Universit at Karlsruhe, Am Fasanengarten 5,D-76128 Karlsruhe, Germany Email: kick@ira.uka.de
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1995/1995-39.ps.gz, 19951012
Informationstechnische Verteilungsanforderungen in Maschinenbauunternehmen L. Keller, A. Grosse, J. Hartroth, D. Kottmann, H.-M. Kern Interner Bericht 39/95 Universit at Karlruhe, Fakult at f ur Informatik Oktober 1995 Zusammenfassung Moderne ingenieurwissenschaftliche Anwendungen stellen aufgrund ihrer
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1995/1995-30.ps.gz, 19951012
Daten in verteilten Systemen Ludwig Keller, Dietmar Kottmann Interner Bericht 30/95 Universit at Karlsruhe Fakult at f ur Informatik Vorwort Heutige verteilte Systeme sind gepr agt durch die globale Vernetzung von Rechnersystemen und eine starke Dezentralisierung ihrer Anwendung. Sie erfordern
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1995/1995-45.ps.gz, 19951013
Model Generation Theorem Proving with Interval Constraints Reiner H ahnley Institute for Logic, Complexity and Deduction Systems Dept. of Comp. Sci., Univ. Karlsruhe, 76128 Karlsruhe, Germany haehnle@ira.uka.de http://i12www.ira.uka.de/~reiner Ryuzo Hasegawa Dept. of Electronics, Kyushu Univ. 36,
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1995/1995-20.ps.gz, 19951019
Universit t Karlsruhe Fakult t f r Informatik 76128 Karlsruhe Flexible and Transparent Fault Tolerance for Distributed Object-Oriented Applications M arz 1995 Dietmar A. Kottmann Prof. Dr. Alexander B. Schill Universit at Karlsruhe Institut f ar Telematik Interner Bericht 20/95 i
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1995/1995-26.ps.gz, 19951019
A-Ordered Tableaux Reiner H ahnle Stefan Klingenbeck Interner Bericht 26/95 Universit at Karlsruhe Fakult at f ur Informatik Copyright notice This document has been submitted for publication elsewhere and will be copyrighted when accepted. A-Ordered Tableaux Reiner H ahnle and Stefan Klingenbeck
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/Techreports/1995/1995-18.ps.gz, 19951019
Prof. Dr. Dr. h.c. G. Kr ger Institut f r Telematik Universit t Karlsruhe (TH) Zirkel 2 76128 Karlsruhe Tel.: 0721/608-3835 e-mail: krueger@telematik.informatik.uni-karlsruhe.de Netzwerk Management und Hochgeschwindigkeits Kommunikation Teil XI Seminar WS 1994/95 Markus Hofmann G nter Sch fer Claudia
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1995/1995-21.ps.gz, 19951019
Efficient Parallel Computing on Workstation Clusters Thomas M. Warschko and Walter F. Tichy and Christian G. Herter University of Karlsruhe, Dept. of Informatics Postfach 6980, 76128 Karlsruhe, Germany email: fwarschkojtichyjherterg@ira.uka.de Technical Report 21/95
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1995/1995-38.ps.gz, 19951019
Experimentelle Methoden in der Informatik D. B ar, O. Benke, T. Br uckner, L. Prechelt, I. Redeke, R. Reussner, M. Schmidt, U. Veigel Institut f ur Programmstrukturen und Datenorganisation Fakult at f ur Informatik, Universit at Karlsruhe Bericht 38/95, Juli 1995 Zusammenfassung Dieser Report enth alt
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1995/1995-46.ps.gz, 19951103
From tableaux to witnesses for the modal -calculus November 3, 1995 Alexander Kick Lehrstuhl Informatik f ur Ingenieure und Naturwissenschaftler, Universit at Karlsruhe, Am Fasanengarten 5,D-76128 Karlsruhe, Germany Email: kick@ira.uka.de
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1995/1995-47.ps.gz, 19951103
Reduced witnesses for the -calculus November 3, 1995 Alexander Kick Lehrstuhl Informatik f ur Ingenieure und Naturwissenschaftler, Universit at Karlsruhe, Am Fasanengarten 5,D-76128 Karlsruhe, Germany Email: kick@ira.uka.de
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1995/1995-49.ps.gz, 19951124
Extending Dynamic Logic for Reasoning about Evolving Algebras Arno Sch onegge Interner Bericht Nr. 49/95 November 1995 Universit at Karlsruhe Fakult at f ur Informatik Institut f ur Logik, Komplexit at und Deduktionssysteme Extending Dynamic Logic for Reasoning about Evolving Algebras Arno Sch onegge
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1995/1995-50.ps.gz, 19951222
Any two countable, densely ordered sets without endpoints are isomorphic | a formal proof with KIV Martin Giese Arno Sch onegge Technical Report No. 50/95 December 1995 Universit at Karlsruhe Fakult at f ur Informatik Institut f ur Logik, Komplexit at und Deduktionssysteme Any two countable, densely
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1996/1996-04.ps.gz, 19960110
Proving Compiler Correctness with Evolving Algebra Specifications Bernhard Beckert Reiner H ahnle 1 Introduction The purpose of this note is to define a framework for proving compiler correctness with evolving algebra (EA) specifications . Although our specific domain is the verification of a
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1996/1996-02.ps.gz, 19960110
Incremental Theory Reasoning Methods for Semantic Tableaux Bernhard Beckert & Christian Pape Institute for Logic, Complexity and Deduction Systems University of Karlsruhe Am Fasanengarten 5, 76128 Karlsruhe, Germany fbeckert;papeg@ira.uka.de, http://i12.www.ira.uka.de/~beckert
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1995/1995-51.ps.gz, 19960116
Local model checking in Park's -calculus January 16, 1996 Alexander Kick Lehrstuhl Informatik f ur Ingenieure und Naturwissenschaftler, Universit at Karlsruhe, Am Fasanengarten 5,D-76128 Karlsruhe, Germany Email: kick@ira.uka.de
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1996/1996-06.ps.gz, 19960204
On relations between arrays of processing elements of different dimensionality Alf-Christian Achilles achilles@ira.uka.de Martin Kutriby kutrib@informatik.uni-giessen.de Thomas Worsch worsch@ira.uka.de 4th February, 1996
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1996/1996-05.ps.gz, 19960209
Randomized Parallel Motion Planning for Robot Manipulators Caigong Qin Dominik Henrich Computing Laboratory IPR, Dept. of Computer Science University of Oxford University of Karlsruhe Oxford OX1 3QD, Britain D-76128 Karlsruhe, Germany qin@comlab.ox.ac.uk dhenrich@ira.uka.de February 9, 1996
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1996/1996-09.ps.gz, 19960219
500 1000 1500 2000 1000 2000 3000 4000 5000 6000 7000 8000 9000 10000 Client-Server Client-Server1-Server2 Client-Delegate-Server Figure 19: Comparison between delegates and compiled servers 5 10 15 20 25 30 2 4 6 8 10 12 14 16 18 Delegate native RPC Figure 20: Comparison
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1996/1996-10.ps.gz, 19960221
Common Syntax of the DFG-Schwerpunktprogramm Deduktion" Reiner H ahnle Fakult at f ur Informatik Universit at Karlsruhe D-76128 Karlsruhe reiner@ira.uka.de Manfred Kerber School of Computer Science The University of Birmingham Birmingham, B15 2TT, England M.Kerber@cs.bham.ac.uk Christoph Weidenbach
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1996/1996-12.ps.gz, 19960301
Implementing Semantic Tableaux Joachim Posegga Peter H. Schmitt Interner Bericht 12/96 Universit at Karlsruhe Fakult at f ur Informatik Implementing Semantic Tableaux Joachim Posegga & Peter H. Schmitt Contents 1 Preliminaries : : : : : : : : : : : : : : : : : : : : : : : : : : : : 3 2 Preprocessing : :
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1996/1996-13.ps.gz, 19960304
The ParaPC / ParaStation Project: Efficient Parallel Computing by Clustering Workstations Thomas M. Warschko, Joachim M. Blum, and Walter F. Tichy University of Karlsruhe, Dept. of Informatics Postfach 6980, D-76128 Karlsruhe, Germany email: fwarschko,blum,tichyg@ira.uka.de Technical Report 13/96
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1996/1996-17.ps.gz, 19960508
PSPVM: Implementing PVM on a high-speed Interconnect for Workstation Clusters Joachim M. Blum, Thomas M. Warschko, and Walter F. Tichy University of Karlsruhe, Dept. of Informatics Postfach 6980,76128 Karlsruhe, Germany email:fblum,warschko,tichyg@ira.uka.de Technical Report 17/96
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1996/1996-18.ps.gz, 19960523
On the Manhattan-Distance Between Points on Space-Filling Mesh-Indexings Rolf Niedermeier Peter Sandersy May 23, 1996
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1996/1996-16.ps.gz, 19960610
Proof of the Principal Type Property for System O Technical Report Martin Wehr Martin Odersky June 10, 1996
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1996/1996-20.ps.gz, 19960612
Graph-Based System Configuration Horst Moldenhauer Universit at Karlsruhe, Institut f ur Programmstrukturen und Datenorganisation, Vincenz-Priessnitz Str. 3, 76128 Karlsruhe, Germany molden@ipd.info.uni-karlsruhe.de
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1996/1996-22.ps.gz, 19960621
Datenverteilung als Konfigurationsproblem J orn Eisenbiegler 23.5.1996 1 Einleitung Das zentrale Problem beim Entwurf verteilter Programme bzw. dem Ubersetzen von PRAM-Programmen auf parallele (insbesondere verteilte) Systeme ist die optimale Verteilung der Daten. Eine optimale Verteilung f ur ein nur
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1996/1996-14.ps.gz, 19960705
Universit t Karlsruhe Fakult t f r Informatik 76128 Karlsruhe Netzwerk-Management und Hochgeschwindigkeits- Kommunikation Teil XIII Seminar WS 1995/96 Herausgeber: Elmar Dorner Markus Hofmann Claudia Schmidt Jochen Seitz Universit at Karlsruhe Institut f ur Telematik Interner Bericht 14/96
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1995/1995-22.ps.gz, 19960705
Universit t Karlsruhe Fakult t f r Informatik 76128 Karlsruhe Forschungs- und Arbeitsgebiete des Instituts f ur Telematik April 1995 Professor Dr. Dr. h.c. Gerhard Kr uger G unter Sch afer (Hrsg.) Universit at Karlsruhe Institut f ur Telematik Interner Bericht 22/95 Universit at Karlsruhe Institut f ur
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1996/1996-07.ps.gz, 19960705
- 1 - DTLEX: Ein Expertensystem zur Objektbestimmung auf der Basis nat rlichsprachiger Entscheidungsb ume von Alfred Schmitt Institut f r Betriebs- und Dialogsysteme Universit t Karlsruhe 76128 Karlsruhe Kurzfassung: Es wird ber die Entwicklung eines Expertensystems zur Bestimmung von schwierig zu
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1996/1996-24.ps.gz, 19960715
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ UNIVERSIT AT KARLSRUHE FAKULT AT F UR INFORMATIK D-76128 Karlsruhe Java Seminarbeitr age Michael Philippsen, Editor Technical Report 24/96 { July 1996 Inhaltsverzeichnis 1 Java { Eine Einf uhrung 3 1.1 Java { Was ist das . . . . . . . . .
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1996/1996-28.ps.gz, 19960716
Type Inference with constrained Types Martin Sulzmann, Martin Odersky, Martin Wehr University of Karlsruhe Institute for Program Structures and Data Organization Am Fasanengarten 5, 76128 Karlsruhe, Germany fsulzmann,odersky,wehrg@ira.uka.de 1 Introduction There are many type systems that extend the
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1996/1996-23.ps.gz, 19960717
Universit t Karlsruhe Fakult t f r Informatik 76128 Karlsruhe Netzwerk-Management und Hochgeschwindigkeits- Kommunikation Teil XIV Seminar SS 1996 Herausgeber: Stefan Dresler G unter Sch afer Hajo Wiltfang Universit at Karlsruhe Institut f ur Telematik Interner Bericht 23/96 Zusammenfassung Der
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1996/1996-27.ps.gz, 19960717
Verification of a Prolog Compiler { First Steps with KIV Gerhard Schellhorn Abt. Programmiermethodik Universit at Ulm, D-89069 Ulm, Germany email: schellhorn@informatik.uni-ulm.de Wolfgang Ahrendt Inst. f ur Logik, Komplexit at und Deduktionssysteme Universit at Karlsruhe, D-76128 Karlsruhe, Germany
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1996/1996-11.ps.gz, 19960812
On parallel Turing machines with multi-head control units Thomas Worschy http://liinwww.ira.uka.de/~worsch/
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1996/1996-30.ps.gz, 19960813
Vergleich und Analyse von Ordnungseinschr ankungen f ur freie Variablen Tableau Christian Pape pape@ira.uka.de Universit at Karlsruhe Institut f ur Logik, Komplexit at und Deduktionsysteme Dies ist eine uberarbeitete Version meiner Diplomarbeit vom 31.Mai 1996. ii Inhalt Kapitel 1. Einf uhrung 1 Kapitel
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1996/1996-25.ps.gz, 19960909
Technical Report 25/96, Department of Computing Science, University of Karlsruhe Separating Weakening and Contraction in a Linear Lambda Calculus (Unabridged) John Maraist
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1996/1996-29.ps.gz, 19960909
Data Warehousing Seminar im Sommersemester 1996 Christoph Breitner, Uwe Herzog, Jutta M ulle, J org Schl osser (Hrsg.) Institut f ur Programmstrukturen & Datenorganisation Fakult at f ur Informatik Universit at Karlsruhe @ira.uka.de Juli 1996 Vorwort Sich verst arkender
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1995/1995-52.ps.gz, 19960913
Transparent extention of existing applications for mobile computing Rimbert Rudisch Telecooperation Group University of Linz rru@tk.uni-linz.ac.at Michael Beigl Telecooperation Office University of Karlsruhe michael@teco.uni-karlsruhe.de
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1995/1995-53.ps.gz, 19960913
A mobile system integration architecture Michael Beigl Telecooperation Office University of Karlsruhe michael@teco.uni-karlsruhe.de Rimbert Rudisch Telecooperation Group University of Linz rru@tk.uni-linz.ac.at Boris Bialek CEC Karlsruhe Digital Equipment GmbH bialek@nestvx.enet.dec.com 15. November
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1996/1996-36.ps.gz, 19961003
Universit t Karlsruhe Fakult t f r Informatik 76128 Karlsruhe Forschungs- und Arbeitsgebiete des Instituts f ur Telematik Oktober 1996 Professor Dr. Dr. h.c. Gerhard Kr uger Stefan Dresler (Hrsg.) Universit at Karlsruhe Institut f ur Telematik Interner Bericht 36/96 Universit at Karlsruhe Institut f ur
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1996/1996-39.ps.gz, 19961017
Structural Measures for Games and Process Control in the Branch Learning Model Matthias Ott Universit at Karlsruhe Frank Stephany Universit at Heidelberg
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1996/1996-38.ps.gz, 19961023
Universit t Karlsruhe Fakult t f r Informatik 76128 Karlsruhe Daten in verteilten Systemen Seminar SS 1995 & WS 1995/96 Herausgeber: Arnd G. Grosse Dietmar A. Kottmann Universit at Karlsruhe Institut f ur Telematik Interner Bericht 38/96 Zusammenfassung Verteilte Systeme gewinnen zunehmend an Bedeutung
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1996/1996-31.ps.gz, 19961210
Ramified Higher-Order Unification Jean Goubault-Larrecq Institut f ur Logik, Komplexit at und Deduktionssysteme Universit at Karlsruhe, D-76128 Karlsruhe y Jean.Goubault@frcl.bull.fr August 29, 1996
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1996/1996-32.ps.gz, 19961212
Implementing Tableaux by Decision Diagrams Jean Goubault-Larrecq Institut f ur Logik, Komplexit at und Deduktionssysteme Universit at Karlsruhe, D-76128 Karlsruhe y Jean.Goubault@frcl.bull.fr August 29, 1996
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1996/1996-33.ps.gz, 19961212
On Computational Interpretations of the Modal Logic S4 IIIa. Termination, Confluence, Conservativity of >=evQ. Jean Goubault-Larrecq Institut f ur Logik, Komplexit at und Deduktionssysteme Universit at Karlsruhe, Am Fasanengarten 5, D-76128 Karlsruhe y Jean.Goubault@pauillac.inria.fr,
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1995/1995-48.ps.gz, 19961218
Early version published in: Proc. of the ICA3PP, 1995, Brisbane, Australia. Discussion of the optical system to appear in the Proc. Topical Meeting On Optical Computing OC'96, Sendai Japan. On the Feasibility of a Scalable Opto-Electronic CRCW Shared Memory Paul Lukowicz, Walter F. Tichy Universit at
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1996/1996-42.ps.gz, 19970103
Transformation semantischer Tableaus in Klauselmengen mit starren Variablen und in Integer-programming-Probleme Peter Oel Interner Bericht 42/96 Universit at Karlsruhe Fakult at f ur Informatik Dies ist eine geringf ugig uberarbeitete Version meiner Diplomarbeit vom 16.4.1996. Karlsruhe, 20.12.1996
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1996/1996-34.ps.gz, 19970107
On Computational Interpretations of the Modal Logic S4 II. The >=evQ-Calculus Jean Goubault-Larrecq Institut f ur Logik, Komplexit at und Deduktionssysteme Universit at Karlsruhe, Am Fasanengarten 5, D-76128 Karlsruhe y Jean.Goubault@pauillac.inria.fr, Jean.Goubault@ira.uka.de August 29, 1996
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1997/1997-01.ps.gz, 19970109
Pipeline Synthesis and Optimization for Reconfigurable Custom Computing Machines Markus Weinhardt Universit at Karlsruhe, Fakult at f ur Informatik D-76128 Karlsruhe, Germany (weinhard@ipd.info.uni-karlsruhe.de) January 3, 1997
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1996/1996-35.ps.gz, 19970114
On Computational Interpretations of the Modal Logic S4 I. Cut Elimination Jean Goubault-Larrecq Institut f ur Logik, Komplexit at und Deduktionssysteme Universit at Karlsruhe, Am Fasanengarten 5, D-76128 Karlsruhe y Jean.Goubault@pauillac.inria.fr, Jean.Goubault@ira.uka.de August 29, 1996
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1996/1996-15.ps.gz, 19970115
Universit t Karlsruhe Fakult t f r Informatik 76128 Karlsruhe Ein quantitatives Modell zur analytischen Bewertung von Protokollen f ur abgekoppelte Operationen Dezember 1996 Dietmar A. Kottmann Universit at Karlsruhe Institut f ur Telematik Interner Bericht 15/96 KURZFASSUNG i Kurzfassung Die j ungste
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1996/1996-21.ps.gz, 19970115
ENZO Evolution of Neural Networks by Heinrich Braun and Thomas Ragg University of Karlsruhe Institute for Logic, Complexity and Deduction Systems User Manual and Implementation Guide, Version 1.0 ii CONTENTS Contents I Enzo User Manual 1 1 General Introduction 1 1.1 Introduction : : : : : : : : : : : :
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1997/1997-03.ps.gz, 19970206
Parallel Turing Machines With One-Head Control Units And Cellular Automata Thomas Worschy http://liinwww.ira.uka.de/~worsch/
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1996/1996-01.ps.gz, 19970206
Seite 1 WORKSHOPFORUM PRAXIS Exekutive Legislative Judikative Informative Globale Informationsgesellschaft und ihre Auswirkungen des Freundeskreises der Fakult t f r Informatik 22.-25. Juni 1995 Elsafl, Frankreich Interner Bericht 1/96 der Fakult t f r Informatik Freundeskreis der Fakult t f r
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1997/1997-04.ps.gz, 19970304
CuPit-2 | A Parallel Language for Neural Algorithms: Language Reference and Tutorial Holger Hopp (hopp@ira.uka.de) Lutz Prechelt (prechelt@ira.uka.de) Institut f ur Programmstrukturen und Datenorganisation Universit at Karlsruhe 76128 Karlsruhe, Germany ++49/721/608-f3972,4068g Fax: ++49/721/694092
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1997/1997-05.ps.gz, 19970305
Universit t Karlsruhe Fakult t f r Informatik Institut f r Telematik 76128 Karlsruhe i t m Netzwerk-Management und Hochgeschwindigkeits- Kommunikation Teil XV Seminar WS 1996/97 Herausgeber: Roland Bless Elmar Dorner Markus Hofmann Claudia Schmidt Jochen Seitz Universit t Karlsruhe Institut f r
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1997/1997-07.ps.gz, 19970311
Randomized Priority Queues for Fast Parallel Access Peter Sanders Department of Computer Science University of Karlsruhe, 76128 Karlsruhe, Germany Tel: (49) 721 6084337; Fax: (49) 721 698675 E-mail: sanders@ira.uka.de March 11, 1997
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1995/1995-55.ps.gz, 19970402
OE Universit at Karlsruhe Fakult at f ur Informatik Informatik-Rechnerabteilung Institut f ur Betriebs- und Dialogsysteme CORBA Java Mapping Abbildung der CORBA Interface Definition Language (IDL) auf die Programmiersprache Java Autoren: Cand. Inform. Andreas Gross Dipl.-Inform. G unther Schreiner
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1996/1996-41.ps.gz, 19970429
Free Variable Tableaux for Propositional Modal Logics Bernhard Beckert Rajeev Gor e Interner Bericht 41/96 Universit at Karlsruhe Fakult at f ur Informatik Free Variable Tableaux for Propositional Modal Logics Bernhard Beckert Rajeev Gor e http://i12www.ira.uka.de/modlean Address: University of
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1996/1996-37.ps.gz, 19970503
Programming Environments for Cellular Automata Thomas Worsch Lehrstuhl Informatik f ur Ingenieure und Naturwissenschaftler Universit at Karlsruhe worsch@ira.uka.de http://liinwww.ira.uka.de/~worsch/ May 3, 1997
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1997/1997-10.ps.gz, 19970509
Technical Report 10/97, University of Karlsruhe, Computer Science Department, ISSN 1432-7864 A Review of Parallel Processing Approaches to Robot Kinematics and Jacobian Dominik HENRICH, Joachim KARL und Heinz W RN Institute for Real-Time Computer Systems and Robotics University of Karlsruhe, D-76128
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1997/1997-11.ps.gz, 19970603
Simplification of Many-Valued Logic Formulas Using Anti-Links Bernhard Beckert and Reiner H ahnle Universit at Karlsruhe, Institut f ur Logik, Komplexit at und Deduktionssysteme, D-76128 Karlsruhe, Germany. Email: fbeckert,haehnleg@ira.uka.de, WWW: http://i12www.ira.uka.de/ and Gonzalo Escalada-Imaz
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1997/1997-13.ps.gz, 19970610
Names, Types, and Static Semantic Analysis Andreas Heberle, Sabine Glesner and Welf L owe Institut f ur Programmstrukturen und Datenorganisation, Universit at Karlsruhe, 76128 Karlsruhe, Germany, E-mail:fheberlejglesnerjloeweg@ipd.info.uni-karlsruhe.de
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1997/1997-14.ps.gz, 19970613
Automata | A Theory Dedicated towards Formal Circuit Synthesis Dirk Eisenbiegler Institut f ur Rechnerentwurf und Fehlertoleranz (Prof. Dr.-Ing. D. Schmid) Universit at Karlsruhe e{mail: Dirk.Eisenbiegler@informatik.uni-karlsruhe.de June 13, 1997
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1997/1997-09.ps.gz, 19970617
An experiment on the usefulness of design patterns: Detailed description and evaluation Lutz Prechelt (prechelt@ira.uka.de) Fakult at f ur Informatik Universit at Karlsruhe D-76128 Karlsruhe, Germany +49/721/608-4068, Fax: +49/721/694092 http://wwwipd.ira.uka.de/ prechelt/ Technical Report 9/1997 June
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1997/1997-16.ps.gz, 19970718
KIV zur Verifikation von ASM-Spezifikationen am Beispiel der DLX-Pipelining Architektur Martin Giese, David Kempe Arno Sch onegge Interner Bericht Nr. 16/97 1997 Universit at Karlsruhe Fakult at f ur Informatik Institut f ur Logik, Komplexit at und Deduktionssysteme KIV zur Verifikation von
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1997/1997-15.ps.gz, 19970805
Generating Semantic Analysis Using Constraint Programming Sabine Glesner, Andreas Heberle, and Welf L owe Institut f ur Programmstrukturen und Datenorganisation, Universit at Karlsruhe, 76128 Karlsruhe, Germany, E-mail:fglesnerjheberlejloeweg@ipd.info.uni-karlsruhe.de
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1997/1997-22.ps.gz, 19970827
Integrating Processes in Temporal Logic Thomas Fuchss Institut f ur Logik, Komplexit at und Deduktionssysteme Universit at Karlsruhe, 76128 Karlsruhe, Germany email: fuchss@ira.uka.de Tel.: ++49 721 608 4245 Fax.: ++49 721 608 4211 August 1997
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1997/1997-21.ps.gz, 19970908
Dynamisches Cloning als optimierter Mobilit atsmechanismus f ur autonome Agenten1 Analytisches Kostenmodell J orn Hartroth 1. September 1997 1Erschienen als Interner Bericht 21/97 der Fakult at f ur Informatik der Universit at Karlsruhe Zusammenfassung Dieser Bericht gibt die Motivation f ur die
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1997/1997-18.ps.gz, 19971028
Universit t Karlsruhe Fakult t f r Informatik Institut f r Telematik 76128 Karlsruhe i t m Netzwerk-Management und Hochgeschwindigkeits- Kommunikation Teil XVI Seminar SS 1997 Herausgeber: Roland Bless Stefan Dresler G nter Sch fer Claudia Schmidt Hajo Wiltfang Universit t Karlsruhe Institut f r
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1997/1997-20.ps.gz, 19971028
Parallele Bewegungsplanung in dynamischen Umgebungen1 CHRISTIAN WURLL, DOMINIK HENRICH, HEINZ W RN August 1997 Institut f r Proze rechentechnik und Robotik (IPR) Universit t Karlsruhe (TH), Kaiserstra e 12, 76128 Karlsruhe Dieser interne Bericht gibt einen berblick ber
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1997/1997-12.ps.gz, 19971028
Towards Optimal Locality in Mesh-Indexings1 Rolf Niedermeier2 Wilhelm-Schickard-Institut f ur Informatik, Universit at T ubingen, Sand 13, D-72076 T ubingen, Fed. Rep. of Germany niedermr@informatik.uni-tuebingen.de Klaus Reinhardt3 Wilhelm-Schickard-Institut f ur Informatik, Universit at T ubingen,
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1997/1997-2.ps.gz, 19971028
Feasible Models of Computation: Three-Dimensionality and Energy Consumption Peter Sanders, Roland Vollmar, Thomas Worsch University of Karlsruhe, Department of Informatics, 76128 Karlsruhe, Germany
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1997/1997-24.ps.gz, 19971028
Effective visualization of hierarchical graphs with the cityscape metaphor Can Keskin, Volker Vogelmann1 University of Karlsruhe, Telecooperation Office
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1997/1997-06.ps.gz, 19971111
Seminar Multimedia und Electronic Publishing WS 1996/97 Universit at Karlsruhe Institut f ur Betriebs- und Dialogsysteme Abteilung Dialogsysteme und graphische Datenverarbeitung Prof. Dr. A. Schmitt Khaldoun Ateyeh, G unther Augustin, Matthias Baas, Olfa Karboul, Alexander Krieg, Karsten Kutschera,
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1997/1997-17.ps.gz, 19971118
Meta-programming Composers In Second-Generation Component Systems Uwe Assmann Universit at Karlsruhe Institut f ur Programmstrukturen und Datenorganisation Postfach 6980 76128 Karlsruhe Germany assmann@ipd.info.uni-karlsruhe.de November 18, 1997
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1995/1995-32.ps.gz, 19971125
parSather: A Parallel Sather Welf L owe Martin Trapp Institut f ur Programmstrukturen und Datenorganisation Universit at Karlsruhe June 20, 1995
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1997/1997-26.ps.gz, 19971216
Prefetching on the Cray-T3E: A Model and its evaluation Technical Report No. 26/97 Matthias M. M uller , Thomas M. Warschko and Walter F. Tichy University of Karlsruhe, Dept. of Informatics Am Fasanengarten 5, 76 128 Karlsruhe, Germany e-mail: fmuellerm,warschko,tichyg@ira.uka.de 10th December 1997
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1997/1997-25.ps.gz, 19971216
Computer Algebra and Differential Equations An Overview Werner M. Seiler Institut f ur Algorithmen und Kognitive Systeme Universit at Karlsruhe, 76128 Karlsruhe, Germany werner.seiler@informatik.uni-karlsruhe.de http://iaks-www.ira.uka.de/iaks-calmet/werner/werner.html
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1997/1997-30.ps.gz, 19971216
Using Interactive Visualization for Teaching the Theory of NP-completeness Christian Pape Universit at Karlsruhe Institut f ur Logik, Komplexit at und Deduktionssysteme 76128 Karlsruhe pape@ira.uka.de
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1997/1997-27.ps.gz, 19980109
Brauchen wir eine andere Informatik Roland Vollmar Interner Bericht 27/97 Universit at Karlsruhe Fakult at f ur Informatik ISSN 1432-7864 Zusammenfassung Ausgehend von der kurzen Betrachtung einiger neuerer Entwicklungen der Informatik wird ein kursorischer Blick auf ihre Erfolge geworfen. Es wird
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1997/1997-31.ps.gz, 19980109
Universit t Karlsruhe Fakult t f r Informatik 76128 Karlsruhe Architektur vernetzter Systeme Seminar Sommersemester 1996 & Wintersemester 1996/97 Herausgeber: Arnd G. Grosse Dietmar A. Kottmann Universit at Karlsruhe Institut f ur Telematik Interner Bericht 31/97 Zusammenfassung Der vorliegende Interne
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1997/1997-28.ps.gz, 19980113
AOP with design patterns as meta-programming operators Uwe Assmann Universit at Karlsruhe Institut f ur Programmstrukturen und Datenorganisation Postfach 6980 76128 Karlsruhe Germany assmann@ipd.info.uni-karlsruhe.de December 2, 1997
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1997/1997-19.ps.gz, 19980127
Counting the Use of Software Design Patterns in Java AWT and NeXTstep Oliver Gramberg Department of Computer Science University of Karlsruhe, Germany mailto:gramberg@ira.uka.de
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1998/1998-06.ps.gz, 19980213
Universit t Karlsruhe Fakult t f r Informatik Institut f r Telematik 76128 Karlsruhe Netzwerk-Management und Hochgeschwindigkeits- Kommunikation Teil XVII Seminar WS 1997/98 Herausgeber: Elmar Dorner Stefan Dresler Markus Hofmann Hartmut Ritter Jochen Schiller Jochen Seitz Universit t Karlsruhe Institut
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1998/1998-05.ps.gz, 19980217
Seminar-Beitr age Cache-Optimierungen Holger Hopp , Daniela Geniusy, Michael Philippsenz(Hrsg.), Philipp Bender, Bert Blaha, Sven-Olaf Braun, Gerd Flaig, Thorwald Franke, Matthias Grutzeck, Florian Liekweg, Felix Schr oter Institut f ur Programmstrukturen und Datenorganisation Universit at Karlsruhe
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1998/1998-02.ps.gz, 19980220
Universit t Karlsruhe Fakult t f r Informatik 76128 Karlsruhe Architektur vernetzter Systeme Seminar Sommersemester 1997 & Wintersemester 1997/98 Herausgeber: Arnd G. Grosse J orn Hartroth Universit at Karlsruhe Institut f ur Telematik Interner Bericht 02/98 ISSN 1432-7864 Zusammenfassung Der
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1998/1998-3.ps.gz, 19980220
Towards the Curvature Cuff of a Canal Surface Andreas M uller Universit at Karlsruhe, IBDS, Geometrische Datenverarbeitung Am Fasanengarten 5, D-76128 Karlsruhe, Germany A.Mueller@tu-bs.de December 1997
open this document and view contentsftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1997/1997-7.KORRIGIERT.ps.gz, 19980220
Randomized Priority Queues for Fast Parallel Access Peter Sanders Max-Planck-Institute for Computer Science 66123 Saarbr ucken, Germany E-mail: sanders@mpi-sb.mpg.de January 27, 1998