IEICE Trans

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: SAT, software testing, pairwise testing, test set generation, constraints,
	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-stabilization, maximal matching, time complexity, stabilization time, distributed 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 application, overlay network, proximity, distributed 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 algorithms, distributed computing, self-stabilization, stabilization 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 checking, interpolation, feature interaction, verification,
	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: verification, probabilistic model checking, the Ising model, Discrete 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 module, prediction, spam 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 network, broadcast, variable-range transmission, energy-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 Network, causal model, software 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 development, fault tree analysis, software 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 testing, selective testing, prioritization,
	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 checking, SAT, feature 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 design, software testing, finite 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 checking, fault tolerance, SMV, concurrent system, guarded 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: multiprocessor, fault-tolerant scheduling, task graph, heights, task 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 development, incremental development process, code updating, effort 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 project, simulator, risk factors, cost 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 system, intelligent device, flexibility, productivity,
	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 systems, dependability evaluation, replicated resources, Markov model, fault 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: multiprocessors, fault-secure scheduling, task graphs, error models, tests,
	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-stabilization, stabilization times, automated analysis, symbolic representation, distributed 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 control, production systems, ADS (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 exclusion, distributed systems, k-coteries, nondominated coteries, availability,
	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 reliability, networks of workstations, dependability evaluation, parallel processing, coherent 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 assurance, high productivity, processing equipment, intelligent 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 interactions, telecommunication services, permutation symmetry, state 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 protocol, node-disjoint paths, kernel 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 development, project management, software fault, Petri-net model, software 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 protocol, responsiveness, verification, virtual system state, reachability 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: safety, correctness, object-oriented design, design 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 system, distributed programs, reliability, 3-mode failure, file 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 testing, communication protocol, conformance testing, fault localization, test 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 simulation, processor 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 engineering, protocol synthesis, parallel 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 network, fault-tolerance, network 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 complexity, deadlock, NP-complete, protocol, protocol 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 engineering, responsive protocols, protocol synthesis, unspecified reception, checkpoint 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 computing, systolic array, N-modular redundancy, reconfigurable modular redundant linear array, reconfiguration 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 development, communication, fault-tolerant environment, attribute grammar, incremental 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 software, communication protocol, protocol verification, finite state machine, acyclic expansion algorithm, temporal 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 metric, cost effectiveness, software review, software testing, experimental 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 computing, optimum fault tolerance, processor arrays, reconfigurable arrays, reconfiguration,
	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