Tohru KIKUNO


Using Satisfiability Solving for Pairwise Testing in the Presence of Constraints
Toru NANBA Tatsuhiro TSUCHIYA Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2012/09/01
Vol. E95-A  No. 9  pp. 1501-1505
Type of Manuscript:  Special Section LETTER (Special Section on Software Reliability Engineering)
Category: 
Keyword: 
SATsoftware testingpairwise testingtest set generationconstraints
 Summary | Full Text:PDF

The Time Complexity of Hsu and Huang's Self-Stabilizing Maximal Matching Algorithm
Masahiro KIMOTO Tatsuhiro TSUCHIYA Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2010/10/01
Vol. E93-D  No. 10  pp. 2850-2853
Type of Manuscript:  LETTER
Category: Fundamentals of Information Systems
Keyword: 
self-stabilizationmaximal matchingtime complexitystabilization timedistributed computing
 Summary | Full Text:PDF

Constructing Overlay Networks with Short Paths and Low Communication Cost
Fuminori MAKIKAWA Tatsuhiro TSUCHIYA Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2010/06/01
Vol. E93-D  No. 6  pp. 1540-1548
Type of Manuscript:  PAPER
Category: Information Network
Keyword: 
P2P applicationoverlay networkproximitydistributed algorithm
 Summary | Full Text:PDF

On the Time Complexity of Dijkstra's Three-State Mutual Exclusion Algorithm
Masahiro KIMOTO Tatsuhiro TSUCHIYA Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2009/08/01
Vol. E92-D  No. 8  pp. 1570-1573
Type of Manuscript:  LETTER
Category: Computation and Computational Models
Keyword: 
analysis of algorithmsdistributed computingself-stabilizationstabilization time
 Summary | Full Text:PDF

Feature Interaction Verification Using Unbounded Model Checking with Interpolation
Takafumi MATSUO Tatsuhiro TSUCHIYA Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2009/06/01
Vol. E92-D  No. 6  pp. 1250-1259
Type of Manuscript:  PAPER
Category: Dependable Computing
Keyword: 
unbounded model checkinginterpolationfeature interactionverification
 Summary | Full Text:PDF

Probabilistic Model Checking of the One-Dimensional Ising Model
Toshifusa SEKIZAWA Tatsuhiro TSUCHIYA Koichi TAKAHASHI Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2009/05/01
Vol. E92-D  No. 5  pp. 1003-1011
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Model Checking
Keyword: 
verificationprobabilistic model checkingthe Ising modelDiscrete Time Markov Chain
 Summary | Full Text:PDF

Prediction of Fault-Prone Software Modules Using a Generic Text Discriminator
Osamu MIZUNO Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2008/04/01
Vol. E91-D  No. 4  pp. 888-896
Type of Manuscript:  Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: Software Engineering
Keyword: 
fault-prone modulepredictionspam filter
 Summary | Full Text:PDF

An Energy-Efficient Broadcast Scheme for Multihop Wireless Ad Hoc Networks Using Variable-Range Transmission Power
TheinLai WONG Tatsuhiro TSUCHIYA Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2007/03/01
Vol. E90-D  No. 3  pp. 680-684
Type of Manuscript:  LETTER
Category: Networks
Keyword: 
ad hoc networkbroadcastvariable-range transmissionenergy-efficient
 Summary | Full Text:PDF

Constructing a Bayesian Belief Network to Predict Final Quality in Embedded System Development
Sousuke AMASAKI Yasunari TAKAGI Osamu MIZUNO Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2005/06/01
Vol. E88-D  No. 6  pp. 1134-1141
Type of Manuscript:  Special Section PAPER (Special Section on Software Engineering for Embedded Systems)
Category: 
Keyword: 
Bayesian Belief Networkcausal modelsoftware quality prediction
 Summary | Full Text:PDF

An Effective Testing Method for Hardware Related Fault in Embedded Software
Takeshi SUMI Osamu MIZUNO Tohru KIKUNO Masayuki HIRAYAMA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2005/06/01
Vol. E88-D  No. 6  pp. 1142-1149
Type of Manuscript:  Special Section PAPER (Special Section on Software Engineering for Embedded Systems)
Category: 
Keyword: 
embedded software developmentfault tree analysissoftware testing
 Summary | Full Text:PDF

