close this section of the libraryftp://ftp.diku.dk (202)
open this document and view contentsftp://ftp.diku.dk/pub/diku/conferences/GC90/Edelson.ps.Z, 19901203
The Case for Garbage Collection in C++ D. Edelson I. Pohly Baskin Center for Computer and Information Science University of California Santa Cruz, CA 95064 1 August 1990 Introduction C++ represents an imperative based hybrid Object-Oriented Programming Language . It integrates low-level and
open this document and view contentsftp://ftp.diku.dk/pub/diku/conferences/GC90/DeTreville.ps.Z, 19901203
Experience with Garbage Collection for Modula-2+ in the Topaz Environment John DeTreville Systems Research Center Digital Equipment Corporation July 31, 1990
open this document and view contentsftp://ftp.diku.dk/pub/diku/conferences/GC90/White.ps.Z, 19901203
Three Issues In Object-Oriented Garbage Collection: A Position Statement For The ECOOP/OOPSLA '90 Workshop On Garbage Collection Jon L White Principal Scientist Lucid, Inc. Menlo Park CA 94025 November 30, 1990 CONTENTS 1. Storage Management Issues Brought Up By Object-Oriented Paradigms 2. Automated
open this document and view contentsftp://ftp.diku.dk/pub/diku/conferences/GC90/Hudson.ps.Z, 19901203
Adaptive Garbage Collection for Modula-3 and Smalltalk Richard Hudson Amer Diwany Object Oriented Systems Laboratory Department of Computer and Information Science University of Massachusetts Amherst, MA 01003 October 27, 1990 1 Introduction Moon's ephemeral garbage collector showed that
open this document and view contentsftp://ftp.diku.dk/pub/diku/conferences/GC90/Moss.ps.Z, 19901203
Garbage Collecting Persistent Object Stores J. Eliot B. Moss moss@cs.umass.edu Department of Computer and Information Science University of Massachusetts Amherst, MA 01003 Presented at the OOPSLA/ECOOP '90 Workshop on Garbage Collection October 1990
open this document and view contentsftp://ftp.diku.dk/pub/diku/conferences/GC90/Hayes.ps.Z, 19901203
Open Systems Require Conservative Garbage Collection Barry Hayes Stanford University October 19, 1990 1 Open Systems The current trends in computing are adding some new species to the endangered species list; we are seeing less of the single-language single-compiler system, and as this monoculture
open this document and view contentsftp://ftp.diku.dk/pub/diku/conferences/GC90/Shapiro.ps.Z, 19901203
A garbage detection protocol for a realistic distributed object-support system Un protocole de d etection des miettes pour un syst eme d'objets r eparti r ealiste Rapport de Recherche INRIA 1320 Marc Shapiro INRIA, projet SOR David Plainfoss e INRIA, projet SOR et UPMC-RXF Olivier Gruber INRIA, projet
open this document and view contentsftp://ftp.diku.dk/pub/diku/conferences/GC90/Ferrira.ps.Z, 19901203
Storage Reclamation Paulo Ferreira INESC/IST R. Alves Redol no9, 6o, 1000 Lisboa, PORTUGAL fax: (351) 1.525843 phone: (351) 1.545150 e-mail: pjpf@sabrina.inesc.pt July 1990
open this document and view contentsftp://ftp.diku.dk/pub/diku/conferences/GC90/Bartlett.ps.Z, 19901203
A Generational, Compacting Garbage Collector for C++ Joel F. Bartlett Western Research Laboratory Digital Equipment Corporation 100 Hamilton Ave. Palo Alto, California 94301 bartlett@decwrl.dec.com
open this document and view contentsftp://ftp.diku.dk/pub/diku/conferences/GC90/Attendees.ps.Z, 19901203
List of Workshop Participants at the Workshop on Garbage Collection in Object-Oriented Systems Henry Baker, Nimble Computer Corp., Encino, CA, USA Fax: (818) 986-1360 Joel F. Bartlett, WRL/DEC, Palo Alto, CA, USA bartlett@decwrl.dec.com Barbara Beaudoing, LITP, Paris, France bab@litp.ibp.fr Mats
open this document and view contentsftp://ftp.diku.dk/pub/diku/conferences/GC90/Nielsen.ps.Z, 19901203
Hardware Support for Garbage Collection of Linked Objects and Arrays in Real Time Kelvin Nilsen William J. Schmidt Department of Computer Science Iowa State University
open this document and view contentsftp://ftp.diku.dk/pub/diku/conferences/GC90/Mattsson.ps.Z, 19901203
A Fast Expected-Time Compacting Garbage-Collection Algorithm (Position Paper) Svante Carlsson Christer Mattsson Mats Bengtsson
open this document and view contentsftp://ftp.diku.dk/pub/diku/conferences/GC90/Juul.ps.Z, 19901203
A Distributed, Faulting Garbage Collector for Emerald Position Paper at Workshop on Garbage Collection in Object-Oriented Systems Niels Christian Juul DIKU, Department of Computer Science, University of Copenhagen Universitetsparken 1, DK 2100 Copenhagen O, Denmark Phone: +45 31 39 64 66 Fax: +45 31 39
open this document and view contentsftp://ftp.diku.dk/pub/diku/conferences/GC90/Zorn.ps.Z, 19901203
Designing Systems for Evaluation: A Case Study of Garbage Collection (Position Paper) Benjamin Zorn Department of Computer Science University of Colorado at Boulder
open this document and view contentsftp://ftp.diku.dk/pub/diku/conferences/GC90/Bengtsson.ps.Z, 19901203
1 Real-Time Compacting Garbage Collection Mats Bengtsson and Boris Magnusson Department of Computer Science Lund University Lund, Sweden 1. Introduction Traditional batch garbage collection techniques lead to long delays in the programming execution. Different methods to reduce the delays have been
open this document and view contentsftp://ftp.diku.dk/pub/diku/conferences/GC90/El-Habbash.ps.Z, 19901204
Garbage Collection in an Object Oriented, Distributed, Persistent Environment A. El-Habbash C. Horn N. Harris Department of Computer Science, Trinity College Dublin, Ireland email:(ahmed, horn, harris)@cs.tcd.ie
open this document and view contentsftp://ftp.diku.dk/pub/diku/conferences/GC90/Detlefs.ps.Z, 19901206
Position Paper: Concurrent, Atomic Garbage Collection David L. Detlefs December 5, 1990 1 Why Use Garbage Collection in Transaction Systems I'm concerned with a class of application problems whose solutions require reliable distributed systems. These applications are akin to database systems in that
open this document and view contentsftp://ftp.diku.dk/pub/diku/conferences/GC90/Kurihara.ps.Z, 19901219
SPiCE Collector The Run-Time Garbage Collector for Smalltalk-80 Programs Translated into C Satoshi Kurihara Mikio Inari Norihisa Doi Department of Computer Science, Keio University Graduate School of Science and Technology kurihara@doi.cs.keio.ac.jp Kazuki Yasumatsu Takemi Yamazaki Fuji Xerox Co., Ltd.
open this document and view contentsftp://ftp.diku.dk/pub/diku/conferences/GC90/workshopReport.ps.Z, 19910409
Report on the ECOOP/OOPSLA'90 Workshop on Garbage Collection in Object-Oriented Systems Niels Christian Juul D.I.K.U.1 The workshop was held on Sunday October, 21st, 1990 in conjunction with the Joint ECOOP/OOPSLA'90 Conference at Hotel Chateau Laurier, Ottawa, Canada. Participants were invited based on
open this document and view contentsftp://ftp.diku.dk/pub/diku/conferences/GC91/maclachlan.ps.Z, 19911122
ffl In future computer architectures, improving cache locality will become increasingly important. 6 Fortunately, the disk gap can be bridged to some degree by plugging in more DRAM. This is why we get a hit rate for our typical VM system of 99.9999 percent, even if we only count cache misses as
open this document and view contentsftp://ftp.diku.dk/pub/diku/conferences/GC91/russo.ps.Z, 19911122
Garbage Collecting an Object-Oriented Operating System Kernel Vincent F. Russo Department of Computer Science Purdue University West Lafayette, IN 47907 email: russo@cs.purdue.edu
open this document and view contentsftp://ftp.diku.dk/pub/diku/conferences/GC91/moss.ps.Z, 19911122
The UMass Language Independent Garbage Collector Toolkit J. Eliot B. Moss Department of Computer Science University of Massachusetts Amherst, MA 01003 moss@cs.umass.edu Submitted to the OOPSLA '91 Workshop on Garbage Collection
open this document and view contentsftp://ftp.diku.dk/pub/diku/conferences/GC91/crawley.ps.Z, 19911122
Local and Global Distributed Garbage Collection. S. C. Crawley Defence Science and Technology Organisation PO Box 1600, Salisbury 5107, Australia email: sxc@itd.dsto.oz.au
open this document and view contentsftp://ftp.diku.dk/pub/diku/conferences/GC91/plainfosse.ps.Z, 19911122
A Distributed Garbage Collection as an Operating System Component Position paper for the Second Workshop on Garbage Collection in Object-oriented Systems Phoenix, October 1991 David Plainfoss e Marc Shapiro INRIA, BP 105, 78153 Rocquencourt C edex, France dp@sor.inria.fr August 1, 1991 Introduction
open this document and view contentsftp://ftp.diku.dk/pub/diku/conferences/GC91/ungar.ps.Z, 19911122
Draft. Outwitting GC Devils: A Hybrid Incremental Garbage Collector OOPSLA 91 Garbage Collection Workshop Position Paper David Ungar* Frank Jackson ParcPlace Systems, Inc. 1550 Plymouth St. Mountain View, CA 94043 David.Ungar@sun.com Jackson@parcplace.com No one enjoys waiting for garbage collection.
open this document and view contentsftp://ftp.diku.dk/pub/diku/conferences/GC91/yasugi.ps.Z, 19911122
Towards User (Application) Language-Level Garbage Collection in Object-Oriented Concurrent Languages | Position Paper | Masahiro YASUGI Akinori YONEZAWA Department of Information Science, The University of Tokyo 1 Introduction We are implementing object-oriented concurrent languages on concurrent
open this document and view contentsftp://ftp.diku.dk/pub/diku/conferences/GC91/engelstad.ps.Z, 19911122
- 0 -
open this document and view contentsftp://ftp.diku.dk/pub/diku/conferences/GC91/johnson.ps.Z, 19911122
Comparing Two Garbage Collectors Douglas Johnson Texas Instruments MS 369 P.O. Box 655621 Dallas, Texas 75265 johnson@ti.com (214) 917-7442 August 15, 1991
open this document and view contentsftp://ftp.diku.dk/pub/diku/conferences/GC91/hoelzle.ps.Z, 19911122
In many ways, inlining of message sends and inlining of objects are very similar. Both techniques strive to promote the use of desirable language features (dynamic binding, safe storage management) by making these features cheap. Moreover, both techniques try to incur overhead only if the feature is
open this document and view contentsftp://ftp.diku.dk/pub/diku/conferences/GC91/chambers.ps.Z, 19911122
Cost of Garbage Collection in the SELF System Position Paper for the OOPSLA 91 GC Workshop Craig Chambers Department of Computer Science and Engineering, FR-35 University of Washington Seattle, WA 98195 chambers@cs.washington.edu 1. Introduction Many researchers have measured the overhead of garbage
open this document and view contentsftp://ftp.diku.dk/pub/diku/conferences/GC91/hosking.ps.Z, 19911122
Main Memory Management for Persistence Antony L. Hosking Object Oriented Systems Laboratory Department of Computer and Information Science University of Massachusetts Amherst, MA 01003
open this document and view contentsftp://ftp.diku.dk/pub/diku/conferences/GC91/boehm.ps.Z, 19911122
1 Simple GC-Safe Compilation Hans-J. Boehm (boehm@xerox.com) Xerox PARC 8/13/91 It is increasingly attractive to compile programming languages requiring garbage collection into a standard intermediate language. This allows readily available translators for the intermediate language to be used in
open this document and view contentsftp://ftp.diku.dk/pub/diku/conferences/GC91/withington.ps.Z, 19911122
OOPSLA 91 GC WORKSHOP 10/6/91 HOW REAL IS REAL-TIME GC P. T. Withington Symbolics, Inc. Eight New England Executive Park, East Burlington, MA 01803, U.S.A. ptw@Jasper.SCRC.Symbolics.COM
open this document and view contentsftp://ftp.diku.dk/pub/diku/conferences/GC91/nilsen.ps.Z, 19911122
AHigh-Performance Architecturefor Real-Time Garbage Collection Kelvin Nilsen kelvin@cs.iastate.edu Department of Computer Science Iowa State University
open this document and view contentsftp://ftp.diku.dk/pub/diku/conferences/GC91/diwan.ps.Z, 19911122
Stack Tracing In A Statically Typed Language Amer Diwan Object Oriented Systems Laboratory Department of Computer Science University of Massachusetts October 2, 1991 1 Introduction Statically-typed languages such as Modula-3 provide many opportunities for compile-time garbage
open this document and view contentsftp://ftp.diku.dk/pub/diku/conferences/GC91/hudson.ps.Z, 19911122
Finalization in a Garbage Collected World Richard L. Hudson October 4, 1991 University Computing Services University of Massachusetts, Amherst Amherst, MA 01003 1 Introduction With the advent of object oriented technologies, data structures have become more complex and the tradition of relying on
open this document and view contentsftp://ftp.diku.dk/pub/diku/conferences/GC91/furuso.ps.Z, 19911122
Parallel Conservative Garbage Collection with Fast Object Allocation | Extended Abstract | Shinichi FURUSOU Satoshi MATSUOKA Akinori YONEZAWA Department of Information Science, The University of Tokyo
open this document and view contentsftp://ftp.diku.dk/pub/diku/conferences/GC91/ferriera.ps.Z, 19911122
Garbage Collection in C++ Position Paper for the OOPSLA'91 Workshop on Garbage Collection Paulo Ferreira INESC/IST R. Alves Redol no9, 6o, 1000 Lisboa, PORTUGAL fax: (351) 1.525843 phone: (351) 1.3155150 e-mail: pjpf@sabrina.inesc.pt July 1991
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-127.ps.Z, 19921116
Type Inference with Polymorphic Recursion Fritz Hengleiny DIKU University of Copenhagen Universitetsparken 1 2100 Copenhagen East Denmark Internet: henglein@diku.dk June 28, 1990; revised December 10, 1991
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-152.ps.Z, 19921116
Partial Evaluation of an Object-Oriented Imperative Language Morten Marquard Bjarne Steensgaard Department of Computer Science - University of Copenhagen Universitetsparken 1, DK{2100 Copenhagen O, Denmark Electronic mail: marquard@diku.dk or rusa@diku.dk April 30, 1992 (printed September 25, 1992)
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-139.ps.Z, 19921116
Partial Evaluation of C and Automatic Compiler Generation (Extended Abstract) Lars Ole Andersen DIKU, Department of University of Copenhagen, Universitetsparken 1, DK 2100 Copenhagen O, Denmark. E-mail: lars@diku.dk
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-88.ps.Z, 19921116
Efficient Type Inference for Higher-Order Binding-Time Analysis Fritz Henglein DIKU University of Copenhagen Universitetsparken 1 2100 Copenhagen O Denmark Internet: henglein@diku.dk May 29, 1991
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-121.ps.Z, 19921116
Analysis and Efficient Implementation of Functional Programs Peter Sestofty DIKU, Department of Computer Science, University of Copenhagen October 3, 1991 (y) New address from January 1, 1992: Department of Computer Science, Building 344, Technical University of Denmark, DK-2800 Lyngby, Denmark. E-mail:
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-143.ps.Z, 19930209
Explicit Cyclic Substitutions Kristoffer Hogsbro Rose DIKU, University of Copenhagen, Universitetsparken 1, 2100 Kobenhavn O, Denmark Internet: kris@diku.dk DIKU Semantics Note D{143, February 8, 1993
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-164-part-2.ps.Z, 19930305
flow-constraint generation flow-constraint generation input bt-specification bt-constraint generation bt-constraint normalization is-used constraint generation is-used constraint normalization bt-annotation sp-analysis eod-constraint generation eod-constraint normalization eod-annotation C flow fflffl
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-146.ps.Z, 19930331
Graph-based Operational Semantics of a Lazy Functional Language by Kristoffer H. Rose DIKU Semantics Note D{146 22 Graph-based Operational Semantics of a Lazy Functional Language Kristoffer H. Rose 22.1 INTRODUCTION This chapter proposes the use of term graph rewriting (TGR) as the basis for the
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-166.ps.Z, 19930331
Explicit Cyclic Substitution Kristoffer Hogsbro Rose DIKU, University of Copenhagen, Universitetsparken 1, DK{2100 Kobenhavn O, Denmarky E-mail : kris@diku.dk March, 1993
open this document and view contentsftp://ftp.diku.dk/pub/diku/conferences/GC91/IWMM92JuulJul.ps, 19930417
Barbara Liskov and Rivka Ladin. Highly-available distributed services and fault-tolerant distributed garbage collection. In Proceedings of the 5th annual ACM Symposium on Principles of Distributed Computing (PODC'5), pages 299, Association for Computing Machinery, Vancouver (Canada),
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-171.ps.Z, 19930708
A Compositional Semantics of Combining Forms for Gamma Programs David Sands y Department of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2100 Copenhagen O, DENMARK. (e-mail: dave@diku.dk)
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-172.ps.Z, 19930708
Laws of Parallel Synchronised Termination David Sands dave@diku.dk DIKU, University of Copenhagen Universitetsparken 1, DK-2100 Kobenhavn O, Denmark.
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-173.ps.Z, 19930708
A Na ve Time Analysis and its Theory of Cost Equivalence {draft submitted for publication{ David Sands 1 diku, University of Copenhagen Universitetsparken 1, DK-2100 Kobenhavn O, DENMARK. e-mail: dave@diku.dk, tel: +45 35 321408, fax: +45 35 321401 Keywords time analysis, lazy evaluation, operational
open this document and view contentsftp://ftp.diku.dk/pub/diku/conferences/GC91/IWMM92gcsurvey.ps, 19940131
Uniprocessor Garbage Collection Techniques Paul R. Wilson University of Texas Austin, Texas 78712-1188 USA (wilson@cs.utexas.edu)
open this document and view contentsftp://ftp.diku.dk/pub/diku/reports/1994/diku-94-13.ps.gz, 19940504
Mirage+ A Kernel Implementation of Distributed Shared Memory on a Network of Personal Computers Brett D. Fleisch Randall L. Hydey Niels Christian Juulz DIKU-rapport 94/13x April 1994 D I K U Department of Computer Science University of Copenhagen Denmark Department of Computer Science, University of
open this document and view contentsftp://ftp.diku.dk/pub/diku/conferences/GC91/NCJUUL-thesis.ps.gz, 19940504
Comprehensive, Concurrent, and Robust Garbage Collection in the Distributed, Object-Based System Emerald Niels Christian Juul Department of Computer Science University of Copenhagen Denmark DIKU-rapport 93/1 February 1993 { ii { Comprehensive, Concurrent, and Robust Garbage Collection in the
open this document and view contentsftp://ftp.diku.dk/pub/diku/reports/1991/diku-91-05.ps.gz, 19940603
DIKU Report no. 91/5 Grain-Size Adaption in the Fine-Grained Object-Oriented Language Ellie Birger Andersen Department of Computer Science University of Copenhagen Universitetsparken 1 2100 Copenhagen, Denmark E-mail: birger@diku.dk, Fax: +45 35 32 14 01, Phone: +45 35 32 18 18 Partial Ph.D.
open this document and view contentsftp://ftp.diku.dk/pub/diku/reports/1991/diku-91-03.ps.gz, 19940603
DIKU Report no. 91/3 Ellie Language Definition Report Birger Andersen Department of Computer Science University of Copenhagen Universitetsparken 1 2100 Copenhagen, Denmark E-mail: birger@diku.dk, Fax: +45 31 39 02 21, Phone: +45 31 39 64 66 Partial Ph.D. Dissertation1 June 1991 1. This is 2nd edition of
open this document and view contentsftp://ftp.diku.dk/pub/diku/reports/1991/diku-91-04.ps.gz, 19940603
DIKU Report no. 91/4 Fine-Grained Parallelism in Ellie Birger Andersen Department of Computer Science University of Copenhagen Universitetsparken 1 2100 Copenhagen, Denmark E-mail: birger@diku.dk, Fax: +45 31 39 02 21, Phone: +45 31 39 64 66 Partial Ph.D. Dissertation1 June 1991 1. Has been presented at
open this document and view contentsftp://ftp.diku.dk/pub/diku/reports/1992/diku-92-12.ps.gz, 19940603
DIKU Report no. 92/12 A General, Grain-Size Adaptable, Object-Oriented Programming Language for Distributed Computers Birger Andersen Department of Computer Science University of Copenhagen Universitetsparken 1 2100 Copenhagen, Denmark E-mail: birger@diku.dk, Fax: +45 35 32 14 01, Phone: +45 35 32 18 18
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-98.ps.Z, 19940614
Generating a Compiler for a Lazy Language by Partial Evaluation Jesper Jorgensen DIKU, Department of Computer Science University of Copenhagen Universitetsparken 1, DK-2100 Copenhagen O Denmark e-mail: knud@diku.dk
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-201.ps.Z, 19940617
XY-pic Reference Manual Kristoffer H. Rose hkris@diku.dki with Ross Moore hross@mpce.mq.edu.auiy Version 2.10/3 z h1994/06/15i
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-200.ps.Z, 19940617
XY-pic User's Guide Kristoffer H. Rose hkris@diku.dki Version 2.10, June 15, 1994
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-58.ps.Z, 19940630
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-208.ps.Z, 19940630
WORM-2DPDAs: An Extension to 2DPDAs that can be Simulated in Linear Time Torben AE. Mogensen June 30, 1994
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-209.ps.Z, 19940705
Using Multiset Discrimination ToSolveLanguage Processing Problems Without Hashing 1 Jiazhen Cai 2 and Robert Paige 3 NewYork Unive rsity/ Courant Institute, NewYork, NY 10012, USA
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-210.ps.Z, 19940707
XY-pic and Notation for Categorical Diagrams K. H. Rose DIKU, University of Copenhagen July 6, 1994
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-211.ps.Z, 19940711
Solving Demand Versions of Interprocedural Analysis Problems Thomas Reps1 Datalogisk Institut, University of Copenhagen Universitetsparken 1 DK-2100 Copenhagen East Denmark
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-212.ps.Z, 19940711
On the Sequential NatureofInterprocedural Program-Analysis Problems Thomas Reps University of Copenhagen1
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-215.ps.Z, 19940711
Interprocedural Data owAnalysis via Graph Reachability Thomas Reps, Mooly Sagiv, and Susan Horwitz University of Copenhagen This paper shows howalarge class of interprocedural data ow-analysis problems can be solved precisely in polynomial time. The only restrictions are that the set of data owfacts is
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-214.ps.Z, 19940711
Speeding up Slicing Thomas Reps, Susan Horwitz, ,and Mooly Sagiv University of Copenhagen Genevieve Rosay University of Wisconsin-Madison Program slicing is a fundamental operation for manysoftware engineering tools. Currently,the most ef cient algorithm for interprocedural slicing is one that uses a
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-213.ps.Z, 19940711
Demand Interprocedural Program Analysis Using Logic Databases Thomas Reps University of Wisconsin-Madison1 1. Introduction Interprocedural analysis concerns the static examination of a program that consists of multiple procedures. Its purpose is to determine certain kinds of summary information
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-159.ps.Z, 19940718
Constructor Specialization Torben AE. Mogensen DIKU, University of Copenhagen, Denmark email: torbenm@diku.dk
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-216.ps.Z, 19940805
Precise Interprocedural Data owAnalysis via Graph Reachability (Extended Abstract) Thomas Reps, Susan Horwitz, and Mooly Sagiv University of Wisconsin 1. Introduction This paper shows howto nd precise solutions to a large class of interprocedural data ow-analysis problems in polynomial time. In contrast
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-128.ps.Z, 19940902
Efficient Self-Interpretation in Lambda Calculus Torben AE. Mogensen DIKU, University of Copenhagen, Denmark September 2, 1994
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-141.ps.Z, 19940902
Self-applicable Partial Evaluation for Pure Lambda Calculus Torben AE. Mogensen DIKU, University of Copenhagen, Denmark
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-94.ps, 19940902
Denotational Abstract Interpretation of Logic Programs Kim Marriott Harald Sondergaard Neil D. Jones Technical Report 92/20 Kim Marriott Dept. of Computer Science Monash University Clayton Vic. 3168 Australia marriott@cs.monash.oz.au Harald Sondergaard Dept. of Computer Science The University of
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/linuxdoc/guides/ug.ps.gz, 19940921
The Linux Users' Guide Copyright c 1993,1994 Larry Greenfield All you need to know to start using Linux, a free Unix clone. This manual covers the basic Unix commands, as well as the more specific Linux ones. This manual is meant for the beginning Unix user, although it may be useful for more
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-75.ps.Z, 19941020
Efficient Algebraic Operations on Programs Neil D. Jones DIKU, Department of Computer Science, University of Copenhagen Universitetsparken 1, DK-2100 Copenhagen East, Denmark E-mail: neil@diku.dk
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-130.ps.Z, 19941020
Partial Evaluation and the Generation of Program Generators Neil D. Jones DIKU, Department of Computer Science, University of Copenhagen Universitetsparken 1, DK-2100 Copenhagen East, Denmark E-mail: neil@diku.dk 1 Introduction Partial evaluation has been the subject of rapidly increasing activity over
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-160.ps.Z, 19941020
Constant Time Factors Do Matter (Extended abstract) Neil D. Jones
open this document and view contentsftp://ftp.diku.dk/pub/diku/image/petersen.940525.ps.Z, 19941024
Calibration of the DIKU Robot-Camera System Kjeld Lau Petersen & Soren Ingvor Olsen Department of Computer Science, University of Copenhagen, Denmark E-mail: kjeld@diku.dk & ingvor@diku.dk May 25, 1994
open this document and view contentsftp://ftp.diku.dk/pub/diku/image/nielsen.941019.ps.Z, 19941024
Binocular Dense Depth Reconstruction using Isotropy Constraint Mads Nielsen DIKU University of Copenhagen Universitetsparken 1 2100 O Denmark Rachid Deriche INRIA, 2004 Route des Lucioles, B.P. 93, 06902 Sophia-Antipolis CEDEX, France October 12, 1994
open this document and view contentsftp://ftp.diku.dk/pub/diku/image/olsen.931001.ps.Z, 19941024
0.002 0.004 0.006 0.008 0.01 0.012 -150 -100 -50 50 100 150
open this document and view contentsftp://ftp.diku.dk/pub/diku/image/nielsen.940901.ps.Z, 19941201
Surface Reconstruction: GNCs and MFA Mads Nielseny DIKU Universitetsparken 1 DK-2100 Copenhagen Denmark email: malte@diku.dk September 1994
open this document and view contentsftp://ftp.diku.dk/pub/diku/image/nielsen.940902.ps.Z, 19941201
Regularization, Scale Space, and Edge Detectors Mads Nielseny Luc Florack Rachid Deriche DIKU INESC - Aveiro INRIA, Sophia Antipolis Universitetsparken 1 Dep. Elec. e Tel. 2004, route des Lucioles DK-2100 Copenhagen Campus Universitario BP 93 Denmark P-3800 Aveiro F-06902 Sophia Antipolis email:
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-178.ps.Z, 19950203
Partial Evaluation Applied to Ray Tracing Peter Holst Andersen January 10, 1995 Contents 1 Introduction 2 2 The ray tracer 4 3 Experiment Platform 5 4 Comparison with Rayshade 4.0 7 5 Application of Partial Evaluation to Ray Tracing 8 5.1 Specialization of intersect all with respect to the scene : : : :
open this document and view contentsftp://ftp.diku.dk/pub/diku/image/sporring.950126.ps.Z, 19950208
Statistical Aspects of Generalization in Neural Networks -1 -0.5 0.5 1 -4 -2 2 4 6 8 10 Jon Sporring February 8, 1995
open this document and view contentsftp://ftp.diku.dk/pub/diku/image/nielsen.950101.ps.Z, 19950208
Determination of Higher Order Optic Flow: A Group Theoretical Approach Mads Nielsen (malte@diku.dk) Jon Sporring (sporring@diku.dk) University of Copenhagen Department of Computer Science Universitetsparken 1 DK-2100 Copenhagen East DENMARK 1
open this document and view contentsftp://ftp.diku.dk/pub/diku/image/jorgensen.950322.ps.Z, 19950322
Fraktal kodning af digitale billeder 1 Lars Vange Jorgensen Institute of Computer Science University of Copenhagen 21. marts 1995 1Dette er et speciale i datalogi ved Kobenhavns Universitet. Indholdsfortegnelse 1 Introduktion 1 1.1 Generelt om komprimering : : : : : : : : : : : : : : : : : : : : : : : :
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-223.ps.gz, 19950404
Higher-Order Expression Procedures David Sands DIKU, University of Copenhagen dave@diku.dk
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-222.ps.gz, 19950404
Proving the Correctness of Recursion-Based Automatic Program Transformations David Sands diku, University of Copenhagen
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-197.ps.gz, 19950404
Partial Evaluation of Numerical Programs in Fortran Romana Baier, Robert Gl ck1, Robert Z chling University of Technology Vienna, Institut f r Computersprachen, Argentinierstrafle 8, A-1040 Vienna, Austria E-mail: e1802gab@vm.univie.ac.at
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-185.ps.gz, 19950404
Metacomputation as a Tool for Formal Linguistic Modeling Robert Gl ck1 Andrei Klimov2 Department of Computer Science Keldysh Institute of Applied Mathematics University of Copenhagen Russian Academy of Sciences Universitetsparken 1 Miusskaya Square 4 DK-2100 Copenhagen, Denmark 125047 Moscow, Russia
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-220.ps.gz, 19950404
Towards Operational Semantics of Contexts in Functional Languages David Sands diku, University of Copenhagen
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-170.ps.gz, 19950404
Occam s Razor in Metacomputation: the Notion of a Perfect Process Tree Robert Gl ck1 Andrei V. Klimov2 Institut f r Computersprachen Keldysh Institute of Applied Mathematics University of Technology Vienna Russian Academy of Sciences A-1040 Vienna, Austria 125047 Moscow, Russia
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-194.ps.gz, 19950404
Fortran Program Specialization Paul Kleinrubatscher, Albert Kriegshaber, Robert Z chling, Robert Gl ck1 University of Technology Vienna, Institut f r Computersprachen, Argentinierstrafle 8, A-1040 Vienna, Austria E-mail: e1802gab@vm.univie.ac.at
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-219.ps.gz, 19950404
Composed Reduction Systems David Sands diku, University of Copenhageny
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-221.ps.gz, 19950404
Total Correctness by Local Improvement in Program Transformation David Sands University of Copenhagen e-mail: dave@diku.dk
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-225.ps.gz, 19950406
1 Program Speedups in Theory and Practice Neil D. Jonesa aDepartment of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2100 Copenhagen, Denmark
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-226.ps.gz, 19950406
Efficient Translation of External Input in a Dynamically Typed Language Robert Paige * Computer Science Department, New York University, 251 Mercer St., New York, NY 10012 New algorithms are given to compile external data in string form into data structures for high level datatypes. Let I be a language
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-202.ps.gz, 19950406
J. Komorowski. A Specification of an Abstract Prolog Machine and its Application to Partial Evaluation. Linkoping University. Dissertation, 1981. J. Komorowski. An Introduction to Partial Deduction. In A. Pettorossi (ed.), Meta-Programming in Logic. Proceedings. (Uppsala, Sweden).
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-227.ps.gz, 19950425
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/ellie/91-4.ps.gz, 19950518
DIKU Report no. 91/4 Fine-Grained Parallelism in Ellie Birger Andersen Department of Computer Science University of Copenhagen Universitetsparken 1 2100 Copenhagen, Denmark E-mail: birger@diku.dk, Fax: +45 31 39 02 21, Phone: +45 31 39 64 66 Partial Ph.D. Dissertation1 June 1991 1. Has been presented at
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/ellie/92bal.ps.gz, 19950518
Load Balancing in the Fine-Grained Object-Oriented Language Ellie (to be published in I-WOOOS'92 workshop proceedings by IEEE) Birger Andersen Department of Computer Science, University of Copenhagen Universitetsparken 1, 2100 Copenhagen, Denmark E-mail: birger@diku.dk
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/ellie/91gen.ps.gz, 19950518
Ellie - A General, Fine-Grained, First Class Object Based Language Birger Andersen Department of Computer Science University of Copenhagen Universitetsparken 1 2100 Copenhagen, Denmark E-mail: birger@diku.dk, Fax: +45 31 39 02 21, Phone: +45 31 39 64 66 Research Paper1 October 1991 1. To appear in
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/ellie/93gran.ps.gz, 19950518
On Ellie Object Granularities Birger Andersen1 Department of Computer Science University of Copenhagen Universitetsparken 1 2100 Copenhagen, Denmark E-mail: birger@diku.dk, Fax: +45 3532 1401, Phone: +45 3532 1400 ECOOP'93 Workshop on Granularity of Objects in Distributed Systems Position Paper June
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/ellie/93pow.ps.gz, 19950518
The Power of First-Class Citizens Birger Andersen1 Department of Computer Science University of Copenhagen Universitetsparken 1 2100 Copenhagen, Denmark E-mail: birger@diku.dk, Fax: +45 3532 1401, Phone: +45 3532 1400 ECOOP'93 Workshop on Object-Based Distributed Programming Position Paper June 1993
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/amigos/diku95-2-11.ps.gz, 19950530
Transactions in mobile computing Jeppe Damkj r Nielsen (jeppe@diku.dk) Skriftligt arbejde no. 95-2-11 DIKU, for r 1995
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/amigos/mionfs.ps.gz, 19950627
Replica Control in MIo-NFS Vitor Guedes Francisco Moura INESC Group 2361 Departamento de Inform atica Universidade do Minho 4700 Braga - Portugal E-mail: fmesvpg, fsmg@di.uminho.pt ECOOP' 95 Workshop on Mobility and Replication
open this document and view contentsftp://ftp.diku.dk/pub/diku/image/sporring.950629.ps.Z, 19950629
Pruning with Minimum Description Length Jon Sporring E-mail: sporring@diku.dk Department of Computer Science / University of Copenhagen Universitetsparken 1 / Copenhagen East / Denmark Phone: +45 35321454 June 29, 1995
open this document and view contentsftp://ftp.diku.dk/pub/diku/image/sporring.950620.ps.Z, 19950629
DIRECT ESTIMATION OF FIRST ORDER OPTIC FLOW Jon Sporring (sporring@diku.dk) & Mads Nielsen (malte@diku.dk) DIKU, University of Copenhagen Universitetsparken 1, DK-2100 O
open this document and view contentsftp://ftp.diku.dk/pub/diku/image/sporring.950601.ps.Z, 19950629
Direct Estimation of Time to Contact Jon Sporring (sporring@diku.dk) & Mads Nielsen (malte@diku.dk) DIKU, University of Copenhagen, Universitetsparken 1, DK-2100 Copenhagen East
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/wmr95/programme.ps.gz, 19950801
Proceedings of ECOOP'95 Workshop on Mobility and Replication Aarhus, Denmark, August 8, 1995 Birger Andersen Carlos Baquero Rui Oliveira ECOOP'95 Workshop on Mobility and Replication Aarhus, Denmark, August 8, 1995 Programme and Table of Contents 9:00 Welcome Session I: Models for Mobile Objects
open this document and view contentsftp://ftp.diku.dk/pub/diku/dists/emerald/sosp95.ps, 19950818
Object and Native Code Thread Mobility Among Heterogeneous Computers Bjarne Steensgaard Eric Jul Microsoft Research DIKU (Dept. of Computer Science) One Microsoft Way University of Copenhagen Redmond, WA 98052 Universitetsparken 1 USA DK-2100 K benhavn Denmark
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-231.ps, 19950821
Once upon a type In 7'th International Conference on Functional Programming and Computer Architecture, San Diego, California, June 1995. David N. Turner Philip Wadler University of Glasgowy dnt,wadler@dcs.glasgow.ac.uk Christian Mossin University of Copenhagenz mossin@diku.dk.
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-230.ps.gz, 19950821
14th International Congress on Cybernetics Namur (Belgium), Aug.21-25, 1995, Preprint Reduction of Language Hierarchies Robert Gl ck Andrei Klimov1 Department of Computer Science Keldysh Institute of Applied Mathematics University of Copenhagen Russian Academy of Sciences DK-2100 Copenhagen, Denmark
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-229.ps.gz, 19950821
Efficient Multi-level Generating Extensions for Program Specialization Robert Gl uck and Jesper Jorgensen DIKU, Department of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2100 Copenhagen O, Denmark e-mail: fglueck, knudg@diku.dk
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-234.ps.gz, 19950821
Call-By-Name CPS-Translation as a Binding-Time Improvement Kristian Nielsen & Morten Heine Sorensen DIKU (Department of Computer Science, University of Copenhagen) Universitetsparken 1, DK-2100 Copenhagen O, Denmark. E-mail: fbombadil,rambog@diku.dk
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-242.ps.gz, 19950920
A Semantic Model of Binding Times for Safe Partial Evaluation Fritz Henglein David Sands University of Copenhageny June 30, 1995
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-247.ps.gz, 19950920
Combinatory Reduction Systems with Explicit Substitution Kristoffer H. Rose kris@diku.dk Extended Abstract, September 1, 1995
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-238.ps.gz, 19950920
XY-pic Reference Manual Kristoffer H. Rose hkris@diku.dki Ross Moore hross@mpce.mq.edu.auiy Version 3.0+z h1995/07/21i
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-246.ps.gz, 19950920
Preservation of Strong Normalisation in Named Lambda Calculi with Explicit Substitution and Garbage Collection Roel Bloo bloo@win.tue.nl Kristoffer H. Rose kris@diku.dk y
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-237.ps.gz, 19950920
XY-pic User's Guide Kristoffer H. Rose hkris@diku.dki Version 3.0+, July 21, 1995
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/amigos/cache.ps.gz, 19950929
File System Support for Semiconnected Operation in AMIGOS Birger Andersen Eric Jul Department of Computer Science University of Copenhagen Universitetsparken 1 2100 Copenhagen, Denmark E-mail: birger,eric@diku.dk Francisco Moura Vitor M. P. Guedes Departamento de Inform atica/INESC Universidade do Minho
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-244.ps.gz, 19951005
Binding-Time Analysis Applied to Mathematical Algorithms Robert Gl uck , Ryo Nakashige , Robert Z ochling DIKU, Dept. of Computer Science, University of Copenhagen Universitetsparken 1, DK-2100 Copenhagen O, Denmark Inst. f ur Computersprachen, Vienna University of Technology, Argentinierstr. 8, A-1040
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-240.ps.gz, 19951005
Thunks and the >=-calculus John Hatcliff DIKU Computer Science Department Copenhagen University y (hatcliff@diku.dk) Olivier Danvy DAIMI Computer Science Department Aarhus University z (danvy@daimi.aau.dk) February 21, 1995
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/rain/main.ps, 19951011
1 1. Introduction This chapter contains an introduction to the concept of using parallel networking. The exact definition of bandwidth, time on the wire, latency, and round-trip time are given in section 1.7 on page 10. 1.1 MOTIVATION Networks are becoming an increasingly important part of computer
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/rain/toc.ps, 19951011
ix Table of Contents FOREWORD i
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/rain/foreword.ps, 19951011
i Foreword This master s thesis was written at the Department of Computer Science at Copenhagen University (DIKU) in the period from December 1994 to August 1995, by Ole Sas Thrane and Michael Seifert. The thesis analyses how computer network performance can be increased by using two networks to
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/rain/frontpg.ps, 19951011
Evaluation and Implementation of Operating System Support for Multiple Network Interfaces An Evaluation of Parallel TCP/IP and UDP/IP Ethernet Networking on DEC 3000/300 Workstations Running DEC OSF/1 DEPARTMENT OF COMPUTER SCIENCE COPENHAGEN UNIVERSITY SUMMER 1995 Michael Seifert Ole Sas Thrane
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/rain/appendix.ps, 19951011
113 Appendix A Repetition Count This appendix describes the experiments performed in order to determine a proper repetition count for the main experiments. UDP BANDWIDTH Table 21 below lists the experimental variables for the UDP bandwidth repetition count experiment. For a discussion of the individual
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-251.ps.gz, 19951116
Deriving Abstract Machines with Sharing Kristoffer H. Rose DIKU, University of Copenhagen Submitted to ICFP '96, October 1995
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/db/Elgaard92.ps, 19951126
An Object-Oriented Database in Emerald Speciale Niels Elgaard Larsen, DIKU, Department of Computer Science, University of Copenhagen Universitetsparken 1 DK-2100 Copenhagen O E-mail: elgaard@diku.dk July 10, 1992 Contents 1 Introduction 1 1.1 Motivation for Object-Oriented Databases : : : : : : : : : :
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/ellie/mop.ps.gz, 19951206
MOP|A Model for Objects and Parallelism with Thread-Merging Birger Andersen Dept. of Computer Science University of Copenhagen Universitetsparken 1 2100 Copenhagen, Denmark E-mail: birger@diku.dk Phone: +45 3532 1400 Donald Liib Dept. of Computer Science Royal Institute of Technology Lindstedsv agen 7
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/ellie/93eff.ps.gz, 19951206
Efficiency by Type-Guided Compilation Birger Andersen1 Department of Computer Science University of Kaiserslautern Bau 36, P.O. Box 3049 67653 Kaiserslautern, Germany E-mail: andersen@informatik.uni-kl.de, Fax: +49 631 205 3558, Phone: +49 631 205 3291 OOPSLA'93 Workshop on Efficient Implementation of
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/ellie/94coor.ps.gz, 19951206
Coordination Keyword is Simplicity Birger Andersen1 Department of Computer Science University of Kaiserslautern Bau 36, P.O. Box 3049 67653 Kaiserslautern, Germany E-mail: andersen@informatik.uni-kl.de, Fax: +49 631 205 3558, Phone: +49 631 205 3291 ECOOP'94 Workshop on Models and Languages for
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/amigos/MobiScape.ps.gz, 19951207
MobiScape: WWW Browsing under Disconnected and Semi-Connected Operation Carlos Baqueroy Victor Fonte Francisco Moura Rui Oliveira Departamento de Inform atica / INESC Universidade do Minho Braga - Portugal
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/amigos/mobiscape.ps.gz, 19951207
MobiScape: WWW Browsing under Disconnected and Semi-Connected Operation Carlos Baqueroy Victor Fonte Francisco Moura Rui Oliveira Departamento de Inform atica / INESC Universidade do Minho Braga - Portugal
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/ellie/92gen.ps.gz, 19951208
Ellie: A General, Fine-Grained Parallel, Machine Independent Language (KTH Seminar, September 2, 1992) Birger Andersen Department of Computer Science, University of Copenhagen Universitetsparken 1, 2100 Copenhagen, Denmark E-mail: birger@diku.dk
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-250.ps.gz, 19951220
Linear Time Hierarchies and Functional Languages Eva Rose DIKU, University of Copenhageny
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-252.ps.gz, 19951220
Pointer Machines and Pointer Algorithms: an Annotated Bibliography Amir M. Ben-Amram September 4, 1995
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/amigos/sctcp.ps.gz, 19960209
Semi-Connected TCP/IP in a Mobile Computing Environment Jorgen Svaerke Hansen Torben Reich Birger Andersen Department of Computer Science, University of Copenhagen (DIKU) Universitetsparken 1, 2100 Copenhagen, Denmark fcyller,silmaril,birgerg@diku.dk
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-260.ps.gz, 19960216
A simple dynamic algorithm for maintaining a dominator tree Stephen Alstrup E-mail:stephen@diku.dk Peter W. Lauridsen E-mail:waern@diku.dk Department of Computer Science University of Copenhagen
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-259.ps.gz, 19960216
Optimal algorithms for finding nearest common ancestors in dynamic trees Stephen Alstrup
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-262.ps.gz, 19960216
An O(jV j jEj) Algorithm for Finding Immediate Multiple-Vertex Dominators. Stephen Alstrupy Jens Clauseny Kristian Jorgenseny
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-261.ps.gz, 19960216
A simple and optimal algorithm for finding immediate dominators in reducible graphs Stephen Alstrup Peter W. Lauridsen
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/linuxdoc/guides/lpg.ps.gz, 19960307
The Linux Programmer's Guide Sven Goldt Sven van der Meer Scott Burkett Matt Welsh Version 0.4 March 1995 ...Our continuing mission: to seek out knowledge of C, to explore strange unix commands, and to boldly code where no one has man page 4. Contents 1 The Linux operating system 5 2 The Linux kernel 7
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/linuxdoc/guides/inst.ps.gz, 19960307
Linux Installation and Getting Started Copyright c 1992{1994 Matt Welsh Version 2.2.2, 11 February 1995. This book is an installation and new-user guide for the Linux system, meant for UNIX novices and gurus alike. Contained herein is information on how to obtain Linux, installation of the software, a
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/linuxdoc/guides/sag.ps.gz, 19960307
Linux System Administrator's Guide 0.3 Linux System Administrator's Guide 0.3 Lars Wirzenius The Linux Documentation Project This is version 0.3 of the Linux System Administrators' Guide. Published August 6, 1995. The LATEX source code and other machine readable formats can be found on the Internet via
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/amigos/nfsrep.ps.gz, 19960308
A Portable Lightweight Approach to NFS Replication Raquel Menezes Carlos Baqueroy Universidade do Minho/INESC, Departamento de Inform atica, Campus de Gualtar, 4700 Braga, PORTUGAL fmesram,mescbm,fsmg@di.uminho.pt Francisco Mouraz
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-263.ps.gz, 19960312
Combinatory Reduction Systems with Explicit Substitution that Preserve Strong Normalisation Roel Bloo Eindhoven University of Technology bloo@win.tue.nl Kristoffer H. Rose DIKU, University of Copenhageny kris@diku.dk Submission for RTA '96, January 1996
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/linuxdoc/howto/DOSEMU-HOWTO.ps.gz, 19960313
The dosemu HOWTO edited by Mike Deisher, deisher@dspsun.eas.asu.edu v0.60pl4, 11 August 1995 This is the `Frequently Asked Questions' (FAQ) / HOWTO document for dosemu. The most up-to-date version of the dosemu-HOWTO may be found in dspsun.eas.asu.edu:/pub/dosemu. Contents 1 The preliminaries 3 1.1 What
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/linuxdoc/howto/Ftape-HOWTO.ps.gz, 19960313
ftape-HOWTO Kai Harrekilde-Petersen, v1.7.1, 13 February 1996 for ftape-2.06 This HOWTO discuss the essentials of the do's and dont's for the ftape driver under Linux. The ftape driver interfaces to QIC-40, QIC-80, QIC-3010 and QIC-3020 compatible drives only. The QIC-3010 and
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/linuxdoc/howto/Java-HOWTO.ps.gz, 19960313
Java on Linux HOWTO maintained by Eric S. Raymond, v.2.2, 10 February 1996 This document describes how to get started with Java and HotJava under Linux, as either a user or a programmer. Contents 1 Introduction 2 2 General Questions About Java and HotJava 2 2.1 What are are Java
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/linuxdoc/howto/Firewall-HOWTO.ps.gz, 19960313
Firewalling and Proxy Server HOWTO David Rudder, drig@execpc.com v0.2, 17 July 1995 This document is designed to teach the basics of setting up a firewall on a Linux based PC. Also covered is the installation and use of Proxy Servers to allow greater access to the Internet from behind a firewall.
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/linuxdoc/howto/Shadow-Password-HOWTO.ps.gz, 19960313
Linux Shadow Password HOWTO Michael H. Jackson, mhjack@tscnet.com v1.2, 10 January 1996 This document aims to describe how to obtain, install and configure the Linux password Shadow Suite. It also discusses obtaining, and (re)installing other software and network daemons that require access to user
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/linuxdoc/howto/PPP-HOWTO.ps.gz, 19960313
Linux PPP HOWTO Al Longyear, longyear@netcom.com v1.11, 12 July 1995 This document contains a list the most Frequently Asked Questions (FAQ) about PPP for Linux (and their answers). It is really not a HOWTO, but is in `classical' Question / Answer form. 1 Preface Please send any corrections to
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/linuxdoc/howto/Ethernet-HOWTO.ps.gz, 19960313
Linux Ethernet-Howto Paul Gortmaker, Editor. v2.5, 18 November 1995 This is the Ethernet-Howto, which is a compilation of information about which ethernet devices can be used for Linux, and how to set them up. It hopefully answers all the frequently asked questions about using ethernet cards with Linux.
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/linuxdoc/howto/PCMCIA-HOWTO.ps.gz, 19960313
Linux PCMCIA HOWTO David Hinds, dhinds@allegro.stanford.edu v1.63, 27 December 1995 This document describes how to install and use PCMCIA Card Services for Linux, and answers some frequently asked questions. The latest version of this document can always be found at hyper.stanford.edu in
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/linuxdoc/howto/HOWTO-INDEX.ps.gz, 19960313
The Linux HOWTO Index by Greg Hankins, gregh@sunsite.unc.edu v2.9.17, 5 March 1996 This document contains an index to the Linux HOWTOs and mini-HOWTOs, as well as other information about the HOWTO project. Contents 1 What Are Linux HOWTOs 1 2 Where Do I Get Linux HOWTOs 2 2.1 HOWTO Translations : : : :
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/linuxdoc/howto/XFree86-HOWTO.ps.gz, 19960313
The Linux XFree86 HOWTO by Matt Welsh, mdw@sunsite.unc.edu v3.0, 15 March 1995 This document describes how to obtain, install, and configure version 3.1.1 of the XFree86 version of the X Window System (X11R6) for Linux systems. It is a step-by-step guide to configuring XFree86 on your system. Contents 1
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/amigos/repobj.ps.gz, 19960531
Replicated Objects with Lazy Consistency Cristian Ionitoiu Computer Science Dept. Politehnica University of Timisoara Bdul. Vasile Parvan 2 1900 Timisoara, Romania E-mail: cristi@cs.utt.ro Birger Andersen Dept. of Computer Science University of Copenhagen Universitetsparken 1 2100 Copenhagen, Denmark
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/ellie/futpar.ps.gz, 19960610
Future-Based Parallelism Birger Andersen1 and Donald Liib2 1 Univ. of Copenhagen, Department of Computing Science Universitetsparken 1, 2100 Copenhagen, Denmark birger@diku.dk 2 Royal Inst. of Tech., Department of Computing Science Lindstedtsv agen 3, 10044 Stockholm, Sweden donald@nada.kth.se
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/wmr96/ns4.ps.gz, 19960619
A Layered Approach for Mobile Computing Nikolaos Skarmeas and Keith L. Clark Imperial College Department of Computing London, SW7 2BZ UK email: fns4,klcg@doc.ic.ac.uk
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/wmr96/sommer.ps.gz, 19960619
Stublets: A Notion for Mobility-Aware Application Adaption Dietmar Kottmann, Christian Sommer University of Karlsruhe, Institute of Telematics D{76128 Karlsruhe, Germany fkottmann|sommerg@telematik.informatik.uni-karlsruhe.de 1 Introduction Today's wireless technologies have some characteristics that
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/wmr96/pd.ps.gz, 19960619
Submitted to ECOOP'96 Workshop on Mobility and Replication 29th April 1996 Operating System Support for Mobile Active Objects and Replication Peter Dickman Department of Computing Science, University of Glasgow, Glasgow, G12 8QQ, UK Email: pd@dcs.gla.ac.uk Phone: (141) 330 4946 Fax: (141)
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/wmr96/ryan.ps.gz, 19960619
Object Migration in the Distributed Computing Environment Ryan Rubin , Dr. Valentin Kissimov, University of Witwatersrand, South Africa, ryan@cs.wits.ac.za, valentin@cs.wits.ac.za Introduction Distributed Systems are a popular paradigm in Computer Science today. The installation of Local Area Networks
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/wmr96/invited.ps.gz, 19960619
WMR'96 Invited Talk: Personal Assistance by means of Mobile Objects Uwe Baumgarten Munich University of Technology
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/wmr96/nemo.ps.gz, 19960619
An adaptable and extensible framework for distributed object management ECOOP'96 II Workshop on Mobility and Replication Position Paper Francisco J. Ballesteros, Luis L. Fernandez Grupo de Sistemas y Comunicaciones (GSyC) Universidad Carlos III de Madrid fnemo|puskyg@gsyc.inf.uc3m.es April 27, 1996
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/wmr96/liao.ps.gz, 19960619
An Interprocess Communications Design for Migrating Objects Willy S. Liao Roy H. Campbell Department of Computer Science University of Illinois at Urbana-Champaign 1304 W. Springfield Urbana, IL 61801 liao,roy@cs.uiuc.edu April 24, 1996
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/wmr96/philippe.ps.gz, 19960619
Load Balancing in Distributed Objects Systems, an experience with COOL v2. P. Chatonnay B. Herrmann L. Philippe F. Bourdony Laboratoire d'Informatique de Besan con 16, route de Gray 25030 Besan con cedex - France tel : 81.66.64.64 email : chaton@univ-fcomte.fr
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/wmr96/kirste.ps.gz, 19960619
Mobile Frames: A pragmatic approach to automatic application partitioning based on an end-user data model Extended Abstract Thomas Kirste Darmstadt Technical University, Dept. Comp. Sci., Interactive Graphics Systems Group Wilhelminenstr. 7, D-64283 Darmstadt Phone: +49 6151 155-241, Fax: +49 6151
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/wmr96/fsm.ps.gz, 19960619
A Human Centered Perspective for Mobile Information Sharing and Delivery Ant onio Sousa Carlos Baquero Jos e Orlando Pereira Rui Oliveira Francisco Moura Universidade do Minho, Braga, Portugal fals, cbm, jop, rco, fsmg@di.uminho.pt May 1996 1 Introduction Recent developments in portable computing made
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/wmr96/taconet.ps.gz, 19960619
Object Location in Wide Area Networks for Microkernel based Operating Systems Chantal Taconet and Guy Bernard National Institute of Telecommunications (France) 1 Position Paper
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/wmr96/czeslaw.ps.gz, 19960619
Potential Benefits of Explicit Marshaling for Efficient Implementation of Object Views and Grouping in an Object-Based DSM Position Paper for ECOOP'96 II Workshop on Mobility and Replication Linz, Austria, 8 July, 1996 Czeslaw K. Kazimierczak Department of Computer Science, University of Copenhagen
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/wmr96/kirste.spec.ps.gz, 19960619
The mobile frame model Draft Version 0.3, March 19, 1996 Thomas Kirste Darmstadt Technical University, Department of Computer Science, Interactive Graphics Systems Group Wilhelminenstr. 7, D-64283 Darmstadt email: kirste@igd.fhg.de 1 Introduction 1.1 Overview This document contains an initial formal
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/wmr96/wmr96.ps.gz, 19960619
ECOOP'96 II Workshop on Mobility and Replication Linz - Austria, July 8, 1996 Organizers Birger Andersen Carlos Baquero Eric Jul Rui Oliveira The titles of the accepted position papers are available. The workshop programme. Call for Participation The dissemination of mobile resources together with the
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/wmr96/reiher.ps.gz, 19960619
Peer-to-Peer Reconciliation Based Replication for Mobile Computers Peter Reiher, Jerry Popek, Michial Gunter, John Salomone, David Ratner UCLA 1. Introduction Data replication is particularly important for mobile computers, since disconnected or poorly connected portable computers must rely primarily on
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/wmr96/pgraham.ps.gz, 19960619
Disconnected Objects: Reconciliation in a Nested Object Transaction Environment Peter Graham, Ken Barker and Ahmad Reza-Hadaegh Advanced Database Systems Laboratory Department of Computer Science University of Manitoba Winnipeg, Manitoba, Canada R3T 2N2 fpgraham,barker,hadaeghg@cs.umanitoba.ca
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/wmr96/elgaard.ps.gz, 19960619
Querying Mobile Objects in the Emerald Database System Niels Elgaard Larsen DIKU Department of Computer Science University of Copenhagen Universitetsparken 1 DK-2100 Copenhagen O E-mail: elgaard@diku.dk June 19, 1996 I work with object-oriented databases, focusing on distribution, persistence,
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/wmr96/fjh.ps.gz, 19960619
A Location Service for Worldwide Distributed Objects Position Paper for ECOOP '96 Workshop on Mobility and Replication Franz J. Hauck, Maarten van Steen, Andrew S. Tanenbaum April 10, 1996
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/wmr96/lenz.ps.gz, 19960619
The Virtual-Primary-Copy Approach Compared To Other Approaches With Weak Consistent Data Replication Richard Lenz University of Erlangen-Nuremberg Dept. of Computer Science (IMMD VI) Martensstr. 3, 91058 Erlangen, Germany e-mail: lenz@informatik.uni-erlangen.de
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/amigos/diku95-6-11.ps.gz, 19960621
Semi-Connected TCP/IP in a Mobile Computing Environment Master's Thesis in Computer Science Jorgen Svaerke Hansen E-mail:cyller@diku.dk Torben Reich E-mail:silmaril@diku.dk Department of Computer Science, University of Copenhagen (DIKU) Universitetsparken 1, 2100 Copenhagen, Denmark DIKU Project no.
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/wmr96/front.ps.gz, 19960702
Proceedings of ECOOP'96 II Workshop on Mobility and Replication Linz, Austria, July 8, 1996 Birger Andersen Carlos Baquero Eric Jul Rui Oliveira Session 1: Applications and Mobility Session 2: Location and Mobility Session 3: Replication and Consistency Session 4: System Support Other Papers Accepted
open this document and view contentsftp://ftp.diku.dk/pub/diku/semantics/papers/D-269.ps.gz, 19960703
Reasoning about Hierarchies of Online Program Specialization Systems John Hatcliff Robert Gl uck DIKU, Department of Computer Science, University of Copenhagen Universitetsparken 1, DK-2100 Copenhagen O, Denmark E-mail: fhatcliff,glueckg@diku.dk
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/sigops96/contrib1.ps, 19960711
MIGRANTS Self-moving Object Clusters SIGOPS'96 Contribution Extended Abstract Eric Jul DIKU University of Copenhagen Copenhagen, DENMARK eric@diku.dk Extended Abstract In a world connected by an Information Superhighway there will be many smaller highways, roads, and even paths to users. Users will roam
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/wmr96/pgm.ps.gz, 19960722
ECOOP'96 II Workshop on Mobility and Replication Linz - Austria, July 8, 1996 Workshop Programme 9:00-10:30 Session 1: Applications and Mobility 9:00 Invited Talk: Personal Assistance by means of Mobile Objects, Uwe Baumgarten (Technical Univ. of Munich, Germany). 9:40 Mobile Frames: A Pragmatic
open this document and view contentsftp://ftp.diku.dk/pub/diku/image/johansen.950412.ps.Z, 19960727
Pattern Recognition by Data Compression Peter Johansen Dept. of Computer Science University of Copenhagen Copenhagen, Denmark email: peterjo@diku.dk
open this document and view contentsftp://ftp.diku.dk/pub/diku/dists/emerald/nameserver.ps, 19960807
A Distributed Wide Area Name Service for an Object Oriented Programming System Nick Jording & Flemming Andreasen DIKU, Department of Computer Science University of Copenhagen DK{2100 Copenhagen O Denmark E-mail: nick@diku.dk flem@diku.dk August 12, 1994
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/java/www-services.ps.Z, 19960912
Java og WWW Services Morten Frank Max Melchior Projekt ved kurset Distribuerede Operativsystemer - For ar 1996 23. maj 1996 Synopsis Java udvider radikalt World Wide Webs muligheder. Med udgangspunkt i den eksisternde arkitektur af WWW tilbyder Java transparent distribution af programmer til et stort
open this document and view contentsftp://ftp.diku.dk/pub/diku/image/fogh.960909.ps.Z, 19960912
Multi{Scale Segmentation of Grey{Scale Images Ole Fogh Olsen Department of Computer Science University of Copenhagen September 11, 1996 1 1
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/oc/iwooos95.ps, 19960913
Brian N. Bershad and Matthew J. Zekauskas. Midway: Shared memory parallel programming with entry consistency for distributed memory multiprocessors. Technical Report CMU-CS-91-170, School of Computer Science, Carnegie Mellon University, September 1991. Michael J. Feeley and Henry M. Levy.
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/amigos/objectconst.ps.gz, 19960913
Brian N. Bershad and Matthew J. Zekauskas. Midway: Shared memory parallel programming with entry consistency for distributed memory multiprocessors. Technical Report CMU-CS-91-170, School of Computer Science, Carnegie Mellon University, September 1991. Michael J. Feeley and Henry M. Levy.
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/ormc96/o12.ps.gz, 19960924
A Model for Multi-Level Consistency Michael G. Sorensen fmgsj@diku.dkg DIKU, Department of Computer Science, University of Copenhagen August 21, 1996
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/ormc96/o3.ps.gz, 19960924
The Ward Model: A Scalable Replication Architecture for Mobility David Ratner Gerald J. Popeky Peter Reiher Department of Computer Science University of California, Los Angeles 1 Introduction The ability to replicate data objects is especially important in mobile environments, since disconnected or
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/ormc96/o2.ps.gz, 19960924
Architectural Approaches for Wireless Computing in the Internet Son Vuong, Laurent Mathy and Maria T or oy Department of Computer Science The University of British Columbia, Vancouver, Canada. yKFKI Research Institute for Measurement and Computing Techniques, Budapest, Hungary. Email: fvuong,
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/ormc96/o8.ps.gz, 19960924
Nomadic.abstract.doc August 5, 1996 3:16 pm Support for Nomadism in a Global Environment Position Paper Bruce Jacob and Trevor Mudge Advanced Computer Architecture Lab Department of Electrical Engineering and Computer Science University of Michigan, Ann Arbor {blj,tnm}@eecs.umich.edu
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/ormc96/invited.ps.gz, 19961002
ORMC'96 Invited Talk: Bayou: A Replicated Storage System for Mobile Environments Karin Petersen Xerox PARC
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/ormc96/o4.ps.gz, 19961003
A Case Study of Dynamic Application Partitioning in Mobile Computing | An E-mail Browser Grace Hai Yan Lo and Thomas Kunz; fhylo, tkunzg@uwaterloo.ca University of Waterloo, ON, Canada October, 1996
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/ellie/94gen.ps.gz, 19961003
A General, Fine-Grained, Machine Independent, Object-Oriented Language Birger Andersen1 Department of Computer Science University of Kaiserslautern Bau 36, P.O. Box 3049 67653 Kaiserslautern, Germany E-mail: andersen@informatik.uni-kl.de January 1994
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/ormc96/pgm.ps.gz, 19961004
OOPSLA'96 Workshop on Object Replication and Mobile Computing (ORMC'96) San Jose, Califonia, October 7, 1996 Workshop Program Sunday, October 6th, Fairmont Hotel 17:00 Workshop reception (drinking and eating) Monday, October 7th, University Room, Hilton Hotel 8:30-8:50 Introduction (mutual exchange of
open this document and view contentsftp://ftp.diku.dk/pub/diku/distlab/db/EDB_Guide.ps, 19961030
The Emerald Database Users Guide version 1.0 Printed March 11, 1994 Niels Elgaard Larsen DIKU, Department of Computer Science University of Copenhagen, Universitetsparken 1 DK-2100 Copenhagen, Denmark email: elgaard@diku.dk
open this document and view contentsftp://ftp.diku.dk/pub/diku/image/quat.ps.Z, 19980116
Quaternioner, interpolation og animation Erik B. Dam Martin Koch Martin Lillholm 16. januar 1998 Forord Dette projekt omhandler quaternioner, deres matematiske egenskaber, samt hvordan de kan bruges til at rotere objekter i rummet. Vi giver en indforing i quaternionsmatematikken og begrunder, hvorfor