Olav Lysne

Affiliations:
  • Simula Research Lab


According to our database1, Olav Lysne authored at least 99 papers between 1992 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
On the Accuracy of Country-Level IP Geolocation.
Proceedings of the ANRW '20: Applied Networking Research Workshop, 2020

2018
The Huawei and Snowden Questions - Can Electronic Equipment from Untrusted Vendors be Verified? Can an Untrusted Vendor Build Trust into Electronic Equipment?
4, Springer, ISBN: 978-3-319-74949-5, 2018

2016
Vendor Malware: Detection Limits and Mitigation.
Computer, 2016

2015
Efficient and Cost-Effective Hybrid Congestion Control for HPC Interconnection Networks.
IEEE Trans. Parallel Distributed Syst., 2015

Early experiences with live migration of SR-IOV enabled InfiniBand.
J. Parallel Distributed Comput., 2015

2014
A new proposal to deal with congestion in InfiniBand-based fat-trees.
J. Parallel Distributed Comput., 2014

2013
Routing with joker links for maximized robustness.
Proceedings of the IFIP Networking Conference, 2013, Brooklyn, 2013

Increased robustness with interface based permutation routing.
Proceedings of IEEE International Conference on Communications, 2013

Topic 13: High-Performance Networks and Communication - (Introduction).
Proceedings of the Euro-Par 2013 Parallel Processing, 2013

2012
A Survey and Evaluation of Topology-Agnostic Deterministic Routing Algorithms.
IEEE Trans. Parallel Distributed Syst., 2012

Permutation Routing for Increased Robustness in IP Networks.
Proceedings of the NETWORKING 2012, 2012

Exploring the Scope of the InfiniBand Congestion Control Mechanism.
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium, 2012

A theory and methodology for combining data centre networks.
Proceedings of the 19th International Conference on High Performance Computing, 2012

Topology Agnostic Dynamic Quick Reconfiguration for Large-Scale Interconnection Networks.
Proceedings of the 12th IEEE/ACM International Symposium on Cluster, 2012

2011
Networks, Multistage.
Proceedings of the Encyclopedia of Parallel Computing, 2011

Networks, Direct.
Proceedings of the Encyclopedia of Parallel Computing, 2011

Dynamic Fault Tolerance in Fat Trees.
IEEE Trans. Computers, 2011

Efficient and Contention-Free Virtualisation of Fat-Trees.
Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

vFtree - A Fat-Tree Routing Algorithm Using Virtual Lanes to Alleviate Congestion.
Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

Combining Congested-Flow Isolation and Injection Throttling in HPC Interconnection Networks.
Proceedings of the International Conference on Parallel Processing, 2011

On the Relation between Congestion Control, Switch Arbitration and Fairness.
Proceedings of the 11th IEEE/ACM International Symposium on Cluster, 2011

2010
First experiences with congestion control in InfiniBand hardware.
Proceedings of the 24th IEEE International Symposium on Parallel and Distributed Processing, 2010

Host Side Dynamic Reconfiguration with InfiniBand.
Proceedings of the 2010 IEEE International Conference on Cluster Computing, 2010

Scalable Interconnection Networks.
Proceedings of the Simula Research Laboratory, by Thinking Constantly about it, 2010

Simula - The Language.
Proceedings of the Simula Research Laboratory, by Thinking Constantly about it, 2010

Introduction to Basic Research.
Proceedings of the Simula Research Laboratory, by Thinking Constantly about it, 2010

The Hamming Experience.
Proceedings of the Simula Research Laboratory, by Thinking Constantly about it, 2010

Networks and Distributed Systems - Why, What, How and What's Next.
Proceedings of the Simula Research Laboratory, by Thinking Constantly about it, 2010

2009
Multiple routing configurations for fast IP network recovery.
IEEE/ACM Trans. Netw., 2009

Relaxed multiple routing configurations: IP fast reroute for single and correlated failures.
IEEE Trans. Netw. Serv. Manag., 2009

Efficient and deadlock-free reconfiguration for source routed networks.
Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

