Primary tabs

Most recent publications

W. L. Guay, S. Reinemo, B. D. Johnsen, C. Yen, T. Skeie, O. Lysne and O. Tørudbakken

Early experiences with live migration of SR-IOV enabled InfiniBand

Journal of Parallel and Distributed Computing 78, no. C (2015): 39-52.
Journal Article
2015
View
J. Escudero-Sahuquillo, E. G. Gran, P. J. Garcia, J. Flich, T. Skeie, O. Lysne, F. J. Quiles and J. Duato

Efficient and Cost-Effective Hybrid Congestion Control for HPC Interconnection Networks

IEEE Transactions on Parallel and Distributed Systems 26, no. 1 (2015): 107-119.
Journal Article
2015
View
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.
Journal Article
2009
View
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.
Journal Article
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 6 results:
2015

Journal articles

J. Escudero-Sahuquillo, E. G. Gran, P. J. Garcia, J. Flich, T. Skeie, O. Lysne, F. J. Quiles and J. Duato

Efficient and Cost-Effective Hybrid Congestion Control for HPC Interconnection Networks

IEEE Transactions on Parallel and Distributed Systems 26, no. 1 (2015): 107-119.
Status: Published
W. L. Guay, S. Reinemo, B. D. Johnsen, C. Yen, T. Skeie, O. Lysne and O. Tørudbakken

Early experiences with live migration of SR-IOV enabled InfiniBand

Journal of Parallel and Distributed Computing 78, no. C (2015): 39-52.
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
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