Staunstrup, Jørgen
-
DAIMI Report Series Nr. 29 (1974): PB-29 A Description of the RIKKE 1 System - Articles
A Description of the RIKKE 1 System
Resumé PDF (English) -
DAIMI Report Series Nr. 168 (1983): PB-168 Physical Datarepresentation in a Multiprocessor Database Machine - Articles
Physical Datarepresentation in a Multiprocessor Database Machine
Resumé PDF (English) -
DAIMI Report Series Nr. 92 (1978): PB-92 A Comparison of Monitors and Message Passing - Articles
A Comparison of Monitors and Message Passing
Resumé PDF (English) -
DAIMI Report Series Nr. 129 (1981): PB-129 Analysis of Concurrent Algorithms - Articles
Analysis of Concurrent Algorithms
Resumé PDF (English) -
DAIMI Report Series Nr. 94 (1979): PB-94 Specification and Verification of Concurrent Programs - Articles
Specification and Verification of Concurrent Programs
Resumé PDF (English) -
DAIMI Report Series Nr. 147 (1982): PB-147 Concurrent Algorithms for Root Searching - Articles
Concurrent Algorithms for Root Searching
Resumé PDF (English) -
DAIMI Report Series Nr. 142 (1982): PB-142 Early Experience from a Multi-Processor Project - Articles
Early Experience from a Multi-Processor Project
Resumé PDF (English) -
DAIMI Report Series Nr. 219 (1987): PB-219 Synchronized Transitions - Articles
Synchronized Transitions
Resumé PDF (English) -
DAIMI Report Series Nr. 167 (1983): PB-167 Experiments with a fast String Searching Algorithm - Articles
Experiments with a fast String: Searching Algorithm
Resumé PDF (English) -
DAIMI Report Series Nr. 170 (1983): PB-170 COMMON CLASS: - a tool for programming the access to shared data - Articles
COMMON CLASS: - a tool for programming the access to shared data
Resumé PDF (English) -
DAIMI Report Series Nr. 228 (1987): PB-228 Self-Timed Iteration - Articles
Self-Timed Iteration
Resumé PDF (English) -
DAIMI Report Series Nr. 255 (1988): PB-255 From High-level Descriptions to VLSI Circuits - Articles
From High-level Descriptions to VLSI Circuits
Resumé PDF (English) -
DAIMI Report Series Nr. 200 (1985): PB-200 Problem-heap: A Paradigm for Multiprocessor Algorithms - Articles
Problem-heap: A Paradigm for Multiprocessor Algorithms
Resumé PDF (English) -
DAIMI Report Series Nr. 185 (1984): PB-185 Experiments with a Multiprocessor - Articles
Experiments with a Multiprocessor
Resumé PDF (English) -
DAIMI Report Series Nr. 59 (1976): PB-59 Use of Design Criteria for Intermediate Languages - Articles
Use of Design Criteria for Intermediate Languages
Resumé PDF (English) -
DAIMI Report Series Nr. 258 (1988): PB-258 Verification of VLSI Circuits Using LP - Articles
Verification of VLSI Circuits Using LP
Resumé PDF (English)