 | Uppaal-DBM-Bibliothek.Differenz-gebundene Matrizen (DBMS) sind effiziente Datenstrukturen, um Takteinschränkungen in zeitgesteuerten Automaten darzustellen. |
| Jetzt downloaden | |
Uppaal-DBM-Bibliothek. Ranking & Zusammenfassung
Anzeige
- Lizenz:
- GPL
- Preis:
- FREE
- Name des Herausgebers:
- Alexandre David
- Website des Verlags:
- http://www.cs.aau.dk/~adavid/tiga/
Uppaal-DBM-Bibliothek. Stichworte
Uppaal-DBM-Bibliothek. Beschreibung
Unterschied gebundene Matrizen (DBMS) sind effiziente Datenstrukturen, um Takteinschränkungen in zeitgesteuerten Automaten darzustellen. Unterschied gebundene Matrizen (DBMS) sind effiziente Datenstrukturen, um Takteinschränkungen in zeitgesteuerten Automaten darzustellen. Sie werden in Uppaal als Kerndatenstruktur verwendet, um die Zeit darzustellen. Diese Bibliothek enthält alle gängigen Operationen wie oben (Verzögerung oder Zukunft), Nach unten (Vergangenheit), allgemeine Updates, unterschiedliche Extrapolationsfunktionen usw. bei DBMS und Federations.Die Bibliothek unterstützt auch Subtraktionen und Methoden, um DBMS zu verschmelzen. Was neu ist? Diese Version: · Kleinere API-Updates wurden vorgenommen. · Ein Speicherleck in der Größe der Größe wurde behoben.
Uppaal-DBM-Bibliothek. Zugehörige Software
Net :: itms :: suche :: fortgeschritten
net :: itms :: Suchen :: Erweitertes Perl-Modul stellt eine erweiterte Suche des iTunes Music Store dar. ...
Katalysator :: Plugin :: Authentication :: Shop :: dbic :: Backend
Katalysator :: Plugin :: Authentifizierung :: Shop :: dbic :: Backend ist ein DBIX :: Class-Authentifizierungsspeicher-Backend. ...
Axkit :: xsp :: handel :: karren
AXKIT :: XSP :: Handel :: Warenkorb ist ein Axkit XSP-Warenkorb Taglib. ...
Ei :: Plugin :: Filter
EIR :: Plugin :: Filter ist ein Filter der Anforderungsabfrage für Eier-Plugin. ...