Art
J-GLOBAL ID：202002213942576139   Reference number：20A1565670

ReverCSP: Time-Travelling in CSP Computations

ReverCSP:CSP計算における時間取引【JST・京大機械翻訳】
Author (4)：
Galindo Carlos

About Galindo Carlos

(Departament de Sistemes Informatics i Computacio, Universitat Politecnica de Valencia, Valencia, Spain)

About Departament de Sistemes Informatics i Computacio, Universitat Politecnica de Valencia, Valencia, Spain

, 
Nishida Naoki

About Nishida Naoki

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

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

, 
Silva Josep

About Silva Josep

(Departament de Sistemes Informatics i Computacio, Universitat Politecnica de Valencia, Valencia, Spain)

About Departament de Sistemes Informatics i Computacio, Universitat Politecnica de Valencia, Valencia, Spain

, 
Tamarit Salvador

About Tamarit Salvador

(Departament de Sistemes Informatics i Computacio, Universitat Politecnica de Valencia, Valencia, Spain)

About Departament de Sistemes Informatics i Computacio, Universitat Politecnica de Valencia, Valencia, Spain


Material：
Lecture Notes in Computer Science  (LNBI)

About Lecture Notes in Computer Science


Volume： 12227  Page： 239-245  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: This paper presents ...
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=20A1565670&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

, 
community (group)

About community (group)

, 
*debugging

About debugging

, 
animation

About animation

, 
backtracking

About backtracking

, 
open source software

About open source software


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 オープンソース

, 【Automatic Indexing@JST】
Author keywords (3)：
Reversible computations

About Reversible computations

, 
CSP

About CSP

, 
Tracing

About Tracing

JST classification (1)：
JST classification
Category name(code) classified by JST.
Numerical computation 
(JE02000J)

About Numerical computation

Terms in the title (3)：
Terms in the title
Keywords automatically extracted from the title.
CSP

About CSP

, 
計算

About 計算

, 
取引

About 取引


Return to Previous Page

TOP

BOTTOM