Dr Scient theses from Ifi/UiO
The Norwegian degree of Dr Scient corresponds roughly to
a Ph.D. in English-speaking countries.
- Dag Diesen
- Specifying algorithms
using evolving algebra. Implementation of functional
programming languages; March 1995.
An appendix is included.
Program code for the Evolving
Algebra system is also available.
- Annita Fjuk
- Computer support for
distributed collaborative learning -- exploring a comples
program area; January 1998.
- Else K. Nordhagen
- divide et impera -- a computational
framework for verifying object component substutability;
November 1998.
- Joar Martin Østby
- Full custom implementation
of a high performance input buffered swich
architecture; research report 242, April 1997.
There also exists VHDL code and Magic layout files referenced in the report.
Last update made 28 September 2006 by
Dag F. Langmyhr