Toshihiro Taketa

Learn More
The authors are studying backward simulators which trace from results to causes for comprehensive verification of system safety. It is not easy to make a backward simulation model because the forward model may not be expressed in a reversible formula, or it is not reversible in cases of multiple inputs or inclusion of internal state variables. In this(More)
To verify the safety of a system, it is desirable to test all the situation, at least, by simulation. However, it is difficult to test the entire situation because the number of situations is almost uncountable. As a promising method, backward simulation which traces back from the undesirable result to causal input(s) is proposed. For such backward(More)
Optical long distance and high speed networks require an effective flow control scheme better than the ordinary TCP. In this paper, we examine two cross-layer flow control schemes, XCP and XLBA especially for short burst flows. Cross-layer flow controls are essential means to optimize bandwidth utilization and fairness without severe control instability. We(More)
In this paper we introduce a backward simulation of machine code program and report results of reduction methods of its processing time. It may be efficient to analyze a program by tracing back from the final result for detecting all the bugs caused by some codes in the program. We describe the backward simulator of Java bytecode program and methods of(More)
The most promising applications of IPv6 networks might be to embed any network structure, logically, inside its vast addressing space. We show here some useful examples of such applications as a basic multimedia application of H.323 video conferencing, a method of phone number mapping, personal ID number mapping, machine ID number mapping all in the IPv6(More)