Information and Systems-Theoretical Foundations of Computing(Date:1996/03/26)

Presentation
表紙

,  

[Date]1996/3/26
[Paper #]
目次

,  

[Date]1996/3/26
[Paper #]
Design and Implementation of Multi-thread Concurrent Garbage Collector in the Object-Oriented EusLisp

Yoshio Tanaka,  Toshihiro Matsui,  

[Date]1996/3/26
[Paper #]COMP-95-87,SS-95-42
A Compiler Technique with SIMD Instructions for Multi-media Processing

Junji SAKAI,  Masato EDAHIRO,  Akihiko KONAGAYA,  

[Date]1996/3/26
[Paper #]COMP-95-88,SS-95-43
EVALUATION OF AN ARRAY DATAFLOW ANALYSIS METHOD IN A SCALAR COMPILER

Takayoshi Iiitsuka,  

[Date]1996/3/26
[Paper #]COMP-95-89,SS-95-44
Data Driven and Data Parallel Combined Compiling Method

Koji Ohtani,  Michiaki Yasumura,  

[Date]1996/3/26
[Paper #]COMP-95-90,SS-95-45
KLIEG: A Visual Parallel Programming Environment Using Process Network Patterns as Flexible Reuse Units

Masashi Toyoda,  Buntarou Shizuki,  Shin Takahashi,  Etsuya Shibayama,  

[Date]1996/3/26
[Paper #]COMP-95-91,SS-95-46
An Automatic Concurrency Control of Transaction Processing on Parallel and Distributed Systems

Norihisa HIROKAMI,  Noritaka OSAWA,  Toshitsugu YUBA,  

[Date]1996/3/26
[Paper #]COMP-95-92,SS-95-47
On Observation Congruence of Mobile Processes

Masaki Murakami,  

[Date]1996/3/26
[Paper #]COMP-95-93,SS-95-48
Predicative Verification of Real-time Communicating Processes

Kanako Shinohara,  Shoji Yuen,  Toshiki Sakabe,  Yasuyoshi Inagaki,  

[Date]1996/3/26
[Paper #]COMP-95-94,SS-95-49
Optimal Time Broadcasting in Faulty Star Networks (Extended Abstract)

Aohan Mei,  Feng Bao,  Yukihiro Hamada,  Yoshihide Igarashi,  

[Date]1996/3/26
[Paper #]COMP-95-95,SS-95-50
Deriving Protocol Specifications of Real-Time Distributed Systems from Service Specifications in a Time Petri Net Model with Registers

Hirozumi YAMAGUCHI,  Kozo OKANO,  Teruo HIGASHINO,  Kenichi TANIGUCHI,  

[Date]1996/3/26
[Paper #]COMP-95-96,SS-95-51
[OTHERS]

,  

[Date]1996/3/26
[Paper #]