| 2008 |
| 59 | EE | Jose Flich,
Samuel Rodrigo,
José Duato,
Thomas Sødring,
Åshild Grønstad Solheim,
Tor Skeie,
Olav Lysne:
On the Potential of NoC Virtualization for Multicore Chips.
CISIS 2008: 801-807 |
| 58 | EE | Frank Olaf Sem-Jacobsen,
Olav Lysne:
Fault tolerance with shortest paths in regular and irregular networks.
IPDPS 2008: 1-11 |
| 57 | EE | Håkon Kvale Stensland,
Olav Lysne,
Roy Nordstrøm,
Hugo Kohmann:
Making an SCI fabric dynamically fault tolerant.
IPDPS 2008: 1-8 |
| 56 | EE | Olav Lysne,
José Miguel Montañana,
Jose Flich,
José Duato,
Timothy Mark Pinkston,
Tor Skeie:
An Efficient and Deadlock-Free Network Reconfiguration Protocol.
IEEE Trans. Computers 57(6): 762-779 (2008) |
| 2007 |
| 55 | EE | Åshild Grønstad Solheim,
Olav Lysne,
Thomas Sødring,
Tor Skeie,
Jakob Aleksander Libak:
Routing-Contained Virtualization Based on Up*/Down* Forwarding.
HiPC 2007: 500-513 |
| 54 | EE | Audun Fosselie Hansen,
Olav Lysne,
Tarik Cicic,
Stein Gjessing:
Fast Proactive Recovery from Concurrent Failures.
ICC 2007: 115-122 |
| 2006 |
| 53 | EE | Gaspar Mora,
Jose Flich,
José Duato,
Pedro López,
Elvira Baydal,
Olav Lysne:
Towards an efficient switch architecture for high-radix switches.
ANCS 2006: 11-20 |
| 52 | EE | José A. Gregorio,
Bettina Schnor,
Angelos Bilas,
Olav Lysne:
Topic 13: Routing and Communication in Interconnection Networks.
Euro-Par 2006: 851 |
| 51 | EE | Frank Olaf Sem-Jacobsen,
Tor Skeie,
Olav Lysne,
José Duato:
Dynamic Fault Tolerance with Misrouting in Fat Trees.
ICPP 2006: 33-44 |
| 50 | EE | Amund Kvalbein,
Audun Fosselie Hansen,
Tarik Cicic,
Stein Gjessing,
Olav Lysne:
Fast IP Network Recovery Using Multiple Routing Configurations.
INFOCOM 2006 |
| 49 | EE | Frank Olaf Sem-Jacobsen,
Olav Lysne,
Tor Skeie:
Combining Source Routing and Dynamic Fault Tolerance.
SBAC-PAD 2006: 151-158 |
| 48 | EE | Fabrizio Petrini,
Olav Lysne,
Ron Brightwell:
Guest Editors' Introduction: High-Performance Interconnects.
IEEE Micro 26(3): 7-9 (2006) |
| 47 | EE | María Engracia Gómez,
Nils Agne Nordbotten,
Jose Flich,
Pedro López,
Antonio Robles,
José Duato,
Tor Skeie,
Olav Lysne:
A Routing Methodology for Achieving Fault Tolerance in Direct Networks.
IEEE Trans. Computers 55(4): 400-415 (2006) |
| 46 | EE | Olav Lysne,
Tor Skeie,
Sven-Arne Reinemo,
Ingebjørg Theiss:
Layered Routing in Irregular Networks.
IEEE Trans. Parallel Distrib. Syst. 17(1): 51-65 (2006) |
| 45 | EE | Ingebjørg Theiss,
Olav Lysne:
FRoots: A Fault Tolerant and Topology-Flexible Routing Technique.
IEEE Trans. Parallel Distrib. Syst. 17(10): 1136-1150 (2006) |
| 2005 |
| 44 | EE | Audun Fosselie Hansen,
Amund Kvalbein,
Tarik Cicic,
Stein Gjessing,
Olav Lysne:
Resilient Routing Layers for Recovery in Packet Networks.
DSN 2005: 238-247 |
| 43 | EE | Emilio Luque,
Cruz Izu,
Olav Lysne,
José Legatheaux Martins:
Topic 13 Routing and Communication in Interconnection Networks.
Euro-Par 2005: 973-973 |
| 42 | EE | Tarik Cicic,
Audun Fosselie Hansen,
Stein Gjessing,
Olav Lysne:
Applicability of Resilient Routing Layers for k-Fault Network Recovery.
ICN (2) 2005: 173-183 |
| 41 | EE | Frank Olaf Sem-Jacobsen,
Tor Skeie,
Olav Lysne,
Ola Tørudbakken,
Eivind Rongved,
Bjøm Johnsen:
Siamese-Twin: A Dynamically Fault-Tolerant Fat-Tree.
IPDPS 2005 |
| 40 | EE | Amund Kvalbein,
Audun Fosselie Hansen,
Tarik Cicic,
Stein Gjessing,
Olav Lysne:
Fast Recovery from Link Failures Using Resilient Routing Layers.
ISCC 2005: 554-560 |
| 39 | | Tor Skeie,
Frank Olaf Sem-Jacobsen,
Olav Lysne:
A Dynamic Fault-tolerant Routing Algorithm for Fat-trees.
PDPTA 2005: 318-324 |
| 38 | EE | José Duato,
Olav Lysne,
Ruoming Pang,
Timothy Mark Pinkston:
Part I: A Theory for Deadlock-Free Dynamic Network Reconfiguration.
IEEE Trans. Parallel Distrib. Syst. 16(5): 412-427 (2005) |
| 37 | EE | Olav Lysne,
Timothy Mark Pinkston,
José Duato:
Part II: A Methodology for Developing Deadlock-Free Dynamic Network Reconfiguration Processes.
IEEE Trans. Parallel Distrib. Syst. 16(5): 428-443 (2005) |
| 2004 |
| 36 | EE | José Duato,
Fabrizio Petrini,
Olav Lysne,
Angelos Bilas:
Topic 14: Routing and Communication in Interconnection Networks.
Euro-Par 2004: 832 |
| 35 | EE | María Engracia Gómez,
José Duato,
Jose Flich,
Pedro López,
Antonio Robles,
Nils Agne Nordbotten,
Tor Skeie,
Olav Lysne:
A New Adaptive Fault-Tolerant Routing Methodology for Direct Networks.
HiPC 2004: 462-473 |
| 34 | EE | Olav Lysne,
José Miguel Montañana,
Timothy Mark Pinkston,
José Duato,
Tor Skeie,
Jose Flich:
Simple Deadlock-Free Dynamic Network Reconfiguration.
HiPC 2004: 504-515 |
| 33 | EE | Tor Skeie,
Olav Lysne,
Jose Flich,
Pedro López,
Antonio Robles,
José Duato:
LASH-TOR: A Generic Transition-Oriented Routing Algorithm.
ICPADS 2004: 595-604 |
| 32 | EE | María Engracia Gómez,
Jose Flich,
Pedro López,
Antonio Robles,
José Duato,
Nils Agne Nordbotten,
Olav Lysne,
Tor Skeie:
An Effective Fault-Tolerant Routing Methodology for Direct Networks.
ICPP 2004: 222-231 |
| 31 | EE | Ingebjørg Theiss,
Olav Lysne:
LORE - Local Reconfiguration for Fault Management in Irregular Interconnects.
IPDPS 2004 |
| 30 | EE | Nils Agne Nordbotten,
María Engracia Gómez,
Jose Flich,
Pedro López,
Antonio Robles,
Tor Skeie,
Olav Lysne,
José Duato:
A Fully Adaptive Fault-Tolerant Routing Methodology Based on Intermediate Nodes.
NPC 2004: 341-356 |
| 29 | | Geir Horn,
Olav Lysne,
Tor Skeie:
The Existence of a Network of Fixed-Sized Switches that Satisfies Any Communication Needs.
PDPTA 2004: 1056-1062 |
| 28 | | Frank Olaf Sem-Jacobsen,
Sven-Arne Reinemo,
Tor Skeie,
Olav Lysne:
Achieving Flow Level QoS in Cut-Through Networks Through Admission Control and DiffServ.
PDPTA 2004: 1084-1090 |
| 27 | EE | María Engracia Gómez,
José Duato,
Jose Flich,
Pedro López,
Antonio Robles,
Nils Agne Nordbotten,
Olav Lysne,
Tor Skeie:
An Efficient Fault-Tolerant Routing Methodology for Meshes and Tori.
Computer Architecture Letters 3: (2004) |
| 2003 |
| 26 | EE | Viktor S. Wold Eide,
Frank Eliassen,
Ole-Christoffer Granmo,
Olav Lysne:
Supporting timeliness and accuracy in distributed real-time content-based video analysis.
ACM Multimedia 2003: 21-32 |
| 25 | EE | José Duato,
Olav Lysne,
Timothy Mark Pinkston,
Hermann Hellwagner:
Topic Introduction.
Euro-Par 2003: 929 |
| 24 | EE | Ingebjørg Theiss,
Olav Lysne:
FROOTS - Fault Handling in Up*/Down* Routed Networks with Multiple Roots.
HiPC 2003: 106-117 |
| 23 | EE | Sven-Arne Reinemo,
Frank Olaf Sem-Jacobsen,
Tor Skeie,
Olav Lysne:
Admission Control for DiffServ Based Quality of Service in Cut-Through Networks.
HiPC 2003: 118-129 |
| 22 | EE | Olav Lysne,
Timothy Mark Pinkston,
José Duato:
A Methodology for Developing Dynamic Network Reconfiguration Processes.
ICPP 2003: 77-86 |
| 21 | EE | Geir Horn,
Olav Lysne,
Tor Skeie:
A Criterion for Cost Optimal Construction of Irregular Networks.
IPDPS 2003: 197 |
| 20 | | Sven-Arne Reinemo,
Tor Skeie,
Olav Lysne:
Applying the DiffServ Model on Cut-Through Networks.
PDPTA 2003: 1089-1098 |
| 19 | EE | Ole-Christoffer Granmo,
Frank Eliassen,
Olav Lysne,
Viktor S. Wold Eide:
Techniques for Parallel Execution of the Particle Filter.
SCIA 2003: 983-990 |
| 2002 |
| 18 | EE | Viktor S. Wold Eide,
Frank Eliassen,
Olav Lysne,
Ole-Christoffer Granmo:
Real-Time Processing of Media Streams: A Case for Event-Based Interaction.
ICDCS Workshops 2002: 555-562 |
| 17 | EE | Viktor S. Wold Eide,
Frank Eliassen,
Ole-Christoffer Granmo,
Olav Lysne:
Scalable Independent Multi-level Distribution in Multimedia Content Analysis.
IDMS/PROMS 2002: 37-48 |
| 16 | EE | Tor Skeie,
Olav Lysne,
Ingebjørg Theiss:
Layered Shortest Path (LASH) Routing in Irregular System Area Networks.
IPDPS 2002 |
| 15 | EE | Stein Krogdahl,
Olav Lysne:
On Verification of Parallel Message-Passing Processes.
Formal Asp. Comput. 13(6): 471-492 (2002) |
| 2001 |
| 14 | EE | Viktor S. Wold Eide,
Frank Eliassen,
Olav Lysne:
Supporting Distributed Processing of Time-Based Media Streams.
DOA 2001: 281-288 |
| 2000 |
| 13 | EE | Ingebjørg Theiss,
Olav Lysne:
Deadlock Avoidance for Wormhole Based Switches.
Euro-Par 2000: 890-899 |
| 12 | EE | Olav Lysne,
José Duato:
Fast Dynamic Reconfiguration in Irregular Networks.
ICPP 2000: 449- |
| 1999 |
| 11 | EE | Olav Lysne:
Deadlock Avoidance for Switches Based on Wormhole Networks.
ICPP 1999: 68-74 |
| 1997 |
| 10 | | Tor Skeie,
Olav Lysne,
Geir Horn:
Scalable Non-Blocking Networks with Fixed Size Routers.
PDPTA 1997: 1308-1314 |
| 9 | | Stein Krogdahl,
Olav Lysne:
Verifying a Distributed List System: A Case History.
Formal Asp. Comput. 9(1): 98-118 (1997) |
| 1996 |
| 8 | | Peter Csaba Ölveczky,
Olav Lysne:
Order-Sorted Termination: The Unsorted Way.
ALP 1996: 92-106 |
| 7 | | Henrik Linnestad,
Christian Prehofer,
Olav Lysne:
Higher-Order Proof by Consistency.
FSTTCS 1996: 274-285 |
| 1995 |
| 6 | | Olav Lysne,
Javier Piris:
A Termination Ordering for Higher Order Rewrite System.
RTA 1995: 26-40 |
| 1994 |
| 5 | | Olav Lysne:
On the Connection between Narrowing and Proof by Consistency.
CADE 1994: 133-147 |
| 4 | | Olav Lysne:
Extending Bachmair's Method for Proof by Consistency to the Final Algebra.
Inf. Process. Lett. 51(6): 303-310 (1994) |
| 3 | | Olav Lysne:
Heuristics for Completion in Automatic Proofs by Structural Induction.
Nord. J. Comput. 1(1): 135-156 (1994) |
| 1993 |
| 2 | | Olav Lysne:
The Equational Part of Proofs by Structural Induction.
BIT 33(4): 596-618 (1993) |
| 1992 |
| 1 | | Olav Lysne:
Proof by Consistency in Constructive Systems with Final Algebra Semantics.
ALP 1992: 276-290 |