Test Item Prioritizing Metrics for Selective Software Testing
Masayuki HIRAYAMA Osamu MIZUNO Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2004/12/01
Vol. E87-D  No. 12  pp. 2733-2743
Type of Manuscript:  PAPER
Category: Software Engineering
Keyword: 
software testingselective testingprioritization
 Summary | Full Text:PDF

Feature Interaction Detection by Bounded Model Checking
Tomoyuki YOKOGAWA Tatsuhiro TSUCHIYA Masahide NAKAMURA Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2003/12/01
Vol. E86-D  No. 12  pp. 2579-2587
Type of Manuscript:  Special Section PAPER (Special Issue on Dependable Computing)
Category: Dependable Communication
Keyword: 
bounded model checkingSATfeature interaction
 Summary | Full Text:PDF

New 2-Factor Covering Designs for Software Testing
Noritaka KOBAYASHI Tatsuhiro TSUCHIYA Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2002/12/01
Vol. E85-A  No. 12  pp. 2946-2949
Type of Manuscript:  LETTER
Category: Algorithms and Data Structures
Keyword: 
factor covering designsoftware testingfinite field
 Summary | Full Text:PDF

Verifying Fault Tolerance of Concurrent Systems by Model Checking
Tomoyuki YOKOGAWA Tatsuhiro TSUCHIYA Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2002/11/01
Vol. E85-A  No. 11  pp. 2414-2425
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems)
Category: 
Keyword: 
symbolic model checkingfault toleranceSMVconcurrent systemguarded command
 Summary | Full Text:PDF

Effective Scheduling of Duplicated Tasks for Fault Tolerance in Multiprocessor Systems
Koji HASHIMOTO Tatsuhiro TSUCHIYA Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2002/03/01
Vol. E85-D  No. 3  pp. 525-534
Type of Manuscript:  PAPER
Category: Fault Tolerance
Keyword: 
multiprocessorfault-tolerant schedulingtask graphheightstask groups
 Summary | Full Text:PDF

A New Approach to Estimate Effort to Update Object-Oriented Programs in Incremental Development
Satoru UEHARA Osamu MIZUNO Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2002/01/01
Vol. E85-D  No. 1  pp. 233-242
Type of Manuscript:  PAPER
Category: Software Engineering
Keyword: 
object-oriented developmentincremental development processcode updatingeffort estimation
 Summary | Full Text:PDF

Enhancing Software Project Simulator toward Risk Prediction with Cost Estimation Capability
Osamu MIZUNO Daisuke SHIMODA Tohru KIKUNO Yasunari TAKAGI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2001/11/01
Vol. E84-A  No. 11  pp. 2812-2821
Type of Manuscript:  INVITED PAPER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
software development projectsimulatorrisk factorscost estimation
 Summary | Full Text:PDF

