15 research outputs found
A monitor generation method for formal monitor-based verification considering input constraints
No full text
Performance evaluation of ultra-large-scale first-principles electronic structure calculation code on the K computer
No full textAn intelligent digital signal processing system for stock trends based upon transient wave detection by using gabor representation and knowledge representation of waveforms
No full text
