Hochschulschrift
External memory algorithms for state space exploration in model checking and action planning
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Dortmund, Techn. Univ., Diss., 2008
- Urheber
-
Jabbar, Shahid
- Handle
-
2003/26196
- URN
-
urn:nbn:de:hbz:290-2003/26196-4
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:43 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Jabbar, Shahid
Ähnliche Objekte (12)
External memory algorithms for geographic information systems
An experimental study of external memory algorithms for connected components
LEDA-SM: external memory algorithms and data structures in theory and practice
Graph algorithms for approximate and dynamic settings in the external-memory model
LEDA-SM: external memory algorithms and data structure in theory and practice
Concepts, algorithms, and tools for model checking
Communication-Efficient Probabilistic Algorithms: Selection, Sampling, and Checking
Uniform sampling of simple graphs with prescribed degrees and experimental algorithms for external memory
MPI-semantic memory checking tools for parallel applications
Formal Verification of Algorithms for Automata and Model Checking
Model checking memory-related properties of hardware/software codesigns
Time Constrained Verification of Analog Circuits using Model-Checking Algorithms
External memory algorithms for geographic information systems
An experimental study of external memory algorithms for connected components
LEDA-SM: external memory algorithms and data structures in theory and practice
Graph algorithms for approximate and dynamic settings in the external-memory model
LEDA-SM: external memory algorithms and data structure in theory and practice
Concepts, algorithms, and tools for model checking
Communication-Efficient Probabilistic Algorithms: Selection, Sampling, and Checking
Uniform sampling of simple graphs with prescribed degrees and experimental algorithms for external memory
MPI-semantic memory checking tools for parallel applications
Formal Verification of Algorithms for Automata and Model Checking
Model checking memory-related properties of hardware/software codesigns
Time Constrained Verification of Analog Circuits using Model-Checking Algorithms
External memory algorithms for geographic information systems
An experimental study of external memory algorithms for connected components
LEDA-SM: external memory algorithms and data structures in theory and practice
Graph algorithms for approximate and dynamic settings in the external-memory model
LEDA-SM: external memory algorithms and data structure in theory and practice
Concepts, algorithms, and tools for model checking
Communication-Efficient Probabilistic Algorithms: Selection, Sampling, and Checking
Uniform sampling of simple graphs with prescribed degrees and experimental algorithms for external memory
MPI-semantic memory checking tools for parallel applications
Formal Verification of Algorithms for Automata and Model Checking
Model checking memory-related properties of hardware/software codesigns