IEICE SEARCH SYSTEM

IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences

Archive Index

Volume E87-A No.11 (Publication Date:2004/11/01)

RSS Feed(Latest Issue)

Special Section on Concurrent Systems and Hybrid Systems

pp.2833-2833 FOREWORD FOREWORD Tatsuya SUZUKI
	Summary \| Full Text:PDF (43KB)

pp.2834-2843 PAPER-INVITED Applications of Discrete Event and Hybrid Systems in Humanoid Robots Toshimitsu USHIO Keigo KOBAYASHI Masakazu ADACHI Hideyuki TAKAHASHI Atsuhito NAKATANI
	Summary \| Full Text:PDF (1MB)

pp.2844-2851 PAPER-Concurrent Systems Deadlock-Free Scheduling in Automated Manufacturing Systems with Multiple Resource Requests Zhonghua HUANG Zhiming WU
	Summary \| Full Text:PDF (376.6KB)

pp.2852-2858 PAPER-Concurrent Systems An MAMS-PP4: Multi-Access Memory System Used to Improve the Processing Speed of Visual Media Applications in a Parallel Processing System Hyung LEE Hyeon-Koo CHO Dae-Sang YOU Jong-Won PARK
	Summary \| Full Text:PDF (330.2KB)

pp.2859-2867 PAPER-Concurrent Systems A New Proposal to Two-Processor Scheduling Problem for SWITCH-less Program Nets Qi-Wei GE Chen LI Mitsuru NAKATA
	Summary \| Full Text:PDF (521.9KB)

pp.2868-2877 PAPER-Concurrent Systems Computation Methods of Maximum Throughput for MG/ SMWF-Nets with Conflict-Free Resources Shingo YAMAGUCHI Keisuke KUNIYOSHI Qi-Wei GE Minoru TANAKA
	Summary \| Full Text:PDF (319.3KB)

pp.2878-2884 PAPER-Concurrent Systems Formal Detection of Three Automation Surprises in Human-Machine Interaction Yoshitaka UKAWA Toshimitsu USHIO Masakazu ADACHI Shigemasa TAKAI
	Summary \| Full Text:PDF (346.7KB)

pp.2885-2894 PAPER-Concurrent Systems State Machine Specification with Reusability Goichi ITABASHI Kaoru TAKAHASHI Yasushi KATO Takuo SUGANUMA Norio SHIRATORI
	Summary \| Full Text:PDF (366KB)

pp.2895-2904 PAPER-Concurrent Systems Control of Batch Processes Based on Hierarchical Petri Nets Tomoyuki YAJIMA Takashi ITO Susumu HASHIZUME Hidekazu KURIMOTO Katsuaki ONOGI
	Summary \| Full Text:PDF (730.3KB)

pp.2905-2908 LETTER On Optimization in Composition of Concurrent Formal Specifications Bhed Bahadur BISTA
	Summary \| Full Text:PDF (168.3KB)

pp.2909-2912 LETTER Optimized Power Control Using LQ Scheme for CDMA Systems Ji-Young BYUN Young-Chai KO Kwan-Ho YOU
	Summary \| Full Text:PDF (193.8KB)

pp.2913-2918 PAPER-Hybrid Systems Deriving Discrete Behavior of Hybrid Systems under Incomplete Knowledge Kunihiko HIRAISHI
	Summary \| Full Text:PDF (323.9KB)

pp.2919-2928 PAPER-Hybrid Systems Modeling and Simulation of Fission Yeast Cell Cycle on Hybrid Functional Petri Net Sachie FUJITA Mika MATSUI Hiroshi MATSUNO Satoru MIYANO
	Summary \| Full Text:PDF (1.1MB)

pp.2929-2936 PAPER-Hybrid Systems Tracking Control of Mixed Logic Dynamical Systems Yingjie YIN Shigeyuki HOSOE
	Summary \| Full Text:PDF (165.6KB)

pp.2937-2943 PAPER-Hybrid Systems Computation of Lyapunov Functions for Hybrid Automata via LMIs Izumi MASUBUCHI Seiji YABUKI Tokihisa TSUJI
	Summary \| Full Text:PDF (289.2KB)

pp.2944-2949 LETTER Online Model Predictive Control for Max-Plus Linear Systems with Selective Parameters Hiroyuki GOTO Shiro MASUDA
	Summary \| Full Text:PDF (163.3KB)

Regular Section

pp.2950-2956 PAPER-Engineering Acoustics Iterative Estimation and Compensation of Signal Direction for Moving Sound Source by Mobile Microphone Array Toshiharu HORIUCHI Mitsunori MIZUMACHI Satoshi NAKAMURA
	Summary \| Full Text:PDF (781.4KB)

pp.2957-2963 PAPER-Digital Signal Processing Simultaneous Approximation for Magnitude and Phase Responses of FIR Digital Filters Masahiro OKUDA Masahiro YOSHIDA Masaaki IKEHARA Shin-ichi TAKAHASHI
	Summary \| Full Text:PDF (774KB)

pp.2964-2972 PAPER-Analog Signal Processing A Low-Power High-Frequency CMOS Current-Mirror Sinusoidal Quadrature Oscillator Adisorn LEELASANTITHAM Banlue SRISUCHINWONG
	Summary \| Full Text:PDF (1.8MB)

pp.2973-2982 PAPER-VLSI Design Technology and CAD Efficient Vector Compaction Methods for Power Estimation with Consecutive Sampling Techniques Chih-Yang HSU Chien-Nan Jimmy LIU Jing-Yang JOU
	Summary \| Full Text:PDF (1.2MB)

pp.2983-2989 PAPER-VLSI Design Technology and CAD Investigations of Optimum Tier Architectures for ASICs Kan TAKEUCHI Kazumasa YANAGISAWA Kazuko SAKAMOTO Teruya TANAKA
	Summary \| Full Text:PDF (1.4MB)

pp.2990-3000 PAPER-Information Security Provably Secure Three-Party Password-Authenticated Key Exchange Chun-Li LIN Hsiang-An WEN Tzonelih HWANG Hung-Min SUN
	Summary \| Full Text:PDF (369.1KB)

pp.3001-3007 PAPER-Communication Theory and Signals Hierarchical Transmission of DCT Coefficients Using Multi-Code DS/SS Modulation Masaru HONJO Satoshi MAKIDO Takaya YAMAZATO Hiraku OKADA Masaaki KATAYAMA Akira OGAWA
	Summary \| Full Text:PDF (479.9KB)

pp.3008-3015 PAPER-Intelligent Transport System Experimental Determination of Propagation Paths for the ETC System--Equipment Development and Field Test-- Katsuyuki HANEDA Jun-ichi TAKADA Takeo IWATA Yoshitaka WAKINAKA Takeshi KUNISHIMA
	Summary \| Full Text:PDF (443.8KB)

pp.3016-3019 PAPER-General Fundamentals and Boundaries A Theory for Sub-Linear Systems II Nobuo SATO
	Summary \| Full Text:PDF (106.8KB)

pp.3020-3024 LETTER-VLSI Design Technology and CAD An Enhanced Memory Assignment Scheme for Memory-Based FFT Processor Youn-Seog CHANG Sin-Chong PARK
	Summary \| Full Text:PDF (844.8KB)