A framework for routing and resource allocation in network virtualization.
Proceedings of the 16th International Conference on High Performance Computing, 2009

RecTOR: A New and Efficient Method for Dynamic Network Reconfiguration.
Proceedings of the Euro-Par 2009 Parallel Processing, 2009

Network Reconfiguration in High-Performance Interconnection Networks.
Proceedings of the Autonomic Computing and Networking, 2009

2008
An Efficient and Deadlock-Free Network Reconfiguration Protocol.
IEEE Trans. Computers, 2008

On the Potential of NoC Virtualization for Multicore Chips.
Scalable Comput. Pract. Exp., 2008

Interconnection Networks: Architectural Challenges for Utility Computing Data Centers.
Computer, 2008

Making an SCI fabric dynamically fault tolerant.
Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

Fault tolerance with shortest paths in regular and irregular networks.
Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

2007
How can multi-topology routing be used for intradomain traffic engineering?
Proceedings of the 2007 SIGCOMM Workshop on Internet Network Management, 2007

Fast Proactive Recovery from Concurrent Failures.
Proceedings of IEEE International Conference on Communications, 2007

Routing-Contained Virtualization Based on Up*/Down* Forwarding.
Proceedings of the High Performance Computing, 2007

2006
FRoots: A Fault Tolerant and Topology-Flexible Routing Technique.
IEEE Trans. Parallel Distributed Syst., 2006

Layered Routing in Irregular Networks.
IEEE Trans. Parallel Distributed Syst., 2006

A Routing Methodology for Achieving Fault Tolerance in Direct Networks.
IEEE Trans. Computers, 2006

Guest Editors' Introduction: High-Performance Interconnects.
IEEE Micro, 2006

Routing for the asi fabric manager.
IEEE Commun. Mag., 2006

An overview of QoS capabilities in infiniband, advanced switching interconnect, and ethernet.
IEEE Commun. Mag., 2006

Combining Source Routing and Dynamic Fault Tolerance.
Proceedings of the 18th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2006), 2006

Fast IP Network Recovery Using Multiple Routing Configurations.
Proceedings of the INFOCOM 2006. 25th IEEE International Conference on Computer Communications, 2006

Dynamic Fault Tolerance with Misrouting in Fat Trees.
Proceedings of the 2006 International Conference on Parallel Processing (ICPP 2006), 2006

Topic 13: Routing and Communication in Interconnection Networks.
Proceedings of the Euro-Par 2006, Parallel Processing, 12th International Euro-Par Conference, Dresden, Germany, August 28, 2006

Towards an efficient switch architecture for high-radix switches.
Proceedings of the 2006 ACM/IEEE Symposium on Architecture for Networking and Communications Systems, 2006

2005
Part II: A Methodology for Developing Deadlock-Free Dynamic Network Reconfiguration Processes.
IEEE Trans. Parallel Distributed Syst., 2005

Part I: A Theory for Deadlock-Free Dynamic Network Reconfiguration.
IEEE Trans. Parallel Distributed Syst., 2005

A Dynamic Fault-tolerant Routing Algorithm for Fat-trees.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2005

Fast Recovery from Link Failures Using Resilient Routing Layers.
Proceedings of the 10th IEEE Symposium on Computers and Communications (ISCC 2005), 2005

Siamese-Twin: A Dynamically Fault-Tolerant Fat-Tree.
Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

Applicability of Resilient Routing Layers for k-Fault Network Recovery.
Proceedings of the Networking, 2005

Topic 13 Routing and Communication in Interconnection Networks.
Proceedings of the Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30, 2005

Resilient Routing Layers for Recovery in Packet Networks.
Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

2004
An Efficient Fault-Tolerant Routing Methodology for Meshes and Tori.
IEEE Comput. Archit. Lett., 2004

Achieving Flow Level QoS in Cut-Through Networks Through Admission Control and DiffServ.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2004

The Existence of a Network of Fixed-Sized Switches that Satisfies Any Communication Needs.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2004

