Primary tabs

Most recent publications

In Proceedings, International Conference on Supercomputing 1998 (ICS 98). Melbourne, Australia, 1998.
Proceedings, refereed
1998
In Proceedings CompCon 1992. San Fransisco, 1992.
Proceedings, refereed
1992
In Computer Aided Verification, 3rd International Workshop (CAV'91). Lecture Notes in Computer Science. Springer-Verlag, 1992.
Proceedings, refereed
1992
IEEE Spectrum (1992).
Journal Article
1992

Find publication

Export 12 results:
1998

Proceedings, refereed

In Proceedings, International Conference on Supercomputing 1998 (ICS 98). Melbourne, Australia, 1998.
Status: Published
1992

Journal articles

IEEE Spectrum (1992).
Status: Published

Proceedings, refereed

In Proceedings CompCon 1992. San Fransisco, 1992.
Status: Published
In Computer Aided Verification, 3rd International Workshop (CAV'91). Lecture Notes in Computer Science. Springer-Verlag, 1992.
Status: Published

Book chapters

In Scalable Memory Multiprocessors. Kluwer Academic Publishers, 1992.
Status: Published
1991

Proceedings, refereed

In Proceedings of Open Bus Systems. Paris, 1991.
Status: Published
1983

PhD theses

Department of Informatics, University of Oslo, 1983.
Status: Published

Technical reports

Department of Informatics, University of Oslo, 1983.
Status: Published

Talks, contributed

In Mach-S information, Sept. 1983, Norsk Regnesentral, 1983.
Status: Published
1982

Proceedings, refereed

In Proceedings 1982 Association of Simula Users (ASU) conference. Los Angeles, California,, 1982.
Status: Published