Personal Identification Methods Using Footsteps of One Step. - Hori, Yuki; Ando, Takahiro; Fukuda, Akira (2020)

Monitoring System for Optimization based on Analyzing Android Application Launching Behavior. - Nishinaka, Kazushi; Sonoyama, Atsuhi; Kamiyama, Takeshi; Fukuda, Akira; Oguchi, Masato; Yamaguchi, Saneyasu (2020)

Observation of Power Consumption of Each Application in an Accelerated Android OS. - Onozato, Ryosuke; Kamiyama, Takeshi; Fukuda, Akira; Oguchi, Masato; Yamaguchi, Saneyasu (2020)

Java Android Application Performance Improvement by Kotlin DEX Bytecode Analysis without JIT Compiler. - Shibata, Ryoichi; Sonoyama, Atsuya; Oguchi, Masato; Kamiyama, Takeshi; Fukuda, Akira; Yamaguchi, Saneyasu (2020)

Performance Improvement of Kotlin Program in Consideration of JIT Compiler Optimization. - Sonoyama, Atsuya; Oguchi, Masato; Kamiyama, Takeshi; Fukuda, Akira; Yamaguchi, Saneyasu (2020)

A Verification Method for Security and Safety of IoT Applications Through DSM Language and Lustre. - Tang, Wentao; Feng, Hao; Hisazumi, Kenji; Fukuda, Akira (2020)

An Inter-Organizational Software Architecture for Smart Mobility. - Nakanishi, Tsuneo; Arakawa, Yutaka; Ando, Takahiro; Ishida, Shigemi; Hisazumi, Kenji; Mine, Tsunenori; Fukuda, Akira (2020)

Initial Design of Two-Stage Acoustic Vehicle Detection System for High Traffic Roads. - Uchino, Masato; Dawton, Billy; Hori, Yuki; Ishida, Shigemi; Tagashira, Shigeaki; Arakawa, Yutaka; Fukuda, Akira (2020)

A Multi-Strategy Combination Framework for Android Malware Detection Based on Various Features. - Wang, Zhen; Han, Xiaoning; Kong, Weiqiang; Piao, Yong; Hou, Gang; Watanabe, Masahiko; Fukuda, Akira (2020)

Design Of Ble 2-Step Separate Channel Fingerprinting. - Yamamoto, Takahiro; Ishida, Shigemi; Kimoto, Ryota; Tagashira, Shigeaki; Fukuda, Akira (2020)

On Clustering Algorithms: Applications in Word-Embedding Documents. - Mendonça, Israel; Trouvé, Antoine; Fukuda, Akira; Murakami, Kazuaki J. (J. Comput., 2019)

Estimation of Power Consumption of Each Application Considering Software Dependency in Android. - Kurihara, Shun; Fukuda, Shoki; Kamiyama, Takeshi; Fukuda, Akira; Oguchi, Masato; Yamaguchi, Saneyasu (J. Inf. Process., 2019)

BET Estimation on Power Saving by Intermittent Disabling Network Interface on Android. - Murakami, Tsubasa; Kamiyama, Takeshi; Fukuda, Akira; Oguchi, Masato; Yamaguchi, Saneyasu (J. Inf. Process., 2019)

Danger-Pose Detection System Using Commodity Wi-Fi for Bathroom Monitoring. - Zhang, Zizheng; Ishida, Shigemi; Tagashira, Shigeaki; Fukuda, Akira (Sensors, 2019)

MuCHLoc: Indoor ZigBee Localization System Utilizing Inter-Channel Characteristics. - Kimoto, Ryota; Ishida, Shigemi; Yamamoto, Takahiro; Tagashira, Shigeaki; Fukuda, Akira (Sensors, 2019)

Multilevel Permission Extraction in Android Applications for Malware Detection. - Wang, Zhen; Li, Kai; Hu, Yan; Fukuda, Akira; Kong, Weiqiang (2019)

From Local to Global Semantic Clone Detection. - Yuan, Yuan; Kong, Weiqiang; Hou, Gang; Hu, Yan; Watanabe, Masahiko; Fukuda, Akira (2019)

Interpolation-Based Multi-core Bounded Model Checking of HSTM Designs. - Liu, Kun; Zhang, Xiaozhen; Kong, Weiqiang; Hou, Gang; Watanabe, Masahiko; Fukuda, Akira (2019)

A Framework of Longitudinal Study to Understand Determinants of Actual Use of the Portable Health Clinic System. - Sampa, Masuda Begum; Hossain, Md. Nazmul; Hoque, Md. Rakibul; Maruf, Rafiqul Islam; Yokota, Fumihiko; Nishikitani, Mariko; Fukuda, Akira; Ahmed, Ashir (2019)

Reducing TCP Errors in Accelerated Application Test in Android OS. - Onozato, Ryosuke; Fukuda, Akira; Kamiyama, Takeshi; Oguchi, Masato; Yamaguchi, Saneyasu (2019)

