Kikuno Tohru | Faculty Of Engineering Hiroshima University

スポンサーリンク

概要

関連著者

もっと見る

著作論文

Automated Synthesis of Protocol Specifications from Service Specifications with Parallelly Executable Multiple Primitives (Special Section on Net Theory and Its Applications)
A New Conformance Testing Technique for Localization of Multiple Faults in Communication Protocols
Reconfiguration Algorithm for Modular Redundant Linear Array
On Common Sequence Problems (Applied Combinatorial Theory and Algorithms)
A Distributed Algorithm for Deadlock Detection in Replicated Database Systems(Mathematical Foundations of Computer Science and Their Applications)
Synthesis of Protocol Specifications for Design of Responsive Protocols (Special Issue on Responsive Computer Systems)
On the Complexity of Protocol Validation Problems for Protocols with Bounded Capacity Channels (Special Section on Discrete Mathematics and Its Applications)
Experimental Evaluation of Dynamic Scheduling for Parallel Logic Simulation Using Benchmark Circuits (Special Section of Letters Selected from the 1994 IEICE Spring Conference)

スポンサーリンク