Tekniske rapporter 1972-1979
1972
Year/No. | Title and author |
---|---|
72/1 | The back-up system on HCØ-RC4000 Peter Jensen |
72/2 | NOOS - et datatransmissionssystem fra RC4000 til RECKU og RECAU Ole Caprani, Lise Lauesen og Flemming Sejergaard Olsen |
72/3 | Some corrections to the driver at the line printer at RC4000 Peter Jensen |
72/4 | Description of a colour display system P.G. Sjölin and Edda Sveinsdottír |
72/5 | Vejledning i styrekort til RECKU, ALGOL, COBOL, FORTRAN og SIMULA Jan Andersen |
72/6 | Lisp 4000.2. User's Manual Jan Andersen, Philippe Gauguin, Klaus Hansen, Torben Møller, A.P. Ravn and Søren Stamp |
72/7 | Lisp 4000.2. Maintenance Manual Jan Andersen, Philippe Gauguin, Klaus Hansen, Torben Møller, A.P. Ravn and Søren Stamp |
72/8 | An RC4000-Algol program for converting FLEXOWRITER code to VARIAN-ASCII code Alf Beck Nielsen |
72/9 | Lisp 4000.2. Implementers Guide Jan Andersen, Philippe Gauguin, Klaus Hansen, Torben Møller, A.P. Ravn and Søren Stamp |
72/10 | On the semigroups of linear sequential machines Y. Zalcstein |
72/11 | Grok P. Lindblad Andersen, Jørn Jensen, Peter Jensen and Jørgen Steensgaard-Madsen |
72/12 | DAS4000 - en oversætter fra symbolsk sprog til binær kode for VARIAN A.P.Ravn og Søren Stamp |
72/13 | DASPUNCH - et algolprogram som udhuller binær kode for VARIAN 620 A.P. Ravn og Søren Stamp |
72/14 | A brief description of a computer based gammakamera Tommy Schomacker |
72/15 | Konvertering mellem ASCII. ISO-kode på RC4000 Peter Jensen |
72/16 | Entropy and minimal algorithms Peter Johansen |
72/17 | Afvikling af LISP på RECKU Jan Andersen |
72/18 | A simple way to determine the impedance-constants of an n-port Torben U. Zahle |
72/19 | Revised report on the BASIC language HCØ/RC4000 Per Bentzen and Per Eldon |
72/20 | Design af et filsystem i relation til GROK-projektet Carl Johan Gerlach, Carsten Hansen, Keld Helsgaun, Viggo Lomborg og Arne Skou |
72/21 | Programmel til statistisk gammakamera Edda Sveinsdottir |
72/22 | Deterministiske (N/a) - programmer Per Sparre |
72/23 | On a memory map Peter Jensen |
72/24 | Styresystemer til afvikling af online tidstro programmer på minidatamater Per Gade Christensen |
1973
Year/No. | Title and author |
---|---|
73/1 | The Grok Project. Data Structures and Process Communication Peter Jensen |
73/2 | Automatisk bevisførelse. Del 1: Almindelig resolutionsteori (Del 2: Implementation af SL-resolution kan lånes på DIKU) Keld Helsgaun |
73/3 | Et Runtime System Jørgen Zachariassen |
73/4 | Nogle ændringer til Remote Communications. Program til UNIVAC 9200/9200 II9300/9300 II datamaterne Jan Andersen og Jørgen Steensgaard-Madsen |
73/5 | Holddannelse ved valgfri fag på folkeskolens øverste trin Aino Andersen |
73/6 | Dimensionering af index-sequentielle filer Bent Pedersen |
73/7 | Optimeringsmetoder i Algol 6 oversætteren til RC4000. En kort oversigt Jan Andersen, Torben Møller, AP. Ravn og Søren Stamp |
73/8 | Et Message Switching System Peter Howalt, Erik Lilholt, Rune Einersen, Bo Tveden-Jørgensen and Heinrich Bjerregaard |
73/9 | Algolp - a runtime profiling system. User's Manual Lene Weiss, Philippe Gauguin and Steen Jürs |
73/10 | A Class of Planar Graphs Related to Nonserial Dynamic Programming Jakob Krarup and Frank Harary |
73/11 | SAAB - statisk analyse af algolprogrammer Erik Vrang og Hans Peter Nørby |
1974
Year/No. | Title and author |
---|---|
74/1 | Algebraiske og statistiske undersøgelser af afrundingsfejl ved regning med flydende tal Ole Caprani |
74/2 | Behandling af fritformulerede elevsvar i Coursewriter III Kjeld Wessel Wetlesen |
74/3 | NOOS - et datatransmissionssystem fra RC4000 til RECKU og RECAU. Brugervejledning Ole Caprani, Lise Lauesen og Flemming Sejergaard Olsen |
74/4 | NOOS - et datatransmissionssystem fra RC4000 til RECKU og RECAU. Operatørvejledning Ole Caprani, Lise Lauesen og Flemming Sejergaard Olsen |
74/5 | NOOS - et datatransmissionssystem fra RC4000 til RECKU og RECAU. Installeringsvejledning Ole Caprani, Lise Lauesen og Flemming Sejergaard Olsen |
74/6 | NOOS - et datatransmissionssystem fra RC4000 til RECKU og RECAU. Vedligeholdelsesvejledning Ole Caprani, Lise Lauesen og Flemming Sejergaard Olsen |
74/7 | NOOS - et datatransmissionssystem fra RC4000 til RECKU og RECAU. Forfatternes kommentarer Ole Caprani, Lise Lauesen og Flemming Sejergaard Olsen |
74/8 | Semiautomatisk bevisførelse for programmer Erik Vrang |
74/9 | Job Scheduling Preventing Deadlock and Permanent Blocking Bo Munch Andersen and Torben U. Zahle |
74/10 | Free Groups in Lindenmayer Systems Peter Johansen and Erik Meiling |
74/11 | A Program of Master-Strength Go Play Five-in-a-row Torben U. Zahle |
74/12 | Pitfalls and Promising Ideas in Time Scharing Schedulers Torben U. Zahle |
74/13 | Automata Theory in Free Groups Jens Clausen, Jens Hammerum, Erik Meiling and Tom Skovgaard |
74/14 | Søgetider for hashtabeller på pladelager Bent Pedersen |
74/15 | GENASS. Brugervejledning for programmører Jørgen Bang |
74/16 | CONASS. Kontrolprogram for data til GENASS Jørgen Bang |
1975
Year/No. | Title and author |
---|---|
75/1 | PLIX - programlæsbarhedsindex Ida Andersen, Isabella Carstensen, Louis Fischer, Helle Friis og Anker Helms Jørgensen |
75/2 | Commutator Calculus and L Systems Peter Johansen |
75/3 | Om opbygning af hobe Bent Pedersen |
75/4 | VACS - et multiprogrammeret tidstro styresystem til VARIAN 620/F Jørgen Bang og Ken Schubell |
75/5 | Sharp lower bounds and efficient algorithms for the simple plant location problem Ole Bilde and Jakob Krarup |
75/6 | Plan location, set covering and economic lot size: An 0(mn)-Algorithm for structured problems Ole Bilde and Jakob Krarup |
75/7 | En analyse af Datalogisk Instituts forbrug på RECKU i efteråret 1974 Ole Caprani |
1976
Year/No. | Title and author |
---|---|
76/1 | MIK - et korutineorienteret styresystem til en mikrodatamat Bodil Schrøder |
76/2 | Datalogistuderende som brugere af RECKU. En analyse Klaus Jeppesen og Søren Kann |
1977
Year/No. | Title and author |
---|---|
77/1 | Stokastiske filgeneratorer Bent Pedersen |
77/2 | Layout Planning, Evaluation, and Optimization Jakob Krarup and Peter Mark Pruzan |
77/3 | Scheduling According to Job Priority with Prevention of Deadlock and Permanent Blocking Bo Munch-Andersen and Torben U. Zahle |
77/4 | Introduktion til databaser Torben U. Zahle |
77/5 | SCAN - A Simple Record-at-a-time DML for the Relational Data Model Torben U. Zahle |
77/6 | Afvikling af 1108 LISP programmer og opgavesamling til indlæring af LISP Erik Meiling |
77/7 | Selected Families of Discrete Location Problems. Part I: Center Problems. Part II: Median Problems Jakob Krarup and Peter Mark Pruzan |
77/8 | The Generating Function of the Number of Subpatterns of a DOL Sequence Peter Johansen |
77/9 | Three-dimensional, Dynamic Gammacamera: Reconstruction Poul Østergaard |
77/10 | Challenging Unsolved Center and Median Problems Jakob Krarup and Peter Mark Pruzan |
77/11 | Travelling Salesman and Assignment Problems: A Survey Rainer E. Burkard |
77/12 | Procedures as Monitors in Sequential Programming J. Steensgaard-Madsen |
1978
Year/No. | Title and author |
---|---|
78/1 | Brug af Datalogisk Instituts PDP11-anlæg i førstedelsundervisningen Ole Caprani og Kurt Helmer Jensen |
78/2 | Perspektiver i lingvistisk databehandling Gregers Koch |
78/3 | Project Gamma I Gretter Aggernæs, Jann Dahlgaard, Peter Frenning, Hans J. Rasmussen, Tomasz J. Goldman - with a contribution from Ernest M. Stokely |
78/4 | Matroids and Combinatorial Optimization Jens Clausen |
78/5 | Introducing Dynamic Arrays in Pascal Jørgen Steensgaard-Madsen |
78/6 | Pascal - Clarifications and Recommended Extensions Jørgen Steensgaard-Madsen |
78/7 | Beskrivelse af et grafisk farveudstyr og dets grænseflade til Concurrent Pascal Uffe Ougaard |
78/8 | Indføring i LISP Erik Meiling |
78/9 | Conceptual Graphis I Gert Schmeltz Pedersen |
78/10 | Zaborow-papers: Eight Contributions to a Mathematical Programming Seminar Jakob Krarup, Editor |
78/11 | Datalogens introduktion til bogholderi Søren Lauesen |
78/12 | Netværksknude til datatransmissionsnet Klaus Jul Jeppesen |
78/13 | Proposals for the Use of a Basic Defining Vocabulary in Developing Pronominal Detection Strategies Nicholas Palmer and Gregers Koch |
1979
Year/No. | Title and author |
---|---|
79/1 | Multiprocessorer til dedikerede systemer skrevet i Concurrent Pascal Uffe Ougaard |
79/2 | A Note on DPDA Transductions of {0,1}* and Inverse DPDA Transductions of the Dyck Set Paul M.V. Vitányi |
79/3 | User's Guide for the Concurrent Pascal Systems at DIKU (SOLO) A.P. Ravn |
79/4 | Multimikrodatamatsystemer i formålsbundet drift Jens Brix Christiansen |
79/5 | Reducibility of Minimax to Minisum 0-1 Programming Problems Jakob Krarup and Peter Mark Pruzan |
79/6 | The Expected Time to Find the Maximum of a Set of Random Numbers Peter Johansen |
79/7 | Concurrent Pascal with Device Monitors and Pointer Variables Karsten Kynde and A.P. Ravn |
79/8 | Solution Properties of Multicriteria 0-1 Programming Problems Rainer E. Burkard, Jakob Krarup, and Peter Mark Pruzan |
79/9 | Flytning af Concurrent Pascal til Intel 8080 Sys Sidenius and Eric Jul |
79/10 | An NP-complete Matroid Parity Problem Jens Clausen |
79/11 | Check Digit Systems Henrik Legind Larsen |
79/12 | Digital signalbehandling Martin Jensen og Lone Randi Hansen |
79/13 | Anvendelse af "real time operating systems" på mikrodatamater Ole Caprani |
79/14 | En oversigt over nogle vigtige offentlige edb-systemer. Bidrag fra et hold studerende Thomas Skousen |
79/15 | Three Papers on Concurrent Pascal (Experience with Concurrent Pascal, Device Monitors, and Pointer Variables in Concurrent Pascal) A.P. Ravn |
79/16 | A Tutorial Note on the Complexity of the Simplex-algorithm Jens Clausen |
79/17 | Finding k Edge-disjoint Spanning Trees of Minimum Total Weight in a Network: An Application of Matroid Theory Jens Clausen and Lone Aalekjær Hansen |
79/18 | Card-Mark Codes for Ordinary Text Nils Andersen |
79/19 | Eksperimentel formalisering af dansk Gregers Koch |
79/20 | The Impact of Distance on Location Problems Jakob Krarup and Peter Mark Pruzan |