Browse

ftp://ftp.cs.uni-sb.de (115)

	ftp://ftp.cs.uni-sb.de/pub/techreports/FB14/fb14-95-03.ps.gz, 19950607 Automatic Generation of a Compiler and an Abstract Machine for Action Notation Stephan Diehl Technischer Bericht A 03/95 FB 14 - Informatik Universit at des Saarlandes, Postfach 15 11 50 66041 Saarbr ucken , GERMANY Phone: ++49-681-3023915 diehl@cs.uni-sb.de 1 Automatic Generation of a Compiler and
	ftp://ftp.cs.uni-sb.de/pub/techreports/FB14/fb14-94-03.ps.gz, 19950607 Graph Layout through the VCG Tool Georg Sander (sander@cs.uni-sb.de) Technical Report A03/94 Universit at des Saarlandes, FB 14 Informatik, 66041 Saarbr ucken October 4, 1994
	ftp://ftp.cs.uni-sb.de/pub/techreports/FB14/fb14-95-02.ps.gz, 19950607 Transformations of Evolving Algebras Stephan Diehl Technischer Bericht A 02/95 FB 14 - Informatik Universit at des Saarlandes, Postfach 15 11 50 66041 Saarbr ucken , GERMANY Phone: ++49-681-3023915 diehl@cs.uni-sb.de 1 Transformations of Evolving Algebras Stephan Diehl FB 14 - Informatik Universit at
	ftp://ftp.cs.uni-sb.de/pub/techreports/SFB124/sfb124-92-05.ps.gz, 19950620 LiPS: a system for distributed processing on workstations Ralf Roth Thomas Setz FB-14 Informatik Universit at des Saarlandes D-6600 Saarbr ucken Germany 29. Juni 1993 Zusammenfassung LiPS (Library for Parallel Systems) is a collection of C functions enabling a programmer to distribute applications with
	ftp://ftp.cs.uni-sb.de/pub/techreports/SFB124/sfb124-95-03.ps.gz, 19950620 Distributed computation of the number of points on an elliptic curve over a finite prime field Johannes Buchmann, Volker M uller, Victor Shoup SFB 124{TP D5 Report 03/95 27th April 1995 Johannes Buchmann, Volker M uller, Victor Shoup Fachbereich Informatik Universit at des Saarlandes Postfach 15 11 50
	ftp://ftp.cs.uni-sb.de/pub/techreports/SFB124/sfb124-94-02.ps.gz, 19950620 FAST PARALLEL PERMUTATION ALGORITHMS Torben Hagerup J org Keller 02/1994 Fachbereich 14 Informatik Universit at des Saarlandes Postfach 151150 66041 Saarbr ucken Germany SFB 124, B2 & D4 FAST PARALLEL PERMUTATION ALGORITHMS TORBEN HAGERUP J ORG KELLERy Max-Planck-Institut f ur Informatik Fachbereich 14
	ftp://ftp.cs.uni-sb.de/pub/techreports/FB14/fb14-93-05.ps.gz, 19950626 Hdms{A und Obscure in KorSo Die Funktionale Essenz von HDMS{A aus Sicht der algorithmischen Spezifikationsmethode Teil 2: Schablonen zur Ubersetzung eines E/R-Schemas in eine Obscure Spezifikation Serge Autexier Technischer Bericht A/05/93 Dezember 1993 Serge Autexier (Autor) serge@dfki.uni{sb.de unter
	ftp://ftp.cs.uni-sb.de/pub/techreports/FB14/fb14-93-06.ps.gz, 19950626 Hdms-A und Obscure in Korso Die Funktionale Essenz von HDMS{A aus Sicht der algorithmischen Spezifikationsmethode Teil 3: Die Spezifikation der atomaren Funktionen Christoph Benzm uller Technischer Bericht A/06/93 Dezember 1993 Christoph Benzm uller (Autor) christoph.benzmueller@cs.uni{sb.de unter
	ftp://ftp.cs.uni-sb.de/pub/techreports/FB14/fb14-93-04.ps.gz, 19950626 Hdms{A und Obscure in KorSo Die Funktionale Essenz von HDMS{A aus Sicht der algorithmischen Spezifikationsmethode Teil 1: Einf uhrung und Anmerkungen Ramses A. Heckler Technischer Bericht A/04/93 : : : vom Dezember `93 Ramses A. Heckler (Autor) ramses@cs.uni{sb.de unter Mitarbeit von Serge Autexier und
	ftp://ftp.cs.uni-sb.de/pub/techreports/FB14/fb14-95-04.ps.gz, 19950626 Full Abstraction for the Second Order Subset of an Algol-like Language Kurt Sieber, FB 14 Informatik, Universit at Saarbr ucken, 66041 Saarbr ucken, Germany
	ftp://ftp.cs.uni-sb.de/pub/techreports/SFB124/sfb124-94-11.ps.gz, 19950626 A Note on Implementing Combining Networks J org Keller Thomas Walle FB 14 Informatik, Universit at des Saarlandes Postfach 15 11 50, 66041 Saarbr ucken, Germany
	ftp://ftp.cs.uni-sb.de/pub/techreports/FB14/fb14-94-01.ps.gz, 19950626 Full Abstraction for the Second Order Subset of an Algol-like Language (Preliminary Report) Kurt Sieber Technischer Bericht A 01/94 FB 14 Informatik Universit at des Saarlandes 66041 Saarbr ucken Germany sieber@cs.uni-sb.de February 17, 1994
	ftp://ftp.cs.uni-sb.de/pub/techreports/FB14/fb14-95-07.ps.gz, 19950705 Formula Layout R. Heckmann R. Wilhelm Technischer Bericht Nr. A 07 / 95 Reinhold Heckmann, Reinhard Wilhelm FB 14 { Informatik, Universit at des Saarlandes Postfach 151150 D-66041 Saarbr ucken Germany e-mail: fheckmann,wilhelmg@cs.uni-sb.de i Formula Layout Reinhold Heckmann Reinhard Wilhelm Fachbereich
	ftp://ftp.cs.uni-sb.de/pub/techreports/FB14/fb14-95-05.ps.gz, 19950705 122 LITERATURVERZEICHNIS A. Schweikhard A Simple Path Search Strategy Based on Calculation of Free Sections of Motions Engn. Applic. Artif. Intell. Vol. 5, S. 10, 1992 E. Sch omer Interaktive Montageplanung mit Kollisionserkennung Dissertation an der Universit at des Saarlandes, 1994
	ftp://ftp.cs.uni-sb.de/pub/techreports/FB14/fb14-95-09.ps.gz, 19950911 Spaces of Valuations Reinhold Heckmann FB 14 { Informatik, Prof. Wilhelm Universit at des Saarlandes, Geb. 36, Postfach 151150 D-66041 Saarbr ucken, Germany e-mail: heckmann@cs.uni-sb.de September 11, 1995
	ftp://ftp.cs.uni-sb.de/pub/techreports/FB14/fb14-95-08.ps.gz, 19950915 40 BIBLIOGRAPHY Comp. Sci. Dept., New York University report 41, (1982) also in: "Planning, Geometry and Complexity of Robot Motion J. Hopcroft, J. Schwartz, M. Sharir, Ablex publishing corp. New Jersey, (1987), Ch. 5, pp. 15486 Bibliography John F. Canny The Complexity Of Robot Motion
	ftp://ftp.cs.uni-sb.de/pub/techreports/FB14/fb14-95-01.ps.gz, 19951102 VCG Visualization of Compiler Graphs User Documentation V.1.30 Georg Sander sander@cs.uni-sb.de Universit at des Saarlandes 66041 Saarbr ucken Germany Feb. 9, 1995 Copyright notice: c 1993{1995 by I. Lemke, G. Sander and the Compare Consortium This work is supported by the ESPRIT project 5399 Compare.
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/till_94/9406.ps.gz, 19951214 Andr e Arnold, Helmut Seidl, Bernhard Steffen (editors): Algorithms in Automata Theory Dagstuhl-Seminar-Report; 7.2.{11.2.1994 (9406) 2 Dagstuhl Seminar on Algorithms in Automata Theory Organized by : Andr e Arnold (Universit e Bordeaux I) Helmut Seidl (Universit at des Saarlandes) Bernhard Steffen
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/till_94/9418.ps.gz, 19951214 Report on the Dagstuhl-Seminar on INCREMENTAL COMPUTATION AND DYNAMIC ALGORITHMS May 2 - 6, 1994 The purpose of the Seminar was to bring two research communities together that have common interests, but that (to date) have had relatively limited contact: 1. theoretical computer scientists who work in
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/95/9508.ps.gz, 19951214 Page 1 Dagstuhl Seminar 9508 on Software Architecture Feb. 20 - 24, 1995, Schlo Dagstuhl, Germany Table of Contents 1. Introduction 4 Position Papers:: 2. Architectural Modelling and Representation 5 3. Requirements and Architecture 9 4. Patterns 11 5. Domain-specific Software Architectures 14 6.
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/95/9528.ps.gz, 19951214 Molecular Bioinformatics Dan Gusfield, UC Davis Tom Lengauer, GMD St. Augustin Chris Sander, EMBL Heidelberg /ECI Cambridge Dagstuhl-Seminar-Report, July 9 { 14 1995 1 Dagstuhl Seminar on Molecular Bioinformatics The seminar was a sequel to the first Dagstuhl Seminar on Molecular Bioinformatics which
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/95/9540.ps.gz, 19951214 3 Report on the Dagstuhl Seminar on Modelling and Simulation of Complex Environmental Problems October 2 - 6, 1995 The Dagstuhl Seminar on Modelling and Simulation of Complex Environmental Problems was organized by Greg R. Carmichael (University of Iowa), Granino A. Korn (Korn Industrial Consultants,
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/95/9507.ps.gz, 19951214 B. Becker, R. E. Bryant, O. Coudert, Ch. Meinel (Hrsg.) Computer Aided Design and Test Dagstuhl{Seminar{Report; 105 13.2. { 17.2.1995 (9507) Contents Introduction 5 Abstracts of the Talks 7 Probabilistic Analysis of Large Finite State Machines F. Somenzi : : : : : : : : : : : : : : : : : : : : : : : : :
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/till_94/9438.ps.gz, 19951214 Reinhard Keil-Slawik (Ed.) Position Papers for Dagstuhl Seminar 9348 on Interdisciplinary Foundations of System Design and Evaluation September 19 - 23, 1994 organized by Liam Bannon, Reinhard Keil-Slawik and Ina Wagner Preface In systems development, interdisciplinary cooperation among scientists
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/till_94/9420.ps.gz, 19951214 Workshop on Functional Programming in the Real World Organizers: Robert Giegerich, Universit at Bielefeld John Hughes, Chalmers University of Technology May 16-20, 1994 Compiler technology for functional languages has reached the point where it is feasible to program some medium to large applications in
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/till_94/9426.ps.gz, 19951214 Thomas Dietterich, Wolfgang Maass, Hans-Ulrich Simon, Manfred Warmuth (editors): Theorie und Praxis des Maschinellen Lernens Dagstuhl-Seminar-Report; 91 27.06.-01.07.94 (9426) 1 Report of the First Dagstuhl Seminar on Theory and Praxis of Machine Learning June 27th { August 1st, 1994 The first Dagstuhl
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/95/9510.ps.gz, 19951214 Report on the Dagstuhl-Seminar 9510 Cellular Automata Organizers: Jozef Gruska (Bratislava) Hiroshi Umeo (Osaka) Roland Vollmar (Karlsruhe) March, 6 { 10, 1995 3 Preface Since the basic work of J. von Neumann who introduced cellular automata to study the notion of self reproduction cellular automata
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/95/9512.ps.gz, 19951214 Dagstuhl Seminar on Deduction Wolfgang Bibel Koichi Furukawa Mark Stickel Technische Hochschule Darmstadt Keio University SRI International Logic is an essential formalism for computer science and artificial intelligence. It is used in such diverse and important activities as ffl Problem specification;
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/till_94/9434.ps.gz, 19951214 Hans-Dieter Ehrich, Gregor Engels, Jan Paredaens, Peter Wegner (editors): Fundamentals of Object-Oriented Languages, Systems, and Methods Dagstuhl-Seminar-Report 95 22.-26.8.94 (9434) DAGSTUHL SEMINAR ON Fundamentals of Object-Oriented Languages, Systems, and Methods Organized by: Hans-Dieter Ehrich
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/till_94/9412.ps.gz, 19951214 Seminar-Report 9412 on Active Database System Alex Buchmann Technische Hochschule Darmstadt Sharma Chakravarthy University of Florida Klaus Dittrich Universit at Z urich March 21{25, 1994, Schloss Dagstuhl 1 List of paritcipants: Elena Baralis, Politecnico di Torino, Italy Daniel Barbar a, Matsushita
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/95/9522.ps.gz, 19951214 Report on the Dagstuhl Seminar on Computing with Faulty Inputs May 29 - June 2, 1995 The seminary was concerned with questions arising in computing when the inputs to the computation can be corrupted. Such studies have implications for the manipulation, retrieval and transmission in the presence of
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/till_94/9409.ps.gz, 19951214 Report of the Dagstuhl Seminar on Data Structures February, 28th { March, 4th 1994
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/95/9529.ps.gz, 19951214 Dagstuhl-Seminar 9529 Role of Logic in Information Systems 17{21 July 1995 organized by Jan Chomicki (Kansas State University) Gunter Saake (University of Magdeburg) Christina Sernadas (Instituto Superior Tecnico Lisboa) Contents 1 Preface ii 2 Final Program iii 3 Abstracts of Presentations 1 K. B ohm:
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/till_94/9342.ps.gz, 19951215 Combinatorial Methods for Integrated Circuits Design Organizers: Thomas Lengauer (GMD, Schloss Birlinghoven/Universit at Bonn) Majid Sarrafzadeh (Northwestern University, Evanston) Dorothea Wagner (Technische Universit at Berlin) October 18-22, 1993 The size and complexity of present day VLSI integrated
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/till_94/9321.ps.gz, 19951215 Contents Egidio Astesiano D-oids Models and languages for dynamic and object systems : : : : : : : : : : : : : : : : : : : : : : : : : : 2 Rudolf Berghammer Prototyping relational specifications using higher-order objects : : : : : : : : : : : : : : : : : : : : : : : : : : 2 Michel Bidoit Modularity,
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/95/9535.ps.gz, 19951215 Dagstuhl-Seminar on Abstract Interpretation Organized by: Patrick Cousot ( Ecole Normale Sup erieure, Paris) Radhia Cousot ( Ecole Polytechnique, Palaiseau) Alan Mycroft (Cambridge University) 28 August{1 September 1995 1 Overview
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/till_94/9403.ps.gz, 19951215 Report on the Dagstuhl-Seminar 9403 Relational Methods in Computer Science January 17 - 21, 1994 Organizers: Chris Brink (University of Cape Town) Gunther Schmidt (Universit at der Bundeswehr M unchen) This Dagstuhl-Seminar has been attended by 35 computer scientists, logicians, and mathematicians from
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/till_94/9326.ps.gz, 19951215 Geometric Modelling Gerald Farin Hans Hagen Hartmut Noltemeier 28.06.93 - 02.07.93 1 Projective Developables Gerald Farin Arizona State University Helmut Pottmann TU Wien A developable surface may be defined as the envelope of a one parameter family of planes. This notion suggests a treatment in terms
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/till_94/9421.ps.gz, 19951215 Report of the 2nd Dagstuhl Seminar on Scientific Visualization 23.05.94 { 27.05.94 Organized by H. M uller, Universit at Dortmund G. Nielson, Arizona State University H. Hagen, Universit at Kaiserslautern One of the important themes being nurtured under the aegis of Scientific Visualization is the
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/till_94/9439.ps.gz, 19951215 Specification Problem Manfred Broy1 and Leslie Lamport2 1Institut f ur Informatik, Technische Universit at M unchen 2Systems Research Center, Digital Equipment Corporation Email: broy@informatik.tu-muenchen.de, lamport@src.dec.com 1 The Procedure Interface The problem calls for the specification and
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/till_94/9410.ps.gz, 19951215 Contents Introduction 4 Roland Backhouse: Relational Theory of Data Types 5 David Basin: Program Synthesis as Higher Order Resolution 6 Bettina Buth: Verification Support for Compiler Development 7 Debora Weber-Wulff: Growing Programs from Proofs 8 Jacques Loeckx (with M. Wolf): Constructive versus
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/till_94/9441.ps.gz, 19951215 Report on the Second Dagstuhl Seminar on Algorithms and Number Theory October 10 { 14, 1994 Algorithms in number theory play an important role in computer science as well as in mathematics. The main purpose of this Dagstuhl seminar was to bring together experts in both fields to exchange ideas and
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/till_94/9415.ps.gz, 19951215 Internationales Begegnungs- und Forschungszentrum f ur Informatik Schloss Dagstuhl Seminar Report 9415 Expander Graphs, Random Graphs, and their Application in Computer Science April 11 { 15, 1994 Ov e r v i e w The Dagstuhl Seminar on Expander Graphs, Random Graphs, and their Application in Computer
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/till_94/9445.ps.gz, 19951215 Contents 1 Overview 4 2 Abstracts 6 3 List of Participants 26 3 1 Overview The first Dagstuhl Seminar on Neural Computing had been organized by Wolfgang Maass (Technische Univrsit at Graz, Austria), Christoph von der Malsburg (Ruhr Universit at Bochum), Eduardo Sontag (Rutgers University, USA) und Ingo
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/till_94/9442.ps.gz, 19951215 Dagstuhl{Seminar Algorithms and Complexity for Continuous Problems Organized by: Stefan Heinrich (Universit at Kaiserslautern) Joseph F. Traub (Columbia University, New York) Henryk Wo zniakowski (Columbia University, New York) October 17{21, 1994 Overview The Seminar was attended by 39 scientists from
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/95/9509.ps.gz, 19951215 Dagstuhl Seminar on High Integrity Programmable Electronic Systems1 William John Cullyer, University of Warwick Wolfgang A. Halang, FernUniversit at Hagen Bernd J. Kr amer, FernUniversit at Hagen Schloss Dagstuhl, February 27 { March 3, 1995 1The organisers of this seminar are grateful to the Society of
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/95/9537.ps.gz, 19951215 Internationales Begegnungs- und Forschungszentrum f ur Informatik Schloss Dagstuhl Seminar Report 9537 Parallel and Distributed Algorithms September 11 { 15, 1995 Ov e r v i e w The Dagstuhl Seminar on Parallel and Distributed Algorithms was organized by Cynthia Dwork (IBM Almaden Research Center, San
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/95/9521.ps.gz, 19951215 Performance and Dependability Modeling with Stochastic Petri Nets Organizer: Heinz Beilner, Gianfranco Ciardo, Christoph Lindemann, Kishor S. Trivedi While measurement is a valuable option for assessing an existing system or a prototype, it is not a feasible option during the system design and
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/95/9514.ps.gz, 19951215 Dagstuhl Seminar on Object Orientation with Parallelism and Persistence Organized by Burkhard Freitag (Universit at Passau) Clifford B. Jones (University of Manchester) Christian Lengauer (Universit at Passau) Hans-J org Schek (ETH Z urich) Schloss Dagstuhl 3. { 7.4.1995 Contents 1 Preface 1 2 Abstracts
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/till_94/9407.ps.gz, 19951215 Report on the Dagstuhl-Seminar "Structure and Complexity" Organizers: Klaus Ambos-Spies (Heidelberg) Steven Homer (Boston) Uwe Sch oning (Ulm) February 14-18, 1994 The seminar "Structure and Complexity" was the second Dagstuhl Seminar devoted to the structural aspects of Computational Complexity Theory.
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/95/9545.ps.gz, 19960102 Dagstuhl-Seminar (9545) on Real Computation and Complexity IBFI Schloss Dagstuhl November 6 { 10, 1995 Organizers: Felipe Cucker (Barcelona) Thomas Lickteig (Bonn) Michael Shub (Yorktown Heights) Preamble The field of algorithmic complexity of real computational problems has seen strong developments in
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/95/9530.ps.gz, 19960112 Automation of Proof by Mathematical Induction Alan Bundy Robert S. Boyer Deepak Kapur Christoph Walther University of Edinburgh University of Texas SUNY Albany TH Darmstadt Mathematical induction is required for reasoning about objects or events containing repetition, e.g. computer programs with
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/till_94/9411.ps.gz, 19960116 Reinhard Klette, Walter G. Kropatsch, Franc Solina (editors). Theoretical Foundations of Computer Vision Dagstuhl-Seminar-Report 14.-18.3.1994 (9411) Theoretical Foundations of Computer Vision March 14 - March 18, 1994 This workshop is the seventh on this topic (Wei ig 1982, 1984, 1988, Mirow/Fleeth
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/95/9543.ps.gz, 19960201 Modeling and Simulation of Metabolic Pathways, Gene Regulation and Cell Differentiation - 3 - Modeling and Simulation of Metabolic Pathways, Gene Regulation and Cell Differentiation Organizers: Julio Collado-Vides (Universidad Nacional Autonoma de Mexico) Ralf Hofest dt (Universit t Leipzig, Universit t
	ftp://ftp.cs.uni-sb.de/pub/techreports/FB14/fb14-95-10.ps.gz, 19960228 Generating Analyzers with PAG Martin Alt Florian Martin Reinhard Wilhelm Technischer Bericht A10/95' Universit at des Saarlandes FB 14 Informatik 66041 Saarbr ucken December 16, 1995
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/95/9538.ps.gz, 19960321 Dagstuhl Seminar 9538 New Trends in the Intergration of Paradigms Organized by: Chris Hankin (Imperial College, London) Hanne Riis Nielson (Aarhus University) September 18-22,1995 Preface A number of programming paradigms have been identified, including object-oriented, concurrent, applicative
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/95/9518.ps.gz, 19960422 Dagstuhl Seminar on Social Science Microsimulation: A Challenge to Computer Science Organized by: Jim Doran (University of Essex, UK) G. Nigel Gilbert (University of Surrey, UK) Ulrich Mueller (Universit at Marburg) Klaus G. Troitzsch (Universit at Koblenz) Schlo Dagstuhl, May 1 5, 1995 Social Science
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/96/9616.ps.gz, 19960531 Dagstuhl Seminar on Loop Parallelization Organized by Christian Lengauer (Universit at Passau) Lothar Thiele (ETH Z urich) Michael Wolfe (Oregon Graduate Institute) Hans Zima (Universit at Wien) Schloss Dagstuhl 15. { 19.4.1996 Contents 1 Preface 1 2 Abstracts 3 The Omega Library William Pugh . . . . .
	ftp://ftp.cs.uni-sb.de/pub/techreports/SFB124/sfb124-96-02.ps.gz, 19960619 HPP A HIGH PERFORMANCE PRAM Arno Formella J org Keller Thomas Walle 02/1996 Fachbereich 14 Informatik Universit at des Saarlandes Postfach 151150 66041 Saarbr ucken Germany SFB 124, D4 HPP: A High Performance PRAM Arno Formella J org Keller Thomas Walle Universit at des Saarlandes, FB 14 Informatik
	ftp://ftp.cs.uni-sb.de/pub/techreports/SFB124/sfb124-96-04.ps.gz, 19960619 PARALLEL SOFTWARE CACHES Arno Formella J org Keller 04/1996 Fachbereich 14 Informatik Universit at des Saarlandes Postfach 151150 66041 Saarbr ucken Germany SFB 124, D4 Parallel Software Caches Arno Formella J org Keller Universit at des Saarlandes, FB 14 Informatik 66041 Saarbr ucken, Germany Email:
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/96/9619.ps.gz, 19960710 3 Report on the Dagstuhl - Seminar 9619 Semantics of Concurrent Systems - Foundations and Applications 6 - 10 May 1996 Organisers: Manfred Droste, Technical University of Dresden, Germany Ernst-R diger Olderog, University of Oldenburg, Germany Bernhard Steffen, University of Passau, Germany Glynn
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/96/9624.ps.gz, 19960729 1 2 Report of the Dagstuhl Seminar on Rendering June, 10{14, 1996 Organized by Patrick M. Hanrahan, Stanford University Heinrich M uller, Universit at Dortmund Claude Puech, Universit e Joseph Fourier, Grenoble Rendering is a special field of computer graphics. Its subject is the synthesis of images or
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/96/9622.ps.gz, 19960729 THIRD DAGSTUHL WORKSHOP ON GEOMETRIC MODELING JUNE 1996 The third Dagstuhl workshop on Geometric Modeling was organized by Hanspeter Bieri (Univ. Bern), Guido Brunnett (Univ. Kaiserslautern), Tony DeRose (Pixar), and Gerald Farin (Arizona State Univ.). The Dagstuhl workshops are now clearly established
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/96/9611.ps.gz, 19960729 Dagstuhl Seminar on Time Service Danny Dolev, Hebrew University R udiger Reischuk, Med. Universitdt zu L ubeck Fred B. Schneider, Cornell University H. Raymond Strong, IBM Almaden Research Schloss Dagstuhl, March 11. { March 15. 1996 Contents Introduction : : : : : : : : : : : : : : : : : : : : : : : :
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/96/9613.ps.gz, 19960729 Introduction The idea of this Dagstuhl-Seminar was born during the Third International Conference on Parallel Problem Solving from Nature (PPSN III) at Jerusalem in 1994. Among those methods to solve problems by means of computers using natural metaphors, Evolutionary Algorithms (EAs) are dominant,
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/96/9620.ps.gz, 19960730 Graph Algorithms and Applications (Dagstuhl{Seminar 9620) Organizers: Takao Nishizeki (Tohoku University Sendai, Japan) Roberto Tamassia (Brown University, USA) Dorothea Wagner (Universit at Konstanz, Germany) May 13 - 17, 1996 In many fields of applications graphs or networks play an important role for
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/96/9609.ps.gz, 19960923 The design and analysis of algorithms is one of the fundamental areas in computer science. This also involves the development of suitable methods for structuring the data to be manipulated by these algorithms. In this way, algorithms and data structures form a unit and the right choice of algorithms and
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/95/9523.ps.gz, 19961016 Contents Introduction 4 Specification problem 7 Solutions 16 Egon B orger, Igor D- urd-anovi c, Uwe Gl asser, Yuri Gurevich, Elvinia Riccobene: Evolving Algebra Solution for the Steam Boiler Problem : : : : : : : : : : 17 Jan Vitt, Jozef Hooman: Designing the Steam Boiler Control Using an Asser- tional
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/96/9636.ps.gz, 19961016 Report on the Dagstuhl Seminar on Modelling and Planning for Sensor-based Intelligent Robot Systems September 1 { 6, 1996 Rapid advances in sensors, computers, and algorithms continue to fuel dramatic improvements in intelligent robots. Recently, for example, robot vehicles have been installed in public
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/95/9527.ps.gz, 19961016 Internationales Begegnungs- und Forschungszentrum F ur Informatik Schloss Dagstuhl Seminar Report 9527 Average Case Analysis of Algorithms July 3 - 7, 1995 3 O v e r v i e w Analysis of algorithms aims at a precise prediction of the expected performance of algorithms under well-defined randomness models
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/96/9626.ps.gz, 19961016 Dagstuhl Seminar on On-line Algorithms June 24{28, 1996 Organized by: Amos Fiat (Tel-Aviv University) Gerhard Woeginger (TU Graz) 2 On-line Algorithms Summary The Dagstuhl meeting on On-line Algorithms brought together 55 researchers with affiliations in Argentina (1), Austria (1), Canada (2), Czechia
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/96/9614.ps.gz, 19961016 Dagstuhl Workshop Performance Enhancement in Object Bases (Leistungssteigerung in Objektbanken) April 1{4, 1996 U. Dayal1 A. Kemper 2 G. Moerkotte3 G. Weikum4 1Hewlett-Packard Labs. 2Universit at Passau 1501 Page Mill Road, 3U-4 Lehrstuhl f ur Informatik Palo Alto, CA 94304, USA 94030 Passau, Germany
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/96/9621.ps.gz, 19961016 Preface Declarative programming languages provide a high-level style of programming which reduces program development time and improves the maintainability and verifiability of programs in comparison with more conventional methods using imperative languages. Currently, declarative programming is split
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/96/9628.ps.gz, 19961016 Contents Preface : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : vii Timed Process Algebra: Theory and Applications J.C.M. Baeten : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/95/9546.ps.gz, 19961016 1 Dagstuhl Seminar Quantitative Aspects of Designing and Validating Dependable Computing Systems Calculations, Measurements and Simulations Organizers: Klaus Echtle, University of Essen, Germany Winfried G rke, University of Karlsruhe, Germany Jean-Claude Laprie, University of Toulouse, France Winfrid
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/till_94/9448.ps.gz, 19961016 Axel Poign e, Willem-Paul de Roever, G erard Berry, and Amir Pnueli (editors): Synchronous Languages Dagstuhl-Seminar-Report; 104 28.11.-2.12.94 (9448) 1 Report on the Dagstuhl Seminar on Synchronous Languages organized by Axel Poign e (GMD, Sankt Augustin) Willem-Paul de Roever (Universit at Kiel) G
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/96/9637.ps.gz, 19961016 Report on the Dagstuhl-Seminar 9637 Graph Transformations in Computer Science September 9 - 13, 1996 Organizers: Hartmut Ehrig (Berlin) Ugo Montanari (Pisa) Grzegorz Rozenberg (Leiden) Hans J urgen Schneider (Erlangen) The research area of graph transformations dates back to the early seventies. Its
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/96/9606.ps.gz, 19961218 Dagstuhl { Seminar on Computeralgebra { Software February 05 - 09, 1996 Organizers: Johannes Buchmann (Saarbr ucken) R udiger Loos (T ubingen) Roman M ader (Z urich) Overview The main focus of this seminar was to bring together experts on computer algebra systems and to discuss various aspects of
	ftp://ftp.cs.uni-sb.de/pub/techreports/FB14/fb14-96-04.ps.gz, 19970121 Efficient and Precise Sharing Domains for Logic Programs Christian Fecht Universit at des Saarlandes Postfach 151150 66041 Saarbr ucken Tel.: +49{681{302{5573 Fax : +49{681{302{3065 fecht@cs.uni-sb.de
	ftp://ftp.cs.uni-sb.de/pub/techreports/FB14/fb14-96-06.ps.gz, 19970121 LEX: A Case Study in Development and Validation of Formal Specifications 1 Andreas Ramses Heckler a, Rudolf Hettler b, Heinrich Hussmann c, Jacques Loeckx a, Wolfgang Reif d, Gerhard Schellhorn d and Kurt Stenzel d a Universit at Saarbr ucken / Fachbereich 14 / Postfach 15 11 50/ D{66041 Saarbr ucken b
	ftp://ftp.cs.uni-sb.de/pub/techreports/FB14/fb14-96-02.ps.gz, 19970121 Data Partitioning and Load Balancing in Parallel Disk Systems P. Scheuermann1, G. Weikum2, P. Zabback3 Technical Report A/02/96 Department of Computer Science University of the Saarland April 1996 1 Peter Scheuermann, Department of Electrical Engineering and Computer Science, Northwestern University,
	ftp://ftp.cs.uni-sb.de/pub/techreports/FB14/fb14-96-05.ps.gz, 19970121 Ein neues Konzept zur Realisierung von Software-Kopierschutz Klaus Kiefer Bericht A/05/96 16. September 1996 Graduiertenkolleg Informatik, Universit at des Saarlandes Postfach 15 11 50, D-66041 Saarbr ucken (Germany) e-mail: kiefer@cs.uni-sb.de Betreuer: Prof. J. Buchmann (TH Darmstadt)
	ftp://ftp.cs.uni-sb.de/pub/techreports/SFB124/sfb124-94-09.ps.gz, 19970128 The addap System on the iPSC=860: Automatic Data Distribution and Parallelization Anne Dierstein Roman Hayer y Thomas Rauber z Computer Science Department Universit at des Saarlandes Postfach 151150 66041 Saarbr ucken, Germany +49{681{302{4130 rauber@cs.uni{sb.de
	ftp://ftp.cs.uni-sb.de/pub/techreports/SFB124/sfb124-95-08.ps.gz, 19970128 On Minimizing the Number of Test Points Needed to Achieve Complete Robust Path Delay Fault Testability Prasanti Uppaluri Electrical and Computer Engineering Department, University of Iowa, Iowa City, IA 52242, U.S.A. Uwe Sparmann + Fachbereich Informatik, Universitaet des Saarlandes, D 66041
	ftp://ftp.cs.uni-sb.de/pub/techreports/SFB124/sfb124-95-12.ps.gz, 19970128 Ein Testmustergenerator unter 16-wertiger Logik mit variabler Fehlermodellierung U. Nikolaus , U. Sparmann Technical Report 12/1995 SFB 124{B1 Fachbereich Informatik, Universit at des Saarlandes, D 66041 Saarbr ucken, Germany Einleitung Die Mikroelektronik h alt zunehmend Einzug in Bereiche unseres t
	ftp://ftp.cs.uni-sb.de/pub/techreports/SFB124/sfb124-95-04.ps.gz, 19970220 Parallel Numerical Algorithms with Data Distribution Types Thomas Rauber Gudula R unger y Computer Science Department Universit at des Saarlandes Postfach 151150 66041 Saarbr ucken, Germany +49{681{302{4130 FAX 49{681{302{4290 frauber,ruengerg@cs.uni{sb.de supported by DFG, SFB 124, TP D4 ysupported by
	ftp://ftp.cs.uni-sb.de/pub/techreports/SFB124/sfb124-95-02.ps.gz, 19970220 LiDIA A library for computational number theory Ingrid Biehl, Johannes Buchmann, Thomas Papanikolaou Universit at des Saarlandes Fachbereich 14 66041 Saarbr ucken 1 Introduction In this paper we describe LiDIA, a new library for computational number theory. Why do we work on a new library for
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/97/97041.ps.gz, 19970408 Dagstuhl Seminar 97041: High-Level Concurrent Languages Date January, 20{22, 1997 Organizers Kohei Honda, University of Edinburgh Martin Odersky, Universit at Karlsruhe Benjamin Pierce, Indiana University Gert Smolka, Universit at des Saarlandes and DFKI Phil Wadler, Bell Labs, Lucent Technologies
	ftp://ftp.cs.uni-sb.de/pub/techreports/SFB124/sfb124-94-07.ps.gz, 19970513 Diagonal{Implicitly Iterated Runge{Kutta Methods on Distributed Memory Multiprocessors Thomas Rauber Gudula R unger Computer Science Department Universit at des Saarlandes Postfach 151150 66041 Saarbr ucken, Germany +49 { 681{302{4130 FAX 49{681{302{4290 frauber,ruengerg@cs.uni{sb.de
	ftp://ftp.cs.uni-sb.de/pub/techreports/SFB124/sfb124-94-10.ps.gz, 19970513 Parallel Iterated Runge{Kutta Methods and Applications Thomas Rauber Gudula R unger Computer Science Department Universit at des Saarlandes Postfach 151150 66041 Saarbr ucken, Germany +49{681{302{4130 FAX 49{681{302{4290 frauber,ruengerg@cs.uni{sb.de November 3, 1994
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/97/97042.ps.gz, 19970528 Report on the Dagstuhl Seminar Discrete Tomography: Algorithms and Complexity January 20 - 24, 1997 The workshop, organized by P. Gritzmann (Trier), and M. Nivat (Paris), was attended by 20 participants from 5 countries (7 nationalities). It was a workshop in the very sense of the word, without a fixed
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/97/9708.ps.gz, 19970603 Dagstuhl Seminar on Theory and Practice of Higher-Order Parallel Programming Organized by Murray Cole (University of Edinburgh) Sergei Gorlatch (Universit at Passau) Christian Lengauer (Universit at Passau) David Skillicorn (Queen's University at Kingston) Schloss Dagstuhl 17. { 21.2.1997 Contents 1
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/97/9715.ps.gz, 19970603 Hans-Dieter Ehrich, Yulin Feng, David Kung (organizers) Grit Denker (editor): Object-Oriented Software Development Dagstuhl-Seminar-Report 7.-11.4.97 (9715) DAGSTUHL SEMINAR ON Object-Oriented Software Development Organized by: Hans-Dieter Ehrich (Technische Universit at Braunschweig, Germany) Yulin
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/96/9638.ps.gz, 19970603 DAGSTUHL SEMINAR EXPRESSIVENESS IN CONCURRENCY EDITORS Rocco De Nicola Ursula Goltz Frits Vaandrager Contents iii 1 Preface One of the main research objectives of computer science is the development of formal methods for the design and implementation of programming languages. This research area has
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/97/9716.ps.gz, 19970610 Report on Schloss-Dagstuhl Meeting on "Evaluation of Multimedia Information Retrieval" 14-18 April 1997 edited by Alan F. Smeaton Dublin City University Introduction Information retrieval (IR), and IR tasks like information filtering and categorisation, have a long tradition of implementation and
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/97/9709.ps.gz, 19970618 Dagstuhl Report Deduction Wolfgang Bibel Technische Hochschule Darmstadt Fachbereich Informatik Alexanderstr. 10 64283 Darmstadt Germany bibel@intellektik. informatik.th-darmstadt.de Ulrich Furbach Universit at Koblenz-Landau Fachbereich Informatik Rheinau 1 56075 Koblenz Germany uli@informatik.
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/97/9706.ps.gz, 19970630 Contents 1 Introduction 5 2 Summary of the Coreference Group 6 2.1 Group Membership . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2.2 Homework Results . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2.3 Resolved coding issues . . . . . . . . . . . . . . . . . . . . . . . . 9 2.4 SGML
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/97/9719.ps.gz, 19970711 Dagstuhl Seminar on Social Science Microsimulation: Tools for Modeling, Parameter Optimization, and Sensitivity Analysis Organized by: Klaus G. Troitzsch (Universit at Koblenz) Ramzi Suleiman (University of Haifa) Ulrich Mueller (Universit at Marburg) G. Nigel Gilbert (University of Surrey, UK) Schlo
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/96/9635.ps.gz, 19970724 Andreas Brennecke, Reinhard Keil-Slawik (editors) Position Papers for Dagstuhl Seminar 9635 on History of Software Engineering August 26 30, 1996 organized by William Aspray, Reinhard Keil-Slawik and David L. Parnas History and Identity In August 1996 about a dozen historians met with about a dozen
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/97/9717.ps.gz, 19970730 Dagstuhl-Seminar 9717 on Computability and Complexity in Analysis Schloss Dagstuhl, April 21{25, 1997 Organizers: Ker-I Ko (New York), Anil Nerode (Cornell), Klaus Weihrauch (Hagen). Introduction The seminar Computability and Complexity in Analysis" was held in Dagstuhl from April 21 to 25, 1997. It
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/97/9710.ps.gz, 19970827 Contents Davide Ancona An Algebraic Approach to Mixins and Modularity . . . . . . . . . . . . . . . . . . . . . . . . 2 David Basin Verification Based on Monadic Logic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Don Batory The Jakarta Project . . . . . . . . . . . . . . . .
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/97/9729.ps.gz, 19970910 Dagstuhl Seminar 9729 Parallel Scheduling July 14{18, 1997 Summary The Dagstuhl seminar on Parallel Scheduling" was organized by Ed Coffman, Ernst W. Mayr, and Uwe Schwiegelshohn. In this event, 29 researchers from 10 countries participated. In 27 talks they presented their latest results on
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/97/9738.ps.gz, 19971007 Goals of this Dagstuhl Seminar G unter Haring, Christoph Lindemann, Martin Reiser Performance Evaluation is a discipline of Computer Science for some thirty years. It seems time to take stock of what we were doing. That is, provide answers to the following questions: ffl What are its scientific
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/97/9720.ps.gz, 19971011 Dagstuhl Seminar on Practical Methods for Code Documentation and Inspection Egon B orger (Italy), Dave Parnas (Canada), Paul Joannou (Canada) October 11, 1997 The aim of the workshop was to bring together software engineering researchers from accademia and software engineers from industry to discuss the
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/96/9639.ps.gz, 19971013 Dagstuhl Report on Logic Databases and the Meaning of Change Compiled by Andrei Voronkov Uppsala University Computing Science Department Box 311 S 75105 Uppsala, Sweden 1 A Note from the Organizers Hendrik Decker This
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/97/9712.ps.gz, 19971014 3 Software Engineering and Database Technology Naser S. Barghouti, Bear Steams & Co., New York Klaus Dittrich, University of Z rich, Z rich David Maier, Oregon Graduate Institute,Oregon Wilhelm Sch fer, University of Paderborn, Paderborn Although software engineering and database technology are two
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/97/9727.ps.gz, 19971023 1 Introduction: The Scope 3 1. Introduction: The Scope We understand multimedia systems being characterized by the integrated computer-controlled generation, manipulation, presentation, storage, and communication of independent discrete and continuous media. Both synchronization and resource management
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/97/9739.ps.gz, 19971119 Dagstuhl-Seminar 9739 \| Cryptography (22.Sept.1997{26.Sept.1997) A.Odlyzko, C.P.Schnorr, A.Shamir, J.Stern The scientific filed of cryptography has been developing very rapidely in recent years. There is a growing number of conferences in cryptography in addition to the annual Crypto and Eurocrypt
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/97/9744.ps.gz, 19971201 Multiple-valued Logic Peter H. Schmitt Daniele Mundici (editors) Lotfi Zadeh Dagstuhl-Seminar-Report (Seminar 9744) 27.10.{31.10.1997 This Dagstuhl Seminar brought together approximately 60 researchers covering the full spectrum of the current research on many-valued logics, ranging from mathematical
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/97/9707.ps.gz, 19971215 9707\|Computational Geometry 09.02. - 14.02.1997 organized by Rolf Klein (Hagen), Raimund Seidel (Saarbr ucken), Seth Teller (MIT) The fifth Dagstuhl seminar on computational geometry was attended by 39 participants from 11 countries. The aim of this workshop was two-fold: Firstly, to provide a forum for
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/97/9737.ps.gz, 19971215 Internationales Begegnungs- und Forschungszentrum f ur Informatik Schloss Dagstuhl Seminar Report 9737 Parallel and Distributed Algorithms September 8 { 12, 1997 Ov e r v i e w The fifth Dagstuhl Seminar on Parallel and Distributed Algorithms was organized by Ernst W. Mayr (TU M unchen), Friedhelm Meyer
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/97/9743.ps.gz, 19971217 Dagstuhl Seminar 9743: Applications of Tree Automata in Rewriting, Logic and Programming. October 20-24, 1997 Schloss Dagstuhl, Germany Organizers: Hubert Comon Ecole Normale Sup erieure Lab. Specification et Verification 61 Ave. du Pr esident Wilson F-94235 Cachan Cedex hubert.comon@lsv.ens-cachan.fr
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/97/9726.ps.gz, 19980120 A. Gal (editor): Temporal Databases S. Jagodia, S. Sripada, O. Etzion (organizers) Dagstuhl-Seminar-Report; 23.06.-27.06.97 (9726) 1 Contents 2 FILL IN THE DAGSTUHL INFORMATION 3 Temporal Databases Organizers: S. Jagodia, S. Sripada, O. Etzion Temporal databases incorporate the concept of time to create
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/97/9723.ps.gz, 19980122 1 Internationales Begegnungs- und Forschungszentrum f ur Informatik Schloss Dagstuhl Seminar Report J. Blazewicz, K. Ecker, W. Kubiak, D. Trystram Scheduling in Computer and Manufacturing Systems June 2 - 6, 1997 2 Overview During the week of June 2 - 6, 1997, the Seminar on Scheduling in Computer and
	ftp://ftp.cs.uni-sb.de/pub/dagstuhl/reporte/97/9745.ps.gz, 19980203 Report on the Dagstuhl Seminar 9745 Parallel Processing in the Engineering Sciences { Methods and Applications Organized by G. Alefeld, Universit at Karlsruhe O. Mahrenholtz, TU HH-Harburg R. Vollmar, Universit at Karlsruhe November, 3{7, 1997 Overview The Dagstuhl seminar was attended by 33