Enhancing Intelligent Devices towards Developing High-Performance and Flexible Production Systems
Takeiki AIZONO Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2001/10/01
Vol. E84-D  No. 10  pp. 1385-1393
Type of Manuscript:  Special Section PAPER (IEICE/IEEE Joint Special Issue on Autonomous Decentralized Systems and Systems' Assurance)
Category: Issues
Keyword: 
autonomous decentralized system (ADS)production systemintelligent deviceflexibilityproductivity
 Summary | Full Text:PDF

A Hierarchical Approach to Dependability Evaluation of Distributed Systems with Replicated Resources
Eun Hye CHOI Tatsuhiro TSUCHIYA Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2001/06/01
Vol. E84-D  No. 6  pp. 692-699
Type of Manuscript:  PAPER
Category: Fault Tolerance
Keyword: 
distributed systemsdependability evaluationreplicated resourcesMarkov modelfault trees
 Summary | Full Text:PDF

Error Models and Fault-Secure Scheduling in Multiprocessor Systems
Koji HASHIMOTO Tatsuhiro TSUCHIYA Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2001/05/01
Vol. E84-D  No. 5  pp. 635-650
Type of Manuscript:  PAPER
Category: Fault Tolerance
Keyword: 
multiprocessorsfault-secure schedulingtask graphserror modelstests
 Summary | Full Text:PDF

Computing the Stabilization Times of Self-Stabilizing Systems
Tatsuhiro TSUCHIYA Yusuke TOKUDA Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2000/11/25
Vol. E83-A  No. 11  pp. 2245-2252
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
self-stabilizationstabilization timesautomated analysissymbolic representationdistributed algorithms
 Summary | Full Text:PDF

Advanced Sequential Control Based on an Autonomous Decentralized System for Attaining Highly Productive Systems
Takeiki AIZONO Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2000/11/25
Vol. E83-A  No. 11  pp. 2236-2244
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
sequential controlproduction systemsADS (autonomous decentralized system)intelligent devices
 Summary | Full Text:PDF

New Constructions for Nondominated k-Coteries
Eun Hye CHOI Tatsuhiro TSUCHIYA Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2000/07/25
Vol. E83-D  No. 7  pp. 1526-1532
Type of Manuscript:  PAPER
Category: Fault Tolerance
Keyword: 
k-mutual exclusiondistributed systemsk-coteriesnondominated coteriesavailability
 Summary | Full Text:PDF

Parallelizing SDP (Sum of Disjoint Products) Algorithms for Fast Reliability Analysis
Tatsuhiro TSUCHIYA Tomoya KAJIKAWA Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2000/05/25
Vol. E83-D  No. 5  pp. 1183-1186
Type of Manuscript:  LETTER
Category: Fault Tolerance
Keyword: 
network reliabilitynetworks of workstationsdependability evaluationparallel processingcoherent systems
 Summary | Full Text:PDF

New System Model Based on Autonomous Decentralized System for Highly Productive Processing Equipment
Takeiki AIZONO Masahiro OHASHI Makoto KOGURE Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2000/05/25
Vol. E83-B  No. 5  pp. 916-924
Type of Manuscript:  Special Section PAPER (IEICE/IEEE Joint Special Issue on Autonomous Decentralized Systems)
Category: Communication and Computer Architecture/Assurance Systems
Keyword: 
ADS (Autonomous Decentralized System)high assurancehigh productivityprocessing equipmentintelligent device
 Summary | Full Text:PDF

Exploiting Symmetric Relation for Efficient Feature Interaction Detection
Masahide NAKAMURA Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1999/10/25
Vol. E82-D  No. 10  pp. 1352-1363
Type of Manuscript:  PAPER
Category: Computer Networks
Keyword: 
feature interactionstelecommunication servicespermutation symmetrystate reduction
 Summary | Full Text:PDF

A Distributed Routing Protocol for Finding Two Node-Disjoint Paths in Computer Networks
Kenji ISHIDA Yoshiaki KAKUDA Tohru KIKUNO Kitsutaro AMANO 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1999/06/25
Vol. E82-B  No. 6  pp. 851-858
Type of Manuscript:  Special Section PAPER (Special Issue on Distributed Processing for Controlling Telecommunications Systems)
Category: 
Keyword: 
routing protocolnode-disjoint pathskernel construction
 Summary | Full Text:PDF

Experimental Evaluation of Two-Phase Project Control for Software Development Process
Osamu MIZUNO Shinji KUSUMOTO Tohru KIKUNO Yasunari TAKAGI Keishi SAKAMOTO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1998/04/25
Vol. E81-A  No. 4  pp. 605-614
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
software developmentproject managementsoftware faultPetri-net modelsoftware test and debug
 Summary | Full Text:PDF

A New Verification Method Using Virtual System States for Responsive Communication Protocols and Its Application to a Broadcasting Protocol
Shin'ichi NAGANO Yoshiaki KAKUDA Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1998/04/25
Vol. E81-A  No. 4  pp. 596-604
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
communication protocolresponsivenessverificationvirtual system statereachability analysis
 Summary | Full Text:PDF

A New Verification Framework of Object-Oriented Design Specification for Small Scale Software
Eun Mi KIM Shinji KUSUMOTO Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1997/01/25
Vol. E80-D  No. 1  pp. 51-56
Type of Manuscript:  Special Section PAPER (Special Issue on Fault-Tolerant Computing)
Category: Verification
Keyword: 
safetycorrectnessobject-oriented designdesign review
 Summary | Full Text:PDF

Three-Mode Failure Model for Reliability Analysis of Distributed Programs
Tatsuhiro TSUCHIYA Yoshiaki KAKUDA Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1997/01/25
Vol. E80-D  No. 1  pp. 3-9
Type of Manuscript:  Special Section PAPER (Special Issue on Fault-Tolerant Computing)
Category: Distributed Systems
Keyword: 
distributed systemdistributed programsreliability3-mode failurefile spanning tree
 Summary | Full Text:PDF

A New Conformance Testing Technique for Localization of Multiple Faults in Communication Protocols
Yoshiaki KAKUDA Hideki YUKITOMO Shinji KUSUMOTO Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1995/07/25
Vol. E78-D  No. 7  pp. 802-810
Type of Manuscript:  Special Section PAPER (Special Issue on Verification, Test and Diagnosis of VLSI Systems)
Category: 
Keyword: 
software testingcommunication protocolconformance testingfault localizationtest sequence
 Summary | Full Text:PDF

Experimental Evaluation of Dynamic Scheduling for Parallel Logic Simulation Using Benchmark Circuits
Tadashi SEKO Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1994/11/25
Vol. E77-A  No. 11  pp. 1910-1912
Type of Manuscript:  Special Section LETTER (Special Section of Letters Selected from the 1994 IEICE Spring Conference)
Category: 
Keyword: 
parallel logic simulationprocessor scheduling
 Summary | Full Text:PDF

Automated Synthesis of Protocol Specifications from Service Specifications with Parallelly Executable Multiple Primitives
Yoshiaki KAKUDA Masahide NAKAMURA Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1994/10/25
Vol. E77-A  No. 10  pp. 1634-1645
Type of Manuscript:  Special Section PAPER (Special Section on Net Theory and Its Applications)
Category: 
Keyword: 
protocol engineeringprotocol synthesisparallel execution of primitives
 Summary | Full Text:PDF

On Desirable Fault-Tolerant Topology for Cluster-Based Network
Kenji ISHIDA Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1994/10/25
Vol. E77-A  No. 10  pp. 1617-1622
Type of Manuscript:  Special Section PAPER (Special Section on Net Theory and Its Applications)
Category: 
Keyword: 
cluster-based networkfault-tolerancenetwork topology
 Summary | Full Text:PDF

On the Complexity of Protocol Validation Problems for Protocols with Bounded Capacity Channels
Yoshiaki KAKUDA Yoshihiro TAKADA Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1994/04/25
Vol. E77-A  No. 4  pp. 658-667
Type of Manuscript:  Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)
Category: 
Keyword: 
computational complexitydeadlockNP-completeprotocolprotocol validation
 Summary | Full Text:PDF

