Pureに変更を加えた場合、すぐここに表示されます。

研究成果 1985 2019

フィルター
記事
2019
1 引用 (Scopus)

Danger-pose detection system using commodity wi-fi for bathroom monitoring

Zhang, Z., Ishida, S., Tagashira, S. & Fukuda, A., 2 2 2019, : : Sensors (Switzerland). 19, 4, 884.

研究成果: ジャーナルへの寄稿記事

公開
Toilet Facilities
commodities
Wi-Fi
Channel state information
hazards

Estimation of power consumption of each application considering software dependency in android

Kurihara, S., Fukuda, S., Kamiyama, T., Fukuda, A., Oguchi, M. & Yamaguchi, S., 2 1 2019, : : Journal of information processing. 27, p. 221-232 12 p.

研究成果: ジャーナルへの寄稿記事

公開
Application programs
Electric power utilization
Hardware
Global positioning system
Android (operating system)
公開
Disease control
Health care
Health

MuCHLoc: Indoor ZigBee Localization System Utilizing Inter-Channel Characteristics

Kimoto, R., Ishida, S., Yamamoto, T., Tagashira, S. & Fukuda, A., 4 6 2019, : : Sensors (Basel, Switzerland). 19, 7, 1645.

研究成果: ジャーナルへの寄稿記事

公開
Zigbee
Radio
Sensors
Wi-Fi
Geographic Information Systems

路側設置マイクロフォンを用いた逐次検出型車両検出システム

石田繁巳, 梶村順平, 内野雅人, 田頭茂明 & 福田晃, 1 15 2019, : : 情報処理学会論文誌. 60, 1, p. 76-86 11 p.

研究成果: ジャーナルへの寄稿記事

2018
1 引用 (Scopus)

Asynchronous multi-process timed automata

Li, G., Liu, L. & Fukuda, A., 9 1 2018, : : Software Quality Journal. 26, 3, p. 961-989 29 p.

研究成果: ジャーナルへの寄稿記事

Real time systems
Petri nets
Computer hardware

Object-oriented context description for movie based context-aware language learning

Hazriani, Nakanishi, T., Kenji, H. & Fukuda, A., 1 1 2018, : : International Journal of Advanced Computer Science and Applications. 9, 4, p. 350-357 8 p.

研究成果: ジャーナルへの寄稿記事

Processing
1 引用 (Scopus)

Semantic image retrieval for complex queries using a knowledge parser

Chen, H., Trouve, A., Murakami, K. J. & Fukuda, A., 1 1 2018, : : Multimedia Tools and Applications. p. 1-19 19 p.

研究成果: ジャーナルへの寄稿記事

Image retrieval
Query languages
Semantics
Feature extraction
Processing
2 引用 (Scopus)

Wireless lan-based csi monitoring system for object detection

Murakami, T., Miyazaki, M., Ishida, S. & Fukuda, A., 11 1 2018, : : Electronics (Switzerland). 7, 11, 290.

研究成果: ジャーナルへの寄稿記事

Channel state information
Wireless local area networks (WLAN)
Monitoring
Orthogonal frequency division multiplexing
Object detection

依頼講演 物体検出に向けた無線LANベースCSI取得システム (アンテナ・伝播) -- (企業特集オーガナイズドセッション)

村上友規, 梅内誠, 宮﨑雅彦, 丛銘, 折原凌, 石田繁巳 & 福田晃, 2 15 2018, : : IEICE technical report. 117, 436, p. 57-62 6 p.

研究成果: ジャーナルへの寄稿記事

2017
4 引用 (Scopus)

An intelligent annotation-based image retrieval system based on RDF descriptions

Chen, H., Trouve, A., Murakami, K. J. & Fukuda, A., 2 1 2017, : : Computers and Electrical Engineering. 58, p. 537-550 14 p.

研究成果: ジャーナルへの寄稿記事

Image retrieval
Semantics
Semantic Web
Animals

IEEE 802.11acのCSIフィードバック機能を利用した高効率CSI取得システム

村上友規, 梅内誠, 石田繁巳 & 福田晃, 8 17 2017, : : IEICE technical report. 117, 175, p. 49-54 6 p.

研究成果: ジャーナルへの寄稿記事

WiFi APを用いたセンサ測位に向けたWiFi AP動作チャネル推定手法

石田繁巳, 泉幸作, 國廣陽介, 田頭茂明 & 福田晃, 1 15 2017, : : 情報処理学会論文誌. 58, 1, p. 225-236 12 p.