User's Height Estimation based on Acceleration from Smartphone Sensors. - Sato, Yusuke; Yamaguchi, Saneyasu; Kamiyama, Takeshi; Fukuda, Akira; Oguchi, Masato (2019)

DNN-based Outdoor NLOS Human Detection Using IEEE 802.11ac WLAN Signal. - Takahashi, Ryo; Ishida, Shigemi; Fukuda, Akira; Murakami, Tomoki; Otsuki, Shinya (2019)

Development of the Food Culture Database System using Kataribe Cloud to Support Open Science. - Hirakawa, Go; Ikeda, Daisuke; Hisazumi, Kenji; Fukuda, Akira (2019)

Design of Acoustic Vehicle Detector with Steady-Noise Suppression. - Ishida, Shigemi; Uchino, Masato; Li, Chengyu; Tagashira, Shigeaki; Fukuda, Akira (2019)

DFEAM: Dynamic Feature-oriented Energy-aware Adaptive Modeling. - Tanaka, Fumiya; Hisazumi, Kenji; Fukuda, Akira (2019)

Initial Design of Acoustic Vehicle Detector with Wind Noise Suppressor. - Uchino, Masato; Ishida, Shigemi; Kubo, Kazuo; Tagashira, Shigeaki; Fukuda, Akira (2019)

Initial Attempt on Outdoor Human Detection using IEEE 802.11ac WLAN Signal. - Miyazaki, Masahiko; Ishida, Shigemi; Fukuda, Akira; Murakami, Tomoki; Otsuki, Shinya (2019)

Steering Interpolants Generation with Efficient Interpolation Abstraction Exploration. - Zhang, Xiaozhen; Kong, Weiqiang; Jiang, Jianguo; Hou, Gang; Fukuda, Akira (2019)

Semantic image retrieval for complex queries using a knowledge parser. - Chen, Hua; Trouvé, Antoine; Murakami, Kazuaki J.; Fukuda, Akira (Multim. Tools Appl., 2018)

Asynchronous multi-process timed automata. - Li, Guoqiang; Liu, Li; Fukuda, Akira (Softw. Qual. J., 2018)

Analysis of Security in Blockchain: Case Study in 51%-Attack Detecting. - Ye, Congcong; Li, Guoqiang; Cai, Hongming; Gu, Yonggen; Fukuda, Akira (2018)

Verification Model Translation Method toward Behavior Model for CAST. - Ando, Takahiro; Wang, Bo; Hisazumi, Kenji; Kong, Weiqiang; Fukuda, Akira; Michiura, Yasutaka; Sakemi, Keita; Matsumoto, Michihiro (2018)

Automatic Test Case Generation Method for Large Scale Communication Node Software. - Kikuma, Kazuhiro; Yamada, Takeshi; Ueda, Kiyoshi; Fukuda, Akira (2018)

Exploring a Topical Representation of Documents for Recommendation Systems. - Mendonça, Israel; Trouvé, Antoine; Fukuda, Akira; Murakami, Kazuaki J. (2018)

Evaluation of MultiZigLoc: Indoor ZigBee Localization System Using Inter-Channel Characteristics. - Kimoto, Ryota; Yamamoto, Takahiro; Ishida, Shigemi; Tagashira, Shigeaki; Fukuda, Akira (2018)

Toward Sustainable Smart Mobility Information Infrastructure Platform - Current Status -. - Fukuda, Akira; Nakanishi, Tsuneo; Hisazumi, Kenji; Kaneko, Kunihiko; Tagashira, Shigeaki; Mine, Tsunenori; Arakawa, Yutaka; Ishida, Shigemi; Ando, Takahiro; Ashihara, Shuichi; Ura, Masakatsu; Nakamura, Yoshimichi; et al. (2018)

Analysis of Interrupt Behavior Based on Probabilistic Model Checking. - Hou, Gang; Kong, Weiqiang; Zhou, Kuanjiu; Wang, Jie; Cao, Xun; Fukuda, Akira (2018)

Overview and Application Examples of Agent-Based Unified Simulation Environment. - Ando, Takahiro; Fujii, Ryo; Hisazumi, Kenji; Mine, Tsunenori; Nakanishi, Tsuneo; Fukuda, Akira (2018)

A Process of Uncertainty Handling Method to Smart Mobility Application Development. - Inoki, Hiromasa; Hisazumi, Kenji; Ando, Takahiro; Fukuda, Akira; Nakanishi, Tsuneo (2018)

ItoCamLife: A Platform of Sharing and Recommending Information Considering User Contexts to Facilitate Smart Mobility. - Mine, Tsunenori; Mise, Shiro; Nakamura, Hiroyuki; Hiraoki, Takuya; Koga, Shiori; Ando, Takahiro; Hisazumi, Kenji; Nakanishi, Tsuneo; Fukuda, Akira (2018)

Software Engineering Practices for the Smart Mobility Market. - Nakanishi, Tsuneo; Hisazumi, Kenji; Ando, Takahiro; Mine, Tsunenori; Fukuda, Akira (2018)

