dblp.uni-trier.dewww.uni-trier.de

Olav Lysne

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
59EEJose 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
58EEFrank Olaf Sem-Jacobsen, Olav Lysne: Fault tolerance with shortest paths in regular and irregular networks. IPDPS 2008: 1-11
57EEHåkon Kvale Stensland, Olav Lysne, Roy Nordstrøm, Hugo Kohmann: Making an SCI fabric dynamically fault tolerant. IPDPS 2008: 1-8
56EEOlav 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
55EEÅ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
54EEAudun Fosselie Hansen, Olav Lysne, Tarik Cicic, Stein Gjessing: Fast Proactive Recovery from Concurrent Failures. ICC 2007: 115-122
2006
53EEGaspar 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
52EEJosé A. Gregorio, Bettina Schnor, Angelos Bilas, Olav Lysne: Topic 13: Routing and Communication in Interconnection Networks. Euro-Par 2006: 851
51EEFrank Olaf Sem-Jacobsen, Tor Skeie, Olav Lysne, José Duato: Dynamic Fault Tolerance with Misrouting in Fat Trees. ICPP 2006: 33-44
50EEAmund Kvalbein, Audun Fosselie Hansen, Tarik Cicic, Stein Gjessing, Olav Lysne: Fast IP Network Recovery Using Multiple Routing Configurations. INFOCOM 2006
49EEFrank Olaf Sem-Jacobsen, Olav Lysne, Tor Skeie: Combining Source Routing and Dynamic Fault Tolerance. SBAC-PAD 2006: 151-158
48EEFabrizio Petrini, Olav Lysne, Ron Brightwell: Guest Editors' Introduction: High-Performance Interconnects. IEEE Micro 26(3): 7-9 (2006)
47EEMarí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)
46EEOlav Lysne, Tor Skeie, Sven-Arne Reinemo, Ingebjørg Theiss: Layered Routing in Irregular Networks. IEEE Trans. Parallel Distrib. Syst. 17(1): 51-65 (2006)
45EEIngebjørg Theiss, Olav Lysne: FRoots: A Fault Tolerant and Topology-Flexible Routing Technique. IEEE Trans. Parallel Distrib. Syst. 17(10): 1136-1150 (2006)
2005
44EEAudun Fosselie Hansen, Amund Kvalbein, Tarik Cicic, Stein Gjessing, Olav Lysne: Resilient Routing Layers for Recovery in Packet Networks. DSN 2005: 238-247
43EEEmilio Luque, Cruz Izu, Olav Lysne, José Legatheaux Martins: Topic 13 Routing and Communication in Interconnection Networks. Euro-Par 2005: 973-973
42EETarik Cicic, Audun Fosselie Hansen, Stein Gjessing, Olav Lysne: Applicability of Resilient Routing Layers for k-Fault Network Recovery. ICN (2) 2005: 173-183
41EEFrank 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
40EEAmund 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
38EEJosé 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)
37EEOlav 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
36EEJosé Duato, Fabrizio Petrini, Olav Lysne, Angelos Bilas: Topic 14: Routing and Communication in Interconnection Networks. Euro-Par 2004: 832
35EEMarí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
34EEOlav Lysne, José Miguel Montañana, Timothy Mark Pinkston, José Duato, Tor Skeie, Jose Flich: Simple Deadlock-Free Dynamic Network Reconfiguration. HiPC 2004: 504-515
33EETor Skeie, Olav Lysne, Jose Flich, Pedro López, Antonio Robles, José Duato: LASH-TOR: A Generic Transition-Oriented Routing Algorithm. ICPADS 2004: 595-604
32EEMarí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
31EEIngebjørg Theiss, Olav Lysne: LORE - Local Reconfiguration for Fault Management in Irregular Interconnects. IPDPS 2004
30EENils 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
27EEMarí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
26EEViktor 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
25EEJosé Duato, Olav Lysne, Timothy Mark Pinkston, Hermann Hellwagner: Topic Introduction. Euro-Par 2003: 929
24EEIngebjørg Theiss, Olav Lysne: FROOTS - Fault Handling in Up*/Down* Routed Networks with Multiple Roots. HiPC 2003: 106-117
23EESven-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
22EEOlav Lysne, Timothy Mark Pinkston, José Duato: A Methodology for Developing Dynamic Network Reconfiguration Processes. ICPP 2003: 77-86
21EEGeir 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
19EEOle-Christoffer Granmo, Frank Eliassen, Olav Lysne, Viktor S. Wold Eide: Techniques for Parallel Execution of the Particle Filter. SCIA 2003: 983-990
2002
18EEViktor 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
17EEViktor S. Wold Eide, Frank Eliassen, Ole-Christoffer Granmo, Olav Lysne: Scalable Independent Multi-level Distribution in Multimedia Content Analysis. IDMS/PROMS 2002: 37-48
16EETor Skeie, Olav Lysne, Ingebjørg Theiss: Layered Shortest Path (LASH) Routing in Irregular System Area Networks. IPDPS 2002
15EEStein Krogdahl, Olav Lysne: On Verification of Parallel Message-Passing Processes. Formal Asp. Comput. 13(6): 471-492 (2002)
2001
14EEViktor S. Wold Eide, Frank Eliassen, Olav Lysne: Supporting Distributed Processing of Time-Based Media Streams. DOA 2001: 281-288
2000
13EEIngebjørg Theiss, Olav Lysne: Deadlock Avoidance for Wormhole Based Switches. Euro-Par 2000: 890-899
12EEOlav Lysne, José Duato: Fast Dynamic Reconfiguration in Irregular Networks. ICPP 2000: 449-
1999
11EEOlav 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

