Akira Fukuda

Masaki Fujigaya, Noriaki Sakamoto, Takao Koike, Takahiro Irita, Kohei Wakahara, Tsugio Matsuyama, Keiji Hasegawa, Toshiharu Saito, Akira Fukuda, Kaname Teranishi, Kazuki Fukuoka, Noriaki Maeda, Koji Nii, Takeshi Kataoka, Toshihiro Hattori: A 28nm High-κ metal-gate single-chip communications processor with 1.5GHz dual-core application processor and LTE/HSPA+-capable baseband processor. ISSCC 2013: 156-157

Yoriyuki Yamagata, Weiqiang Kong, Akira Fukuda, Nguyen Van Tang, Hitoshi Ohsaki, Kenji Taguchi: Formal semantics of extended hierarchical state transition matrix by CSP. ACM SIGSOFT Software Engineering Notes 37(4): 1-8 (2012)

Yutaka Arakawa, Yuki Sonoda, Shigeaki Tagashira, Akira Fukuda: WiFiTag: Direct Link from the Real World to Online Digital Contents. 3PGCIC 2012: 339-344

Leyuan Liu, Weiqiang Kong, Shijie Zhou, Zhiguang Qin, Akira Fukuda: Formal Verification of Communicating HSTM Designs. CIT 2012: 383-390

Yutaka Arakawa, Yuta Tanaka, Shigeaki Tagashira, Akira Fukuda: Local Cloud Storage: Temporal Local File Sharing with Previously Paired Wireless Memories and Cross-Layer Simultaneous Data Transmission Mechanism. CIT 2012: 640-646

Weiqiang Kong, Leyuan Liu, Yoriyuki Yamagata, Kenji Taguchi, Hitoshi Ohsaki, Akira Fukuda: On Accelerating SMT-based Bounded Model Checking of HSTM Designs. APSEC 2012: 614-623

Tatsuya Abe, Yutaka Arakawa, Shigeaki Tagashira, Akira Fukuda: A Mobile Sink-initiated Proactive Routing Protocol for Deadline-Aware Data Aggregation Method in Energy-Efficient Wireless Sensor Networks. ARCS Workshops 2012: 51-62

Tomohiro Iwamoto, Shigeaki Tagashira, Yutaka Arakawa, Akira Fukuda: A Robust Generation Technique of Common Information Based on Characteristic of Multipath Fading Channel by Shaking Handheld Devices. ARCS Workshops 2012: 99-110

Shota Ishikawa, Yutaka Arakawa, Shigeaki Tagashira, Akira Fukuda: Hot Topic Detection in Local Areas Using Twitter and Wikipedia. ARCS Workshops 2012: 165-174

Eiji Aoki, Ken Kudo, Akira Fukuda, Tsuneo Nakanishi, Shigeaki Tagashira, Takashi Okayasu, Naoyuki Tsuruda, Satoru Yamasaki, Yasuhito Imura: Study on Knowledge Management Platform about the Field of Agricultural Infomatization. CISIS 2012: 705-710

Rina Nagano, Hiroki Nakamura, Yasutaka Kamei, Bram Adams, Kenji Hisazumi, Naoyasu Ubayashi, Akira Fukuda: Using the GPGPU for scaling up Mining Software Repositories. ICSE 2012: 1435-1436

Hiroki Furusho, Kenji Hisazumi, Takeshi Kamiyama, Hiroshi Inamura, Tsuneo Nakanishi, Akira Fukuda: Poster: an energy profiler for android applications used in the real world. MobiSys 2012: 517-518

Shigeaki Tagashira, Yuhei Kanekiyo, Yutaka Arakawa, Teruaki Kitasuka, Akira Fukuda: Collaborative Filtering for Position Estimation Error Correction in WLAN Positioning Systems. IEICE Transactions 94-B(3): 649-657 (2011)

Weiqiang Kong, Tomohiro Shiraishi, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda: An SMT-Based Approach to Bounded Model Checking of Designs in State Transition Matrix. IEICE Transactions 94-D(5): 946-957 (2011)

Shigeaki Tagashira, Yutaka Kaminishi, Yutaka Arakawa, Teruaki Kitasuka, Akira Fukuda: Probabilistic Broadcast-Based Cache Invalidation Scheme for Location Dependent Data in Mobile Environments. IEICE Transactions 94-D(8): 1590-1601 (2011)

Weiqiang Kong, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Kenji Hisazumi, Akira Fukuda: Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking. APSEC 2011: 81-88

Weiqiang Kong, Noriyuki Katahira, Wanpeng Qian, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda: An SMT-Based Approach to Bounded Model Checking of Designs in Communicating State Transition Matrix. ICCSA Workshops 2011: 159-167

Tadashi Nagano, Yoshifumi Sakamoto, Satoshi Haraguchi, Hironori Takeuchi, Shiho Ogino, Akira Fukuda: Critiquing Rules and Quality Quantification of Development-Related Documents. IWSM/Mensura 2011: 30-37

Yutaka Arakawa, Shigeaki Tagashira, Akira Fukuda: Spatial Statistics with Three-Tier Breadth First Search for Analyzing Social Geocontents. KES (4) 2011: 252-260

Hiroaki Ota, Takeshi Hashimoto, Yohei Nagakura, Shuhei Takamura, Akira Fukuda, Masamu Aniya, Nozomu Naito, Hiroyuki Enomoto, Shin Sugiyama, Pedro Skvarca: Application to glacier observation of high-precision three-dimensional position measurement using cameras. Humans and Computers 2010: 195-202

Weiqiang Kong, Tomohiro Shiraishi, Yuki Mizushima, Noriyuki Katahira, Akira Fukuda, Masahiko Watanabe: An SMT Approach to Bounded Model Checking of Design in State Transition Matrix. ICCSA Workshops 2010: 231-238

Yusuke Hattori, Go Hirakawa, Shuichi Ashihara, Tsuneo Nakanishi, Kenji Hisazumi, Akira Fukuda: Traceability Link for Product Line with RAS based Representation. Software Engineering Research and Practice 2010: 105-110

Tomohiro Shiraishi, Weiqiang Kong, Yuki Mizushima, Noriyuki Katahira, Michihiro Matsumoto, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda: Model Checking of Software Design in State Transition Matrix. Software Engineering Research and Practice 2010: 507-513

Takashi Horikawa, Akira Fukuda: A method for analysis and solution of scalability bottleneck in DBMS. SoICT 2010: 139-146

Takashi Iwasaki, Makoto Uchiba, Jun Otsuka, Koji Hachiya, Tsuneo Nakanishi, Kenji Hisazumi, Akira Fukuda: An Experience Report of Introducing Product Line Engineering across the Board. SPLC Workshops 2010: 255-258

Takeaki Koga, Shigeaki Tagashira, Teruaki Kitasuka, Tsuneo Nakanishi, Akira Fukuda: Multipoint Relay Selections with QoS Support in Link State Routing Protocol for Multi-Hop Wireless Networks. IEICE Transactions 92-A(9): 2218-2226 (2009)

Atsushi Noda, Teruaki Kitasuka, Shigeaki Tagashira, Tsuneo Nakanishi, Akira Fukuda: Name Resolution Middleware Using Relative Positional Relationship to Support Wireless Visible Area Communication. AINA 2009: 443-450

Noriaki Sakamoto, Mitsuaki Fukase, Tsunenori Mine, Shigeru Kusakabe, Tsuneo Nakanishi, Yoichi Omori, Mohammad Mesbah Uddin, Keijiro Araki, Akira Fukuda, Hiroto Yasuura, Teruaki Kitasuka: Large Scale Business-academia Collaboration in Master Education Course. CSEDU (2) 2009: 159-166

Takeaki Koga, Shigeaki Tagashira, Teruaki Kitasuka, Tsuneo Nakanishi, Akira Fukuda: Highly efficient multipoint relay selections in link state QoS routing protocol for multi-hop wireless networks. WOWMOM 2009: 1-9

Kenya Sato, Takahiro Koita, Akira Fukuda: Broadcasted Location-Aware Data Cache for Vehicular Application. EURASIP J. Emb. Sys. 2007 (2007)

Masahiko Watanabe, Akira Fukuda, Michihiro Matsumoto, Hirokazu Yatsu, Ichiro Hosotani, Shigeyuki Kido: A Resource Scheduling Design Method with Model Checking for Distributed Embedded Software. QSIC 2007: 137-142

Bo Li, Roberto Battiti, Akira Fukuda: Performance analysis of a service-dependent handoff scheme in voice/data integrated cellular mobile systems. Computer Networks 50(5): 707-730 (2006)

Kenya Sato, Akira Fukuda, Takahiro Koita, Yusuke Inoue: Heuristic Scheduling and Process Migration on the Grid. GCA 2006: 68-74

Teruaki Kitasuka, Kenji Hisazumi, Tsuneo Nakanishi, Akira Fukuda: Positioning Technique of Wireless LAN Terminals Using RSSI between Terminals. PSC 2005: 47-53

Teruaki Kitasuka, Kenji Hisazumi, Tsuneo Nakanishi, Akira Fukuda: WiPS: Location and Motion Sensing Technique of IEEE 802.11 Devices. ICITA (2) 2005: 346-349

Hideki Shimada, Teruaki Kitasuka, Akira Fukuda, Hideki Sunahara: Access Point Determination Method Considering Route Stability on the Hybrid Ad-hoc Network. ICWN 2005: 348-356

Hiroshi Mineno, Kazuo Hida, Miho Mizutani, Naoto Miyauchi, Kazuhiro Kusunoki, Akira Fukuda, Tadanori Mizuno: Position Estimation for Goods Tracking System Using Mobile Detectors. KES (1) 2005: 431-437

Yusuke Inoue, Takahiro Koita, Akira Fukuda: Heuristic Scheduling Schemes for a Genomic Application on the Grid. PDPTA 2005: 244-248

Noritaka Ishizumi, Keizo Saisho, Akira Fukuda: A design of flash memory file system for embedded systems. Systems and Computers in Japan 35(1): 91-100 (2004)

Tsuneo Nakanishi, Minoru Hatamoto, Michihiro Matsumoto, Susumu Yamazaki, Teruaki Kitasuka, Akira Fukuda: Product Line Based Component Unification and Exploiting Unified Components in FORM. APSEC 2004: 559-563

Yasuyo Kofune, Takahiro Koita, Akira Fukuda: Performance Evaluation of MPI-HMMER on the OBIGrid. PDPTA 2004: 476-480

Koya Imanishi, Kenji Hisazumi, Tsuneo Nakanishi, Teruaki Kitasuka, Akira Fukuda: Design of a Context-aware Message Exchange System in an Ad-hoc Network. PDPTA 2004: 1142-1146

Takahiro Koita, Yasuyo Kofune, Yusuke Inoue, Akira Fukuda: Implementation and Evaluation of Resource Allocation for a Genomic Application Program on the Grid. Applied Informatics 2003: 524-528

Koya Imanishi, Kenji Hisazumi, Tsuneo Nakanishi, Teruaki Kitasuka, Akira Fukuda: Design of a Context-Aware Email Delivery System. PDPTA 2003: 744-750

Hideki Shimada, Shigeaki Tagashira, Teruaki Kitasuka, Tsuneo Nakanishi, Akira Fukuda: Proposal of Wireless Peer-to-Peer System Using the Wireless Multi-Hop Network to Access Wireless Hot Spot. PDPTA 2003: 877-881

Kenji Hisazumi, Tsuneo Nakanishi, Teruaki Kitasuka, Akira Fukuda: A Context-Aware Middleware Mapping Processes and User-Context Subspaces. PDPTA 2003: 1591-1597

Hideki Shimada, Shigeaki Tagashira, Tsuneo Nakanishi, Akira Fukuda: Evaluation of a Location Management System for Wireless Communicating Mobile Computers. ICOIN (2) 2002: 154-164

Sadao Ikebe, Tsuneo Nakanishi, Akira Fukuda: Redundant Scheduling: An Algorithm for Scheduling Parameter Sweep Applications in Grid Environment. PDPTA 2002: 693-698

Takamichi Mizuhara, Tsuneo Nakanishi, Akira Fukuda: A Data-flow Genome Array Processor RING to Accelerate Homology Analysis. PDPTA 2002: 1193-1199

Satomi Kobayashi, Tsuneo Nakanishi, Akira Fukuda: A Power Aware Paging Scheme with Power Controlling Each Memory Bank. PDPTA 2002: 1912-1918

Kenji Hisazumi, Tsuneo Nakanishi, Teruaki Kitasuka, Akira Fukuda: Design and implementation of the Lambda mu-kernel based operating system for embedded systems. ACM SIGOPS European Workshop 2002: 178-181

Kai Liu, Jiandong Li, Pengyu Huang, Akira Fukuda: Adaptive acquisition multiple access protocol in wireless multihop mobile ad hoc networks. VTC Spring 2002: 60-64

