Information and Systems-Theoretical Foundations of Computing(Date:1994/03/10)

Presentation
表紙

,  

[Date]1994/3/10
[Paper #]
目次

,  

[Date]1994/3/10
[Paper #]
Action refinement in a process algebraic language that has a specification synthesis operator

Seiichi Komura,  Yutaka Hirakawa,  Haruhisa Ichikawa,  

[Date]1994/3/10
[Paper #]COMP93-87,SS93-55
DOL : Logic of object creation and destruction

Shin Miyakawa,  Naoki Yonezaki,  

[Date]1994/3/10
[Paper #]COMP93-88,SS93-56
有限なロケーションを持つ並行プロセス

Fabio Casablanca,  Toshiki Sakabe,  Yasuyoshi Inagaki,  

[Date]1994/3/10
[Paper #]COMP93-89,SS93-57
Partial Evaluation of Nested Guraded Horn Clauses Programs using Temporal Logic Formulas

Yushi Nakao,  Masaki Murakami,  

[Date]1994/3/10
[Paper #]COMP93-90,SS93-58
On a problem transformation method generating parallel programs

Seikoh Nishita,  Yoshihiro Tsujino,  Nobuki Tokura,  

[Date]1994/3/10
[Paper #]COMP93-91,SS93-59
Firing Squad Synchronization Problem in One-Dimensional Reversible Cellular Automata

Katsunobu Imai,  Kenichi Morita,  

[Date]1994/3/10
[Paper #]COMP93-92,SS93-60
A minimization method of Boolean-functions using computer II : with don′t-cares

Nobuhiro Tomabechi,  

[Date]1994/3/10
[Paper #]COMP93-93,SS93-61
Efficient Implementation of Atomic Snapshot object on Shared Memory Distributうed System

Michiko Inoue,  wei Chen,  Toshimitsu Masuzawa,  Nobuki Tokura,  

[Date]1994/3/10
[Paper #]COMP93-94,SS93-62
Scheduling Algorithms for Full Binary Tree Type Task Dependence Graph with Communication Delay between Processors

Noriyuki Fujimoto,  Munetoshi Tsuge,  Kenichi Hagihara,  Hirotaka Uoi,  Masaru Sudo,  

[Date]1994/3/10
[Paper #]COMP93-95,SS93-63
elf-Stabilizing algorithm for ring orientation problem under C- daemon

Hideo Masuda,  Yoshiaki Katayama,  Toshimitsu Masuzawa,  Nobuki Tokura,  

[Date]1994/3/10
[Paper #]COMP93-96,SS93-64
[OTHERS]

,  

[Date]1994/3/10
[Paper #]