Electronics and Communications in Japan (Part III: Fundamental Electronic Science)

Cover image for Electronics and Communications in Japan (Part III: Fundamental Electronic Science)

December 2007

Volume 90, Issue 12

Pages 1–58

    1. Two computational algorithms for deriving phase equations: Equivalence and some cautions (pages 1–9)

      Daisuke Ohta, Hisa-Aki Tanaka and Yusuke Maino

      Article first published online: 21 JUN 2007 | DOI: 10.1002/ecjc.20284

    2. A monitor generation method for formal monitor-based verification considering input constraints (pages 19–26)

      Yosuke Kakiuchi, Akira Kitajima, Kiyoharu Hamaguchi and Toshinobu Kashiwabara

      Article first published online: 21 JUN 2007 | DOI: 10.1002/ecjc.20360

    3. Toward systematic generation of 3COL instances based on minimal unsolvable structures (pages 27–35)

      Kazunori Mizuno and Seiichi Nishihara

      Article first published online: 21 JUN 2007 | DOI: 10.1002/ecjc.20359

    4. A data-driven processor for alleviating bottlenecks of sequential programs and maintaining multiprocessing capability (pages 36–49)

      Ryosuke Kurebayashi, Shinya Ito, Toru Takahashi, Hiroshi Tomiyasu and Hiroaki Nishikawa

      Article first published online: 21 JUN 2007 | DOI: 10.1002/ecjc.20358

SEARCH

SEARCH BY CITATION