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 [1]	Hilfe

Suche: Series=LNCS AND YEAR=1993

• A dynamic load balancing strategy for massively parallel computers
  M. Cannataro, Ya D. Sergeyev, G. Spezzano, D. Talia
  Lecture Notes in Computer Science 694, 1993, pp. 664-667
• Issues in event abstraction
  Thomas Kunz
  Lecture Notes in Computer Science 694, 1993, pp. 668-671
• Modelling replicated processing
  Maciej Koutny, Luigi V. Mancini, Giuseppe Pappalardo
  Lecture Notes in Computer Science 694, 1993, pp. 672-675
• An empirical study of vision programs for data dependence analysis
  Luis Angel Barragan, Armando Roy
  Lecture Notes in Computer Science 694, 1993, pp. 708-711
• Cyclic weighted reference counting without delay
  Richard E. Jones, Rafael D. Lins
  Lecture Notes in Computer Science 694, 1993, pp. 712-715
• A disabling of event structures
  Nikolay A. Anisimov
  Lecture Notes in Computer Science 694, 1993, pp. 724-727
• From data flow networks to process algebras
  Cinzia Bernardeschi, Andrea Bondavalli, Luca Simoncini
  Lecture Notes in Computer Science 694, 1993, pp. 740-743
• Parallel complexity of lattice basis reduction and a floating-point parallel algorithm
  Christian Heckler, Lothar Thiele
  Lecture Notes in Computer Science 694, 1993, pp. 744-747
• Computer vision applications experience with Actors
  Francesca Arcelli, Massimo de Santo, Michele di Santo, Antonio Picariello
  Lecture Notes in Computer Science 694, 1993, pp. 748-751
• Grid massively parallel processor
  V.P. Il'in, Ya I. Fet
  Lecture Notes in Computer Science 694, 1993, pp. 752-755
• APPLAUSE: Application & Assessment of parallel programming using logic
  Liang-Liang Li, Mike Reeve, Kees Schuerman, André Véron, Jacques Bellone, Claudine Pradelles, Angelos Kolokouris, Takis Stamatopoulos, Dominic Clark, Chris Rawlings, Jack Shirazi, Giuseppe Sardu
  Lecture Notes in Computer Science 694, 1993, pp. 756-759
• EPOCH - European parallel operating system based on Chorus
  Lothar Borrmann, Erol Gelenbe, Isabella Hofstetter, Petro Istavrinos, Karl Klaus, Mike Ward
  Lecture Notes in Computer Science 694, 1993, pp. 760-763
• Modeling and enactment of workflow systems
  Clarence A. Ellis, Gary J. Nutt
  Lecture Notes in Computer Science 691, 1993, pp. 1-16
• Taking advantages of temporal redundancy in high level Petri nets implementations
  J.A. Bañares, P.R. Muro-Medrano, J.L. Villarroel
  Lecture Notes in Computer Science 691, 1993, pp. 32-48
• A subset of Lotos with the computational power of place/transition-nets
  Michel Barbeau, Gregor von Bochmann
  Lecture Notes in Computer Science 691, 1993, pp. 49-68
• An efficient algorithm for finding structural deadlocks in colored Petri nets
  K. Barkaoui, C. Dutheillet, S. Haddad
  Lecture Notes in Computer Science 691, 1993, pp. 69-88
• Synthesis of net systems
  Luca Bernardinello
  Lecture Notes in Computer Science 691, 1993, pp. 89-105
• Hierarchies in colored GSPNs
  Peter Buchholz
  Lecture Notes in Computer Science 691, 1993, pp. 106-125
• Variable reasoning and analysis about uncertainty with fuzzy Petri nets
  Tiehua Cao, Arthur C. Sanderson
  Lecture Notes in Computer Science 691, 1993, pp. 126-145
• Distributed simulation of timed Petri nets: Exploiting the net structure to obtain efficiency
  Giovanni Chiola, Alois Ferscha
  Lecture Notes in Computer Science 691, 1993, pp. 146-165
• Transient analysis of deterministic and stochastic Petri nets
  Hoon Choi, Vidyadhar G. Kulkarni, Kishor S. Trivedi
  Lecture Notes in Computer Science 691, 1993, pp. 166-185
• Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs
  Sren Christensen, Niels Damgaard Hansen
  Lecture Notes in Computer Science 691, 1993, pp. 186-205
• Integrating software engineering methods and Petri nets for the specification and prototyping of complex information systems
  Yi Deng, S.K. Chang, Jorge C.A. de Figueired, Angelo Perkusich
  Lecture Notes in Computer Science 691, 1993, pp. 206-223
• Shortest paths in reachability graphs
  Jörg Desel, Javier Esparza
  Lecture Notes in Computer Science 691, 1993, pp. 224-241
• Construction of S-invariants and S-components for refined Petri boxes
  Raymond Devillers
  Lecture Notes in Computer Science 691, 1993, pp. 242-261