Evaluation of BLE Separate Channel Fingerprinting in Practical Environment. - Ishida, Shigemi; Takaki, Sou; Yamamoto, Takahiro; Tagashira, Shigeaki; Fukuda, Akira (2018)

A Survey of Formal Techniques for Hardware/Software Co-verification. - Liu, Kun; Kong, Weiqiang; Hou, Gang; Fukuda, Akira (2018)

SAVeD: Acoustic Vehicle Detector with Speed Estimation capable of Sequential Vehicle Detection. - Ishida, Shigemi; Kajimura, Jumpei; Uchino, Masato; Tagashira, Shigeaki; Fukuda, Akira (2018)

Teaching software product lines as a paradigm to engineers: an experience report in education programs and seminars for senior engineers in Japan. - Nakanishi, Tsuneo; Hisazumi, Kenji; Fukuda, Akira (2018)

An intelligent annotation-based image retrieval system based on RDF descriptions. - Chen, Hua; Trouvé, Antoine; Murakami, Kazuaki J.; Fukuda, Akira (Comput. Electr. Eng., 2017)

Using Fault Injection for Programming Task Generation. - Habibi, Baso; Nakanishi, Tsuneo; Hisazumi, Kenji; Furusho, Hiroki; Fukuda, Akira (2017)

Accuracy improvement in sensor localization system utilizing heterogeneous wireless technologies. - Yamamoto, Takahiro; Ishida, Shigemi; Izumi, Kousaku; Tagashira, Shigeaki; Fukuda, Akira (2017)

Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC. - Kong, Weiqiang; Hou, Gang; Hu, Xiangpei; Ando, Takahiro; Hisazumi, Kenji; Fukuda, Akira (J. Inf. Secur. Appl., 2016)

A Footprint Matching Method for Walking Users in Privacy-Aware User Tracking System Using Pressure Sensor Sheets. - Wada, Ryoya; Tagashira, Shigeaki; Ogino, Masaki; Ishida, Shigemi; Fukuda, Akira (2016)

Operation Phase Metrics for Smart Mobility Platform. - Hisazumi, Kenji; Nakanishi, Tsuneo; Ishibashi, Shota; Hirakawa, Go; Mine, Tsunenori; Ando, Takahiro; Furusho, Hiroki; Fukuda, Akira (2016)

ZipPath: A Simple-But-Useful Path Finder for HSTM Designs in ZIPC. - Kong, Weiqiang; Hou, Gang; Hu, Xiangpei; Arimoto, Yasuhito; Watanabe, Masahiko; Ando, Takahiro; Hisazumi, Kenji; Fukuda, Akira (2016)

Design of WiFi-AP operating channel estimation scheme for sensor node. - Ishida, Shigemi; Kunihiro, Yosuke; Izumi, Kousaku; Tagashira, Shigeaki; Fukuda, Akira (2016)

Towards Sustainable Information Infrastructure Platform for Smart Mobility - Project Overview. - Fukuda, Akira; Hisazumi, Kenji; Ishida, Shigemi; Mine, Tsunenori; Nakanishi, Tsuneo; Furusho, Hiroki; Tagashira, Shigeaki; Arakawa, Yutaka; Kaneko, Kunihiko; Kong, Weiqiang (2016)

Proposal of Separate Channel Fingerprinting Using Bluetooth Low Energy. - Ishida, Shigemi; Takashima, Yoko; Tagashira, Shigeaki; Fukuda, Akira (2016)

Establishing Traceability between Requirements, Design and Operation Information in Lifecycle-Oriented Architecture. - Ishibashi, Shota; Hisazumi, Kenji; Nakanishi, Tsuneo; Fukuda, Akira (2016)

A Privacy-Aware User Tracking System Using Footprint Data Measured across Multiple Pressure Sensor Sheets. - Wada, Ryoya; Tagashira, Shigeaki; Ogino, Masaki; Ishida, Shigemi; Fukuda, Akira (2016)

Dynamic SPL and Derivative Development with Uncertainty Management for DevOps. - Nakanishi, Tsuneo; Furusho, Hiroki; Hisazumi, Kenji; Fukuda, Akira (2016)

Design of Distributed Calculation Scheme Using Network Address Translation for Ad-hoc Wireless Positioning Network. - Kajimura, Jumpei; Ishida, Shigemi; Tagashira, Shigeaki; Fukuda, Akira (2016)

Smartphone Usage Analysis Based on Actual-Use Survey. - Kamiyama, Takeshi; Hisazumi, Kenji; Inamura, Hiroshi; Konishi, Teppei; Ohta, Ken; Fukuda, Akira (2016)

Providing safe and affordable transportation to reduce female students dropout: A case study on college girls in rural Bangladesh. - Abedin, Nuren; Kamau, Jecinta; Kitaoka, Hironobu; Okajima, Hiroshi; Okada, Masaharu; Fukuda, Akira; Ahmed, Ashir (2016)

