|
Vol.E77-A No.10
pp.1623-1633
Special SectionPAPER
Synthesis of Protocol Specifications from Service Specifications of Distributed Systems in a Marked Graph Model
Hirozumi YAMAGUCHI, Kozo OKANO, Teruo HIGASHINO, Kenichi TANIGUCHI, |
|
Summary | Full Text:PDF | |
|
Vol.E77-A No.10
pp.1634-1645
Special SectionPAPER
Automated Synthesis of Protocol Specifications from Service Specifications with Parallelly Executable Multiple Primitives
Yoshiaki KAKUDA, Masahide NAKAMURA, Tohru KIKUNO, |
|
Summary | Full Text:PDF | |
|
Vol.E77-A No.10
pp.1646-1655
Special SectionPAPER
A New Approach for Protocol Synthesis Based on LOTOS
Bhed Bahadur BISTA, Zixue CHENG, Atsushi TOGASHI, Norio SHIRATORI, |
|
Summary | Full Text:PDF | |
|
Vol.E77-A No.10
pp.1656-1662
Special SectionPAPER
A Support Method for Specification Process Based on LTSs
Ushio YAMAMOTO, Atsushi TOGASHI, Norio SHIRATORI, |
|
Summary | Full Text:PDF | |
|
Vol.E77-A No.10
pp.1663-1671
Special SectionPAPER
A Method to Validate the Correctness of Test Logic Programs Applied in a Protocol Conformance Test System Using Petri Nets
Hiroto SUZUKI, Kohkichi TSUJI, Tetsuo ARAKI, Osamu TAKAHASHI, Shizuo YOSHITAKE, |
|
Summary | Full Text:PDF | |
|
Vol.E77-A No.10
pp.1672-1674
PAPER
Algorithms, Data Structures and Computational Complexity
An Efficient Algorithm for Finding a Maximum Weight Independent Set of a Circle Graph
Olivier GOLDSCHMIDT, Alexan TAKVORIAN, |
|
Summary | Full Text:PDF | |
|
Vol.E77-A No.10
pp.1675-1683
PAPER
Algorithms, Data Structures and Computational Complexity
A Parallel Method for the Prefix Convex Hulls Problem
Wei CHEN, Koji NAKANO, Toshimitsu MASUZAWA, Nobuki TOKURA, |
|
Summary | Full Text:PDF | |
|
Vol.E77-A No.10
pp.1684-1691
PAPER
Computer Aided Design (CAD)
A preconstrained Compaction Method Applied to Direct Design-Rule Conversion of CMOS Layouts
Hiroshi MIYASHITA, |
|
Summary | Full Text:PDF | |
|
Vol.E77-A No.10
pp.1692-1699
PAPER
Graphs, Networks and Matroids
Properties of Circuits in a W-Graph
Hua-An ZHAO, Wataru MAYEDA, |
|
Summary | Full Text:PDF | |
|
Vol.E77-A No.10
pp.1700-1706
PAPER
Nonlinear Circuits and Systems
On Quadratic Convergence of the Katzenelson-Like Algorithm for Solving Nonlinear Resistive Networks
Kiyotaka YAMAMURA, |
|
Summary | Full Text:PDF | |
|
Current List: 39081 - 39090
|