NIK 1988

22. - 23. november 1988

Program

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

(Bidragene finnes dessverre ikke på elektronisk form.)

Om konferansen

Arrangør

Universitetet i Oslo by Institutt for informatikk

Område

Sundvolden hotell ved Tyrifjorden utenfor Oslo.

Programkomité

Marcus BayeganEB-Teknologi
Reidar ConradiNTH (redaktør)
Bjørn KirkerudUniv i Oslo
Kai A. OlsenDH i Molde