文献

J-GLOBAL ID：200902276213446255   整理番号：05A0745969

マスタスレーブ推論的並列化の形式的定義と検証

Formally Defining and Verifying Master/Slave Speculative Parallelization

著者 (3件)： SALVERDA Pierre (Univ. Illinois at Urbana-Champaign) ,  ROSU Grigore (Univ. Illinois at Urbana-Champaign) ,  ZILLES Craig (Univ. Illinois at Urbana-Champaign)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 3582  ページ： 123-138  発行年： 2005年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (4件)： 推論 ,  並列化 ,  定義 ,  検証