IEICE Trans

Teruo HIGASHINO

A WDS Clustering Algorithm for Wireless Mesh Networks Shigeto TAJIMA Nobuo FUNABIKI Teruo HIGASHINO
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2010/04/01 Vol. E93-D No. 4 pp. 800-810 Type of Manuscript: PAPER Category: Fundamentals of Information Systems Keyword: wireless mesh network, WDS clustering, gateway selection, NP-complete, heuristic algorithm, variable depth search,
	Summary \| Full Text:PDF

Double Depth First Search Based Parametric Analysis for Parametric Time-Interval Automata Tadaaki TANIMOTO Akio NAKATA Hideaki HASHIMOTO Teruo HIGASHINO
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2005/11/01 Vol. E88-A No. 11 pp. 3007-3021 Type of Manuscript: Special Section PAPER (Special Section on Concurrent/Hybrid Systems: Theory and Applications) Category: Keyword: parametric model checking, timed automata, Buchi automata, complementation, acceleration, emptiness checking, double depth first search,
	Summary \| Full Text:PDF

An Optical-Drop Wavelength Assignment Algorithm for Efficient Wavelength Reuse under Heterogeneous Traffic in WDM Ring Networks Nobuo FUNABIKI Jun KAWASHIMA Toru NAKANISHI Kiyohiko OKAYAMA Teruo HIGASHINO
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2005/05/01 Vol. E88-A No. 5 pp. 1234-1240 Type of Manuscript: Special Section PAPER (Special Section on Discrete Mathematics and Its Applications) Category: Keyword: WDM, heuristic algorithm, optical-drop, wavelength assignment, ring network, NP-complete,
	Summary \| Full Text:PDF

A Minimum Dead Space Algorithm for Generalized Isochronous Channel Reuse Problems in DQDB Networks Nobuo FUNABIKI Jun KAWASHIMA Kiyohiko OKAYAMA Toru NAKANISHI Teruo HIGASHINO
Publication: IEICE TRANSACTIONS on Communications Publication Date: 2004/09/01 Vol. E87-B No. 9 pp. 2692-2698 Type of Manuscript: PAPER Category: Network Keyword: ICRP, heuristic algorithm, minimum dead space, NP-complete, IEEE 802.6, DQDB,
	Summary \| Full Text:PDF

P2PMM_router: A Two-Stage Heuristic Algorithm to Peer-to-Peer Multicast Routing Problems in Multihome Networks Nobuo FUNABIKI Jun KAWASHIMA Shoji YOSHIDA Kiyohiko OKAYAMA Toru NAKANISHI Teruo HIGASHINO
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2004/05/01 Vol. E87-A No. 5 pp. 1070-1076 Type of Manuscript: Special Section PAPER (Special Section on Discrete Mathematics and Its Applications) Category: Keyword: peer-to-peer multicast, real-time communication, multihome network, heuristic algorithm, NP-complete,
	Summary \| Full Text:PDF

A Quasi-Solution State Evolution Algorithm for Channel Assignment Problems in Cellular Networks Nobuo FUNABIKI Toru NAKANISHI Tokumi YOKOHIRA Shigeto TAJIMA Teruo HIGASHINO
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2002/05/01 Vol. E85-A No. 5 pp. 977-987 Type of Manuscript: Special Section PAPER (Special Section on Discrete Mathematics and Its Applications) Category: Keyword: CAP, approximation algorithm, benchmark, NP-hard, cellular network,
	Summary \| Full Text:PDF

Relaxation of Coefficient Sensitiveness to Performance for Neural Networks Using Neuron Filter through Total Coloring Problems Yoichi TAKENAKA Nobuo FUNABIKI Teruo HIGASHINO
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2001/09/01 Vol. E84-A No. 9 pp. 2367-2370 Type of Manuscript: LETTER Category: Neural Networks and Bioengineering Keyword: Hopfield neural network, parameter tuning, neuron filter, coefficient sensitiveness,
	Summary \| Full Text:PDF

