Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Toshihiro Taketa"'
Autor:
Katsumi Takano, Yasuhiro Yamayoshi, Takahiko Suzuki, Junpei Masuta, Toshihiro Taketa, Kohei Nomoto
Publikováno v:
IEICE Communications Society Magazine. 16:18-29
Publikováno v:
Electronics and Communications in Japan. 102:27-37
Publikováno v:
IEEJ Transactions on Electronics, Information and Systems. 139:701-710
Publikováno v:
Proceedings of the 10th International Conference on Computer Modeling and Simulation.
We present a new method, symbolic backward simulation, for detecting bugs in Java bytecode programs. In order to find bugs comprehensively, the method determines conditions on the input side by tracing back from the tail of the program while performi
Publikováno v:
ICCMS
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
Publikováno v:
ACTA IMEKO. 6:13
We are developing a backward simulator, which determines the unknown system input from the system output by using a system model. However, its processing time would increase enormously if the simulation model requires the multiple case branching, whi
Publikováno v:
Journal of Japan Society for Fuzzy Theory and Systems. 12:313-320
Publikováno v:
Electronics and Communications in Japan (Part I: Communications). 84:29-37
Publikováno v:
2013 8th EUROSIM Congress on Modelling and Simulation.
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 simula
Publikováno v:
The 1st IEEE Global Conference on Consumer Electronics 2012.
Currently, power savings are strongly requested. We propose a method for power savings that considers the characteristics of appliances by using appliance classes and power margin of individual appliance by using bidirectional communications. In this