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

• Synchronous-asynchronous cellular computations
  S.M. Achasova
  Lecture Notes in Computer Science 964, 1995, pp. 1-6
• Parallel computations and finite automata on semilattices
  Gennady P. Agibalov
  Lecture Notes in Computer Science 964, 1995, pp. 7-15
• Linear Fibonacci forms and parallel algorithms for high dimension arithmetic
  A.V. Anisimov
  Lecture Notes in Computer Science 964, 1995, pp. 16-20
• Cellular-neural computations: Formal model and possible applications
  O.L. Bandman
  Lecture Notes in Computer Science 964, 1995, pp. 21-35
• An efficient verifier of truly concurrent properties
  Alessandro Bianchi, Stefano Coluccini, Pierpaolo Degano, Corrado Priami
  Lecture Notes in Computer Science 964, 1995, pp. 36-50
• Optimal loop scheduling on multiprocessors: A pumping lemma for p-processor schedules
  Franco Gasperoni, Uwe Schwiegelshohn, John Turek
  Lecture Notes in Computer Science 964, 1995, pp. 51-56
• Parallel and distributed processing of cellular hypergraphs
  Peter Hartmann
  Lecture Notes in Computer Science 964, 1995, pp. 57-69
• Computer models of 3D cellular structures
  V. Markova, S. Piskunov
  Lecture Notes in Computer Science 964, 1995, pp. 70-84
• Comparison of two MST algorithms for associative parallel processors
  Ann Sh. Nepomniaschaya
  Lecture Notes in Computer Science 964, 1995, pp. 85-93
• Petri net modelling of Estelle-specified communication protocols
  V.A. Nepomniaschy, G.I. Alekseev, A.V. Bystrov, T.G. Churina, S.P. Mylnikov, E.V. Okunishnikova
  Lecture Notes in Computer Science 964, 1995, pp. 94-108
• Dynamic scheduling of parallel applications
  Bettina Schnor
  Lecture Notes in Computer Science 964, 1995, pp. 109-116
• A method for analyzing combinatorial properties of static connecting topologies
  Guennadi Vesselovski, Marina Kupriyanova
  Lecture Notes in Computer Science 964, 1995, pp. 117-126
• cT: An imperative language with parallelizing features supporting the computation model "Autotransformation of the evaluation network"
  Alexey I. Adamovich
  Lecture Notes in Computer Science 964, 1995, pp. 127-141
• Vienna Fortran 90 - An advanced data parallel language
  Siegfried Benkner
  Lecture Notes in Computer Science 964, 1995, pp. 142-156
• Programming abstracts for synchronization and communication in parallel programs
  Anatoly E. Doroshenko
  Lecture Notes in Computer Science 964, 1995, pp. 157-162
• A program manipulation system for fine-grained architectures
  Vladimir A. Evstigneev, Victor N. Kasyanov
  Lecture Notes in Computer Science 964, 1995, pp. 163-168
• Compilation of CDL for different target architectures
  Christian Hochberger, Rolf Hoffmann, Stefan Waldschmidt
  Lecture Notes in Computer Science 964, 1995, pp. 169-179
• Performance evaluation and visualization with VISPAT
  Anna Hondroudakis, Rob Procter, Kesavan Shanmugam
  Lecture Notes in Computer Science 964, 1995, pp. 180-185
• Dataparallel programming with intelligent communication
  R. Hüsler, H. Vonder Mühll, A. Gunzinger, G. Tröster
  Lecture Notes in Computer Science 964, 1995, pp. 186-203
• Optimization scheme on execution of logic program in a dataflow environment
  A.R. Hurson, Byung-Uk Jun
  Lecture Notes in Computer Science 964, 1995, pp. 204-218
• COVERS - A tool for the design of real-time concurrent systems
  A.V. Borshchev, Yu.G. Karpov, V.V. Roudakov
  Lecture Notes in Computer Science 964, 1995, pp. 219-233
• Status and prospect of ZM4/SIMPLE/PEPP: An event-oriented evaluation environment for parallel and distributed programs
  Rainer Klar, Peter Dauphin
  Lecture Notes in Computer Science 964, 1995, pp. 234-240
• The separating decomposition of discrete Fourier transform and vectorization of its calculation
  O.V. Klimova
  Lecture Notes in Computer Science 964, 1995, pp. 241-245
• PFSLib - A parallel file system for workstation clusters
  Thomas Ludwig, Stefan Lamberts
  Lecture Notes in Computer Science 964, 1995, pp. 246-251
• Data structures, computational, and communication kernels for distributed memory sparse iterative solvers
  Yousef Saad, Andrei V. Malevsky
  Lecture Notes in Computer Science 964, 1995, pp. 252-257