Junji Kitamichi

Publication Activity (10 Years)

Years Active: 1994-2016
Publications (10 Years): 1

Top Topics

Data Dissemination

Wireless Sensor

Information Acquisition

Top Venues

Publications

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