| OJ Anshus & T Larsen (Inf, UiTø): |
MacroScope: The abstractions of a distributed operating
system |
| K Moldeklev (TF, Kjeller): |
Directions of high-speed protocol implementation in end
systems |
| FA Aagesen (IDT, NTH): |
A cooperative flow management scheme for B-ISDN |
| S Bjorvand (Agder DH): |
An algorithm for automatic type assignment to untyped
λ expressions |
| E Nordhagen (Ifi, UiO): |
π-calculus semantics of a Smalltalk like
language |
| M Haveraaen, V Madsen & H Munthe-Kaas (Ifi, UiB): |
Algebraic programming technology for partial
differential equations |
| B Gulla (IDT, NTH): |
Techniques for visualization of multi-version
structures |
| AL Opdahl, V Vetland, G Brataas & A Sølvberg (IDT, NTH): |
Efficient utilisation of computing resources |
| A Henne (Inf.vit, UiB): |
Information system maintenance ― problems or
opportunities? |
| PS Malm (TF, Tromsø): |
Classification of cooperate systems from a technological
perspective |
| B Ludvigsen (Østfold DH): |
Content and context in the architecture of
Cyberspace |
| SG Efremis (Cornell Univ), KA Mughal (Ifi, UiB) & JH
Reppy (AT&T Bell Labs): |
The AML project: a system overview |
| T Stålhane (Dlab, Sintef): |
Software metrics: current trends and future
development |
| R Olsson & KA Olsen (Molde DH): |
C ― as a functional programming language! |
| HR Jervell (UiO/UiTø): |
A Husserlian framework for describing large
systems |
| O Landsverk, J Greipsland, JG Solheim, JA Mathisen, H Dahle
& L Utne (IDT, NTH): |
A reconfigurable neural network server |
| JA Mathisen, J Greipsland & S Smedseng (IDT, NTH): |
Dynamic reconfigurability ― a new approach to computer
systems |
| S Gjessin, G Stone & H Wiggers (Ifi, UiO): |
RamLink: a new memory architecture |
| S Storøy & T Sørevik (Ifi, UiB): |
A parallel implementation of the Hungarian
algorithm |
| F Manne & T Sørevik (Ifi, UiB): |
Partitioning of sequences |
| T Amble & T Mollestad (IDT, NTH): |
Mechanising temporal reasoning in a Montague
framework |
| Ø Nytrø (IDT, NTH): |
A structure measure for Horn clauses: yardstick for
program and rule-based development |
| O Lysne (Ifi, UiO): |
Towards mechanizing proofs by structural
induction |
| R Nossum (Agder DH/Kongsberg DH): |
Mechanized semantical interpretation of a modal decision
rule |
| A Maus (Ifi, UiO/SIFF): |
Solutions to a trivial problem ― a study in programming
paradigms |
| B Wasson (TF, Tromsø): |
Automating the development of intelligent learning
environments: a perspective on implementation issues |
| T Grimstad, E Maartmann-Moe & G Aas (NR): |
Real time multimedia conference with voice and global
window |
