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

Olav Lysne Vis

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

*2009
63EEÅshild Grønstad Solheim, Olav Lysne, Tor Skeie: RecTOR: A New and Efficient Method for Dynamic Network Reconfiguration. Euro-Par 2009: 1052-1064
62EEÅshild Grønstad Solheim, Olav Lysne, Aurelio Bermúdez, Rafael Casado, Thomas Sødring, Tor Skeie, Antonio Robles-Gómez: Efficient and deadlock-free reconfiguration for source routed networks. IPDPS 2009: 1-8
61EEAmund Kvalbein, Audun Fosselie Hansen, Tarik Cicic, Stein Gjessing, Olav Lysne: Multiple routing configurations for fast IP network recovery. IEEE/ACM Trans. Netw. 17(2): 473-486 (2009)
2008
60EEJose 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
59EEFrank Olaf Sem-Jacobsen, Olav Lysne: Fault tolerance with shortest paths in regular and irregular networks. IPDPS 2008: 1-11
58EEHåkon Kvale Stensland, Olav Lysne, Roy Nordstrøm, Hugo Kohmann: Making an SCI fabric dynamically fault tolerant. IPDPS 2008: 1-8
57EEOlav Lysne, Sven-Arne Reinemo, Tor Skeie, Åshild Grønstad Solheim, Thomas Sødring, Lars Paul Huse, Bjørn Dag Johnsen: Interconnection Networks: Architectural Challenges for Utility Computing Data Centers. IEEE Computer 41(9): 62-69 (2008)
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
8EEPeter Csaba Ölveczky, Olav Lysne: Order-Sorted Termination: The Unsorted Way. ALP 1996: 92-106
7EEHenrik Linnestad, Christian Prehofer, Olav Lysne: Higher-Order Proof by Consistency. FSTTCS 1996: 274-285
1995
6EEOlav Lysne, Javier Piris: A Termination Ordering for Higher Order Rewrite System. RTA 1995: 26-40
1994
5EEOlav 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
1EEOlav Lysne: Proof by Consistency in Constructive Systems with Final Algebra Semantics. ALP 1992: 276-290

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)