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
-
How to Formalize FPGA Hardware Design
Rok: 2004, druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)
-
Improving performance of probabilistic programmable quantum processors
Physical Review A, rok: 2004, ročník: 69, vydání: 042311
-
International Journal of Quantum Information: Special issue on Erato conference EQUIS'03 vol. 2
Rok: 2004, počet stran: 147 s.
-
Lower and Upper Bounds in Zone Based Abstractions of Timed Automata
Tools and Algorithms for Construction and Analysis of Systems (TACAS 2004), rok: 2004
-
Model Checking Probabilistic Pushdown Automata
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS 2004), rok: 2004
-
On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit
INFINITY'2003: 5th International Workshop on Verification of Infinite-State Systems, rok: 2004
-
On the Computational Complexity of Bisimulation, Redux
Information and Computation, rok: 2004, ročník: ?, vydání: ?
-
On the Expressive Power of Extended Process Rewrite Systems
BRICS Report Series, rok: 2004, ročník: 2004, vydání: RS-04-7
-
Optimal time and communication solutions of FSSP on square arrays, toruses and rings
Lecture Notes in Computer Science, rok: 2004, ročník: 2006, vydání: 3340
-
Parallel Model-Checking
ERCIM News, rok: 2004, ročník: 58, vydání: June