Introducing the case grammar concept to object-oriented movie context description. - Hazriani; Nakanishi, Tsuneo; Fukuda, Akira (2016)

Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration. - Kong, Weiqiang; Liu, Leyuan; Ando, Takahiro; Yatsu, Hirokazu; Hisazumi, Kenji; Fukuda, Akira (Comput. J., 2015)

On-demand Indoor Location-Based Service Using Ad-hoc Wireless Positioning Network. - Ishida, Shigemi; Tagashira, Shigeaki; Arakawa, Yutaka; Fukuda, Akira (2015)

AP-assisted CTS-blocking for WiFi-ZigBee Coexistence. - Ishida, Shigemi; Tagashira, Shigeaki; Fukuda, Akira (2015)

Design of WiFi AP-RSS Monitoring System Using Sensor Nodes. - Izumi, Kousaku; Ishida, Shigemi; Tagashira, Shigeaki; Fukuda, Akira (2015)

WiFi AP-RSS Monitoring Using Sensor Nodes toward Anchor-Free Sensor Localization. - Ishida, Shigemi; Izumi, Kousaku; Tagashira, Shigeaki; Fukuda, Akira (2015)

A formal semantics of extended hierarchical state transition matrices using CSP#. - Yamagata, Yoriyuki; Kong, Weiqiang; Fukuda, Akira; Tang, Nguyen Van; Ohsaki, Hitoshi; Taguchi, Kenji (Formal Aspects Comput., 2014)

Translation rules of SysML state machine diagrams into CSP# toward formal model checking. - Ando, Takahiro; Yatsu, Hirokazu; Kong, Weiqiang; Hisazumi, Kenji; Fukuda, Akira (Int. J. Web Inf. Syst., 2014)

Implementation of WiFi/Bluetooth-based Smart Narrow Field Communication. - Arakawa, Yutaka; Sonoda, Yuki; Tomoshige, Koki; Tagashira, Shigeaki; Fukuda, Akira (2014)

Movie Based Context-Aware Language Learning: Its Concept and System. - Hazriani; Nakanishi, Tsuneo; Hisazumi, Kenji; Fukuda, Akira (2014)

Implementation of On-Demand Indoor Location-Based Service Using Ad Hoc Wireless Positioning Network. - Ishida, Shigemi; Tomishige, Koki; Izumi, Akira; Tagashira, Shigeaki; Arakawa, Yutaka; Fukuda, Akira (2014)

Energy-efficient Data Collection Method with Multiple Deadlines for Wireless Sensor Networks. - Abe, Tatsuya; Arakawa, Yutaka; Tagashira, Shigeaki; Fukuda, Akira (Inf. Media Technol., 2013)

Energy-efficient Data Collection Method with Multiple Deadlines for Wireless Sensor Networks. - Abe, Tatsuya; Arakawa, Yutaka; Tagashira, Shigeaki; Fukuda, Akira (J. Inf. Process., 2013)

Power-Management Features of R-Mobile U2, an Integrated Application Processor and Baseband Processor. - Fukuoka, Kazuki; Maeda, Noriaki; Nii, Koji; Fujigaya, Masaki; Sakamoto, Noriaki; Koike, Takao; Irita, Takahiro; Wakahara, Kohei; Matsuyama, Tsugio; Hasegawa, Keiji; Saito, Toshiharu; Fukuda, Akira; et al. (IEEE Micro, 2013)

Proposal and Implementation of Encounter Data Transmission with Ultrasonic Sensor-Based Active Wakeup Mechanism for Energy Efficient Sparse Wireless Sensor Network. - Nakano, Tatsuhiko; Arakawa, Yutaka; Tagashira, Shigeaki; Fukuda, Akira; Dhaou, Riadh (2013)

Efficient Survey Database Construction Using Location Fingerprinting Interpolation. - Kubota, Ryosuke; Tagashira, Shigeaki; Arakawa, Yutaka; Kitasuka, Teruaki; Fukuda, Akira (2013)

A Multilateration-based Localization Scheme for Adhoc Wireless Positioning Networks Used in Information-oriented Construction. - Miwa, Naoki; Tagashira, Shigeaki; Matsuda, Hiroaki; Tsutsui, Takanori; Arakawa, Yutaka; Fukuda, Akira (2013)

Harnessing SMT-Based Bounded Model Checking through Stateless Explicit-State Exploration. - Kong, Weiqiang; Liu, Leyuan; Ando, Takahiro; Yatsu, Hirokazu; Hisazumi, Kenji; Fukuda, Akira (2013)

Formalization and Model Checking of SysML State Machine Diagrams by CSP#. - Ando, Takahiro; Yatsu, Hirokazu; Kong, Weiqiang; Hisazumi, Kenji; Fukuda, Akira (2013)

Towards Formal Description of Standards for Automotive Operating Systems. - Yatsu, Hirokazu; Ando, Takahiro; Kong, Weiqiang; Hisazumi, Kenji; Fukuda, Akira; Aoki, Toshiaki; Futatsugi, Kokichi (2013)

