Ladění distribuovaných systémů
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F49777513%3A23520%2F04%3A00000211" target="_blank" >RIV/49777513:23520/04:00000211 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
On distributed systems debugging
Popis výsledku v původním jazyce
Even a small modification of distributed system can change its behavior. The paper explores methods used in the research on debugging parallel and distributed systems, i. e. the detection of state predicates and the use of temporal logic.
Název v anglickém jazyce
On distributed systems debugging
Popis výsledku anglicky
Even a small modification of distributed system can change its behavior. The paper explores methods used in the research on debugging parallel and distributed systems, i. e. the detection of state predicates and the use of temporal logic.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GA102%2F03%2F0672" target="_blank" >GA102/03/0672: Výzkum metod a nástrojů pro verifikaci odolnosti vestavěných počítačových systémů proti poruchám</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2004
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ů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Electronic computers and informatics
ISBN
80-8073-150-0
ISSN
—
e-ISSN
—
Počet stran výsledku
6
Strana od-do
314-319
Název nakladatele
VIENALA Press
Místo vydání
Košice
Místo konání akce
Košice - Herľany
Datum konání akce
22. 9. 2004
Typ akce podle státní příslušnosti
EUR - Evropská akce
Kód UT WoS článku
—