Art
J-GLOBAL ID：202002291307743138   Reference number：20A1196257

A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs

可逆コンピューティングのための事例研究:並行プログラムの可逆的デバッグ【JST・京大機械翻訳】
Author (5)：
Hoey James

About Hoey James

(School of Informatics, University of Leicester, Leicester, UK)

About School of Informatics, University of Leicester, Leicester, UK

, 
Lanese Ivan

About Lanese Ivan

(Focus Team, University of Bologna/Inria, Bologna, Italy)

About Focus Team, University of Bologna/Inria, Bologna, Italy

, 
Nishida Naoki

About Nishida Naoki

(Graduate School of Informatics, Nagoya University, Nagoya, Japan)

About Graduate School of Informatics, Nagoya University, Nagoya, Japan

, 
Ulidowski Irek

About Ulidowski Irek

(School of Informatics, University of Leicester, Leicester, UK)

About School of Informatics, University of Leicester, Leicester, UK

, 
Vidal German

About Vidal German

(MiST, VRAIN, Universitat Politecnica de Valencia, Valencia, Spain)

About MiST, VRAIN, Universitat Politecnica de Valencia, Valencia, Spain


Material：
Lecture Notes in Computer Science  (LNBI)

About Lecture Notes in Computer Science


Volume： 12070  Page： 108-127  Publication year： 2020 
JST Material Number： H0078D  ISSN： 0302-9743  Document type： Proceedings
Article type： 原著論文  Country of issue： Germany, Federal Republic of (DEU)  Language： ENGLISH (EN)
Abstract/Point：
Abstract/Point
Japanese summary of the article(about several hundred characters).
All summary is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
Abstract: Reversible computing...
Register(free) or Log In to access 

Please login to MyJ-GLOBAL to see full information. You also need to select "Display abstract, etc. of medical articles" in your MyJ-GLOBAL account page in order to see abstracts, etc. of medical articles.

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=20A1196257&from=J-GLOBAL&jstjournalNo=H0078D") }}
Thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
Language

About Language

, 
*debugging

About debugging

, 
*case study

About case study

, 
software failure

About software failure

, 
backtracking

About backtracking

, 
shared memory

About shared memory

, 
reversibility

About reversibility


Semi thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
メッセージパッシング

About メッセージパッシング

, 
分散システム

About 分散システム

, 【Automatic Indexing@JST】
JST classification (2)：
JST classification
Category name(code) classified by JST.
Computer system development 
(JD02010R)

About Computer system development

,  General-purpose programming language 
(JD03051H)

About General-purpose programming language

Terms in the title (4)：
Terms in the title
Keywords automatically extracted from the title.
コンピューティング

About コンピューティング

, 
研究

About 研究

, 
並行

About 並行

, 
デバッグ

About デバッグ


Return to Previous Page

TOP

BOTTOM