Primary tabs

Most recent publications

W. L. Guay, S. Reinemo, O. Lysne, T. Skeie, B. D. Johnsen and L. Holen

Host Side Dynamic Reconfiguration With InfiniBand

In 2010 IEEE International Conference on Cluster Computing. IEEE Computer Society, 2010.
Proceedings, refereed
2010
View
E. G. Gran, M. Eimot, S. Reinemo, T. Skeie, O. Lysne, L. P. Huse and G. Shainer

First Experiences With Congestion Control in InfiniBand Hardware

In 2010 IEEE International Symposium on Parallel & Distributed Processing (IPDPS). IEEE, 2010.
Proceedings, refereed
2010
View
Å. G. Solheim, O. Lysne and T. Skeie

RecTOR: a New and Efficient Method for Dynamic Network Reconfiguration

In Euro-Par 2009. Springer Berlin / Heidelberg, 2009.
Proceedings, refereed
2009
View
Å. G. Solheim, O. Lysne, A. Bermúdez, R. Casado, T. Sødring, T. Skeie and A. Robles-Gomez

Efficient and Deadlock-Free Reconfiguration for Source Routed Networks

In Communication Architecture for Clusters (CAC). IEEE Computer Society, 2009.
Proceedings, refereed
2009
View

News

21 January 2021

Professor Olav Lysne awarded the Trust and Transparency Award

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:
2010

Proceedings, refereed

E. G. Gran, M. Eimot, S. Reinemo, T. Skeie, O. Lysne, L. P. Huse and G. Shainer

First Experiences With Congestion Control in InfiniBand Hardware

In 2010 IEEE International Symposium on Parallel & Distributed Processing (IPDPS). IEEE, 2010.
Status: Published
W. L. Guay, S. Reinemo, O. Lysne, T. Skeie, B. D. Johnsen and L. Holen

Host Side Dynamic Reconfiguration With InfiniBand

In 2010 IEEE International Conference on Cluster Computing. IEEE Computer Society, 2010.
Status: Published
2009

Journal articles

T. Cicic, A. F. Hansen, A. Kvalbein, M. Hartmann, M. Menth, R. Martin, S. Gjessing and O. Lysne

Relaxed Multiple Routing Configurations: IP Fast Reroute for Single and Correlated Failures

IEEE Transactions on Network and Service Management 6, no. 1 (2009): 1-14.
Status: Published
A. Kvalbein, A. F. Hansen, T. Cicic, S. Gjessing and O. Lysne

Multiple Routing Configurations for Fast IP Network Recovery

IEEE/ACM Transactions on Networking 17 (2009): 473-486.
Status: Published

Proceedings, refereed

Å. G. Solheim, O. Lysne and T. Skeie

RecTOR: a New and Efficient Method for Dynamic Network Reconfiguration

In Euro-Par 2009. Springer Berlin / Heidelberg, 2009.
Status: Published
Å. G. Solheim, O. Lysne, A. Bermúdez, R. Casado, T. Sødring, T. Skeie and A. Robles-Gomez

Efficient and Deadlock-Free Reconfiguration for Source Routed Networks

In Communication Architecture for Clusters (CAC). IEEE Computer Society, 2009.
Status: Published
Å. G. Solheim, O. Lysne, T. Skeie, T. Sødring and S. Reinemo

A Framework for Routing and Resource Allocation in Network Virtualization

In International Conference on High Performance Computing (HiPC'09). IEEE, 2009.
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