A 28nm High-κ metal-gate single-chip communications processor with 1.5GHz dual-core application processor and LTE/HSPA+-capable baseband processor. - Fujigaya, Masaki; Sakamoto, Noriaki; Koike, Takao; Irita, Takahiro; Wakahara, Kohei; Matsuyama, Tsugio; Hasegawa, Keiji; Saito, Toshiharu; Fukuda, Akira; Teranishi, Kaname; Fukuoka, Kazuki; Maeda, Noriaki; et al. (2013)

Using Model-Driven Development Tools for Object-Oriented Modeling Education. - Akayama, Seiko; Hisazumi, Kenji; Hiya, Syuhei; Fukuda, Akira (2013)

clooca : Web based tool for Domain Specific Modeling. - Hiya, Shuhei; Hisazumi, Kenji; Fukuda, Akira; Nakanishi, Tsuneo (2013)

mockSensor: faking remote sensors as embedded sensors for a functional enhancement of Android. - Arakawa, Yutaka; Tagashira, Shigeaki; Fukuda, Akira (2013)

Formal semantics of extended hierarchical state transition matrix by CSP. - Yamagata, Yoriyuki; Kong, Weiqiang; Fukuda, Akira; Tang, Nguyen Van; Ohsaki, Hitoshi; Taguchi, Kenji (ACM SIGSOFT Softw. Eng. Notes, 2012)

WiFiTag: Direct Link from the Real World to Online Digital Contents. - Arakawa, Yutaka; Sonoda, Yuki; Tagashira, Shigeaki; Fukuda, Akira (2012)

Formal Verification of Communicating HSTM Designs. - Liu, Leyuan; Kong, Weiqiang; Zhou, Shijie; Qin, Zhiguang; Fukuda, Akira (2012)

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

On Accelerating SMT-based Bounded Model Checking of HSTM Designs. - Kong, Weiqiang; Liu, Leyuan; Yamagata, Yoriyuki; Taguchi, Kenji; Ohsaki, Hitoshi; Fukuda, Akira (2012)

A Mobile Sink-initiated Proactive Routing Protocol for Deadline-Aware Data Aggregation Method in Energy-Efficient Wireless Sensor Networks. - Abe, Tatsuya; Arakawa, Yutaka; Tagashira, Shigeaki; Fukuda, Akira (2012)

A Robust Generation Technique of Common Information Based on Characteristic of Multipath Fading Channel by Shaking Handheld Devices. - Iwamoto, Tomohiro; Tagashira, Shigeaki; Arakawa, Yutaka; Fukuda, Akira (2012)

Hot Topic Detection in Local Areas Using Twitter and Wikipedia. - Ishikawa, Shota; Arakawa, Yutaka; Tagashira, Shigeaki; Fukuda, Akira (2012)

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

Using the GPGPU for scaling up Mining Software Repositories. - Nagano, Rina; Nakamura, Hiroki; Kamei, Yasutaka; Adams, Bram; Hisazumi, Kenji; Ubayashi, Naoyasu; Fukuda, Akira (2012)

A dynamic channel assignment method based on location information of mobile terminals in indoor WLAN positioning systems. - Li, Ming; Han, Long; Kong, Weiqiang; Tagashira, Shigeaki; Arakawa, Yutaka; Fukuda, Akira (2012)

QORAL: An External Domain-Specific Language for Mining Software Repositories. - Nakamura, Hiroki; Nagano, Rina; Hisazumi, Kenji; Kamei, Yasutaka; Ubayashi, Naoyasu; Fukuda, Akira (2012)

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

Collaborative Filtering for Position Estimation Error Correction in WLAN Positioning Systems. - Tagashira, Shigeaki; Kanekiyo, Yuhei; Arakawa, Yutaka; Kitasuka, Teruaki; Fukuda, Akira (IEICE Trans. Commun., 2011)

An SMT-Based Approach to Bounded Model Checking of Designs in State Transition Matrix. - Kong, Weiqiang; Shiraishi, Tomohiro; Katahira, Noriyuki; Watanabe, Masahiko; Katayama, Tetsuro; Fukuda, Akira (IEICE Trans. Inf. Syst., 2011)

Probabilistic Broadcast-Based Cache Invalidation Scheme for Location Dependent Data in Mobile Environments. - Tagashira, Shigeaki; Kaminishi, Yutaka; Arakawa, Yutaka; Kitasuka, Teruaki; Fukuda, Akira (IEICE Trans. Inf. Syst., 2011)

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

An SMT-Based Approach to Bounded Model Checking of Designs in Communicating State Transition Matrix. - Kong, Weiqiang; Katahira, Noriyuki; Qian, Wanpeng; Watanabe, Masahiko; Katayama, Tetsuro; Fukuda, Akira (2011)

Critiquing Rules and Quality Quantification of Development-Related Documents. - Nagano, Tadashi; Sakamoto, Yoshifumi; Haraguchi, Satoshi; Takeuchi, Hironori; Ogino, Shiho; Fukuda, Akira (2011)

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

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

An SMT Approach to Bounded Model Checking of Design in State Transition Matrix. - Kong, Weiqiang; Shiraishi, Tomohiro; Mizushima, Yuki; Katahira, Noriyuki; Fukuda, Akira; Watanabe, Masahiko (2010)

Traceability Link for Product Line with RAS based Representation. - Hattori, Yusuke; Hirakawa, Go; Ashihara, Shuichi; Nakanishi, Tsuneo; Hisazumi, Kenji; Fukuda, Akira (2010)

Model Checking of Software Design in State Transition Matrix. - Shiraishi, Tomohiro; Kong, Weiqiang; Mizushima, Yuki; Katahira, Noriyuki; Matsumoto, Michihiro; Watanabe, Masahiko; Katayama, Tetsuro; Fukuda, Akira (2010)

A method for analysis and solution of scalability bottleneck in DBMS. - Horikawa, Takashi; Fukuda, Akira (2010)

An Experience Report of Introducing Product Line Engineering across the Board. - Iwasaki, Takashi; Uchiba, Makoto; Otsuka, Jun; Hachiya, Koji; Nakanishi, Tsuneo; Hisazumi, Kenji; Fukuda, Akira (2010)

Multipoint Relay Selections with QoS Support in Link State Routing Protocol for Multi-Hop Wireless Networks. - Koga, Takeaki; Tagashira, Shigeaki; Kitasuka, Teruaki; Nakanishi, Tsuneo; Fukuda, Akira (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009)

Name Resolution Middleware Using Relative Positional Relationship to Support Wireless Visible Area Communication. - Noda, Atsushi; Kitasuka, Teruaki; Tagashira, Shigeaki; Nakanishi, Tsuneo; Fukuda, Akira (2009)

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

SIP method escalation algorithm for NGN application network interface. - Ueda, Kiyoshi; Shimizu, Hitoshi; Iwata, Tetsuya; Sunaga, Hiroshi; Fukuda, Akira (2009)

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

Broadcasted Location-Aware Data Cache for Vehicular Application. - Sato, Kenya; Koita, Takahiro; Fukuda, Akira (EURASIP J. Embed. Syst., 2007)

On the M-CubITS Pedestrian WYSIWYAS Navigation Using Tile Carpets. - Manabe, Tetsuya; Hasegawa, Takaaki; Matsuoka, Yoshihiro; Furukawa, Seiji; Fukuda, Akira (2007)

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

Performance analysis of a service-dependent handoff scheme in voice/data integrated cellular mobile systems. - Li, Bo; Battiti, Roberto; Fukuda, Akira (Comput. Networks, 2006)

Heuristic Scheduling and Process Migration on the Grid. - Sato, Kenya; Fukuda, Akira; Koita, Takahiro; Inoue, Yusuke (2006)

Positioning Technique of Wireless LAN Terminals Using RSSI between Terminals. - Kitasuka, Teruaki; Hisazumi, Kenji; Nakanishi, Tsuneo; Fukuda, Akira (2005)

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

Access Point Determination Method Considering Route Stability on the Hybrid Ad-hoc Network. - Shimada, Hideki; Kitasuka, Teruaki; Fukuda, Akira; Sunahara, Hideki (2005)

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

Heuristic Scheduling Schemes for a Genomic Application on the Grid. - Inoue, Yusuke; Koita, Takahiro; Fukuda, Akira (2005)

A design of flash memory file system for embedded systems. - Ishizumi, Noritaka; Saisho, Keizo; Fukuda, Akira (Syst. Comput. Jpn., 2004)

Product Line Based Component Unification and Exploiting Unified Components in FORM. - Nakanishi, Tsuneo; Hatamoto, Minoru; Matsumoto, Michihiro; Yamazaki, Susumu; Kitasuka, Teruaki; Fukuda, Akira (2004)

Performance Evaluation of MPI-HMMER on the OBIGrid. - Kofune, Yasuyo; Koita, Takahiro; Fukuda, Akira (2004)

Design of a Context-aware Message Exchange System in an Ad-hoc Network. - Imanishi, Koya; Hisazumi, Kenji; Nakanishi, Tsuneo; Kitasuka, Teruaki; Fukuda, Akira (2004)

A Proposal and Evaluation of the Fast reconnect Ad-Hoc Network Routing Protocol. - Mizoguchi, Kazuhiro; Furusho, Shinichi; Kitasuka, Teruaki; Nakanishi, Tsuneo; Fukuda, Akira (Int. J. Comput., 2003)

Implementation and Evaluation of Resource Allocation for a Genomic Application Program on the Grid. - Koita, Takahiro; Kofune, Yasuyo; Inoue, Yusuke; Fukuda, Akira (2003)

Design of a Context-Aware Email Delivery System. - Imanishi, Koya; Hisazumi, Kenji; Nakanishi, Tsuneo; Kitasuka, Teruaki; Fukuda, Akira (2003)

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

