Primary tabs

Most recent publications

In Proceedings, International Conference on Supercomputing 1998 (ICS 98). Melbourne, Australia, 1998.
Proceedings, refereed
1998
In Proceedings of the Sixth International Workshop on SCI-based High-performance Low-Cost Computing, 1997.
Proceedings, refereed
1997
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

Find publication

Export 10 results:
1998

Proceedings, refereed

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

Proceedings, refereed

In Proceedings of the Sixth International Workshop on SCI-based High-performance Low-Cost Computing, 1997.
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
1984

Talks, contributed

In Norsk Regnesentral and Sim-X, 1984.
Status: Published
In Sim-X technical specification, 1984.
Status: Published