| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Olav Lysne 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 José Duato , Olav Lysne, Timothy Mark Pinkston , Hermann Hellwagner : Topic Introduction. Euro-Par 2003 : 929 Ingebjørg Theiss , Olav Lysne: FROOTS - Fault Handling in Up*/Down* Routed Networks with Multiple Roots. HiPC 2003 : 106-117 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 Olav Lysne, Timothy Mark Pinkston , José Duato : A Methodology for Developing Dynamic Network Reconfiguration Processes. ICPP 2003 : 77-86 Geir Horn , Olav Lysne, Tor Skeie : A Criterion for Cost Optimal Construction of Irregular Networks. IPDPS 2003 : 197 Sven-Arne Reinemo , Tor Skeie , Olav Lysne: Applying the DiffServ Model on Cut-Through Networks. PDPTA 2003 : 1089-1098 Ole-Christoffer Granmo , Frank Eliassen , Olav Lysne, Viktor S. Wold Eide : Techniques for Parallel Execution of the Particle Filter. SCIA 2003 : 983-990 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 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 Tor Skeie , Olav Lysne, Ingebjørg Theiss : Layered Shortest Path (LASH) Routing in Irregular System Area Networks. IPDPS 2002 Stein Krogdahl , Olav Lysne: On Verification of Parallel Message-Passing Processes. Formal Asp. Comput. 13 (6): 471-492 (2002) Viktor S. Wold Eide , Frank Eliassen , Olav Lysne: Supporting Distributed Processing of Time-Based Media Streams. DOA 2001 : 281-288 Ingebjørg Theiss , Olav Lysne: Deadlock Avoidance for Wormhole Based Switches. Euro-Par 2000 : 890-899 Olav Lysne, José Duato : Fast Dynamic Reconfiguration in Irregular Networks. ICPP 2000 : 449- Olav Lysne: Deadlock Avoidance for Switches Based on Wormhole Networks. ICPP 1999 : 68-74 Tor Skeie , Olav Lysne, Geir Horn : Scalable Non-Blocking Networks with Fixed Size Routers. PDPTA 1997 : 1308-1314 Stein Krogdahl , Olav Lysne: Verifying a Distributed List System: A Case History. Formal Asp. Comput. 9 (1): 98-118 (1997) Peter Csaba Ölveczky , Olav Lysne: Order-Sorted Termination: The Unsorted Way. ALP 1996 : 92-106 Henrik Linnestad , Christian Prehofer , Olav Lysne: Higher-Order Proof by Consistency. FSTTCS 1996 : 274-285 Olav Lysne, Javier Piris : A Termination Ordering for Higher Order Rewrite System. RTA 1995 : 26-40 Olav Lysne: On the Connection between Narrowing and Proof by Consistency. CADE 1994 : 133-147 Olav Lysne: Extending Bachmair's Method for Proof by Consistency to the Final Algebra. Inf. Process. Lett. 51 (6): 303-310 (1994) Olav Lysne: Heuristics for Completion in Automatic Proofs by Structural Induction. Nord. J. Comput. 1 (1): 135-156 (1994) Olav Lysne: The Equational Part of Proofs by Structural Induction. BIT 33 (4): 596-618 (1993) Olav Lysne: Proof by Consistency in Constructive Systems with Final Algebra Semantics. ALP 1992 : 276-290 1 [ 12 ] [ 22 ] [ 25 ] 2 [ 14 ] [ 17 ] [ 18 ] [ 19 ] [ 26 ] 3 [ 14 ] [ 17 ] [ 18 ] [ 19 ] [ 26 ] 4 [ 17 ] [ 18 ] [ 19 ] [ 26 ] 5 [ 25 ] 6 [ 10 ] [ 21 ] 7 [ 9 ] [ 15 ] 8 [ 7 ] 9 [ 8 ] 10 [ 22 ] [ 25 ] 11 [ 6 ] 12 [ 7 ] 13 [ 20 ] [ 23 ] 14 [ 23 ] 15 [ 10 ] [ 16 ] [ 20 ] [ 21 ] [ 23 ] 16 [ 13 ] [ 16 ] [ 24 ]  ©2004 Association for Computing Machinery |
