Communication-Communication Systems(Date:1994/11/17)

Presentation
表紙

,  

[Date]1994/11/17
[Paper #]
目次

,  

[Date]1994/11/17
[Paper #]
正誤表

,  

[Date]1994/11/17
[Paper #]
A Multiprocessor System of Three-Dimensional Digital Filters for Video Signal Processing

Kimihiro OHKI,  Masayuki KAWAMATA,  Tatsuo HIGUCHI,  

[Date]1994/11/17
[Paper #]CAS94-56,CST94-16
Time-domain optical phase reading in phase-modulated optical interferometers

Shigeru Oho,  Hisao Sonobe,  Hiroshi Kajioka,  

[Date]1994/11/17
[Paper #]CAS94-57,CST94-17
Estimation of musical tone and amplitude using Spectoral Power Level varying with time

Rinji Abe,  Hiroshi Itahara,  Noriyoshi Kambayashi,  

[Date]1994/11/17
[Paper #]CAS94-58,CST94-18
Proposal of the FIR Half-Band Filter Suitable for Quantization Input and Its Evaluation

Hiroshi SATO,  Toshinori YOSHIKAWA,  

[Date]1994/11/17
[Paper #]CAS94-59,CST94-19
Optimal Design of Computer Networks by Using Queueing Models and Simulations

Shozo Tokinaga,  Ken Nakashima,  

[Date]1994/11/17
[Paper #]CAS94-60,CST94-20
Maximally-Distant Common-Tree Pairs and Their Applications to Interval Analysis of Active Circuits

Takao Ozawa,  

[Date]1994/11/17
[Paper #]CAS94-61,CST94-21
The Structure of Networks Realized from Terminal Capacity Matrices

Hiroshi Tamura,  Ryouhei Sato,  Masakazu Sengoku,  Shoji shinoda,  Takeo Abe,  

[Date]1994/11/17
[Paper #]CAS94-62,CST94-22
A Synthesis of an Optimal File Transfer on a File Transmission Net with One or More Original Files

Yoshihiro KANEKO,  Shoji SHINODA,  

[Date]1994/11/17
[Paper #]CAS94-63,CST94-23
Constructing a Bipartite Graph of Maximum Connectivity with Prescribed Degrees

Takao Asano,  

[Date]1994/11/17
[Paper #]CAS94-64,CST94-24
A Verification of deadlock on Communication System Service Specifications

Yoshihiro UEDA,  Akira TAKURA,  Tadashi OHTA,  

[Date]1994/11/17
[Paper #]CAS94-65,CST94-25
On the Minimum Initial Submarking Problem of Petri Nets

Toshimasa Watanabe,  Keisuke Morita,  

[Date]1994/11/17
[Paper #]CAS94-66,CST94-26
A method for finding the firing sequences of Petri nets with linear programming techniques

Yasumasa FUJII,  Takashi SEKIGUCHI,  

[Date]1994/11/17
[Paper #]CAS94-67,CST94-27
Concurrency Bound of Acyclic-Graph Evolution

Morikazu NAKAMURA,  Kenji ONAGA,  Seiki KYAN,  

[Date]1994/11/17
[Paper #]CAS94-68,CST94-28
An Automatic Generation of Formal Specifications and Its Verification Using Logical Petri net

Kukhwan SONG,  Atsushi TOGASHI,  Norio SHIRATORI,  

[Date]1994/11/17
[Paper #]CAS94-69,CST94-29
NECESSARY AND SUFFICIENT CONDITION FOR REACHABILITY OF EXTENDED MARKED GRAPHS

Kohkichi TSUJI,  Tadao MURATA,  

[Date]1994/11/17
[Paper #]CAS94-70,CST94-30
A Consideration on Boundedness of Petri Nets under the Earliest Firing Rule

Atsushi OHTA,  Tomiji HISAMURA,  

[Date]1994/11/17
[Paper #]CAS94-71,CST94-31
Colored Petri Nets Based Evaluation of the transmission Procedure at the DLL Protocol of a Fieldbus Network

Ben Mnaouer Adel,  Yasumasa Fujii,  Takashi Sekiguchi,  

[Date]1994/11/17
[Paper #]CAS94-72,CST94-32
12>> 1-20hit(23hit)