Výukové modely funkce distribuovaných počítačových systémů a programů

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F49777513%3A23520%2F99%3A00042818" target="_blank" >RIV/49777513:23520/99:00042818 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
čeština
Název v původním jazyce
Výukové modely funkce distribuovaných počítačových systémů a programů
Popis výsledku v původním jazyce
Příspěvek pojednává o metodice a prostředcích pro modelování funkce programů realizovaných v paralelních a distribuovaných výpočetních systémech. Důležitou vlastností metodiky je, že modelovaný program zapsaný v programovacím jazyce C je samostatnou součástí modelu a lze jej tak snadno přenést z modelu přímo do implementačního prostředí příslušné aplikace. Metodika je demonstrována na třech implementovaných výukových modelech.
Název v anglickém jazyce
Education-aimend models of distributed computer systems and/or programs
Popis výsledku anglicky
The paper presents a method and the tools for functional validation of programs working in parallel and /or distributed systems. The method is based upon the discrete digital simulation. An important property ot the method is that the validated program written in C language is a separable part of the model. Three education -aimed examples demonstrates method utilization.

Projekt
<a href="/cs/project/GA201%2F99%2F0244" target="_blank" >GA201/99/0244: Vývoj softwarových komponent pro distribuovaná prostředí</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění
1999
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název knihy nebo sborníku
Výukové modely funkce distribuovaných počítačových systémů a programů
ISBN
8085988410
Počet stran výsledku
6
Strana od-do
—
Počet stran knihy
—
Název nakladatele
MARQ
Místo vydání
Ostrava
Kód UT WoS kapitoly
—

Podobné výsledky(10)