Optimally integrated models of modern information technologies
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
Standardní projekty 6 (SGA02004GA-ST)
Main participants
—
Contest type
VS - Public tender
Contract ID
—
Alternative language
Project name in Czech
Vhodně sloučené modely pro moderní informační technologie
Annotation in Czech
Moderní informační technologie využívající vzájemně propojených multiprocesorových počítačů dnešní informatiky vyžadují vhodnou integraci formálních modelů, na kterých jsou principielně založeny a které je tudíž umožňují simulovat a zkoumat. Distribuce,kooperace a paralelismus představují fundamentální rysy a principy těchto technologií a optimální integrace jejich modelu má tudíž zcela zásadní význam. Předkládaný projekt diskutuje systémy integrovaných modelů, které umožňují popsat a studovat výše zmíněné technologie optimálním způsobem. Hlavní pozornost je věnovaná systémům založených na integraci gramatik a automatů. Fundamentálním cílem je získat systémy, které simulují informační technologie elegantním, obecným, přirozeným, flexibilním, úspornýma realizovatelným způsobem. Využívaje těchto předností, projekt bude zkoumat aplikace výsledných systémů v celé řadě současných informačních technologií se zaměřením na technologie používané v matematické lingvistice, ekonomii a mikrobiologii.
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
BD - Information theory
CEP - secondary branch
JC - Computer hardware and software
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
10102 - Applied mathematics<br>10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)<br>20206 - Computer hardware and architecture
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
The GA CR 201/04/0441 grant project has followed the plan described in its original 2004 proposal and further specified in its 2004 and 2005 annual reports in greater detail. The project has discussed integrated formal models based upon automata and gra
Solution timeline
Realization period - beginning
Jan 1, 2004
Realization period - end
Jan 1, 2006
Project status
U - Finished project
Latest support payment
—
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP07-GA0-GA-U/03:2
Data delivery date
Oct 16, 2007
Finance
Total approved costs
1,036 thou. CZK
Public financial support
1,036 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK