Information and Systems-Theoretical Foundations of Computing(Date:1998/03/23)

Presentation
表紙

,  

[Date]1998/3/23
[Paper #]
目次

,  

[Date]1998/3/23
[Paper #]
Dynamic Load Balancing Method for the Parallel DP Matching

Hidenori Sakai,  Hiroshi Matsuo,  Akira Iwata,  

[Date]1998/3/23
[Paper #]
Implementation and Evaluation of Massively Parallel Rewriting

Hiromichi Hirata,  Shigenori Ioroi,  Kazuhiro Ogata,  Kokichi Futatsugi,  

[Date]1998/3/23
[Paper #]
A Process Algebra Debugger for Testing Equivalences with visual LTS Manipulation

Takashi HIRATE,  Shoji YUEN,  Toshiki SAKABE,  Yasutoshi INAGAKI,  

[Date]1998/3/23
[Paper #]
Autonomously Reconfigurable Architecture Towards Object-Oriented HDL

Ryusuke Konishi,  Kiyoshi Oguri,  Kouichi Nagami,  Tsunemichi Shiozawa,  Hideyuki Ito,  

[Date]1998/3/23
[Paper #]
A Stepwise Synthesis Method for Specifications based on Quasi-Weak Bisimilarity

Yoshinao ISOBE,  Yutaka SATO,  Kazuhito OHMAKI,  

[Date]1998/3/23
[Paper #]
AgentSpace: a Higher Order Mobile Agent System

Ichiro Satoh,  

[Date]1998/3/23
[Paper #]
A BDI decision making architecture for selecting DAI strategies

Kenji Yamasaki,  Shuji Narazaki,  Kazuo Ushijima,  

[Date]1998/3/23
[Paper #]
A new PHL system implemented on Alpha-chip

Keishi Sato,  Tohru Aoki,  Motoaki Terashima,  

[Date]1998/3/23
[Paper #]
Study of Distributed Programming Environment for Java Language

Makoto KOIKE,  Kyoko IWASAWA,  

[Date]1998/3/23
[Paper #]
Detection of Design Faults Using Real-Time Temporal Logic in Responsiveness Verification of Commnication Protocols

Shin'ichi Nagano,  Yoshiaki Kakuda,  Tohru Kikuno,  

[Date]1998/3/23
[Paper #]
Specification of a Concurrent System Based on Propositional Logic

Kana SUGAWARA,  Kaoru TAKAHASHI,  

[Date]1998/3/23
[Paper #]
Proposal and Evaluation of Three-Step-Scheduling for ATM switches

Yoshiaki Nishio,  Satoshi Fujita,  Masafumi Yamashita,  

[Date]1998/3/23
[Paper #]
A Sorting Algorithm on a Small Size Reconfigurable Mesh

Susumu MATSUMAE,  Ryoji SASADA,  Nobuki TOKURA,  

[Date]1998/3/23
[Paper #]
A Convex Hull Algorithm on a Fixed Size Reconfigurable Mesh

Ryoji Sasada,  Susumu Matsumae,  Nobuki Tokura,  

[Date]1998/3/23
[Paper #]
Fault Containing Self-Stabilizing algorithms for Mutual Exclusion Problem on Ring Networks

Yutaka Senboshi,  Hideo Masuda,  Yoshihiro Tsujino,  Nobuki Tokura,  

[Date]1998/3/23
[Paper #]
On the costs of linear layouts of n-cubes

Osamu Yamamoto,  Shuji Jimbo,  Kosaburo Hashuguchi,  

[Date]1998/3/23
[Paper #]
Parallel selection algorithms for CGM and BSP with application to sorting

Akihiro Fujiwara,  Takashi Ishimizu,  Michiko Inoue,  Toshimitsu Masuzawa,  Hideo Fujiwara,  

[Date]1998/3/23
[Paper #]
Evaluation of Avoidance Method of Recursive Deadlock in Concurrent Object-Oriented Programming

K Yanagawa,  N Sato,  N Osawa,  T Yuba,  

[Date]1998/3/23
[Paper #]
12>> 1-20hit(22hit)