研究成果: ジャーナルへの寄稿記事

基準ノード不要のセンサ測位システムZigLocの設計

泉幸作, 山本貴宏, 石田繁巳, 田頭茂明 & 福田晃, 3 9 2017, : : IEICE technical report. 116, 508, p. 275-280 6 p.

研究成果: ジャーナルへの寄稿記事

路側設置マイクロフォンによる車両カウントシステム

石田繁巳, 三村晃平, 劉嵩, 田頭茂明 & 福田晃, 1 15 2017, : : 情報処理学会論文誌. 58, 1, p. 89-98 10 p.

研究成果: ジャーナルへの寄稿記事

2016
3 引用 (Scopus)

Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC

Kong, W., Hou, G., Hu, X., Ando, T., Kenji, H. & Fukuda, A., 12 1 2016, : : Journal of Information Security and Applications. 31, p. 61-74 14 p.

研究成果: ジャーナルへの寄稿記事

Surface mount technology
Temporal logic
Software design
Embedded systems
Engineers

アドホック測位ネットワークにおけるアドレス変換を用いた負荷分散手法の初期的評価

石田繁巳, 梶村順平, 田頭茂明 & 福田晃, 8 1 2016, : : IEICE technical report. 116, 171, p. 35-40 6 p.

研究成果: ジャーナルへの寄稿記事

プライバシー保護を考慮した足跡によるユーザトラッキングシステムの歩行者に対する性能評価

和田瞭也, 田頭茂明, 荻野正樹, 石田繁巳 & 福田晃, 8 1 2016, : : IEICE technical report. 116, 171, p. 65-69 5 p.

研究成果: ジャーナルへの寄稿記事

2015

A dynamic control mechanism of interrupt stack overflow on real-time embedded monitor (REMON)

Nankaku, S., Kawakami, H., Koizumi, H. & Fukuda, A., 3 1 2015, : : Electronics and Communications in Japan. 98, 3, p. 24-32 9 p.

研究成果: ジャーナルへの寄稿記事

dynamic control
Overflow
Dynamic Control
Mutual Exclusion
Embedded systems
2 引用 (Scopus)

Power Consumption Profiling Method Based on Android Application Usage

Furusho, H., Kenji, H., Kamiyama, T., Inamura, H., Nakanishi, T. & Fukuda, A., 1 1 2015, : : Lecture Notes in Electrical Engineering. 339, p. 891-898 8 p.

研究成果: ジャーナルへの寄稿記事

Electric power utilization
Tuning
Energy utilization
Decision making
5 引用 (Scopus)

WiFi AP-RSS monitoring using sensor nodes toward anchor-free sensor localization

Ishida, S., Izumi, K., Tagashira, S. & Fukuda, A., 1 1 2015, : : IEEE Vehicular Technology Conference. VOL, 7391191.

研究成果: ジャーナルへの寄稿記事

RSS
Wi-Fi
Anchors
Sensor nodes
Monitoring

WLANとZigBeeの共存に向けたAP-Assisted CTS-Blockingの初期的評価

佐伯良光, 石田繁巳, 田頭茂明 & 福田晃, 2 24 2015, : : 電子情報通信学会総合大会講演論文集. 2015, 2, p. 551

研究成果: ジャーナルへの寄稿記事

WLANとZigBeeの共存に向けたAP-Assisted CTS-Blockingの評価 (情報ネットワーク)

佐伯良光, 石田繁巳, 田頭茂明 & 福田晃, 3 2 2015, : : IEICE technical report. 114, 478, p. 197-202 6 p.

研究成果: ジャーナルへの寄稿記事

オンデマンド位置情報サービスに向けた分散測位システムの通信量評価

石田繁巳, 田頭茂明 & 福田晃, 1 26 2015, : : IEICE technical report. 114, 418, p. 169-174 6 p.

研究成果: ジャーナルへの寄稿記事

無線LAN APを用いたセンサノードの測位に向けた電波減衰モデル構築実験

富重晃季, 石田繁巳, 田頭茂明 & 福田晃, 3 2 2015, : : IEICE technical report. 114, 478, p. 157-162 6 p.

研究成果: ジャーナルへの寄稿記事

2014
4 引用 (Scopus)

A formal semantics of extended hierarchical state transition matrices using CSP#

Yamagata, Y., Kong, W., Fukuda, A., Van Tang, N., Ohsaki, H. & Taguchi, K., 1 1 2014, : : Formal Aspects of Computing. 26, 5, p. 943-962 20 p.

研究成果: ジャーナルへの寄稿記事

