The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Olav Lysne: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  53. RecTOR: A New and Efficient Method for Dynamic Network Reconfiguration. [Citation Graph (, )][DBLP]


  54. A framework for routing and resource allocation in network virtualization. [Citation Graph (, )][DBLP]


  55. Routing-Contained Virtualization Based on Up*/Down* Forwarding. [Citation Graph (, )][DBLP]


  56. Fast Proactive Recovery from Concurrent Failures. [Citation Graph (, )][DBLP]


  57. Fault tolerance with shortest paths in regular and irregular networks. [Citation Graph (, )][DBLP]


  58. Making an SCI fabric dynamically fault tolerant. [Citation Graph (, )][DBLP]


  59. Efficient and deadlock-free reconfiguration for source routed networks. [Citation Graph (, )][DBLP]


  60. Combining Source Routing and Dynamic Fault Tolerance. [Citation Graph (, )][DBLP]


  61. On the Potential of NoC Virtualization for Multicore Chips. [Citation Graph (, )][DBLP]


  62. Interconnection Networks: Architectural Challenges for Utility Computing Data Centers. [Citation Graph (, )][DBLP]


Search in 0.052secs, Finished in 0.057secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002