Primary tabs

Most recent publications

In Proceedings of the Thirty-Second Annual Hawaii International Conference on System Sciences. Maui, Hawaii,, 1999.
Proceedings, refereed
1999
In Conference Proceedings of SCI Europe'99 in Euro-Par 99. Toulouse, 1999.
Proceedings, refereed
1999
In Proceedings CompCon 1992. San Fransisco, 1992.
Proceedings, refereed
1992
Export 16 results:
2012

Journal articles

2000

Talks, contributed

In Forskningsnotat 2/2000, Telenor FoU, 63 sider, 2000.
Status: Published
1999

Proceedings, refereed

In Proceedings of the Thirty-Second Annual Hawaii International Conference on System Sciences. Maui, Hawaii,, 1999.
Status: Published
In Conference Proceedings of SCI Europe'99 in Euro-Par 99. Toulouse, 1999.
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
1990

Journal articles

Technical reports

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