Fakultät für Informatik - Technische Universität München Lehrstuhl für Effiziente Algorithmen

Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen	Hilfe

Suche: Series=LNCS AND Volume=605

• A compositional approach for the design of a parallel query processing language
  Carla Chachaty, Pascale Borla-Salamet, Mike Ward
  Lecture Notes in Computer Science 605, 1992, pp. 825-840
• Back and forth bisimulations on prime event structures
  Ferroudja Cherief
  Lecture Notes in Computer Science 605, 1992, pp. 843-858
• Dynamic concurrent processes
  J. Fanchon
  Lecture Notes in Computer Science 605, 1992, pp. 859-874
• Exegesis of DBC/1012 and P-90 - Industrial supercomputer database machines
  Felipe, Jr. Cariño, Pekka Kostamaa
  Lecture Notes in Computer Science 605, 1992, pp. 877-892
• Exploiting parallelism in primitive operations on bulk data types
  S.H. Lavington, M.E. Waite, J. Robinson, N.E.J. Dewhurst
  Lecture Notes in Computer Science 605, 1992, pp. 893-908
• Comparative semantics of \mu Log
  Koenraad de Bosschere, Jean-Marie Jacquet
  Lecture Notes in Computer Science 605, 1992, pp. 911-926
• A framework for parallel composition of protocols
  Gurdip Singh, Arthur J. Bernstein
  Lecture Notes in Computer Science 605, 1992, pp. 927-942
• A case study: Parallel program development for a recursive numerical algorithm
  Sergei Gorlatch
  Lecture Notes in Computer Science 605, 1992, pp. 945-946
• A distributed protocol for channel-based communication with choice
  Frederick Knabe
  Lecture Notes in Computer Science 605, 1992, pp. 947-948
• A refinement of communicating processes
  Sylvie Damy, Guy-René Perrin
  Lecture Notes in Computer Science 605, 1992, pp. 949-950
• Distributing finite transition systems
  P. Caspi, A. Girault
  Lecture Notes in Computer Science 605, 1992, pp. 951-952
• Coping with the process proliferation problem in concurrent object-based language implementations
  Riccardo Capobianchi, Rachid Guerraoui, Agnes Lanusse, Pierre Roux
  Lecture Notes in Computer Science 605, 1992, pp. 953-954
• Correctness of flat data parallel algorithms: An axiomatic approach and examples
  Joaquim Gabarró, Ricard Gavaldà
  Lecture Notes in Computer Science 605, 1992, pp. 955-956
• Generating memory-efficient imperative data structures from systolic programs
  Zbigniew Chamski
  Lecture Notes in Computer Science 605, 1992, pp. 957-958
• Geometric transforms on parallel architecture
  Jean-Paul Carrara, Jean-Luc Basille, Jean-François Larue, Didier Juvin
  Lecture Notes in Computer Science 605, 1992, pp. 959-960
• Implementing cut in a distributed data driven OR-parallel Prolog environment
  Peter Kacsuk
  Lecture Notes in Computer Science 605, 1992, pp. 961-962
• Optical interconnects for parallel systems: Demonstration of an optical link with multiple-quantum-well opto-electronic arrays
  N. de Beaucoudrey, A. Bellemain, D. Phalippou, P. Chavel, D. Fortin, I. Exman, L. Rudolph, J.P. Schnell, J.P. Pocholle
  Lecture Notes in Computer Science 605, 1992, pp. 963-964
• Parallel task assignment by graph partitioning
  Shan Fan Liu, Mary Lou Soffa
  Lecture Notes in Computer Science 605, 1992, pp. 965-966
• Parallelizing recursive logic programs through decomposition
  Antonio Klingler, Volker Penner
  Lecture Notes in Computer Science 605, 1992, pp. 967-968
• Performance analysis of the network of the GFLOPS parallel architecture
  Dominique Houzet, Jean-Luc Basille, Jean-Yves Latil
  Lecture Notes in Computer Science 605, 1992, pp. 969-970
• PRELUDE: A system for portable parallel software
  William Weihl, Eric Brewer, Adrian Colbrook, Chrysanthos Dellarocas, Wilson Hsieh, Anthony Joseph, Carl Waldspurger, Paul Wang
  Lecture Notes in Computer Science 605, 1992, pp. 971-972
• Routing in hypercycles. Deadlock free and backtracking strategies
  N.J. Dimopoulos, M. Chowdhury, R. Sivakumar, V. Dimakopoulos
  Lecture Notes in Computer Science 605, 1992, pp. 973-974
• Serialisation as a paradigm for the engineering of parallel programs
  G.R.R. Justo, P.H. Welch
  Lecture Notes in Computer Science 605, 1992, pp. 975-976
• SIMCDL: Simulating parallel programming in a sequential environment
  Jérôme Perret, Philippe Gautron
  Lecture Notes in Computer Science 605, 1992, pp. 977-978
• XFSM: A formal model of communicating state machines for implementation specifications
  Günter Karjoth
  Lecture Notes in Computer Science 605, 1992, pp. 979-980