| Kjell Bratbergsengen (NTH): |
The development of the CROSS8 and HC16-186 parallel
database computers |
| Øystein Torbjørnsen (NTH): |
Communication in a Failsoft hypercube database
machine |
| Frank Eliassen, Inger Nordli & Thore Danielsen (UiTø): |
Coordinated group access to replicated data |
| Stein Gjessing & Ellen Munthe-Kaas (UiO): |
Verification of parallel programs with shared variables
and critical regions |
| Sverre Storøy (UiB): |
Holistic algorithms: a paradigm for multiprocessor
programming |
| Ole-Johan Dahl (UiO): |
Om et kurs i parallell-programmering |
| Istvan Beck & Stein Krogdahl (UiO): |
A simple sorting algorithm of order
O(n1.5) |
| Thore Danielsen (UiTø): |
Presentasjon av CAKE ― et prosjektforslag for
ESPRIT |
| Kai A Olsen et al (DH Molde): |
A visual system to support teaching of
programming |
| Terje Fallmyr, Otto J Anshus, Tore Larsen &
Dag Johansen (UiTø): |
The TRACE project ― an approach to basic research
on distributed systems |
| Tor Stålhane (RUNIT-F): |
Reliability and safety in software systems |
| Sigurd Meldal (UiB): |
Redundancy in software design |
| Kristen Nygaard (UiO): |
Programspråket BETA |
| Knut Liestøl & Tor Gulliksen (UiO): |
Nevrale nett |
| Magne Haveraaen (UiB): |
The PAL project ― development of a procedural
abstract data type language |
| Bjørn Kirkerud (UiO): |
Babel ― an applicative, strongly typed
language |
| Even-André Karlsson (NTH): |
Types and environments as first class objects |
| Svein-Erik Bratsberg & Erik Odberg (NTH): |
The NEL interpreter implementation |
| Svein O Hallsteinsen et al (NTH): |
The EPOS programming environment ― an
introduction |
| Reidar Conradi et al (NTH): |
Initial design of SESE, a kernel environment for
integrated configuration and process management |
| Andreas Lothe Opdahl (DAISSE-prosjektet ved NTH): |
Integration of static and dynamic modeling |
| Jianhua Yang (DAISSE-prosjektet ved NTH): |
RAPOSID ― rapid prototyping using ODA-standardized
intelligent documents |
