Art
J-GLOBAL ID：200902203775565373   Reference number：03A0852731

Verification of Synchronization in SpecC Description with the Use of Difference Decision Diagrams

差分決定図を使用するSpecD記述における同期の検証
Author (3)：
SAKUNKONCHAK T

About SAKUNKONCHAK T

(Univ. Tokyo, Tokyo, JPN)

About Univ. Tokyo, Tokyo, JPN

, 
KOMATSU S

About KOMATSU S

(Univ. Tokyo, Tokyo, JPN)

About Univ. Tokyo, Tokyo, JPN

, 
FUJITA M

About FUJITA M

(Univ. Tokyo, Tokyo, JPN)

About Univ. Tokyo, Tokyo, JPN


Material：
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (Institute of Electronics, Information and Communication Engineers)  (IEICE Trans Fundam Electron Commun Comput Sci (Inst Electron Inf Commun Eng))

About IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (Institute of Electronics, Information and Communication Engineers)


Volume： E86-A  Issue： 12  Page： 3192-3199  Publication year： Dec. 01, 2003 
JST Material Number： F0699C  ISSN： 0916-8508  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： ENGLISH (EN)
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.
LSI

About LSI

,...
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 差分決定図

,...
   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=03A0852731&from=J-GLOBAL&jstjournalNo=F0699C") }}
JST classification (2)：
JST classification
Category name(code) classified by JST.
Logic algebra 
(JB03000H)

About Logic algebra

,  CAD,CAM 
(JE10000A)

About CAD,CAM

Reference (12)：
  • GAJSKI, D. Specification Language and Methodology. 2000
  • GERSTLAUER, A. System Design : A Practical Guide with SpecC. 2001
  • CLARKE, E. M. Model Checking. 2000
  • ANDREWS, G. R. Concurrent Programming : Principles and Practice. 1991
  • ANDREWS, G. R. Parallel, and Distributed Programming. 2000
ｍore...
Terms in the title (3)：
Terms in the title
Keywords automatically extracted from the title.
差分

About 差分

, 
記述

About 記述

, 
検証

About 検証


Return to Previous Page

TOP

BOTTOM