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

研究成果 1985 2019

フィルター
論文
2014
4 引用 (Scopus)

An SMT-based accurate algorithm for the K-coverage problem in sensor network

Kong, W., Li, M., Han, L. & Fukuda, A., 1 1 2014, p. 240-245. 6 p.

研究成果: 会議への寄与タイプ論文

Sensor networks
Wireless sensor networks
Quality of service
Sensors

Implementation of WiFi/Bluetooth-based Smart Narrow Field Communication

Arakawa, Y., Sonoda, Y., Tomoshige, K., Tagashira, S. & Fukuda, A., 1 1 2014, p. 91-92. 2 p.

研究成果: 会議への寄与タイプ論文

Bluetooth
Communication
Routers
Internet
2013
2 引用 (Scopus)

A survey of acceleration techniques for SMT-based bounded model checking

Liu, L., Kong, W., Ando, T., Yatsu, H. & Fukuda, A., 1 1 2013, p. 554-559. 6 p.

研究成果: 会議への寄与タイプ論文

Surface mount technology
Model checking
Binary decision diagrams
Temporal logic
Switches
2012
3 引用 (Scopus)

WiFiTag: Direct link from the real world to online digital contents

Arakawa, Y., Sonoda, Y., Tagashira, S. & Fukuda, A., 12 31 2012, p. 339-344. 6 p.

研究成果: 会議への寄与タイプ論文

Websites
Costs
Servers
Cameras
Availability
2003

Design of a Library for DRAM Power Reduction in an Embedded Multi-task Kernel

Kobayashi, S. & Fukuda, A., 11 7 2003, p. 5-8. 4 p.

研究成果: 会議への寄与タイプ論文

Dynamic random access storage
Data storage equipment
Computer operating systems
Hardware
Costs
1 引用 (Scopus)

Mobility Based Algorithm for Mobile Ad-hoc Network

Furusho, S., Kitasuka, T., Nakanishi, T. & Fukuda, A., 11 7 2003, p. 334-337. 4 p.

研究成果: 会議への寄与タイプ論文

Routing algorithms
Mobile ad hoc networks
Network performance
55 引用 (Scopus)

Wireless LAN Based Indoor Positioning System WiPS and Its Simulation

Kitasuka, T., Nakanishi, T. & Fukuda, A., 11 7 2003, p. 272-275. 4 p.

研究成果: 会議への寄与タイプ論文

Local area networks
Wi-Fi
Indoor positioning systems
2002

Design and implementation of the Lambda μ-kernel based operating system for embedded systems

Kenji, H., Nakanishi, T., Kitasuka, T. & Fukuda, A., 12 1 2002, p. 178-181. 4 p.

研究成果: 会議への寄与タイプ論文

Computer operating systems
Embedded systems
Maintainability
1997

The architecture of OCMP and its evaluation

Saisho, K., Sano, T. & Fukuda, A., 1 1 1997, p. 71-77. 7 p.

研究成果: 会議への寄与タイプ論文

Processing
Data storage equipment
Simulators
Communication
Costs
1995

Loop parallelization technique for linear dependence vector

Kitasuka, T., Joe, K., Schouten, D., Fukuda, A. & Araki, K., 1 1 1995, p. 285-289. 5 p.

研究成果: 会議への寄与タイプ論文

Communication
Costs