Online ISSN : 

IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Volume E75-A No.3  (Publication Date:1992/03/25)
Previous | 
Next
Special Section on the 4th Karuizawa Workshop on Circuits and Systems

pp.283-284  FOREWORD
FOREWORD
Shin'ichi OISHI  Tetsuo NISHI  
Summary | Full Text:PDF >>
Buy this Article


pp.285-293  INVITED PAPER
Exploiting Separability in Numerical Analysis of Nonlinear Systems
Kiyotaka YAMAMURA  
Summary | Full Text:PDF >>
Buy this Article


pp.294-298  INVITED PAPER
A Simple Hyperchaos Generator Including One Ideal Diode
Toshimichi SAITO  
Summary | Full Text:PDF >>
Buy this Article


pp.299-306  INVITED PAPER
State Feedback H/H2 Control
Tsutomu MITA  Kang Zhi LIU  Shigeto OUCHI  
Summary | Full Text:PDF >>
Buy this Article


pp.307-313  INVITED PAPER
New Trend and Future Issues of Hardware Description Language and High-Level Synthesis
Masaharu IMAI  
Summary | Full Text:PDF >>
Buy this Article


pp.314-320  INVITED PAPER
Linear Time Fault Simulation Algorithm Using a Content Addressable Memory
Nagisa ISHIURA  Shuzo YAJIMA  
Summary | Full Text:PDF >>
Buy this Article


pp.321-329  INVITED PAPER
Bicriteria Network Optimization Problems
Naoki KATOH  
Summary | Full Text:PDF >>
Buy this Article


pp.330-338  INVITED PAPER
Service Specification and Its Protocol Specifications in LOTOS--A Survey for Synthesis and Execution--
Teruo HIGASHINO  
Summary | Full Text:PDF >>
Buy this Article


pp.339-346  PAPER
Bifurcation Phenomena of a Distributed Parameter System with a Nonlinear Element Having Negative Resistance
Hideo NAKANO  Hideaki OKAZAKI  
Summary | Full Text:PDF >>
Buy this Article


pp.347-351  LETTER
Hierarchical Decomposition and Latency for Circuit Simulation by Direct Method
Masakatsu NISHIGAKI  Nobuyuki TANAKA  Hideki ASAI  
Summary | Full Text:PDF >>
Buy this Article


pp.352-361  PAPER
Two-Dimensional Quadrilateral Recursive Digital Filters with Parallel Structure--Synthesis and Parallel Processing--
Tsuyoshi ISSHIKI  Hiroaki KUNIEDA  Mineo KANEKO  
Summary | Full Text:PDF >>
Buy this Article


pp.362-368  PAPER
A Synthesis of Variable IIR Digital Filters
Nobuo MURAKOSHI  Eiji WATANABE  Akinori NISHIHARA  
Summary | Full Text:PDF >>
Buy this Article


pp.369-379  PAPER
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 >>
Buy this Article


pp.380-391  PAPER
Compositional Synthesis for Cooperating Discrete Event Systems from Modular Temporal Logic Specifications
Naoshi UCHIHIRA  
Summary | Full Text:PDF >>
Buy this Article


pp.392-399  PAPER
Minimum-Width Method of Variable Ordering for Binary Decision Diagrams
Shin-ichi MINATO  
Summary | Full Text:PDF >>
Buy this Article


pp.400-409  PAPER
Deriving Compositional Models for Concurrency Based on de Bakker-Zucker Metric Domain from Structured Operational Semantics
Eiichi HORITA  
Summary | Full Text:PDF >>
Buy this Article


pp.410-424  PAPER
A Linear-Time Algorithm for Computing All 3-Edge-Connected Components of a Multigraph
Satoshi TAOKA  Toshimasa WATANABE  Kenji ONAGA  
Summary | Full Text:PDF >>
Buy this Article


pp.425-435  PAPER
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 >>
Buy this Article


Regular Section

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 >>
Buy this Article


pp.451-454  LETTER-Control and Computing
Delta Domain Lyapunov Matrix Equation--A Link between Continuous and Discrete Equations--
Takehiro MORI  Inge TROCH  
Summary | Full Text:PDF >>
Buy this Article


Previous | 
Next
go to Page Top