Tsuyoshi OHTA

A Slicing Algorithm Suitable for Program Modification
Tsuyoshi OHTA Takashi WATANABE Tadanori MIZUNO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1996/04/25
Vol. E79-A  No. 4  pp. 540-546
Type of Manuscript:  Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)
Category: 
Keyword: 
program slicing, variable dependence graph, program dependence graph, complexity, 
 Summary | Full Text:PDF(658.9KB)
Protocol Verification Tool with Extended Petri Net and Horn Clause
Takashi WATANABE Tsuyoshi OHTA Fumiaki SATO Tadanori MIZUNO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1995/11/25
Vol. E78-A  No. 11  pp. 1458-1467
Type of Manuscript:  Special Section PAPER (Special Section on Net Theory and Its Applications to Discrete Event System Design)
Category: 
Keyword: 
communication networks and services, protocol verification, Petri net, Prolog, Horn clause, 
 Summary | Full Text:PDF(765.1KB)
A Job Dependent Dispatching Scheme in a Heterogeneous Multiserver Network
Tsuyoshi OHTA Takashi WATANABE Tadanori MIZUNO 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1994/11/25
Vol. E77-B  No. 11  pp. 1380-1387
Type of Manuscript:  Special Section PAPER (Special Issue on Distributed Architecture for Next Generation Communication Networks)
Category: 
Keyword: 
communication networks and services, heterogeneous distributed system, load balancing, distributed dispatcher, job characteristic, 
 Summary | Full Text:PDF(662.5KB)