論文誌

  1. Y. Higami, H. Takahashi, S. Kobayashi, and K. K. Saluja: “Test Generation for Delay Faults on Clock Lines under Launch-on-Capture Test Environment,” IEICE Trans. on Information and Systems, Vol.E96-D, No.6, pp. 1323-1331 (2013.6)

国際会議

  1. T. Inamoto, Y. Higami, and S. Kobayashi: “Intermittently Proving Dynamic Programming to Solve Infinite MDPs on GPUs,” 2013 First International Symposium on Computing and Networking (CANDAR’13) / 5th International Workshop on Parallel and Distributed Algorithms and Applications (PDAA), pp. 252-256 (2013.12)
  2. T. Inamoto, Y. Higami, and S. Kobayashi: “Injecting Speculation on Ideal Trajectories into a Trip-based Integer Programming Model for Elevator Operations,” IEEE 2nd Global Conference on Consumer Electronics (GCCE 2013), pp. 23-27 (2013.10)

国内研究会・その他

  1. 川野 純，稲元 勉，樋上 喜信，小林 真也: “ダミーコードの挿入による隠蔽効果”, 平成26度電気学会全国大会, Vol. 3, pp. 96-97 (2014.3)
  2. 稲元 勉，樋上 喜信，小林 真也: “ゾーニングによるエレベータ運行の最適性に関する数値的調査”, 電子情報通信学会 システム数理と応用研究会 (MSS) Vol.113, No.466, pp.43-48 (2014.3)
  3. 稲元 勉，樋上 喜信，小林 真也: “分散動的計画法の GPGPU による実装例”, 2013電気関係学会四国支部連合大会, p. 307 (2013.9)
  4. 江口 拓弥，樋上 喜信，高橋 寛，小林 真也: “クロック信号線の遅延故障に対する故障診断用テスト生成”, 2013電気関係学会四国支部連合大会 (2013.9)
  5. 稲元 勉，島本 将成，樋上 喜信，小林 真也: “セキュアプロセッシングにおける処理多重化へ共謀が与える影響に関する数値的調査”, マルチメディア，分散，協調とモバイル (DICOMO2013) シンポジウム, pp. 517-520 (2013.7)
研究業績一覧へもどる