Tekniske rapporter 1990-1994
1990
| Year/No. | Title and author |
|---|---|
| 90/1 | Automatisk analyse og oversættelse af franske sætninger med udgangspunkt i oplysninger om verbernes valens Franz Fröling |
| 90/2 | Automatisk analyse af faste udtryk i franske sætninger Franz Fröling |
| 90/3 | Simple edge detection Søren. I. Olsen |
| 90/4 | Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types Anders Bondorf and Olivier Danvy |
| 90/5 | Projective Geometry and Straight Lines in Computational Vision Knud Henriksen |
| 90/6 | Edb-mæssige kvalifikationer: behov kontra uddannelse Helle Knudsen |
| 90/7 | DIKU: The Institute of Computer Science at Copenhagen University Neil D. Jones |
| 90/8 | Local Tournaments and Proper Circular Arc Graphs Pavoll Hell, Jørgen Bang-Jensen and Jing Huang |
| 90/9 | A polynomial algorithm for hamiltonian-connectedness in semicomplete digraphs Jørgen Bang-Jensen, Yannis Manoussakis and Carsten Thomassen |
| 90/10 | Classification of the Toppoints of an Image Peter Johansen |
| 90/11 | Om Relationsdatabaser og deres Ajourføring gennem Views. Konkretisering i Nimbus Alf Beck Nielsen |
| 90/12 | Animation af objekt-orienterede programmer baseret på aktive metoder Finn Jordal |
| 90/13 | Løsning af svære kombinatoriske optimerings-problemer - kan paralleldatamater hjælpe? Jens Clausen |
| 90/14 | Logic Programming for Concept Modelling and Support of Urban Housing Design. A Pilot Study Lászlo Béla Kovács and Per Galle |
| 90/15 | Mathematical Software for Computation of Toppoints Jens Tingleff |
| 90/16 | Compiler Generation By Partial Evaluation: a Case Study. (Revised version of report 88/24) Carsten K. Gomard and Neil D. Jones |
| 90/17 | Self-Applicable Partial Evaluation Anders Bondorf |
1991
| Year/No. | Title and author |
|---|---|
| 91/1 | Investigating a Proof-Theoretic Meta-Language for Functional Programs John J. Hannan |
| 91/2 | Semantic Information in Databases Troels Andreasen |
| 91/3 | Ellie Language Definition Report Birger Andersen |
| 91/4 | Fine-Grained Parallelism in Ellie Birger Andersen |
| 91/5 | Grain-Size Adaption in the Fine-Grained Object-Oriented Language Ellie Birger Andersen |
| 91/6 | Object Activitations in a Transputer Implementation of the Ellie Language Bjarne Hansen |
| 91/7 | Bevægelsesligninger i synskalkule Jens Arnspang |
| 91/8 | Motion Constraint Equations in Vision Calculus Jens Arnspang |
| 91/9 | Similix Manual system version 3.0 Anders Bondorf |
| 91/10 | Estimation of Noise in Images: An Evaluation Søren I. Olsen |
| 91/11 | Category Theory, Types and Programming Languages Hans Dybkjær |
| 91/12 | MIX. A self-applicable partial evaluator for experiments in compiler generation Neil D. Jones, Peter Sestoft and Harald Søndergaard. (Reprint of revised Version 87/8) |
| 91/13 | A Knowledge based System of Astronomy Ole Kjær Christensen and Eva Liljedahl |
| 91/14 | Introduction to Emerald Henrik Størner and Daniel Eide Joensen |
| 91/15 | Space-efficient parallel merging Jyrki Katajainen, Christos Levcopoulos and Ola Petersson |
| 91/16 | Epipolar Line Estimation Søren I. Olsen |
| 91/17 | Program Analysis Matters Carsten Krogh Gomard |
| 91/18 | Tutorial on Standard ML Mads Tofte |
1992
| Year/No. | Title and author |
|---|---|
| 92/1 | Computer-Aided Floor Plan Sketching Laila Dybkjær |
| 92/2 | Algorithms for the all-nearest-neighbors problem Jyrki Katajainen, Per-Olof Fjällström and Jan Petersson |
| 92/3 | In-place linear probing sort Jyrki Katajainen, Svante Carlsson and Jukka Teuhola |
| 92/4 | Stable minimum space partitioning in linear time. (more) Jyrki Katajainen and Tomi Pasanen |
| 92/5 | On using type Information in syntactical data compression Jyrki Katajainen and Erkki Mäkinen |
| 92/6 | Analysis and Efficient Implementation of Functional Programs Peter Sestoft |
| 92/7 | Two new approaches to parallel Branch and Bound Per. S. Laursen |
| 92/8 | Proceedings fra Den Første Danske Konference om Mønstergenkendelse og Billedanalyse Søren I. Olsen |
| 92/9 | Sorting multisets stably in minimum space Jyrki Katajainen and Tomi Pasanen |
| 92/10 | Fuldtekstsøgesystemer til Fagfolk Morten Hertzum og Henrik Søes |
| 92/11 | Semantisk analyse og repræsentation af naturligt sprog Henrik Hedegaard |
| 92/12 | A General, Grain-Size Adaptable, Object-Oriented Programming Language for Distributed Computers Birger Andersen |
| 92/13 | LIDA-projektet. Arbejdspapirer Hasse Clausen |
| 92/14 | C Program Specialization Lars Ole Andersen |
| 92/15 | Traffic Adviser. Et logikprogrammeringsprojekt Jesper Bagger |
| 92/16 | Map Theory - Preface, Addendum and Index Klaus Grue |
| 92/17 | Map Theory Klaus Grue |
| 92/18 | Partial Evaluation and the Generation of Program Generators Neil D. Jones |
1993
| Year/No. | Title and author |
|---|---|
| 93/1 | Comprehensive, Concurrent, and Robust Garbage Collection in the Distributed, Object-Based System Emerald Niels Christian Juul |
| 93/2 | Do Inherently Sequential Branch-and-Bound Algorithms Exist? Jens Clausen and Jesper Larsson Träff |
| 93/3 | Learning, Problem Solving and Mathematics. Volume One - Learning and Mathematics Education Djordje Kadijevic |
| 93/4 | Efficient Analysis for Realistic Off-Line Partial Evaluation: Extended Version Anders Bondorf and Jesper Jørgensen |
| 93/5 | Improved Parallel Bucketing Algorithms for Proximity Problems Torben Hagerup and Jyrki Katajainen |
| 93/6 | Graduated Non-Convexity by Smoothness Focusing Mads Nielsen |
| 93/7 | Optimal parallel algorithms for the single-source shortest path problem Jesper Larsson Träff |
| 93/8 | Will not be printed. Please see Report No. 93/9 |
| 93/9 | A comparison of two distributed single-source shortest path algorithms based on Dijkstra's algorithm Jesper Larsson Träff |
| 93/10 | Hvorfor "formel" systemudvikling? Sju og Lars Thorup |
| 93/11 | Abstract Interpretation In Logical Form Thomas Philip Jensen |
| 93/12 | A note on the greedy method for computing relative neighbours Jyrki Katajainen and Richard B. Tan |
| 93/13 | Genkendelse af mønstre i tidssignaler Christian Veng |
| 93/14 | The ML Kit Lars Birkedal, Nick Rothwell, Mads Tofte and David N. Turner |
| 93/15 | A Theory of Stack Allocation in Polymorphically Typed Languages Mads Tofte |
| 93/16 | Proceedings of the 16th IRIS in Copenhagen 7-10 August. Part I, Part II and Part III Editors: Jørgen.P. Bansler, Keld Bødker, F. Kensing, Jacob Nørbjerg and Jan Pries-Heje |
| 93/17 | Den 2. danske Konference i Mønstergenkendelse og Billedanalyse Peter Johansen |
| 93/18 | TeSS-projektet. Udvikling af et system til eksperimentel undersøgelse af bruger-grænseflader til edb-baseret tekstsøgning Jette Holm Broløs, Erik Frøkjær, Morten Hertzum, Marta Kristín Láurusdóttir, Kristian Bang Pilgaard and Flemming Steen Sørensen |
| 93/19 | Dialog og indsigt i systemarbejde Randi Nygaard Andersen |
| 93/20 | Isotropic Regularization Mads Nielsen |
| 93/21 | Præcisionen af GPS - En empirisk undersøgelse Eric Jul og Ulf Bjerring |
| 93/22 | Partial Evaluation on Standard ML Lars Birkedal and Morten Welinder |
| 93/23 | Two theorems on the parallel construction of convex hulls Jyrki Katajainen |
| 93/24 | Finding the maximum in parallel random access machines. (more) Jyrki Katajainen, Yrjö Auramo and Juhani Kulmala |
| 93/25 | A reliable randomized algorithm for the closest-pair problem Jyrki Katajainen, Martin Dietzfelbinger, Torben Hagerup and Martti Penttonen |
| 93/26 | The Usefulness And Beaty Of Combinatorial Optimization Jens Clausen and Jakob Krarup |
| 93/27 | A Family of Bipartite Cardinality Matching Problems Solvable in 0 (n2) Time Jens Clausen and Jakob Krarup |
| 93/28 | Maximum C4-free bipartite graphs and knapsack-type programs Jakob Krarup and T. Illés |
1994
| Year/No. | Title and author |
|---|---|
| 94/1 | Practical in-place mergesort. (more) Jyrki Katajainen, Tomi Pasanen and Jukka Teuhola |
| 94/2 | Abstract Interpretation: a Semantics-Based Tool for Program Analysis Neil D. Jones and Flemming Nielson |
| 94/3 | Calibration of Eye-Hand Systems Lars Arne Christensen and Morten Hanehøj |
| 94/4 | The Fork Calculus. Towards a Logic for Concurrent ML (PhD Thesis) Klaus Havelund |
| 94/5 | Calibration of the DIKU Robot-Camera System Kjeld Lau Petersen and Søren I. Olsen |
| 94/6 | Iterative Methods for Large, Sparse and Nonsymmetric Systems of Linear Equations on Parallel Computers (PhD Thesis) Ming Fang |
| 94/7 | Combinatorial Optimization on Transputers Per S. Laursen and Jesper Larsson Träff |
| 94/8 | Generelle Optimeringsheuristikker - en introduktion Per S. Laursen |
| 94/9 | Turchin's Supercompiler Revisited Morten Heine Sørensen |
| 94/10 | Combinatorial Pattern Recognition, the Method and the Program Package Peter Johansen |
| 94/11 | Disambiguating grammars by exclusion of sub-parse trees Mikkel Thorup |
| 94/12 | Proceedings of The Atlantique Workshop on Semantics Based Program Manipulation Edited by Neil Jones and Carolyn Talcott |
| 94/13 | MIRAGE+: A Kernel Implementation of Distributed Shared Memory on a Network of Personal Computers Niels Christian Juul |
| 94/14 | Interprocedural Dataflow Analysis via Graph Reachability Thomas Reps, Mooly Sagiv and Susan Horwitz |
| 94/15 | Firing Games Mikkel Thorup |
| 94/16 | Using Multiset Discrimination To Solve Language Processing Problems Wihtout Hashing Robert Paige and Jiazhen Cai |
| 94/17 | Proceedings fra Den Tredje Danske Konference om Mønstergenkendelse og Billedanalyse Peter Johansen |
| 94/18 | Simple parallel algorithms for the replacement edge problem and related problems on minimum spanning trees Jyrki Katajainen and Jesper Larsson Träff |
| 94/19 | Program Analysis and Specialization for the C Programming Language (PhD Thesis) Lars Ole Andersen |
| 94/20 | Computer Support for Documentation Work (PhD Thesis) Morten Hertzum |
| 94/21 | Parallel Algorithms for the Assignment Problem - an Experimental Evaluation of Three Distributed Algorithms Christian Schütt and Jens Clausen |
| 94/22 | Solving Large Quadratic Assignment Problems in Parallel Jens Clausen and Michael Perregaard |
| 94/23 | A minimal algorithm for 0-1 Knapsack Problem David Pisinger |
| 94/24 | Solving hard knapsack Problems David Pisinger |
| 94/25 | A minimal algorithm for the Multiple-Choice Knapsack Problem David Pisinger |
| 94/26 | Core Problems in Knapsack algorithms David Pisinger |
| 94/27 | A minimal algorithm for the Bounded Knapsack Problem David Pisinger |
| 94/28 | Kvalifikationer og Samarbejdsformer i Systemudvikling (PhD Thesis) Jacob Nørbjerg |
| 94/29 | More power to computers etc. Jyrki Katajainen |
| 94/30 | Tree slicing based on tree contraction Jesper Träff, Mikkel Thorup and Jyrki Katajainen |
| 94/31 | Parallel Optimization Algorithms - Efficiency vs. Simplicity (PhD Thesis) Per Laursen |
| 94/32 | Parallel Shortcutting of Rooted Trees Mikkel Thorup |
| 94/33 | Dominance Relations in Unbounded Knapsack Problems David Pisinger |
| 94/34 | Estimation of Higher Order Optic Flow: a Group Theoretical Approach Mads Nielsen and Jon Sporring |
| 94/35 | Parallel Branch-and-Bound Algorithm for Job-Shop Scheduling Problems Michael Perregaard and Jens Clausen |
| 94/36 | A knowledge-based system for timetable scheduling Casper Louis Jensen and Henrik Damkjær Vind |