yr 〜
yr

Search results 83

Studies on the Legality of Non-deterministic Behavior in Parallel and Concurrent Programs

Studies on the Legality of Non-deterministic Behavior in Parallel and Concurrent Programs
Digital博士論文障害者向け資料あり
韓, 吉新, Han, Jixin2021
National Diet Library

Debugging and Testing Concurrent Programs with Efficient Test Case Generation

Debugging and Testing Concurrent Programs with Efficient Test Case Generation
Digital博士論文障害者向け資料あり
Setiadi, Theodorus EricThe University of Electro-Communications2015-06-26学位論文
National Diet Library

Debugging and Testing Concurrent Programs with Efficient Test Case Generation

Debugging and Testing Concurrent Programs with Efficient Test Case Generation
Digital博士論文障害者向け資料あり
Setiadi, Theodorus Eric2015-06-26
National Diet Library

Haskellによる並列・並行プログラミング

Haskellによる並列・並行プログラミング
Paper図書
Simon Marlow 著, 山下伸夫, 山本和彦, 田中英行 訳オライリー・ジャパン2014.8<M159-L476>
National Diet LibraryOther Libraries in Japan
  • Note (General)原タイトル: Parallel and Concurrent Programming in Haskell
  • Additional TitleParallel and Concurrent Programming in Haskell

Visualization of concurrent program executions (NII technical report NII-2007-006E)

Visualization of concurrent program executions (NII technical report NII-2007-006E)
Digital電子書籍・電子雑誌障害者向け資料あり
Cyrille Artho, Klaus Havelund, Shinichi Honiden国立情報学研究所2007-05
Available onlineNational Diet Library

Visualization of concurrent program executions (NII technical report ; NII-2007-6E)

Visualization of concurrent program executions (NII technical report ; NII-2007-6E)
Paper図書
[by] Cyrille Artho, Klaus Havelund, Shinichi HonidenNational Institute of Informatics2007.5<M19-B72>
National Diet Library

Type systems for formal verification of concurrent programs

Type systems for formal verification of concurrent programs
Paper博士論文
Kohei Suenaga [著][Kohei Suenaga][2008]<UT51-2008-S560>
National Diet Library

Advanced functional programming : 6th international school, AFP 2008 : Heijen, the Netherlands, May 19-24, 2008 : revised lectures. : tutorial on parallel and concurrent programming in Haskell : 2008 summer school on advanced functional programming : May 2008, Heijen, the Netherlands. (Lecture Notes in Computer Science ; 5832. Tutorial)

Advanced functional programming : 6th international school, AFP 2008 : Heijen, the Netherlands, May 19-24, 2008 : revised lectures. : tutorial on parallel and concurrent programming in Haskell : 2008 summer school on advanced functional programming : May 2008, Heijen, the Netherlands. (Lecture Notes in Computer Science ; 5832. Tutorial)
Paper図書
Springerc2009.<M17-10-1840>
National Diet Library

Semantics-based analysis for optimizing compilation of concurrent programs

Semantics-based analysis for optimizing compilation of concurrent programs
Paper博士論文
Norio Kato [著][Norio Kato]2005<UT51-2006-J673>
National Diet Library

Verification of concurrent programs using proof assistants

Verification of concurrent programs using proof assistants
Paper博士論文
Reynald Affeldt [著][Reynald Affeldt]2004<UT51-2006-C955>
National Diet Library

Studies on monitoring concurrent programs

Studies on monitoring concurrent programs
PaperDigital博士論文
程京徳 [著]<UT51-89-J105>
Available onlineNational Diet Library

Object-oriented concurrent programming / edited by Akinori Yonezawa and Mario Tokoro. (MIT Press series in computer systems)

Object-oriented concurrent programming / edited by Akinori Yonezawa and Mario Tokoro. (MIT Press series in computer systems)
Paper図書
MIT Pressc1987.<M159-A44>
National Diet Library

A study on object-oriented concurrent programming languages

A study on object-oriented concurrent programming languages
PaperDigital博士論文
横手靖彦 [著]<UT51-63-H164>
Available onlineNational Diet Library

A study on object-oriented concurrent programming languages for describing knowledge-based systems

A study on object-oriented concurrent programming languages for describing knowledge-based systems
PaperDigital博士論文
石川裕 [著]<UT51-62-F384>
National Diet Library

Javaスレッドプログラミング : 並列オブジェクト指向プログラミングの設計原理 (Object oriented selection)

Javaスレッドプログラミング : 並列オブジェクト指向プログラミングの設計原理 (Object oriented selection)
Paper図書
ダグ・リー 著, 松野良蔵 監訳翔泳社2000.8<M159-G3485>
National Diet LibraryOther Libraries in Japan
  • Note (General)原タイトル: Concurrent programming in Java. (2nd ed.)
  • Additional TitleConcurrent programming in Java. (2nd ed.)

並行プログラミングの原理 : プロセス間通信と同期への概念的アプローチ

並行プログラミングの原理 : プロセス間通信と同期への概念的アプローチ
PaperDigital図書
M.ベン=アリ 著, 渡辺栄一 訳啓学出版1986.3<M159-1461>
Available onlineNational Diet LibraryOther Libraries in Japan
  • Note (General)原タイトル: Principles of concurrent programming
  • Additional TitlePrinciples of concurrent programming

並行動作プログラムの構造 (コンピュータ・サイエンス研究書シリーズ ; 35)

並行動作プログラムの構造 (コンピュータ・サイエンス研究書シリーズ ; 35)
PaperDigital図書
Per Brinch Hansen 著, 田中英彦 訳日本コンピュータ協会1984.1<M159-1905>
Available onlineNational Diet LibraryOther Libraries in Japan

構造的コンカレントープログラミング技法 (コンピュータ・サイエンス研究書シリーズ ; 48)

構造的コンカレントープログラミング技法 (コンピュータ・サイエンス研究書シリーズ ; 48)
PaperDigital図書
R.C.Holt [ほか]著, 藤野喜一, 菊池豊彦 訳日本コンピュータ協会1985.2<M159-1907>
Available onlineNational Diet LibraryOther Libraries in Japan
  • Note (General)原タイトル: Structured concurrent programming with operating systems applic...
  • Additional TitleStructured concurrent programming with operating systems applic...

Linuxによる並行プログラミング入門

Linuxによる並行プログラミング入門
Paper図書
猪平栄一, 重松保弘 著共立出版2014.10<M159-L527>
National Diet LibraryOther Libraries in Japan
  • Alternative TitleIntroduction to Concurrent Programming on Linux
  • Alternative TitleIntroduction to Concurrent Programming on Linux

Parallel and high performance programming with Python : unlock parallel and concurrent programming in Python using multithreading, CUDA, Pytorch and Dask : pbk

Parallel and high performance programming with Python : unlock parallel and concurrent programming in Python using multithreading, CUDA, Pytorch and Dask : pbk
Paper図書
by Fabio NelliOrange education, AVA2023
Other Libraries in Japan