Ähnliche Schlagwörter innerhalb Ihrer Suche.
Treffer 1 - 20 von 27 für Suche 'SFB 342', Suchdauer: 5,82s Treffer weiter einschränken
  1. 1
    Eine Methode zur formalen Modellierung von Betriebssystemkonzepten

    Eine Methode zur formalen Modellierung von Betriebssystemkonzepten von Spies, Katharina

    Veröffentlicht 1998
    “… SFB 342 …”
    Abschlussarbeit Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Some results on basic parallel processes

    Some results on basic parallel processes von Mayr, Richard

    Veröffentlicht 1996
    “… SFB 342 …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Reachibility in live and safe free-choice Petri nets is NP-complete

    Reachibility in live and safe free-choice Petri nets is NP-complete von Esparza, Javier 1964-

    Veröffentlicht 1996
    “… SFB 342 …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    A tableau system for model checking Petri Nets with a fragment of the linear time mikro-calculus

    A tableau system for model checking Petri Nets with a fragment of the linear time mikro-calculus von Mayr, Richard

    Veröffentlicht 1996
    “… SFB 342 …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    A polynominal algorithm to compute the concurrency relation of free-choice signal transition graphs

    A polynominal algorithm to compute the concurrency relation of free-choice signal transition graphs von Kovalyov, Andrei

    Veröffentlicht 1995
    “… SFB 342 …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    A domain oriented multilevel algorithm implementation and parallelization

    A domain oriented multilevel algorithm implementation and parallelization von Griebel, Michael 1960-, Neunhoeffer, Tilman

    Veröffentlicht 1994
    “… SFB 342 …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Similarity based lemma generation with lemma delaying tableaux enumeration

    Similarity based lemma generation with lemma delaying tableaux enumeration von Fuchs, Marc

    Veröffentlicht 1997
    “… SFB 342 …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    A framework for parallel processing of aggregate and scalar functions in object relational DBMS

    A framework for parallel processing of aggregate and scalar functions in object relational DBMS von Jaedicke, Michael, Mitschang, Bernhard

    Veröffentlicht 1997
    “… SFB 342 …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    INSEL-Syntax-Bericht

    INSEL-Syntax-Bericht von Radermacher, Ralph, Weimer, Frank

    Veröffentlicht 1996
    “… SFB 342 …”
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Algebraic multigrid methods for the solution of the Navier-Stokes equations in complicated geometrics

    Algebraic multigrid methods for the solution of the Navier-Stokes equations in complicated geometrics von Griebel, Michael 1960-, Neunhoeffer, Tilman, Regler, Hans

    Veröffentlicht 1996
    “… SFB 342 …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Anleitung zur Spezifikation von mobilen, dynamischen Focus-Netzen

    Anleitung zur Spezifikation von mobilen, dynamischen Focus-Netzen von Hinkel, Ursula, Spies, Katharina

    Veröffentlicht 1996
    “… SFB 342 …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Model checking PA-processes

    Model checking PA-processes von Mayr, Richard

    Veröffentlicht 1996
    “… SFB 342 …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Deciding finiteness of Petri nets up to bisimulation

    Deciding finiteness of Petri nets up to bisimulation von Jančar, Petr

    Veröffentlicht 1995
    “… SFB 342 …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  14. 14
    An improvement of McMillan's unfolding algorithm

    An improvement of McMillan's unfolding algorithm von Esparza, Javier 1964-, Römer, Stefan, Vogler, Walter

    Veröffentlicht 1995
    “… SFB 342 …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Strategien für ein verteiltes Last- und Ressourcenmanagement

    Strategien für ein verteiltes Last- und Ressourcenmanagement von Reimer, Niels

    Veröffentlicht 1998
    “… TUM, SFB 342 …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Lossy counter machines

    Lossy counter machines von Mayr, Richard

    Veröffentlicht 1998
    “… TUM, SFB 342 …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Weak bisimilarity with infinite state systems can be decided in polynomial time

    Weak bisimilarity with infinite state systems can be decided in polynomial time von Kučera, Antonín 1926-, Mayr, Richard

    Veröffentlicht 1998
    “… TUM, SFB 342 …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Load balancing for problems with good bisectors, and applications in finite element simulations worst-case analysis and practical results

    Load balancing for problems with good bisectors, and applications in finite element simulations worst-case analysis and practical results von Bischof, Stefan, Ebner, Ralf, Erlebach, Thomas

    Veröffentlicht 1998
    “… TUM, SFB 342 …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  19. 19
    On-line scheduling of parallel jobs with runtime restrictions

    On-line scheduling of parallel jobs with runtime restrictions von Bischof, Stefan, Mayr, Ernst W. 1950-

    Veröffentlicht 1998
    “… TUM, SFB 342 …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Home shopping die Spezifikation einer Kommunikationsanwendung in FOCUS

    Home shopping die Spezifikation einer Kommunikationsanwendung in FOCUS von Hinkel, Ursula

    Veröffentlicht 1998
    “… TUM, SFB 342 …”
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: