Junji Kitamichi

According to our database, Junji Kitamichi authored at least 22 papers between 1994 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Proposing a Highly Reliable Real-Time Operating System for a Processor with a Fault Self-Detecting Mechanism.

Hiroki Saito, Yoichi Tomioka, Junji Kitamichi

Proceedings of the 13th International Conference on Embedded Software and Systems, 2016

2015

On-demand Customizable Wireless Sensor Network.

Toshiaki Miyazaki, Peng Li, Song Guo, Junji Kitamichi, Takafumi Hayashi, Tsuneo Tsukahara

Proceedings of the 6th International Conference on Ambient Systems, 2015

2014

DASN: demand-addressable sensor network for active information acquisition.

Toshiaki Miyazaki, Hiroki Iwata, Koji Kobayashi, Shoichi Yamaguchi, Deze Zeng, Song Guo, Junji Kitamichi, Takafumi Hayashi, Tsuneo Tsukahara

Proceedings of the 8th International Conference on Ubiquitous Information Management and Communication, 2014

A software defined wireless sensor network.

Toshiaki Miyazaki, Shoichi Yamaguchi, Koji Kobayashi, Junji Kitamichi, Song Guo, Tsuneo Tsukahara, Takafumi Hayashi

Proceedings of the International Conference on Computing, Networking and Communications, 2014

2013

Evolution of Software-Defined Sensor Networks.

Deze Zeng, Toshiaki Miyazaki, Song Guo, Tsuneo Tsukahara, Junji Kitamichi, Takafumi Hayashi

Proceedings of the IEEE 9th International Conference on Mobile Ad-hoc and Sensor Networks, 2013

Programmable wireless sensor node featuring low-power FPGA and microcontroller.

Shoichi Yamaguchi, Toshiaki Miyazaki, Junji Kitamichi, Song Guo, Tsuneo Tsukahara, Takafumi Hayashi

Proceedings of the International Joint Conference on Awareness Science and Technology & Ubi-Media Computing, 2013

2008

Dynamic Module Library for System Level Modeling and Simulation of Dynamically Reconfigurable Systems.

Kenji Asano, Junji Kitamichi, Kenichi Kuroda

J. Comput., 2008

A Modeling of a Dynamically Reconfigurable Processor Using SystemC.

Junji Kitamichi, Koji Ueda, Kenichi Kuroda

Proceedings of the 21st International Conference on VLSI Design (VLSI Design 2008), 2008

Optimizing Two-Dimensional Continuous Dynamic Programming for Cell Broadband Engine Processors.

Takahiro Machino, Shin-ya Iwazaki, Yuichi Okuyama, Junji Kitamichi, Kenichi Kuroda, Ryuichi Oka

Proceedings of the Japan-China Joint Workshop on Frontier of Computer Science and Technology, 2008

2007

Proposal of Dynamic Module Library for System Level Modeling and Simulation of Dynamically Reconfigurable Systems.

Kenji Asano, Junji Kitamichi, Kenichi Kuroda

Proceedings of the 20th International Conference on VLSI Design (VLSI Design 2007), 2007

A Hardware Algorithm for the Minimum p-Quasi Clique Cover Problem.

Shuichi Watanabe, Junji Kitamichi, Kenichi Kuroda

Proceedings of the FPL 2007, 2007

2005

A Master-Slave Adaptive Load-Distribution Processor Model on PCA.

Toshiyuki Ito, Junji Kitamichi, Kenichi Kuroda, Yuichi Okuyama

Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

2001

A Conformance Testing Method for Communication Protocols Modeled as Concurrent DFSMs.

Atsushi Fukada, Akio Nakata, Junji Kitamichi, Teruo Higashino, Ana R. Cavalli

Proceedings of the 15th International Conference on Information Networking, 2001

1999

A gradual neural network approach for FPGA segmented channel routing problems.

Nobuo Funabiki, Makiko Yoda, Junji Kitamichi, Seishi Nishikawa

IEEE Trans. Syst. Man Cybern. Part B, 1999

Formal Design Verification for Correctness of Pipelined Microprocessors with Out-of-order Instruction Execution.

Takashi Takenaka, Junji Kitamichi, Teruo Higashino, Kenichi Taniguchi

Proceedings of the 1999 Conference on Asia South Pacific Design Automation, 1999

Formal Verification Method for Combinatorial Circuits at High Level Design.

Junji Kitamichi, Hiroyuki Kageyama, Nobuo Funabiki

Proceedings of the 1999 Conference on Asia South Pacific Design Automation, 1999

1998

An evolutionary neural network approach for module orientation problems.

Nobuo Funabiki, Junji Kitamichi, Seishi Nishikawa

IEEE Trans. Syst. Man Cybern. Part B, 1998

A gradual neural-network algorithm for jointly time-slot/code assignment problems in packet radio networks.

Nobuo Funabiki, Junji Kitamichi

IEEE Trans. Neural Networks, 1998

A three-stage greedy and neural-network approach for the subgraph isomorphism problem.

Nobuo Funabiki, Junji Kitamichi

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

1997

An evolutionary neural network algorithm for max cut problems.

Nobuo Funabiki, Junji Kitamichi, Seishi Nishikawa

Proceedings of International Conference on Neural Networks (ICNN'97), 1997

1994

Automatic Correctness Proof of the Implementation of Synchronous Sequential Circuits Using an Algebraic Approach.

Junji Kitamichi, Sumio Morioka, Teruo Higashino, Kenichi Taniguchi

Proceedings of the Theorem Provers in Circuit Design, 1994

Hardware synthesis from a restricted class of LOTOS expressions.

Teruo Higashino, Keiichi Yasumoto, Junji Kitamichi, Kenichi Taniguchi

Proceedings of the Protocol Specification, 1994