Primary tabs

Most recent publications

H. K. Stensland, O. Lysne, R. Nordstrøm and H. Kohmann

Making an SCI Fabric Dynamically Fault Tolerant

In Workshop on Communication Architecture for Clusters (CAC 2008). IEEE, 2008.
Proceedings, refereed
2008
View
O. Lysne, S. Reinemo, T. Skeie, Å. G. Solheim, T. Sødring, L. P. Huse and B. D. Johnsen

The Interconnection Network - Architectural Challenges for Utility Computing Data Centres

IEEE Computer Magazine 41 (2008): 62-69.
Journal Article
2008
View
O. Lysne, J. M. Montanana, J. Flich, J. Duato, T. M. Pinkston and T. Skeie

An Efficient and Deadlock-Free Network Reconfiguration Protocol

IEEE Transactions on Computers 57 (2008): 762-779.
Journal Article
2008
View
J. Flich, S. R. Mocholi, J. Duato, T. Sødring, Å. G. Solheim, T. Skeie and O. Lysne

On the Potential of NoC Virtualization for Multicore Chips

Scalable Computing: Practice and Experience 9 (2008): 165-177.
Journal Article
2008
View

News

16 July 2022

New book in the SpringerBriefs series: Smittestopp − A Case Study on Digital Contact Tracing

Simula in the media

11 April 2016

Simula@Bergen skal utdanne ein ny generasjon med kryptologar

Korleis kan ein sikre seg mot farar ein enno ikkje veit om? Forskarane og studentane på det nye senteret Simula@ Bergen har éit hovudmål: Å trygge våre framtidige data. - Tenk deg at du skal bygge eit hus. Då treng du gode byggesteinar.
: 
Simula
På Høyden

Find publication

Status

Departments

Publication type

Year published

Export 11 results:
2008

Journal articles

J. Flich, S. R. Mocholi, J. Duato, T. Sødring, Å. G. Solheim, T. Skeie and O. Lysne

On the Potential of NoC Virtualization for Multicore Chips

Scalable Computing: Practice and Experience 9 (2008): 165-177.
Status: Published
O. Lysne, S. Reinemo, T. Skeie, Å. G. Solheim, T. Sødring, L. P. Huse and B. D. Johnsen

The Interconnection Network - Architectural Challenges for Utility Computing Data Centres

IEEE Computer Magazine 41 (2008): 62-69.
Status: Published
O. Lysne, J. M. Montanana, J. Flich, J. Duato, T. M. Pinkston and T. Skeie

An Efficient and Deadlock-Free Network Reconfiguration Protocol

IEEE Transactions on Computers 57 (2008): 762-779.
Status: Published

Proceedings, refereed

J. Flich, S. R. Mocholi, J. Duato, T. Sødring, Å. G. Solheim, T. Skeie and O. Lysne

On the Potential of NoC Virtualization for Multicore Chips

In International Workshop on Multi-Core Computing Systems (MuCoCoS'08). IEEE, 2008.
Status: Published
F. O. Sem-Jacobsen and O. Lysne

Fault Tolerance With Shortest Paths in Regular and Irregular Networks

In 22nd IEEE International Parallel & Distributed Processing Symposium. IEEE, 2008.
Status: Published
H. K. Stensland, O. Lysne, R. Nordstrøm and H. Kohmann

Making an SCI Fabric Dynamically Fault Tolerant

In Workshop on Communication Architecture for Clusters (CAC 2008). IEEE, 2008.
Status: Published
1994

Journal articles

O. Lysne

Heuristics for Completion in Automatic Proofs by Structural Induction

Nordic Journal of Computing 1 (1994): 135-156,.
Status: Published
O. Lysne

Extending Bachmair's Method for Proof by Consistency to the Final Algebra

Information Processing Letters 51, no. 6 (1994): 303-310,.
Status: Published

Proceedings, refereed

O. Lysne

On the Connection Between Narrowing and Proof by Consistency

In Proceedings 12th International Conference on Automated Deduction, Nancy (France). Lecture Notes in Artificial Intelligence. Springer-Verlag, 1994.
Status: Published
O. Lysne

E-Unification by Consistency

In Proceedings 5th Nordic Workshop on Program Correctness. Reports on Computer Science & Mathematics. bo Akademi, 1994.
Status: Published