Primary tabs

Most recent publications

S. Reinemo, T. Skeie and O. Lysne

Applying the DiffServ Model on Cut-Through Networks

In Proceedings of the 2003 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA2003). Las Vegas, Nevada: CSREA Press, 2003.
Proceedings, refereed
2003
View
I. Theiss and O. Lysne

FROOTS - Fault Handling in Up*/Down* Routed Networks With Multiple Roots

In Proceedings of the International Conference on High Performance Computing HiPC. Springer-Verlag, 2003.
Proceedings, refereed
2003
View
V. S. W. Eide, F. Eliassen, O. Granmo and O. Lysne

Supporting Timeliness and Accuracy in Real-Time Content-Based Video Analysis

In Proceedings of the 11th ACM International Conference on Multimedia. Berkeley, California, USA: ACM, 2003.
Proceedings, refereed
2003
View
O. Granmo, F. Eliassen, O. Lysne and V. S. W. Eide

Techniques for Parallel Execution of the Particle Filter

In Proceedings of Scandinavian Conference on Image Analysis (SCIA 2003). Lecture Notes in Computer Science. Springer-Verlag, 2003.
Proceedings, refereed
2003
View

News

21 January 2021

Professor Olav Lysne awarded the Trust and Transparency Award

Simula in the media

08 April 2016

Samferdselsministeren åpnet nytt senter for datasikkerhet

Samferdselsminister Ketil Solvik-Olsen åpnet forskningssenteret Simula@UiB, ved Universitetet i Bergen. - Vi må ha tillit til datasystemer, derfor trenger vi kunnskap for å forebygge cyberkriminalitet, overvåkning og industrispionasje.
: 
Simula, Simula Research Laboratory
Samferdselsdepartementet

Find publication

Status

Departments

Publication type

Year published

Export 12 results:
1992

Proceedings, refereed

O. Lysne

Proof by Consistency in Constructive Systems With Final Algebra Semantics

In Proceedings 3rd International Conference on Algebraic and Logic Programming. Lecture Notes in Computer Science. Pisa (Italy), 1992.
Status: Published
O. Lysne

Towards Mechanizing Proofs by Structural Induction

In Proceedings from NIK'92: Norsk Informatikk Konferanse. TAPIR,, 1992.
Status: Published