About: Modelling and verification of parallel systems

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Modelling and verification of parallel systems Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Projekt, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	http://linked.opendata.cz/ontology/domain/vavai/Projekt
Description	Pro vědeckotechnické výpočty, zpracování velkých datových struktur apod. jsou stále více využívány různé paralelní a distribuované systémy, ať už jde o různé typy paralelních superpočítačů, sítě počítačů, nebo jen vícejádrové procesory či grafické čipy běžných počítačů. Oblast návrhu, implementace a verifikace algoritmů pro tyto systémy je předmětem živého celosvětového výzkumu, s celou řadou otevřených teoretických a metodologických problémů. Obecným cílem projektu je přispět do této oblasti novými teoretickými výsledky i prakticky orientovanými postupy. Jedním z konkrétních cílů, na které se chceme zaměřit, jsou otevřené otázky automatizované verifikace, např. týkající se algoritmické rozhodnutelnosti a výpočetní složitosti behaviorálních ekvivalencí. Dalším konkrétním cílem je prozkoumání možností modelování paralelních algoritmů na vhodné úrovni abstrakce; speciálně máme na mysli formalizmy vycházející z Petriho sítí. Jedním z plánovaných výsledků je vytvoření softwarového nástroje, založeného na solidních teoretických základech, který usnadní modelování, analýzu a verifikaci paralelních systémů. (cs) For scientific and engineering computations, processing of large data structures, etc., various types of parallel and distributed systems are increasingly used, including parallel supercomputers, networks of computers, multicore processors, or graphic chips of desktop computers. Design, implementation and verification of parallel systems is a live research area, with many open theoretical and methodological problems.The general goal of this project is to contribute to this area with new theoretical results and practically oriented methods. One of our concrete subgoals is to concentrate on some open problems of automated verification, e.g. those concerning decidability and complexity of behavioural equivalences. Another concrete subgoal is to explore possibilities of modelling parallel algorithms on a suitable level of abstraction; in particular, we have Petri net based formalisms in mind. As one of concrete outcomes of the project, we plan to develop a software tool, based on solid theoretical foundations, which makes modelling, analysis and verification of parallel systems easier. (en)
Title	Modelling and verification of parallel systems (en) Modelování a verifikace paralelních systémů (cs)
http://linked.open...vai/cislo-smlouvy	http://linked.opendata.cz/resource/domain/vavai/cep/smlouva/P202/11/0340
http://linked.open...avai/druh-souteze	http://linked.opendata.cz/resource/domain/vavai/cep/druh-souteze/VS
http://linked.open...domain/vavai/faze	http://linked.opendata.cz/resource/domain/vavai/cep/faze/54238585
http://linked.open...vavai/hlavni-obor	http://linked.opendata.cz/resource/domain/vavai/cep/obor/IN
http://linked.open...i/hlavni-ucastnik	Vysoká škola báňská - Technická univerzita Ostrava
http://linked.open...vavai/id-aktivity	http://linked.opendata.cz/resource/domain/vavai/cep/aktivita/GA
http://linked.open.../vavai/id-souteze	http://linked.opendata.cz/resource/domain/vavai/cep/soutez/SGA02011GA-ST
http://linked.open...n/vavai/kategorie	http://linked.opendata.cz/resource/domain/vavai/cep/kategorie/1
http://linked.open...vai/klicova-slova	verification; modelling; parallel system; distributed system (en)
http://linked.open...avai/konec-reseni	2014-12-31 (xsd:date)
http://linked.open...nujicich-prijemcu	0 (xsd:integer)
http://linked.open...avai/poskytovatel	http://linked.opendata.cz/resource/domain/vavai/cep/poskytovatel/GA0
http://linked.open...avai/start-reseni	2011-01-01 (xsd:date)
http://linked.open...ai/statni-podpora	3977 (xsd:integer)
http://linked.open...vavai/typProjektu	http://linked.opendata.cz/resource/domain/vavai/cep/typ/P
http://linked.open...ai/uznane-naklady	3977 (xsd:integer)
http://linked.open...ai/pocet-prijemcu	1 (xsd:integer)
http://linked.open...cet-spoluprijemcu	0 (xsd:integer)
http://linked.open...ai/pocet-vysledku	10 (xsd:integer)
http://linked.open...ku-zverejnovanych	10 (xsd:integer)
is http://linked.open...ain/vavai/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/2011/GAP202/11/0340/orjk-27240 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/2012/GAP202/11/0340/orjk-27240 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/2013/GAP202/11/0340/orjk-27240 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/2014/GAP202/11/0340/orjk-27240

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 39 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software