Synthesis of Protocol Specifications for Design of Responsive Protocols
Hirotaka IGARASHI Yoshiaki KAKUDA Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1993/11/25
Vol. E76-D  No. 11  pp. 1375-1385
Type of Manuscript:  Special Section PAPER (Special Issue on Responsive Computer Systems)
Category: 
Keyword: 
protocol engineeringresponsive protocolsprotocol synthesisunspecified receptioncheckpoint restart
 Summary | Full Text:PDF

FOREWORD
Tohru KIKUNO Yoshiaki KAKUDA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1993/11/25
Vol. E76-D  No. 11  pp. 1317-1318
Type of Manuscript:  FOREWORD
Category: 
Keyword: 
 Summary | Full Text:PDF

Reconfiguration Algorithm for Modular Redundant Linear Array
Chang CHEN An FENG Yoshiaki KAKUDA Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1993/02/25
Vol. E76-D  No. 2  pp. 210-218
Type of Manuscript:  PAPER
Category: Fault Tolerant Computing
Keyword: 
fault tolerant computingsystolic arrayN-modular redundancyreconfigurable modular redundant linear arrayreconfiguration algorithm
 Summary | Full Text:PDF

Applying Attribute Grammars to Construct Fault-Tolerant Environments for Distributed Software Development
An FENG Tohru KIKUNO Koji TORII 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1992/11/25
Vol. E75-D  No. 6  pp. 810-818
Type of Manuscript:  Special Section PAPER (Special Issue on Pacific Rim International Symposium on Fault Tolerant Systems)
Category: 
Keyword: 
distributed software developmentcommunicationfault-tolerant environmentattribute grammarincremental attribute evaluation
 Summary | Full Text:PDF

An Acyclic Expansion-Based Protocol Verification for Communications Software
Hironori SAITO Yoshiaki KAKUDA Toru HASEGAWA Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1992/10/25
Vol. E75-B  No. 10  pp. 998-1007
Type of Manuscript:  Special Section PAPER (Special Issue on Communication Software Technologies)
Category: 
Keyword: 
communications softwarecommunication protocolprotocol verificationfinite state machineacyclic expansion algorithmtemporal logic
 Summary | Full Text:PDF

A New Metric for Cost Effectiveness of Software Reviews
Shinji KUSUMOTO Ken-ichi MATSUMOTO Tohru KIKUNO Koji TORII 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1992/09/25
Vol. E75-D  No. 5  pp. 674-680
Type of Manuscript:  Special Section PAPER (Special Issue on Software)
Category: 
Keyword: 
software metriccost effectivenesssoftware reviewsoftware testingexperimental evaluation
 Summary | Full Text:PDF

