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 networkWDS clusteringgateway selectionNP-completeheuristic algorithmvariable depth search
 Summary | Full Text:PDF(582.8KB)

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 checkingtimed automataBuchi automatacomplementationaccelerationemptiness checkingdouble depth first search
 Summary | Full Text:PDF(686.4KB)

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: 
WDMheuristic algorithmoptical-dropwavelength assignmentring networkNP-complete
 Summary | Full Text:PDF(252.7KB)

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: 
ICRPheuristic algorithmminimum dead spaceNP-completeIEEE 802.6DQDB
 Summary | Full Text:PDF(271KB)

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 multicastreal-time communicationmultihome networkheuristic algorithmNP-complete
 Summary | Full Text:PDF(260.9KB)

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: 
CAPapproximation algorithmbenchmarkNP-hardcellular network
 Summary | Full Text:PDF(623.9KB)

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 networkparameter tuningneuron filtercoefficient sensitiveness
 Summary | Full Text:PDF(1.4MB)

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 problemhopfileld-type neural networkN-queens problemboard-level routing problemneuron filter
 Summary | Full Text:PDF(570KB)

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 coloringsimulationheuristic algorithmMIPS_CLRDIMACS
 Summary | Full Text:PDF(406.6KB)

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: 
LOTOSsynchronous EFSMstransformationmulti-rendezvousimplementation
 Summary | Full Text:PDF(406.3KB)

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 protocolsmulti-rendezvousconcurrent EFSMscontroller synthesissynchronous sequential circuits
 Summary | Full Text:PDF(925.6KB)

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 equivalenceverificationsymbolic bisimulationA-TSLTSmost general boolean
 Summary | Full Text:PDF(574.9KB)

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 netmarked graphprotocol synthesisparallel events
 Summary | Full Text:PDF(954.1KB)

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: 
LOTOSservice definitionprotocol specificationsimulatorcorrectness
 Summary | Full Text:PDF(843.8KB)

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: 
LOTOScommunication protocolsdistributed systemsformal description techniquessynthesis
 Summary | Full Text:PDF(612.4KB)