Formal Semantics
Transition Matrix
State Transition
Semantics
Modeling Language
6 引用 (Scopus)

Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration

Kong, W., Liu, L., Ando, T., Yatsu, H., Kenji, H. & Fukuda, A., 1 1 2014, : : Computer Journal. 58, 11, p. 2824-2840 17 p.

研究成果: ジャーナルへの寄稿記事

Model checking
Temporal logic
Surface mount technology
Scalability
Systems analysis
5 引用 (Scopus)

Translation rules of SysML state machine diagrams into CSP# toward formal model checking

Ando, T., Yatsu, H., Kong, W., Kenji, H. & Fukuda, A., 6 1 2014, : : International Journal of Web Information Systems. 10, 2, p. 151-169 19 p.

研究成果: ジャーナルへの寄稿記事

Model checking
Modeling languages
2013

A model transformation method for evaluation of non-functional requirements of an embedded system architecture

Kawahara, R., Ono, K., Nakada, T., Okabayashi, H., Kenji, H., Nakanishi, T., Fukuda, A., Sakamoto, Y. & Nagano, T., 2 2013, : : Computer Software. 30, 1, p. 203-210 8 p.

研究成果: ジャーナルへの寄稿記事

Embedded systems
Costs

An dynamic control mechanism of interrupt stack overflow on real-time embedded monitor REMON

Nankaku, S., Kawakami, H., Koizumi, H. & Fukuda, A., 1 1 2013, : : IEEJ Transactions on Electronics, Information and Systems. 133, 8

研究成果: ジャーナルへの寄稿記事

Embedded systems
Program processors

A priority inherit semaphore mechanism of interrupt service routine using hardware interrupt level

Nankaku, S., Kawakami, H., Koizumi, H. & Fukuda, A., 1 1 2013, : : IEEJ Transactions on Electronics, Information and Systems. 133, 11

研究成果: ジャーナルへの寄稿記事

Embedded systems
Computer hardware
Processing
Program processors
Hardware
11 引用 (Scopus)

Clooca: Web based tool for domain specific modeling

Hiya, S., Kenji, H., Fukuda, A. & Nakanishi, T., 2013, : : Unknown Journal. 1115, p. 31-35 5 p.

研究成果: ジャーナルへの寄稿記事

software
modeling
Watches
Web services
Software engineering

Energy-efficient data collection method with multiple deadlines for wireless sensor networks

Abe, T., Arakawa, Y., Tagashira, S. & Fukuda, A., 4 1 2013, : : Journal of Information Processing. 21, 2, p. 320-328 9 p.

研究成果: ジャーナルへの寄稿記事

Routing protocols
Wireless sensor networks
Sensor nodes
Costs
Monitoring
3 引用 (Scopus)

Interrupt scheduler REMON for embedded systems

Nankaku, S., Mizushino, K., Koizumi, H. & Fukuda, A., 2013, : : IEEJ Transactions on Electronics, Information and Systems. 133, 2, p. 316-325 10 p.

研究成果: ジャーナルへの寄稿記事

Real time systems
Embedded systems
Processing
2011
10 引用 (Scopus)

An SMT-based approach to bounded model checking of designs in state transition matrix

Kong, W., Shiraishi, T., Katahira, N., Watanabe, M., Katayama, T. & Fukuda, A., 1 1 2011, : : IEICE Transactions on Information and Systems. E94-D, 5, p. 946-957 12 p.

研究成果: ジャーナルへの寄稿記事

Model checking
Industry
Experiments
1 引用 (Scopus)

Applying domain specific modeling for environmental sensing using wireless sensor network

Fajar, M., Kenji, H., Nakanishi, T. & Fukuda, A., 12 1 2011, : : Asian Journal of Information Technology. 10, 7, p. 296-305 10 p.

研究成果: ジャーナルへの寄稿記事

sensor
modeling
automation
communication
software
7 引用 (Scopus)

Collaborative filtering for position estimation error correction in WLAN positioning systems

Tagashira, S., Kanekiyo, Y., Arakawa, Y., Kitasuka, T. & Fukuda, A., 1 1 2011, : : IEICE Transactions on Communications. E94-B, 3, p. 649-657 9 p.

研究成果: ジャーナルへの寄稿記事

Collaborative filtering
Error correction
Wireless local area networks (WLAN)
Local area networks
Error analysis

Probabilistic broadcast-based cache invalidation scheme for location dependent data in mobile environments