A Context-Aware Middleware Mapping Processes and User-Context Subspaces. - Hisazumi, Kenji; Nakanishi, Tsuneo; Kitasuka, Teruaki; Fukuda, Akira (2003)

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

Redundant Scheduling: An Algorithm for Scheduling Parameter Sweep Applications in Grid Environment. - Ikebe, Sadao; Nakanishi, Tsuneo; Fukuda, Akira (2002)

A Data-flow Genome Array Processor RING to Accelerate Homology Analysis. - Mizuhara, Takamichi; Nakanishi, Tsuneo; Fukuda, Akira (2002)

A Power Aware Paging Scheme with Power Controlling Each Memory Bank. - Kobayashi, Satomi; Nakanishi, Tsuneo; Fukuda, Akira (2002)

Design and implementation of the Lambda mu-kernel based operating system for embedded systems. - Hisazumi, Kenji; Nakanishi, Tsuneo; Kitasuka, Teruaki; Fukuda, Akira (2002)

Adaptive acquisition multiple access protocol in wireless multihop mobile ad hoc networks. - Liu, Kai; Li, Jiandong; Huang, Pengyu; Fukuda, Akira (2002)

Performance analysis of flexible hierarchical cellular systems with a bandwidth-efficient handoff scheme. - Li, Bo; Wu, Chengke; Fukuda, Akira (IEEE Trans. Veh. Technol., 2001)

Adaptive acquisition collision avoidance multiple access for multihop ad hoc wireless networks. - Liu, Kai; Li, Jiandong; Fukuda, Akira (2001)

Efficiently Announcing Multimedia Information from Mobile Computers with the WOR Toolkit. - Tagashira, Shigeaki; Fukuda, Akira; Saisho, Keizo (2001)

Design and Implementation of an Information Announcement Toolkit for Mobile Computers. - Tagashira, Shigeaki; Saisho, Keizo; Fukuda, Akira (2001)

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

Memory Conscious Scheduling for Cluster-based NUMA Multiprocessors. - Koita, Takahiro; Katayama, Tetsuro; Saisho, Keizo; Fukuda, Akira (J. Supercomput., 2000)

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

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

Genetic Algorithm Based Data and Program Partitioning. - Saito, Tetsuya; Nakanishi, Tsuneo; Kunieda, Yoshitoshi; Fukuda, Akira (2000)

Genetic Algorithm Based Data and Program Partitioning. - Saito, Tetsuya; Nakanishi, Tsuneo; Kunieda, Yoshitoshi; Fukuda, Akira (2000)

Estimating minimum parallel execution time of loops with loop-carried dependencies. - Nakanishi, Tsuneo; Joe, Kazuki; Polychronopoulos, Constantine D.; Araki, Keijiro; Fukuda, Akira (Syst. Comput. Jpn., 1999)

An Object-Oriented Framework for Loop Parallelization. - Omori, Yoichi; Fukuda, Akira; Joe, Kazuki (J. Supercomput., 1999)

The Modulo Interval: A Simple and Practical Representation for Program Analysis. - Nakanishi, Tsuneo; Joe, Kazuki; Polychronopoulos, Constantine D.; Fukuda, Akira (1999)

Evaluation of Caching Algorithm for NetNews. - Funasaka, Junichi; Saisho, Keizo; Fukuda, Akira (1999)

Generating a Device Driver with a Formal Specification Language. - Katayama, Tetsuro; Saisho, Keizo; Fukuda, Akira (1999)

A Dynamically Reconfigurable Operating System Server with Protection. - Kashiwagi, Kazuhiko; Saisho, Keizo; Fukuda, Akira (1999)

Automatic Selecting of Required NetNews Articles. - Funasaka, Junichi; Saisho, Keizo; Fukuda, Akira (1999)

Proposal of a Support System for Device Driver Generation. - Katayama, Tetsuro; Saisho, Keizo; Fukuda, Akira (1999)

Design and Evaluation of an Information Announcement Mechanism for Mobile Computers. - Tagashira, Shigeaki; Inada, Fumitake; Saisho, Keizo; Fukuda, Akira (1999)

A spatio-temporal resource allocation protocol (STRAP) with mobility specification: simulation and performance evaluation. - Sato, Kenya; Saisho, Keizo; Fukuda, Akira (1999)

Home-cluster Based Processor Scheduling with Page Placement for NUMA Multiprocessors. - Koita, Takahiro; Katayama, Tetsuro; Saisho, Keizo; Fukuda, Akira (1999)

A Cache System of Location Dependent Data for a Mobile Computer with Mobility Specification. - Tagashira, Shigeaki; Yasuda, O.; Saisho, Keizo; Fukuda, Akira (1999)

A Cache System of Location Dependent Data for a Mobile Computer with Mobility Specification. - Sato, Kenya; Saisho, Keizo; Fukuda, Akira (1999)

