Tekniske rapporter 1995
Year/No. | Title and author |
---|---|
95/1 | Algorithms for Knapsack Problems (PhD Thesis) David Pisinger |
95/2 | Partial Evaluation Applied to Ray Tracing Peter Holst-Andersen |
95/3 | Thunks and the Lambda-calculus John Hatcliff and Olivier Danvy |
95/4 | Datalogi som Videnskab Peter Naur |
95/5 | An 0 (log log n) priority queue Mikkel Thorup |
95/6 | An 0 (nr ) algorithm for the Subset-sum Problem David Pisinger |
95/7 | On Some Stability Bounds Subject to Hille-Yosida Resolvent Conditions Jørgen Sand |
95/8 | From Paradigm to Algorithms in Computer Vision Mads Nielsen |
95/9 | Polymorphic Dynamic Typing. Aspects of Proof Theory and Inference Jakob Rehof |
95/10 | Space-efficient construction of optimal prefix codes Jyrki Katajainen, Alistair Moffat and Andrew Turpin |
95/11 | Asymptotically efficient in-place merging Jyrki Katajainen, Tomi Pasanen and George Titan |
95/12 | In-place calculation of minimum-redundacy codes Jyrki Katajainen |
95/13 | Parallel tree slicing Jyrki Katajainen, Mikkel Thorup and Jesper Träff |
95/14 | Mechanically Verifying the Correctness of an Offline Partial Evaluator John Hatcliff |
95/15 | A Computational Formalization for Partial Evaluation. John Hatcliff and Olivier Danvy |
95/16 | Distributed and Parallel Graph Algorithms: Models and Experiments (PhD Thesis) Jesper Larsson Träff |
95/17 | Procedings fra den 4. Danske Konference i Mønstergenkendelse og Billedanalyse Peter Johansen |
95/18 | Structured Programs have Small Tree-Width and Good Register Allocation Mikkel Thorup |
95/19 | Optimale dynamiske algoritmer til bestemmelse af nærmeste fælles forfædre på pointermaskiner Stephen Alstrup |
95/20 | Object and Native Code Thread Mobility Among Heterogeneous Computers Bjarne Steensgaard and Eric Jul |
95/21 | "When can We sort in o (n log n) Timer ?" Revisited Amir M.Ben-Amram |
95/22 | Pointer Machines and Pointer Algorithms: an Annotated Bibliography Amir M. Ben-Amram |
95/23 | Average-Case Complexity of Sorting on a RAM Amir M.Ben-Amram |
95/24 | Evaluation and Implementation of Operating System Support for Multiple Network Interfaces Michael Seifert and Ole Sass Thrane |
95/25 | On some initial value problems related to the Pantograph Equation Jørgen Sand |
95/26 | Improved Sampling with Applications to Dynamic Graph Algorithms Mikkel Thorup and Monika Rauch Henzinger |
95/27 | Constants in parallel sorting Jyrki Katajainen |
95/28 | Finding all nearest smaller values on a distributed memory machine Jyrki Katajainen |
95/29 | Parallel Branch and Bound - Principles and Personal Experiences Jens Clausen |
95/30 | Optimal algorithms for finding nearest common ancestors in dynamic trees Stephen Alstrup |
95/30 | Numerical Computations On Massively Parallel Graph Reduction Machine (PhD Thesis) Martin Funk Larsen |