<<A>> method for testing and debugging distributed applications
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F49777513%3A23520%2F01%3A00065358" target="_blank" >RIV/49777513:23520/01:00065358 - 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
<<A>> method for testing and debugging distributed applications
Popis výsledku v původním jazyce
The paper presents a method can be used to verify properties of asynchronous distributed algorithms and programs during their execution. The method can detect an occurence of either stable global predicates or unstable strong or weak global predicates.
Název v anglickém jazyce
<<A>> method for testing and debugging distributed applications
Popis výsledku anglicky
The paper presents a method can be used to verify properties of asynchronous distributed algorithms and programs during their execution. The method can detect an occurence of either stable global predicates or unstable strong or weak global predicates.
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/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)
Ostatní
Rok uplatnění
2001
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
<<A>> method for testing and debugging distributed applications
ISBN
—
ISSN
—
e-ISSN
—
Počet stran výsledku
4
Strana od-do
—
Název nakladatele
Neuveden
Místo vydání
Neuveden
Místo konání akce
Neuveden
Datum konání akce
1. 1. 2001
Typ akce podle státní příslušnosti
CST - Celostátní akce
Kód UT WoS článku
—