Informace o projektu
Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů
- Kód projektu
- MSM 143300001
- Období řešení
- 1/1999 - 12/2004
- Investor / Programový rámec / typ projektu
-
Ministerstvo školství, mládeže a tělovýchovy ČR
- Výzkumné záměry
- Fakulta / Pracoviště MU
- Fakulta informatiky
- Klíčová slova
- concurrency;process algebras; infinite state systems; real-time; modal and temporal logics;concurrent constraint systems;specification;verification;quantum algorithms and protocols;entanglement;quantum finite and cellular automata;design methodologies
Cíl: Význam nesekvenčních modelů výpočetních procesů vzrůstá jak z hlediska teoretického, tak praktického. Cílem tohoto návrhu pro dlouhodobý výzkumný záměr je jak pokračování v již existujícím úspěšném výzkumu v oblasti souběžných (concurrent) distribuovaných systémů, tak i rozšíření výzkumu na problematiku kvantových modelů a výpočtů. Obsah: Analýza modelů souběžných procesů a jejich vzájemných vztahů s důrazem na algoritmické a složitostní aspekty. Analýza modelů a návrh specifikačních a transformačních nástrojů pro souběžné systémy pracující v reálném čase s důrazem na tzv. safety-critical systémy. Logiky, zejména temporální a modální, pro specifikaci a analýzu souběžných systémů. Návrh a analýza kvantových algoritmů a vývoj metod pro návrh kvantových algoritmů a protokolů, jakož i kvantových konečných automatů a celulárních automatů.
Výsledky
Cílem tohoto návrhu pro dlouhodobý výzkumný záměr je jak pokračování v již existujícím úspěšném výzkumu v oblasti souběžných (concurrent) distribuovaných systémů, tak i rozšíření výzkumu na problematiku kvantových modelů a výpočtů.
Publikace
Počet publikací: 265
2004
-
Controlling bipartite entanglement in multi-qubit systems
Journal of Physics A, rok: 2004, ročník: 37, vydání: -
-
Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems
Proceedings of 15th International Conference on Concurrency Theory (CONCUR 2004), rok: 2004
-
Distributed Memory LTL Model Checking Based on Breadth First Search
Rok: 2004, počet stran: 57 s.
-
Distributed Negative Cycle Detection Algorithms
Parallel Computing: Software Technology, Algorithms, Architectures & Applications, rok: 2004
-
Distributed Partial Order Reduction of State Spaces
Proceedings of the 3rd International Workshop on Parallel and Distributed Verifationic (PDMC 2004), rok: 2004
-
DP lower bounds for equivalence-checking and model-checking of one-counter automata
Information and Computation, rok: 2004, ročník: 188, vydání: 1
-
Extended Process Rewrite Systems: Expressiveness and Reachability
CONCUR 2004 - Concurrency Theory, rok: 2004
-
From Distributed Memory Cycle Detection to Parallel LTL Model Checking
Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004), rok: 2004
-
Hardware Router's Lookup Machine and its Formal Verification
ICN'2004 Conference Proceedings, rok: 2004
-
Highly Undecidable Questions for Process Algebras
Proceedings of 3rd IFIP International Conference on Theoretical Computer Science (TCS'04), rok: 2004