Tagashira, S., Kaminishi, Y., Arakawa, Y., Kitasuka, T. & Fukuda, A., 1 1 2011, : : IEICE Transactions on Information and Systems. E94-D, 8, p. 1590-1601 12 p.

研究成果: ジャーナルへの寄稿記事

Scheduling
Network protocols
Broadcasting
Mobile devices
Data structures
2010

FRM Model: An asset representation for software product lines

Hattori, Y., Hirakawa, G., Ashihara, S., Nakanishi, T., Kenji, H. & Fukuda, A., 3 1 2010, : : Research Reports on Information Science and Electrical Engineering of Kyushu University. 15, 1, p. 37-42 6 p.

研究成果: ジャーナルへの寄稿記事

Specifications
Software engineering
2009

A mutual authentication method on wireless visible area network

Noda, A., Asegawa, M., Kitasuka, T., Tagashira, S., Kitaguchi, T., Tsumura, N., Nakanishi, T. & Fukuda, A., 9 1 2009, : : Research Reports on Information Science and Electrical Engineering of Kyushu University. 14, 2, p. 77-82 6 p.

研究成果: ジャーナルへの寄稿記事

Authentication
Communication
Wireless networks

Multipoint relay selections with QoS support in link state routing protocol for multi-hop wireless networks

Koga, T., Tagashira, S., Kitasuka, T., Nakanishi, T. & Fukuda, A., 1 1 2009, : : IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. E92-A, 9, p. 2118-2226 109 p.

研究成果: ジャーナルへの寄稿記事

Multi-hop Wireless Networks
Relay Selection
Routing Protocol
Routing protocols
Quality of Service

RESTful device interaction architecture for embedded devices

Hayakawa, H., Sato, K., Tagashira, S., Nakanishi, T. & Fukuda, A., 9 1 2009, : : Research Reports on Information Science and Electrical Engineering of Kyushu University. 14, 2, p. 53-58 6 p.

研究成果: ジャーナルへの寄稿記事

XML
Web services
Scalability
Communication
2007
3 引用 (Scopus)

Broadcasted location-aware data cache for vehicular application

Sato, K., Koita, T. & Fukuda, A., 7 2 2007, : : Eurasip Journal on Embedded Systems. 2007, 29391.

研究成果: ジャーナルへの寄稿記事

Broadcasting
Dedicated short range communications
Communication
Roadsides
Mobile computing
2004
2 引用 (Scopus)

A Design of Flash Memory File System for Embedded Systems

Ishizumi, N., Saisho, K. & Fukuda, A., 1 1 2004, : : Systems and Computers in Japan. 35, 1, p. 91-100 10 p.

研究成果: ジャーナルへの寄稿記事

Flash Memory
Flash memory
File System
Embedded systems
Embedded Systems
1 引用 (Scopus)

Node mobility aware routing for mobile ad hoc network

Furusho, S., Kitasuka, T., Nakanishi, T. & Fukuda, A., 7 2004, : : IEICE Transactions on Communications. E87-B, 7, p. 1926-1930 5 p.

研究成果: ジャーナルへの寄稿記事

Mobile ad hoc networks
Routing algorithms
2001

Effective caching for NetNews servers

Funasaka, J., Saisho, K. & Fukuda, A., 1 1 2001, : : IEICE Transactions on Information and Systems. E84-D, 3, p. 348-354 7 p.

研究成果: ジャーナルへの寄稿記事

Servers
Bandwidth
Experiments
2000
1 引用 (Scopus)

Memory conscious scheduling for cluster-based NUMA multiprocessors

Koita, T., Katayama, T., Saisho, K. & Fukuda, A., 1 1 2000, : : Journal of Supercomputing. 16, 3, p. 217-235 19 p.

研究成果: ジャーナルへの寄稿記事

Multiprocessor
Scheduling
Data storage equipment
Placement
Scheduling Policy
1999

Estimating minimum parallel execution time of loops with loop-carried dependencies

Nakanishi, T., Joe, K., Polychronopoulos, C. D., Araki, K. & Fukuda, A., 9 1 1999, : : Systems and Computers in Japan. 30, 10, p. 57-68 12 p.

研究成果: ジャーナルへの寄稿記事

Execution Time
Task Graph
Integer programming
Critical Path
Costs

Object-oriented framework for loop parallelization

Omori, Y., Fukuda, A. & Joe, K., 1 1 1999, : : Journal of Supercomputing. 13, 1, p. 57-69 13 p.

研究成果: ジャーナルへの寄稿記事

Parallelizing Compilers
Parallelization
Object-oriented
Portability
Object-oriented Design