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ženo v:

Podrobná bibliografie
Vydáno v:	Journal of systems architecture Ročník 46; číslo 10; s. 835 - 849
Hlavní autoři:	de Kergommeaux, J.Chassin, Fagot, A.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Amsterdam Elsevier B.V 01.08.2000 Elsevier Elsevier Sequoia S.A
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!