A Proposal of Neuron Filter: A Constraint Resolution Scheme of Neural Networks for Combinatorial Optimization Problems Yoichi TAKENAKA Nobuo FUNABIKI Teruo HIGASHINO
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2000/09/25 Vol. E83-A No. 9 pp. 1815-1823 Type of Manuscript: PAPER Category: Neural Networks and Bioengineering Keyword: combinatorial optimization problem, hopfileld-type neural network, N-queens problem, board-level routing problem, neuron filter,
	Summary \| Full Text:PDF

A Minimal-State Processing Search Algorithm for Graph Coloring Problems Nobuo FUNABIKI Teruo HIGASHINO
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2000/07/25 Vol. E83-A No. 7 pp. 1420-1430 Type of Manuscript: PAPER Category: Graphs and Networks Keyword: graph coloring, simulation, heuristic algorithm, MIPS_CLR, DIMACS,
	Summary \| Full Text:PDF

Deriving Concurrent Synchronous EFSMs from Protocol Specifications in LOTOS Akira KITAJIMA Keiichi YASUMOTO Teruo HIGASHINO Kenichi TANIGUCHI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1999/03/25 Vol. E82-A No. 3 pp. 487-494 Type of Manuscript: Special Section PAPER (Special Section on Selected Papers from the 11th Workshop on Circuits and Systems in Karuizawa) Category: Keyword: LOTOS, synchronous EFSMs, transformation, multi-rendezvous, implementation,
	Summary \| Full Text:PDF

A Method to Convert Concurrent EFSMs with Multi-Rendezvous into Synchronous Sequential Circuit Akira KITAJIMA Keiichi YASUMOTO Teruo HIGASHINO Kenichi TANIGUCHI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1998/04/25 Vol. E81-A No. 4 pp. 566-575 Type of Manuscript: Special Section PAPER (Special Section on Concurrent Systems Technology) Category: Keyword: communication protocols, multi-rendezvous, concurrent EFSMs, controller synthesis, synchronous sequential circuits,
	Summary \| Full Text:PDF

Time-Action Alternating Model for Timed Processes and Its Symbolic Verification of Bisimulation Equivalence Akio NAKATA Teruo HIGASHINO Kenichi TANIGUCHI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1997/02/25 Vol. E80-A No. 2 pp. 400-406 Type of Manuscript: PAPER Category: Concurrent Systems Keyword: timed bisimulation equivalence, verification, symbolic bisimulation, A-TSLTS, most general boolean,
	Summary \| Full Text:PDF

Synthesis of Protocol Specifications from Service Specifications of Distributed Systems in a Marked Graph Model Hirozumi YAMAGUCHI Kozo OKANO Teruo HIGASHINO Kenichi TANIGUCHI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1994/10/25 Vol. E77-A No. 10 pp. 1623-1633 Type of Manuscript: Special Section PAPER (Special Section on Net Theory and Its Applications) Category: Keyword: Petri net, marked graph, protocol synthesis, parallel events,
	Summary \| Full Text:PDF

PROSPEX: A Graphical LOTOS Simulator for Protocol Specifications with N Nodes Keiichi YASUMOTO Teruo HIGASHINO Toshio MATSUURA Kenichi TANIGUCHI
Publication: IEICE TRANSACTIONS on Communications Publication Date: 1992/10/25 Vol. E75-B No. 10 pp. 1015-1023 Type of Manuscript: Special Section PAPER (Special Issue on Communication Software Technologies) Category: Keyword: LOTOS, service definition, protocol specification, simulator, correctness,
	Summary \| Full Text:PDF

Service Specification and Its Protocol Specifications in LOTOS--A Survey for Synthesis and Execution-- Teruo HIGASHINO
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1992/03/25 Vol. E75-A No. 3 pp. 330-338 Type of Manuscript: INVITED PAPER (Special Section on the 4th Karuizawa Workshop on Circuits and Systems) Category: Keyword: LOTOS, communication protocols, distributed systems, formal description techniques, synthesis,
	Summary \| Full Text:PDF