Shigeaki Tagashira, Akira Fukuda, Keizo Saisho: Efficiently Announcing Multimedia Information from Mobile Computers with the WOR Toolkit. ISADS 2001: 227-230

Shigeaki Tagashira, Keizo Saisho, Akira Fukuda: Design and Implementation of an Information Announcement Toolkit for Mobile Computers. Mobile Data Management 2001: 65-76

Kenya Sato, Soichi Hasegawa, Shigeaki Tagashira, Keizo Saisho, Akira Fukuda: Performance Modeling of Layered-Data Delivery for Mobile Users through Broadcast/On-Demand Hybrid Communication. Mobile Data Management 2001: 284-286

Takahiro Koita, Tetsuro Katayama, Keizo Saisho, Akira Fukuda: Memory Conscious Scheduling for Cluster-based NUMA Multiprocessors. The Journal of Supercomputing 16(3): 217-235 (2000)

Takahiro Koita, Tetsuro Katayama, Keizo Saisho, Akira Fukuda: Performance Evaluation of Home-Cluster Based Scheduling for NUMA Multiprocessors. PDPTA 2000

Keizo Saisho, Shuichi Kitaguchiy, Shinji Matsuuraz, Akira Fukuda: Design and Implementation of a Flexible Scheduling Mechanism on User-Level Thread Library PPL. PDPTA 2000

Tetsuya Saito, Tsuneo Nakanishi, Yoshitoshi Kunieda, Akira Fukuda: Genetic Algorithm Based Data and Program Partitioning. PDPTA 2000

Tetsuya Saito, Tsuneo Nakanishi, Yoshitoshi Kunieda, Akira Fukuda: Genetic Algorithm Based Data and Program Partitioning. PDPTA 2000

Tsuneo Nakanishi, Kazuki Joe, Constantine D. Polychronopoulos, Keijiro Araki, Akira Fukuda: Estimating minimum parallel execution time of loops with loop-carried dependencies. Systems and Computers in Japan 30(10): 57-68 (1999)

Yoichi Omori, Akira Fukuda, Kazuki Joe: An Object-Oriented Framework for Loop Parallelization. The Journal of Supercomputing 13(1): 57-69 (1999)

Tsuneo Nakanishi, Kazuki Joe, Constantine D. Polychronopoulos, Akira Fukuda: The Modulo Interval: A Simple and Practical Representation for Program Analysis. IEEE PACT 1999: 91-96

Junichi Funasaka, Keizo Saisho, Akira Fukuda: Evaluation of Caching Algorithm for NetNews. Applied Informatics 1999: 175-182

Tetsuro Katayama, Keizo Saisho, Akira Fukuda: Generating a Device Driver with a Formal Specification Language. Applied Informatics 1999: 638-643

Kazuhiko Kashiwagi, Keizo Saisho, Akira Fukuda: A Dynamically Reconfigurable Operating System Server with Protection. Applied Informatics 1999: 644-653

Junichi Funasaka, Keizo Saisho, Akira Fukuda: Automatic Selecting of Required NetNews Articles. APSEC 1999: 88-

Tetsuro Katayama, Keizo Saisho, Akira Fukuda: Proposal of a Support System for Device Driver Generation. APSEC 1999: 494-

Shigeaki Tagashira, Fumitake Inada, Keizo Saisho, Akira Fukuda: Design and Evaluation of an Information Announcement Mechanism for Mobile Computers. MDA 1999: 135-145

Takahiro Koita, Tetsuro Katayama, Keizo Saisho, Akira Fukuda: Home-cluster Based Processor Scheduling with Page Placement for NUMA Multiprocessors. PDPTA 1999: 539-545

Shigeaki Tagashira, O. Yasuda, Keizo Saisho, Akira Fukuda: A Cache System of Location Dependent Data for a Mobile Computer with Mobility Specification. PDPTA 1999: 970-976

Kenya Sato, Keizo Saisho, Akira Fukuda: A Cache System of Location Dependent Data for a Mobile Computer with Mobility Specification. PDPTA 1999: 977-983

Constantine D. Polychronopoulos, Kazuki Joe, Akira Fukuda, Shinji Tomita (Eds.): High Performance Computing, Second International Symposium, ISHPC'99, Kyoto, Japan, May 26-28, 1999, Proceedings. Lecture Notes in Computer Science 1615, Springer 1999, isbn 3-540-65969-2