High Performance Computing, Second International Symposium, ISHPC'99, Kyoto, Japan, May 26-28, 1999, Proceedings (Springer, 1999)

Design and implementation of a Parallel Pthread Library (PPL) with parallelism and portability. - Sakamoto, Chikara; Miyazaki, Teruki; Kuwayama, Masayuki; Saisho, Keizo; Fukuda, Akira (Syst. Comput. Jpn., 1998)

Performance evaluation of Two-level Scheduling algorithms for NUMA multiprocessors. - Ohishi, Yukio; Saisho, Keizo; Fukuda, Akira (Syst. Comput. Jpn., 1998)

A Copy Update Mechanism for a Mobile Information Announcement System.- Transmitting Non-storage Type Resources with Redundancy -. - Tagashira, Shigeaki; Saisho, Keizo; Inada, Fumitake; Fukuda, Akira (1998)

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

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

A Parallelizing Compiler by Object Oriented Design. - Omori, Yoichi; Joe, Kazuki; Fukuda, Akira (1997)

An Object-Oriented Framework for Loop Parallelization. - Omori, Yoichi; Joe, Kazuki; Fukuda, Akira (1997)

The Architecture of OCMP and its Evaluation. - Saisho, Keizo; Sano, Takeshi; Iwata, Keniti; Fukuda, Akira (1997)

Design and Implementation of Dynamically Reconstructing System Software. - Kashiwagi, Kazuhiko; Saisho, Keizo; Fukuda, Akira (1996)

Applying the Semi-Markov Memory and Cache Coherence Interference Model to an Updating Based Cache Coherence Protocol. - Joe, Kazuki; Fukuda, Akira (1996)

Estimating Parallel Execution Time of Loops with Loop-Carried Dependencies. - Nakanishi, Tsuneo; Joe, Kazuki; Polychronopoulos, Constantine D.; Araki, Keijiro; Fukuda, Akira (1996)

Estimating Minimum Execution Time of Perfect Loop Nests with Loop-Carried Dependences. - Nakanishi, Tsuneo; Joe, Kazuki; Polychronopoulos, Constantine D.; Araki, Keijiro; Fukuda, Akira (1996)

A Data Block Mapping Method to Reduce Cache Coherence Overhead. - Koita, Takahiro; Joe, Kazuki; Fukuda, Akira (1996)

A loop parallelization technique for linear dependence vector. - Kitasuka, Teruaki; Joe, Kazuki; Schouten, Dale; Fukuda, Akira; Araki, Keijiro (1995)

The CDP2 Partitioning Algorithm a Combined End Program Partitioning Algorithm on the Data Partitioning Graph. - Nakanishi, Tsuneo; Joe, Kazuki; Saito, Hideki; Fukuda, Akira; Araki, Keijiro (1995)

Parallel Pthread library (PPL): user-level thread library with parallelism and portability. - Miyazaki, Teruki; Sakamoto, Chikara; Kuwayama, Masayuki; Saisho, Keizo; Fukuda, Akira (1994)

Organization scheme of system servers in microkernel-based operating systems-multi-process and multi-thread methods. - Kuwayama, Masayuki; Saisho, Keizo; Fukuda, Akira (1994)

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

Optimal number of processors in parallel processing of a single doacross loop for different execution times of iterations. - Fukuda, Akira (Syst. Comput. Jpn., 1993)

Two-level processor scheduling for multiprogrammed NUMA multiprocessors. - Fukuda, Akira; Fujiki, Ryousuke; Kai, Hisa-aki (1993)

Toward advanced parallel processing: exploiting parallelism at task and instruction levels. - Fukuda, Akira; Murakami, Kazuaki J.; Tomita, Shinji (IEEE Micro, 1991)

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

The Kyushu University Reconfigurable Parallel Processor - Design Philosophy and Architecture. - Murakami, Kazuaki J.; Mori, Shin-ichiro; Fukuda, Akira; Sueyoshi, Toshinori; Tomita, Shinji (1989)

An overview of the Kyushu University reconfigurable parallel processor. - Murakami, Kazuaki J.; Fukuda, Akira; Sueyoshi, Toshinori; Tomita, Shinji (SIGARCH Comput. Archit. News, 1988)

Equilibrium Point Analysis of Memory Interference in Multiprocessor Systems. - Fukuda, Akira (IEEE Trans. Computers, 1988)

M/M/K systems with M-phase fluctuations of traffic intensity. - Sotelo, Walter; Mukumoto, Kaiji; Fukuda, Akira (1988)

Equilibrium point analysis of memory interference in multiprocessor systems. - Fukuda, Akira (Syst. Comput. Jpn., 1986)

Prescription Order Service in Kanto Teishin Hospital Information System. - Yokoyama, Jun-ichiro; Fukuda, Akira (1980)

A theory of two-dimensional linear recurring arrays. - Nomura, Tamiya; Miyakawa, Hiroshi; Imai, Hideki; Fukuda, Akira (IEEE Trans. Inf. Theory, 1972)