Analysis of Fault Tolerance of Reconfigurable Arrays Using Spare Processors
Kazuo SUGIHARA Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1992/05/25
Vol. E75-D  No. 3  pp. 315-324
Type of Manuscript:  PAPER
Category: Fault Tolerant Computing
Keyword: 
fault-tolerant computingoptimum fault toleranceprocessor arraysreconfigurable arraysreconfiguration
 Summary | Full Text:PDF

On a Measurement Environment for Controlling Software Development Activities
Shinji KUSUMOTO Ken-ichi MATSUMOTO Tohru KIKUNO Koji TORII 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1991/05/25
Vol. E74-A  No. 5  pp. 1051-1054
Type of Manuscript:  Special Section LETTER (Special Issue on 1991 Spring Natl. Conv. IEICE)
Category: Reliability
Keyword: 
 Summary | Full Text:PDF

On Relation between Reliability and Topology of Starred Polygon with Redundant Nodes
Chang CHEN Yoshihiro TAKADA Tohru KIKUNO Koji TORII 
Publication:   IEICE TRANSACTIONS (1976-1990)
Publication Date: 1990/11/25
Vol. E73-E  No. 11  pp. 1782-1784
Type of Manuscript:  Special Section LETTER (Special Issue on 1990 Autumn Natl. Conv. IEICE)
Category: Graphs and Networks
Keyword: 
 Summary | Full Text:PDF

Spare Processor Assignment for Reconfiguration of Fault-Tolerant Arrays
Chang CHEN An FENG Yoshihiro TAKADA Tohru KIKUNO Koji TORII 
Publication:   IEICE TRANSACTIONS (1976-1990)
Publication Date: 1990/08/25
Vol. E73-E  No. 8  pp. 1247-1256
Type of Manuscript:  Special Section PAPER (Special Issue on Fault-Tolerant Systems)
Category: 
Keyword: 
 Summary | Full Text:PDF

On Analytical Evaluation of Cluster-Based Routing for Real-Time Computer Networks
Kenji ISHIDA Jun'ichi MIYAO Tohru KIKUNO Noriyoshi YOSHIDA 
Publication:   IEICE TRANSACTIONS (1976-1990)
Publication Date: 1989/07/25
Vol. E72-E  No. 7  pp. 843-851
Type of Manuscript:  PAPER
Category: Computer Networks
Keyword: 
 Summary | Full Text:PDF

A Programmable Pattern Matching Machine for High Speed Recognition of Regular Sets
Shin'ichi WAKABAYASHI Tohru KIKUNO Noriyoshi YOSHIDA Takashi FUJII 
Publication:   IEICE TRANSACTIONS (1976-1990)
Publication Date: 1984/07/25
Vol. E67-E  No. 7  pp. 363-370
Type of Manuscript:  PAPER
Category: VLSI Algorithms
Keyword: 
 Summary | Full Text:PDF

Paralle Merge Algorithm Suitable for VLSI Implementation
Shin'ichi WAKABAYASHI Tohru KIKUNO Noriyoshi YOSHIDA 
Publication:   IEICE TRANSACTIONS (1976-1990)
Publication Date: 1984/04/25
Vol. E67-E  No. 4  pp. 234-235
Type of Manuscript:  LETTER
Category: VLSI Algorithms
Keyword: 
 Summary | Full Text:PDF

The NP-Completeness of the Dominating Set Problem in Cubic Planer Graphs
Tohru KIKUNO Noriyoshi YOSHIDA Yoshiaki KAKUDA 
Publication:   IEICE TRANSACTIONS (1976-1990)
Publication Date: 1980/06/25
Vol. E63-E  No. 6  pp. 443-444
Type of Manuscript:  LETTER
Category: Automata and Languages
Keyword: 
 Summary | Full Text:PDF

Locking Protocol for Concurrent Access in B*-Trees
Tohru KIKUNO Noriyoshi YOSHIDA Kazumasa TANAKA 
Publication:   IEICE TRANSACTIONS (1976-1990)
Publication Date: 1980/01/25
Vol. E63-E  No. 1  pp. 9-15
Type of Manuscript:  PAPER
Category: Computers
Keyword: 
 Summary | Full Text:PDF