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 |