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 slicingvariable dependence graphprogram dependence graphcomplexity
 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 servicesprotocol verificationPetri netPrologHorn 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 servicesheterogeneous distributed systemload balancingdistributed dispatcherjob characteristic
 Summary | Full Text:PDF(662.5KB)