Execution replay of parallel procedural programs

This article describes an execution model for the parallel procedural programming paradigm, which combines multithreading and communications. The model is used to prove sufficient conditions to guarantee the equivalence between two executions of the same program. An efficient mechanism for recording...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Journal of systems architecture Ročník 46; číslo 10; s. 835 - 849
Hlavní autori:	de Kergommeaux, J.Chassin, Fagot, A.
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Amsterdam Elsevier B.V 01.08.2000 Elsevier Elsevier Sequoia S.A
Predmet:	Applied sciences Computer science; control theory; systems Computer systems and distributed systems. User interface Exact sciences and technology Execution replay Game theory Operational research and scientific management Operational research. Management science Parallel debugging Parallel processing Remote procedure call Software Studies Systems design Threads Threads Remote procedure call Parallel debugging Execution replay Procedural language Sufficient condition Parallel programming Prototype Program execution Debugging Time measurement Modeling Communication
ISSN:	1383-7621, 1873-6165
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!