Chikara Sakamoto, Teruki Miyazaki, Masayuki Kuwayama, Keizo Saisho, Akira Fukuda: Design and implementation of a Parallel Pthread Library (PPL) with parallelism and portability. Systems and Computers in Japan 29(2): 28-35 (1998)

Yukio Ohishi, Keizo Saisho, Akira Fukuda: Performance evaluation of Two-level Scheduling algorithms for NUMA multiprocessors. Systems and Computers in Japan 29(2): 36-46 (1998)

Shigeaki Tagashira, Keizo Saisho, Fumitake Inada, Akira Fukuda: A Copy Update Mechanism for a Mobile Information Announcement System.- Transmitting Non-storage Type Resources with Redundancy -. ER Workshops 1998: 266-277

Shigeaki Tagashira, Fumitake Inada, Keizo Saisho, Akira Fukuda: Design and Implementation of a Copy Update Mechanism on a Mobile Information Announcement System. ICPADS 1998: 172-

Noriki Ogura, Keizo Saisho, Akira Fukuda: Design of Protocols in Timed CSP for Highly Reliable and Available Client-Server System. APSEC 1997: 495-

Yoichi Omori, Kazuki Joe, Akira Fukuda: A Parallelizing Compiler by Object Oriented Design. COMPSAC 1997: 228-231

Yoichi Omori, Kazuki Joe, Akira Fukuda: An Object-Oriented Framework for Loop Parallelization. ISHPC 1997: 351-360

Keizo Saisho, Takeshi Sano, Keniti Iwata, Akira Fukuda: The Architecture of OCMP and its Evaluation. ISPAN 1997: 71-77

Kazuhiko Kashiwagi, Keizo Saisho, Akira Fukuda: Design and Implementation of Dynamically Reconstructing System Software. APSEC 1996: 278-287

Kazuki Joe, Akira Fukuda: Applying the Semi-Markov Memory and Cache Coherence Interference Model to an Updating Based Cache Coherence Protocol. Euro-Par, Vol. II 1996: 706-713

Tsuneo Nakanishi, Kazuki Joe, Constantine D. Polychronopoulos, Keijiro Araki, Akira Fukuda: Estimating Parallel Execution Time of Loops with Loop-Carried Dependencies. ICPP, Vol. 3 1996: 61-69

Tsuneo Nakanishi, Kazuki Joe, Constantine D. Polychronopoulos, Keijiro Araki, Akira Fukuda: Estimating Minimum Execution Time of Perfect Loop Nests with Loop-Carried Dependences. LCPC 1996: 597-599

Takahiro Koita, Kazuki Joe, Akira Fukuda: A Data Block Mapping Method to Reduce Cache Coherence Overhead. PDPTA 1996: 691-701

Tsuneo Nakanishi, Kazuki Joe, Hideki Saito, Akira Fukuda, Keijiro Araki: The CDP² Partitioning Algorithm a Combined End Program Partitioning Algorithm on the Data Partitioning Graph. ICPP (2) 1995: 177-181

Tsuneo Nakanishi, Kazuki Joe, Akira Fukuda, Keijiro Araki, Hideki Saito, Constantine D. Polychronopoulos: The Data Partitioning Graph: Extending Data and Control Dependencies for Data Partitioning. LCPC 1994: 170-185

Akira Fukuda: Optimal number of processors in parallel processing of a single doacross loop for different execution times of iterations. Systems and Computers in Japan 24(8): 25-34 (1993)

Kazuaki Murakami, Shin-ichiro Mori, Akira Fukuda, Toshinori Sueyoshi, Shinji Tomita: The Kyushu University reconfigurable parallel processor: design of memory and intercommunicaiton architectures. ICS 1989: 351-360

Kazuaki Murakami, Shin-ichiro Mori, Akira Fukuda, Toshinori Sueyoshi, Shinji Tomita: The Kyushu University Reconfigurable Parallel Processor - Design Philosophy and Architecture. IFIP Congress 1989: 995-1000

Akira Fukuda: Equilibrium Point Analysis of Memory Interference in Multiprocessor Systems. IEEE Trans. Computers 37(5): 585-593 (1988)

Jun-ichiro Yokoyama, Akira Fukuda: Prescription Order Service in Kanto Teishin Hospital Information System. IFIP Congress 1980: 809-813