Coauthor Index

1Elvira Baydal [53]
2Angelos Bilas [36] [52]
3Ron Brightwell [48]
4Tarik Cicic [40] [42] [44] [50] [54]
5José Duato [12] [22] [25] [27] [30] [32] [33] [34] [35] [36] [37] [38] [47] [51] [53] [56] [59]
6Viktor S. Wold Eide [14] [17] [18] [19] [26]
7Frank Eliassen [14] [17] [18] [19] [26]
8Jose Flich [27] [30] [32] [33] [34] [35] [47] [53] [56] [59]
9Stein Gjessing [40] [42] [44] [50] [54]
10María Engracia Gómez [27] [30] [32] [35] [47]
11Ole-Christoffer Granmo [17] [18] [19] [26]
12José-Ángel Gregorio (José A. Gregorio) [52]
13Audun Fosselie Hansen [40] [42] [44] [50] [54]
14Hermann Hellwagner [25]
15Geir Horn [10] [21] [29]
16Cruz Izu [43]
17Bjøm Johnsen [41]
18Hugo Kohmann [57]
19Stein Krogdahl [9] [15]
20Amund Kvalbein [40] [44] [50]
21Jakob Aleksander Libak [55]
22Henrik Linnestad [7]
23Pedro López [27] [30] [32] [33] [35] [47] [53]
24Emilio Luque [43]
25José Legatheaux Martins [43]
26José Miguel Montañana [34] [56]
27Gaspar Mora [53]
28Nils Agne Nordbotten [27] [30] [32] [35] [47]
29Roy Nordstrøm [57]
30Peter Csaba Ölveczky [8]
31Ruoming Pang [38]
32Fabrizio Petrini [36] [48]
33Timothy Mark Pinkston [22] [25] [34] [37] [38] [56]
34Javier Piris [6]
35Christian Prehofer [7]
36Sven-Arne Reinemo [20] [23] [28] [46]
37Antonio Robles [27] [30] [32] [33] [35] [47]
38Samuel Rodrigo [59]
39Eivind Rongved [41]
40Bettina Schnor [52]
41Frank Olaf Sem-Jacobsen [23] [28] [39] [41] [49] [51] [58]
42Tor Skeie [10] [16] [20] [21] [23] [27] [28] [29] [30] [32] [33] [34] [35] [39] [41] [46] [47] [49] [51] [55] [56] [59]
43Thomas Sødring (Tom Sødring) [55] [59]
44Åshild Grønstad Solheim [55] [59]
45Håkon Kvale Stensland [57]
46Ingebjørg Theiss [13] [16] [24] [31] [45] [46]
47Ola Tørudbakken [41]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)