Information and Systems-Theoretical Foundations of Computing(Date:1997/01/23)

Presentation
表紙

,  

[Date]1997/1/23
[Paper #]
目次

,  

[Date]1997/1/23
[Paper #]
Describing a Group of Concurrent Processes with Pseudo Data and Functions

Yuichiro ISHII,  Masato TAKEICHI,  

[Date]1997/1/23
[Paper #]COMP96-58,SS96-35
Checking Equivalence for Mobile Processes with Failure Semantics

Toshizumi ITO,  Masaki MURAKAMI,  

[Date]1997/1/23
[Paper #]COMP96-59,SS96-36
Development of COOL: Concurrent Object-oriented Programming Language

Seikichi Kanemura,  Yoshikazu Ueda,  

[Date]1997/1/23
[Paper #]COMP96-60,SS96-37
Structured Data Management in Implementation of Dataflow Languages on Distributed-Memory Machines

Kentaro Inenaga,  Shigeru Kusakabe,  Makoto Amamiya,  

[Date]1997/1/23
[Paper #]COMP96-61,SS96-38
An Architecture of Autonomous Distributed Video Servers

Toshiyuki Maeda,  Hiroshi Arakawa,  Minoru Etoh,  Kunihiro Chihara,  

[Date]1997/1/23
[Paper #]COMP96-62,SS96-39
Pipelining Gauss-Seidel method as a PDE solver on a distributed memory parallel processor and a workstation cluster on an ethernet

Naohiko Shimizu,  

[Date]1997/1/23
[Paper #]COMP96-63,SS96-40
Constructive Programming System based on Linear Logic and π-calculus

SATOSHI AKAZAWA,  YUKIHIDE TAKAYAMA,  

[Date]1997/1/23
[Paper #]COMP96-64,SS96-41
Reservation-Extended Semaphore : A Synchronization Mechanism for Deadlock Avoidance

Zhitai SUN,  Shigeyuki OHARA,  Tsutomu SAWADA,  

[Date]1997/1/23
[Paper #]COMP96-65,SS96-42
Broadcasting in hypercubes under circuit switching model

T. Kodate,  J-C. Bermond,  A. Bonnecaze,  S. Perennes,  P. Sole,  

[Date]1997/1/23
[Paper #]COMP96-66,SS96-43
Fault-Tolerance of Broadcasting in Tori with Byzantine Faults

Yuka Kajiwara,  Yukihiro Iwasaki,  Koji Obokata,  Yutaka Funyu,  Yoshihide Igarashi,  

[Date]1997/1/23
[Paper #]COMP96-67,SS96-44
A superstabilizing protocol for mutual exclusion on rings

Eiichirou UEDA,  Yoshiaki KATAYAMA,  Toshimitsu MASUZAWA,  Hideo FUJIWARA,  

[Date]1997/1/23
[Paper #]COMP96-68,SS96-45
Optimal Wait-free Clock Synchronization Protocol on a Shared-memory Multi-processor System

Sen MORIYA,  Michiko INOUE,  Toshimitsu MASUZAWA,  Hideo FUJIWARA,  

[Date]1997/1/23
[Paper #]COMP96-69,SS96-46
A Memory-efficient Contruction of Labeled Transition Models for SCCS Expressions by Unfold Transformation

Akira Suzuki,  Shoji Yuen,  Toshiki Sakabe,  Yasuyoshi Inagaki,  

[Date]1997/1/23
[Paper #]COMP96-70,SS96-47
[OTHERS]

,  

[Date]1997/1/23
[Paper #]