Junji Kitamichi

22 papers A 1B 2Misc 3Journal 4Unranked 12
YearRankTypeTitle / Venue / Authors
2016 — conf
Proposing a Highly Reliable Real-Time Operating System for a Processor with a Fault Self-Detecting Mechanism.
ICESS
Hiroki Saito, Yoichi Tomioka, Junji Kitamichi
2015 — conf
On-demand Customizable Wireless Sensor Network.
ANT/SEIT
Toshiaki Miyazaki, Peng Li, Song Guo, Junji Kitamichi, Takafumi Hayashi, Tsuneo Tsukahara
2014 Misc conf
A software defined wireless sensor network.
ICNC
Toshiaki Miyazaki, Shoichi Yamaguchi, Koji Kobayashi, Junji Kitamichi, Song Guo, Tsuneo Tsukahara, Takafumi Hayashi
2014 — conf
DASN: demand-addressable sensor network for active information acquisition.
ICUIMC
Toshiaki Miyazaki, Hiroki Iwata, Koji Kobayashi, Shoichi Yamaguchi, Deze Zeng, Song Guo, Junji Kitamichi, Takafumi Hayashi, Tsuneo Tsukahara
2013 — conf
Evolution of Software-Defined Sensor Networks.
MSN
Deze Zeng, Toshiaki Miyazaki, Song Guo, Tsuneo Tsukahara, Junji Kitamichi, Takafumi Hayashi
2013 — conf
Programmable wireless sensor node featuring low-power FPGA and microcontroller.
iCAST/UMEDIA
Shoichi Yamaguchi, Toshiaki Miyazaki, Junji Kitamichi, Song Guo, Tsuneo Tsukahara, Takafumi Hayashi
2008 Misc conf
A Modeling of a Dynamically Reconfigurable Processor Using SystemC.
VLSI Design
Junji Kitamichi, Koji Ueda, Kenichi Kuroda
2008 J jnl
Dynamic Module Library for System Level Modeling and Simulation of Dynamically Reconfigurable Systems.
J. Comput.
Kenji Asano, Junji Kitamichi, Kenichi Kuroda
2008 — conf
Optimizing Two-Dimensional Continuous Dynamic Programming for Cell Broadband Engine Processors.
FCST
Takahiro Machino, Shin-ya Iwazaki, Yuichi Okuyama, Junji Kitamichi, Kenichi Kuroda, Ryuichi Oka
2007 B conf
A Hardware Algorithm for the Minimum p-Quasi Clique Cover Problem.
FPL
Shuichi Watanabe, Junji Kitamichi, Kenichi Kuroda
2007 Misc conf
Proposal of Dynamic Module Library for System Level Modeling and Simulation of Dynamically Reconfigurable Systems.
VLSI Design
Kenji Asano, Junji Kitamichi, Kenichi Kuroda
2005 A conf
A Master-Slave Adaptive Load-Distribution Processor Model on PCA.
IPDPS
Toshiyuki Ito, Junji Kitamichi, Kenichi Kuroda, Yuichi Okuyama
2001 — conf
A Conformance Testing Method for Communication Protocols Modeled as Concurrent DFSMs.
ICOIN
Atsushi Fukada, Akio Nakata, Junji Kitamichi, Teruo Higashino, Ana R. Cavalli
1999 J jnl
A gradual neural network approach for FPGA segmented channel routing problems.
IEEE Trans. Syst. Man Cybern. Part B
Nobuo Funabiki, Makiko Yoda, Junji Kitamichi, Seishi Nishikawa
1999 — conf
Formal Design Verification for Correctness of Pipelined Microprocessors with Out-of-order Instruction Execution.
ASP-DAC
Takashi Takenaka, Junji Kitamichi, Teruo Higashino, Kenichi Taniguchi
1999 — conf
Formal Verification Method for Combinatorial Circuits at High Level Design.
ASP-DAC
Junji Kitamichi, Hiroyuki Kageyama, Nobuo Funabiki
1998 J jnl
A gradual neural-network algorithm for jointly time-slot/code assignment problems in packet radio networks.
IEEE Trans. Neural Networks
Nobuo Funabiki, Junji Kitamichi
1998 B conf
A three-stage greedy and neural-network approach for the subgraph isomorphism problem.
SMC
Nobuo Funabiki, Junji Kitamichi
1998 J jnl
An evolutionary neural network approach for module orientation problems.
IEEE Trans. Syst. Man Cybern. Part B
Nobuo Funabiki, Junji Kitamichi, Seishi Nishikawa
1997 — conf
An evolutionary neural network algorithm for max cut problems.
ICNN
Nobuo Funabiki, Junji Kitamichi, Seishi Nishikawa
1994 — conf
Automatic Correctness Proof of the Implementation of Synchronous Sequential Circuits Using an Algebraic Approach.
TPCD
Junji Kitamichi, Sumio Morioka, Teruo Higashino, Kenichi Taniguchi
1994 — conf
Hardware synthesis from a restricted class of LOTOS expressions.
PSTV
Teruo Higashino, Keiichi Yasumoto, Junji Kitamichi, Kenichi Taniguchi