Вы здесь

Главная

Araki K.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ NaraView: An Interactive 3D Visualization System for Parallelization of Programs 1997 Sasakura M., Joe K., Araki K. Lecture Notes in Computer Science 21.11.1997
СТ The Data Partitioning Graph: Extending Data and Control Dependencies for Data Partitioning 1995 Nakanishi T., Joe K., Saito H., Polychronopoulos C. D., Fukuda A., Araki K. Lecture Notes in Computer Science 29.03.1995

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Formal Methods and Software Engineering: Proc./10th International Conference on Formal Engineering Methods, ICFEM 2008. Kitakyushu-City, Japan, October 2008 2008 Lecture Notes in Computer Science
  1. Liu Sh.
  2. Maibaum T.
  3. Araki K.
 27.01.2009
СБ Theoretical Aspectd of Computing - ICTAC 2004: Revised Selected Papers/First International Symposium. Guiyang, China, September 2004 2005 Lecture Notes in Computer Science
  1. Liu Zh.
  2. Araki K.
 26.04.2005
СБ FME 2003 - Forma Methods: Proc./Intern. Symp. of Formal Methods Europe, Pisa, Italy, September 2003 2003 Lecture Notes in Computer Science
  1. Araki K.
  2. Gnesi S.
  3. Mandrioli D.
 24.09.2003
СБ IFM 99: Proc./1st International Conference on Integrated Formal Methods, York,28-29 June 1999 1999
  1. Araki K.
  2. Galloway A.
  3. Taguchi K.
 31.01.2001
СБ High Performance Computing: Proc./Intern. Symp., ISHPC 97. Fukuoka, Japan, November 1997 1997 Lecture Notes in Computer Science
  1. Polychronopoulos C.
  2. Joe K.
  3. Araki K.
  4. Amamiya M.
 21.11.1997