|
Vol.E75-A No.3
pp.347-351
Special SectionLETTER
Hierarchical Decomposition and Latency for Circuit Simulation by Direct Method
Masakatsu NISHIGAKI, Nobuyuki TANAKA, Hideki ASAI, |
|
Summary | Full Text:PDF | |
|
Vol.E75-A No.3
pp.352-361
Special SectionPAPER
Two-Dimensional Quadrilateral Recursive Digital Filters with Parallel Structure--Synthesis and Parallel Processing--
Tsuyoshi ISSHIKI, Hiroaki KUNIEDA, Mineo KANEKO, |
|
Summary | Full Text:PDF | |
|
Vol.E75-A No.3
pp.362-368
Special SectionPAPER
A Synthesis of Variable IIR Digital Filters
Nobuo MURAKOSHI, Eiji WATANABE, Akinori NISHIHARA, |
|
Summary | Full Text:PDF | |
|
Vol.E75-A No.3
pp.369-379
Special SectionPAPER
An Application of Dynamic Channel Assignment to a Part of a Service Area of a Cellular Mobile Communication System
Keisuke NAKANO, Masaharu YOKONO, Masakazu SENGOKU, Yoshio YAMAGUCHI, Shoji SHINODA, Seiichi MOTOOKA, Takeo ABE, |
|
Summary | Full Text:PDF | |
|
Vol.E75-A No.3
pp.380-391
Special SectionPAPER
Compositional Synthesis for Cooperating Discrete Event Systems from Modular Temporal Logic Specifications
Naoshi UCHIHIRA, |
|
Summary | Full Text:PDF | |
|
Vol.E75-A No.3
pp.392-399
Special SectionPAPER
Minimum-Width Method of Variable Ordering for Binary Decision Diagrams
Shin-ichi MINATO, |
|
Summary | Full Text:PDF | |
|
Vol.E75-A No.3
pp.400-409
Special SectionPAPER
Deriving Compositional Models for Concurrency Based on de Bakker-Zucker Metric Domain from Structured Operational Semantics
Eiichi HORITA, |
|
Summary | Full Text:PDF | |
|
Vol.E75-A No.3
pp.410-424
Special SectionPAPER
A Linear-Time Algorithm for Computing All 3-Edge-Connected Components of a Multigraph
Satoshi TAOKA, Toshimasa WATANABE, Kenji ONAGA, |
|
Summary | Full Text:PDF | |
|
Vol.E75-A No.3
pp.425-435
Special SectionPAPER
Proof Procedures and Axiom Sets in Petri Net Models of Horn Clause Propositional Logic --Provability and Axiom Sets --
Toshimasa WATANABE, Naomoto KATO, Kenji ONAGA, |
|
Summary | Full Text:PDF | |
|
Vol.E75-A No.3
pp.436-450
PAPER
Foundations of Artificial Intelligence and Knowledge Processing
A Study of Aspect Calculus
Kazuo HASHIMOTO, Tohru ASAMI, Seiichi YAMAMOTO, |
|
Summary | Full Text:PDF | |
|
Current List: 41291 - 41300
|