A Fully Adaptive Fault-Tolerant Routing Methodology Based on Intermediate Nodes.
Proceedings of the Network and Parallel Computing, IFIP International Conference, 2004

LORE - Local Reconfiguration for Fault Management in Irregular Interconnects.
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

An Effective Fault-Tolerant Routing Methodology for Direct Networks.
Proceedings of the 33rd International Conference on Parallel Processing (ICPP 2004), 2004

LASH-TOR: A Generic Transition-Oriented Routing Algorithm.
Proceedings of the 10th International Conference on Parallel and Distributed Systems, 2004

Simple Deadlock-Free Dynamic Network Reconfiguration.
Proceedings of the High Performance Computing, 2004

A New Adaptive Fault-Tolerant Routing Methodology for Direct Networks.
Proceedings of the High Performance Computing, 2004

Topic 14: Routing and Communication in Interconnection Networks.
Proceedings of the Euro-Par 2004 Parallel Processing, 2004

2003
Techniques for Parallel Execution of the Particle Filter.
Proceedings of the Image Analysis, 13th Scandinavian Conference, 2003

Applying the DiffServ Model on Cut-Through Networks.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003

Supporting timeliness and accuracy in distributed real-time content-based video analysis.
Proceedings of the Eleventh ACM International Conference on Multimedia, 2003

A Criterion for Cost Optimal Construction of Irregular Networks.
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

A Methodology for Developing Dynamic Network Reconfiguration Processes.
Proceedings of the 32nd International Conference on Parallel Processing (ICPP 2003), 2003

FROOTS - Fault Handling in Up*/Down* Routed Networks with Multiple Roots.
Proceedings of the High Performance Computing - HiPC 2003, 10th International Conference, 2003

Admission Control for DiffServ Based Quality of Service in Cut-Through Networks.
Proceedings of the High Performance Computing - HiPC 2003, 10th International Conference, 2003

Topic Introduction.
Proceedings of the Euro-Par 2003. Parallel Processing, 2003

2002
On Verification of Parallel Message-Passing Processes.
Formal Aspects Comput., 2002

Layered Shortest Path (LASH) Routing in Irregular System Area Networks.
Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

Scalable Independent Multi-level Distribution in Multimedia Content Analysis.
Proceedings of the Protocols and Systems for Interactive Distributed Multimedia, 2002

Real-Time Processing of Media Streams: A Case for Event-Based Interaction.
Proceedings of the 22nd International Conference on Distributed Computing Systems, 2002

2001
Supporting Distributed Processing of Time-Based Media Streams.
Proceedings of the 3rd International Symposium on Distributed Objects and Applications, 2001

2000
Fast Dynamic Reconfiguration in Irregular Networks.
Proceedings of the 2000 International Conference on Parallel Processing, 2000

Deadlock Avoidance for Wormhole Based Switches.
Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000

1999
Deadlock Avoidance for Switches Based on Wormhole Networks.
Proceedings of the International Conference on Parallel Processing 1999, 1999

1998
One-fault tolerance arid beyond in wormhole routed meshes.
Microprocess. Microsystems, 1998

Towards a generic analytical model of wormhole routing networks.
Microprocess. Microsystems, 1998

1997
Verifying a Distributed List System: A Case History.
Formal Aspects Comput., 1997

Scalable Non-Blocking Networks with Fixed Size Routers.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1997

1996
Higher-Order Proof by Consistency.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1996

Order-Sorted Termination: The Unsorted Way.
Proceedings of the Algebraic and Logic Programming, 5th International Conference, 1996

1995
A Termination Ordering for Higher Order Rewrite System.
Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995

1994
Heuristics for Completion in Automatic Proofs by Structural Induction.
Nord. J. Comput., 1994

Extending Bachmair's Method for Proof by Consistency to the Final Algebra.
Inf. Process. Lett., 1994

On the Connection between Narrowing and Proof by Consistency.
Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1993
The Equational Part of Proofs by Structural Induction.
BIT, 1993

1992
Proof by Consistency in Constructive Systems with Final Algebra Semantics.
Proceedings of the Algebraic and Logic Programming, 1992


  Loading...