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=966

• Mainstream parallelism: Taking sides on the SMP/MPP/Cluster debate
  Greg Papadopoulos
  Lecture Notes in Computer Science 966, 1995, pp. 3-3
• The Oz programming model
  Gert Smolka
  Lecture Notes in Computer Science 966, 1995, pp. 5-8
• Parallelism in computational algorithms and the physical world
  Björn Engquist
  Lecture Notes in Computer Science 966, 1995, pp. 9-11
• Execution of distributed reactive systems
  Paul Caspi, Alain Girault
  Lecture Notes in Computer Science 966, 1995, pp. 15-26
• Relating data-parallelism and (And-) parallelism in logic programs
  Manuel V. Hermenegildo, Manuel Carro
  Lecture Notes in Computer Science 966, 1995, pp. 27-41
• On the duality between Or-parallelism and And-parallelism in logic programming
  Enrico Pontelli, Gopal Gupta
  Lecture Notes in Computer Science 966, 1995, pp. 43-54
• Functional skeletons for parallel coordination
  John Darlington, Yi-ke Guo, Hing Wing To, Jin Yang
  Lecture Notes in Computer Science 966, 1995, pp. 55-66
• On the scalability of demand-driven parallel systems
  Ronald C. Unrau, Michael Stumm, Orran Krieger
  Lecture Notes in Computer Science 966, 1995, pp. 69-81
• Bounds on memory bandwidth in streamed computations
  Sally A. McKee, Wm.A. Wulf, Trevor C. Landon
  Lecture Notes in Computer Science 966, 1995, pp. 83-99
• StarT-NG: Delivering seamless parallel computing
  Derek Chiou, Boon S. Ang, Robert Greiner, Arvind, James C. Hoe, Michael J. Beckerle, James E. Hicks, Andy Boughton
  Lecture Notes in Computer Science 966, 1995, pp. 101-116
• Costs and benefits of multithreading with off-the-shelf RISC processors
  Olivier C. Maquelin, Herbert H.J. Hum, Guang R. Gao
  Lecture Notes in Computer Science 966, 1995, pp. 117-128
• Transformation techniques in Pei
  S. Genaud, E. Violard, G.-R. Perrin
  Lecture Notes in Computer Science 966, 1995, pp. 131-142
• On the completeness of a proof system for a simple data-parallel programming language
  Luc Bougé, David Cachera
  Lecture Notes in Computer Science 966, 1995, pp. 143-154
• An implementation of race detection and deterministic replay with MPI
  C. Clémençon, J. Fritscher, M.J. Meehan, R. Rühl
  Lecture Notes in Computer Science 966, 1995, pp. 155-166
• Formal and experimental validation of a low overhead execution replay mechanism
  Alain Fagot, Jacques Chassin de Kergommeaux
  Lecture Notes in Computer Science 966, 1995, pp. 167-178
• On efficient embeddings of grids into grids in PARIX
  Thomas Römke, Markus Röttger, Ulf-Peter Schroeder, Jens Simon
  Lecture Notes in Computer Science 966, 1995, pp. 181-192
• Optimal emulation of meshes on meshes of trees
  Alf-Christian Achilles
  Lecture Notes in Computer Science 966, 1995, pp. 193-204
• Optimal embeddings in the Hamming cube networks
  Sajal K. Das, Aisheng Mao
  Lecture Notes in Computer Science 966, 1995, pp. 205-216
• Hierarchical adaptive routing under hybrid traffic load
  Ziqiang Liu
  Lecture Notes in Computer Science 966, 1995, pp. 217-228
• Tight bounds on parallel list marking
  Sandeep N. Bhatt, Gianfranco Bilardi, Kieran T. Herley, Geppino Pucci, Abhiram G. Ranade
  Lecture Notes in Computer Science 966, 1995, pp. 231-242
• Optimization of PRAM-programs with input-dependent memory access
  Welf Löwe
  Lecture Notes in Computer Science 966, 1995, pp. 243-254
• Optimal circular arc representations
  Lin Chen
  Lecture Notes in Computer Science 966, 1995, pp. 255-266
• Exploiting parallelism in cache coherency protocol engines
  Andreas Nowatzyk, Gunes Aybay, Michael Browne, Edmund Kelly, Michael Parkin, Bill Radke, Sanjay Vishin
  Lecture Notes in Computer Science 966, 1995, pp. 269-286
• Verifying distributed directory-based cache coherence protocols: S3.mp, a case study
  Fong Pong, Andreas Nowatzyk, Gunes Aybay, Michel Dubois
  Lecture Notes in Computer Science 966, 1995, pp. 287-300
• Efficient software data prefetching for a loop with large arrays
  Se-Jin Hwang, Myong-Soon Park
  Lecture Notes in Computer Science 966, 1995, pp. 301-312