Akira Fukuda
According to our database1,
Akira Fukuda
authored at least 189 papers
between 1972 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
Proceedings of the 91st IEEE Vehicular Technology Conference, 2020
A Multi-Strategy Combination Framework for Android Malware Detection Based on Various Features.
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020
Initial Design of Two-Stage Acoustic Vehicle Detection System for High Traffic Roads.
Proceedings of the 2020 IEEE International Conference on Pervasive Computing and Communications Workshops, 2020
Proceedings of the ICSIE 2020: 2020 9th International Conference on Software and Information Engineering, 2020
A Verification Method for Security and Safety of IoT Applications Through DSM Language and Lustre.
Proceedings of the ICISS 2020: The 3rd International Conference on Information Science and System, 2020
Performance Improvement of Kotlin Program in Consideration of JIT Compiler Optimization.
Proceedings of the IEEE International Conference on Consumer Electronics - Taiwan, 2020
Java Android Application Performance Improvement by Kotlin DEX Bytecode Analysis without JIT Compiler.
Proceedings of the IEEE International Conference on Consumer Electronics - Taiwan, 2020
Proceedings of the IEEE International Conference on Consumer Electronics - Taiwan, 2020
Monitoring System for Optimization based on Analyzing Android Application Launching Behavior.
Proceedings of the IEEE International Conference on Consumer Electronics - Taiwan, 2020
Proceedings of the 2020 International Conference on Artificial Intelligence in Information and Communication, 2020
2019
Sensors, 2019
Sensors, 2019
BET Estimation on Power Saving by Intermittent Disabling Network Interface on Android.
J. Inf. Process., 2019
Estimation of Power Consumption of Each Application Considering Software Dependency in Android.
J. Inf. Process., 2019
Steering Interpolants Generation with Efficient Interpolation Abstraction Exploration.
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019
Proceedings of the IEEE Sensors Applications Symposium, 2019
Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops, 2019
Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019
Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019
Development of the Food Culture Database System using Kataribe Cloud to Support Open Science.
Proceedings of the 8th International Congress on Advanced Applied Informatics, 2019
Proceedings of the 2019 IEEE SENSORS, Montreal, QC, Canada, October 27-30, 2019, 2019
Proceedings of the IEEE International Conference on Consumer Electronics - Taiwan, 2019
Proceedings of the IEEE International Conference on Consumer Electronics - Taiwan, 2019
A Framework of Longitudinal Study to Understand Determinants of Actual Use of the Portable Health Clinic System.
Proceedings of the Distributed, Ambient and Pervasive Interactions, 2019
Proceedings of the 6th International Conference on Dependable Systems and Their Applications, 2019
Proceedings of the 6th International Conference on Dependable Systems and Their Applications, 2019
Proceedings of the 2019 International Conference on Computer, 2019
2018
Multim. Tools Appl., 2018
Teaching software product lines as a paradigm to engineers: an experience report in education programs and seminars for senior engineers in Japan.
Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018
SAVeD: Acoustic Vehicle Detector with Speed Estimation capable of Sequential Vehicle Detection.
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018
Proceedings of the 7th International Congress on Advanced Applied Informatics, 2018
ItoCamLife: A Platform of Sharing and Recommending Information Considering User Contexts to Facilitate Smart Mobility.
Proceedings of the 7th International Congress on Advanced Applied Informatics, 2018
Proceedings of the 7th International Congress on Advanced Applied Informatics, 2018
Proceedings of the 7th International Congress on Advanced Applied Informatics, 2018
Proceedings of the 7th International Congress on Advanced Applied Informatics, 2018
Proceedings of the 7th International Congress on Advanced Applied Informatics, 2018
Toward Sustainable Smart Mobility Information Infrastructure Platform - Current Status -.
Proceedings of the 7th International Congress on Advanced Applied Informatics, 2018
Proceedings of the 7th International Congress on Advanced Applied Informatics, 2018
Evaluation of MultiZigLoc: Indoor ZigBee Localization System Using Inter-Channel Characteristics.
Proceedings of the Eleventh International Conference on Mobile Computing and Ubiquitous Network, 2018
Proceedings of the 9th International Conference on Awareness Science and Technology, 2018
Proceedings of the Advances in Internet, 2018
Proceedings of the 5th International Conference on Dependable Systems and Their Applications, 2018
Proceedings of the 5th International Conference on Dependable Systems and Their Applications, 2018
2017
Comput. Electr. Eng., 2017
Accuracy improvement in sensor localization system utilizing heterogeneous wireless technologies.
Proceedings of the Tenth International Conference on Mobile Computing and Ubiquitous Network, 2017
Proceedings of the Teaching and Learning in a Digital World - Proceedings of the 20th International Conference on Interactive Collaborative Learning, 2017
2016
J. Inf. Secur. Appl., 2016
Proceedings of the IEEE International Conference on Teaching, 2016
Providing safe and affordable transportation to reduce female students dropout: A case study on college girls in rural Bangladesh.
Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016
Proceedings of the 8th EAI International Conference on Mobile Computing, 2016
Design of Distributed Calculation Scheme Using Network Address Translation for Ad-hoc Wireless Positioning Network.
Proceedings of the Information Search, Integration, and Personlization, 2016
A Privacy-Aware User Tracking System Using Footprint Data Measured across Multiple Pressure Sensor Sheets.
Proceedings of the 5th IIAI International Congress on Advanced Applied Informatics, 2016
Proceedings of the 5th IIAI International Congress on Advanced Applied Informatics, 2016
Proceedings of the 5th IIAI International Congress on Advanced Applied Informatics, 2016
Establishing Traceability between Requirements, Design and Operation Information in Lifecycle-Oriented Architecture.
Proceedings of the 5th IIAI International Congress on Advanced Applied Informatics, 2016
Towards Sustainable Information Infrastructure Platform for Smart Mobility - Project Overview.
Proceedings of the 5th IIAI International Congress on Advanced Applied Informatics, 2016
Proceedings of the Ninth International Conference on Mobile Computing and Ubiquitous Networking, 2016
A Footprint Matching Method for Walking Users in Privacy-Aware User Tracking System Using Pressure Sensor Sheets.
Proceedings of the IEEE International Conference on Agents, 2016
Proceedings of the IEEE International Conference on Agents, 2016
Proceedings of the IEEE International Conference on Agents, 2016
2015
Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration.
Comput. J., 2015
Proceedings of the IEEE 82nd Vehicular Technology Conference, 2015
Proceedings of the Third International Symposium on Computing and Networking, 2015
Proceedings of the Third International Symposium on Computing and Networking, 2015
Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015
2014
Translation rules of SysML state machine diagrams into CSP# toward formal model checking.
Int. J. Web Inf. Syst., 2014
Formal Aspects Comput., 2014
Implementation of On-Demand Indoor Location-Based Service Using Ad Hoc Wireless Positioning Network.
Proceedings of the 2014 IEEE 11th Intl Conf on Ubiquitous Intelligence and Computing and 2014 IEEE 11th Intl Conf on Autonomic and Trusted Computing and 2014 IEEE 14th Intl Conf on Scalable Computing and Communications and Its Associated Workshops, 2014
Proceedings of the Sixth IEEE International Conference on Technology for Education, 2014
Proceedings of the Seventh International Conference on Mobile Computing and Ubiquitous Networking, 2014
2013
Power-Management Features of R-Mobile U2, an Integrated Application Processor and Baseband Processor.
IEEE Micro, 2013
Energy-efficient Data Collection Method with Multiple Deadlines for Wireless Sensor Networks.
J. Inf. Process., 2013
mockSensor: faking remote sensors as embedded sensors for a functional enhancement of Android.
Proceedings of the 11th ACM Conference on Embedded Network Sensor Systems, 2013
Proceedings of the Joint Proceedings of MODELS'13 Invited Talks, 2013
Proceedings of the Educators' Symposium co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013
A 28nm High-κ metal-gate single-chip communications processor with 1.5GHz dual-core application processor and LTE/HSPA+-capable baseband processor.
Proceedings of the 2013 IEEE International Solid-State Circuits Conference, 2013
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013
Proceedings of the Computational Science and Its Applications - ICCSA 2013, 2013
Harnessing SMT-Based Bounded Model Checking through Stateless Explicit-State Exploration.
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013
Proposal and Implementation of Encounter Data Transmission with Ultrasonic Sensor-Based Active Wakeup Mechanism for Energy Efficient Sparse Wireless Sensor Network.
Proceedings of the 27th International Conference on Advanced Information Networking and Applications Workshops, 2013
A Multilateration-based Localization Scheme for Adhoc Wireless Positioning Networks Used in Information-oriented Construction.
Proceedings of the 27th IEEE International Conference on Advanced Information Networking and Applications, 2013
Proceedings of the 27th IEEE International Conference on Advanced Information Networking and Applications, 2013
2012
ACM SIGSOFT Softw. Eng. Notes, 2012
Proceedings of the 10th International Conference on Mobile Systems, 2012
Proceedings of the Fourth International Workshop on Empirical Software Engineering in Practice, 2012
A dynamic channel assignment method based on location information of mobile terminals in indoor WLAN positioning systems.
Proceedings of the 2012 International Conference on Indoor Positioning and Indoor Navigation, 2012
Proceedings of the 34th International Conference on Software Engineering, 2012
Study on Knowledge Management Platform about the Field of Agricultural Infomatization.
Proceedings of the Sixth International Conference on Complex, 2012
A Robust Generation Technique of Common Information Based on Characteristic of Multipath Fading Channel by Shaking Handheld Devices.
Proceedings of the ARCS 2012 Workshops, 28. Februar - 2. März 2012, München, Germany, 2012
Proceedings of the ARCS 2012 Workshops, 28. Februar - 2. März 2012, München, Germany, 2012
A Mobile Sink-initiated Proactive Routing Protocol for Deadline-Aware Data Aggregation Method in Energy-Efficient Wireless Sensor Networks.
Proceedings of the ARCS 2012 Workshops, 28. Februar - 2. März 2012, München, Germany, 2012
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012
Proceedings of the 12th IEEE International Conference on Computer and Information Technology, 2012
Local Cloud Storage: Temporal Local File Sharing with Previously Paired Wireless Memories and Cross-Layer Simultaneous Data Transmission Mechanism.
Proceedings of the 12th IEEE International Conference on Computer and Information Technology, 2012
Proceedings of the 2012 Seventh International Conference on P2P, 2012
2011
Probabilistic Broadcast-Based Cache Invalidation Scheme for Location Dependent Data in Mobile Environments.
IEICE Trans. Inf. Syst., 2011
Collaborative Filtering for Position Estimation Error Correction in WLAN Positioning Systems.
IEICE Trans. Commun., 2011
An SMT-Based Approach to Bounded Model Checking of Designs in State Transition Matrix.
IEICE Trans. Inf. Syst., 2011
Spatial Statistics with Three-Tier Breadth First Search for Analyzing Social Geocontents.
Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2011
Proceedings of the 2011 Joint Conf of 21st Int'l Workshop on Software Measurement and the 6th Int'l Conference on Software Process and Product Measurement, 2011
An SMT-Based Approach to Bounded Model Checking of Designs in Communicating State Transition Matrix.
Proceedings of the International Conference on Computational Science and Its Applications, 2011
Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking.
Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011
2010
Proceedings of the Software Product Lines - 14th International Conference, 2010
Proceedings of the 2010 Symposium on Information and Communication Technology, 2010
Model Checking of Software Design in State Transition Matrix.
Proceedings of the 2010 International Conference on Software Engineering Research & Practice, 2010
Traceability Link for Product Line with RAS based Representation.
Proceedings of the 2010 International Conference on Software Engineering Research & Practice, 2010
Proceedings of the Prodeedings of the 2010 International Conference on Computational Science and Its Applications, 2010
Application to glacier observation of high-precision three-dimensional position measurement using cameras.
Proceedings of the International Conference on Humans and Computers, 2010
2009
Multipoint Relay Selections with QoS Support in Link State Routing Protocol for Multi-Hop Wireless Networks.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009
Highly efficient multipoint relay selections in link state QoS routing protocol for multi-hop wireless networks.
Proceedings of the 10th IEEE International Symposium on a World of Wireless, 2009
Proceedings of the 2009 International Conference on Telecommunications, 2009
Large Scale Business-academia Collaboration in Master Education Course.
Proceedings of the CSEDU 2009 - Proceedings of the First International Conference on Computer Supported Education, Lisboa, Portugal, March 23-26, 2009, 2009
Name Resolution Middleware Using Relative Positional Relationship to Support Wireless Visible Area Communication.
Proceedings of the IEEE 23rd International Conference on Advanced Information Networking and Applications, 2009
2007
EURASIP J. Embed. Syst., 2007
A Resource Scheduling Design Method with Model Checking for Distributed Embedded Software.
Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007
Proceedings of the IEEE Intelligent Transportation Systems Conference, 2007
2006
Performance analysis of a service-dependent handoff scheme in voice/data integrated cellular mobile systems.
Comput. Networks, 2006
Heuristic Scheduling and Process Migration on the Grid.
Proceedings of the 2006 International Conference on Grid Computing & Applications, 2006
2005
Heuristic Scheduling Schemes for a Genomic Application on the Grid.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2005
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2005
Access Point Determination Method Considering Route Stability on the Hybrid Ad-hoc Network.
Proceedings of the 2005 International Conference on Wireless Networks, 2005
Proceedings of the Third International Conference on Information Technology and Applications (ICITA 2005), 2005
Positioning Technique of Wireless LAN Terminals Using RSSI between Terminals.
Proceedings of the 2005 International Conference on Pervasive Systems and Computing, 2005
2004
Performance Evaluation of MPI-HMMER on the OBIGrid.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2004
Design of a Context-aware Message Exchange System in an Ad-hoc Network.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2004
Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004
2003
Int. J. Comput., 2003
Proposal of Wireless Peer-to-Peer System Using the Wireless Multi-Hop Network to Access Wireless Hot Spot.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003
Design of a Context-Aware Email Delivery System.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003
A Context-Aware Middleware Mapping Processes and User-Context Subspaces.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003
Implementation and Evaluation of Resource Allocation for a Genomic Application Program on the Grid.
Proceedings of the 21st IASTED International Multi-Conference on Applied Informatics (AI 2003), 2003
2002
Adaptive acquisition multiple access protocol in wireless multihop mobile ad hoc networks.
Proceedings of the 55th IEEE Vehicular Technology Conference, 2002
Design and implementation of the Lambda mu-kernel based operating system for embedded systems.
Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002
A Data-flow Genome Array Processor RING to Accelerate Homology Analysis.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002
A Power Aware Paging Scheme with Power Controlling Each Memory Bank.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002
Redundant Scheduling: An Algorithm for Scheduling Parameter Sweep Applications in Grid Environment.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002
Evaluation of a Location Management System for Wireless Communicating Mobile Computers.
Proceedings of the Information Networking, 2002
2001
Performance analysis of flexible hierarchical cellular systems with a bandwidth-efficient handoff scheme.
IEEE Trans. Veh. Technol., 2001
Design and Implementation of an Information Announcement Toolkit for Mobile Computers.
Proceedings of the Mobile Data Management, Second International Conference, 2001
Performance Modeling of Layered-Data Delivery for Mobile Users through Broadcast/On-Demand Hybrid Communication.
Proceedings of the Mobile Data Management, Second International Conference, 2001
Efficiently Announcing Multimedia Information from Mobile Computers with the WOR Toolkit.
Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems, 2001
Adaptive acquisition collision avoidance multiple access for multihop ad hoc wireless networks.
Proceedings of the Global Telecommunications Conference, 2001
2000
J. Supercomput., 2000
Genetic Algorithm Based Data and Program Partitioning.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000
Design and Implementation of a Flexible Scheduling Mechanism on User-Level Thread Library PPL.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000
Performance Evaluation of Home-Cluster Based Scheduling for NUMA Multiprocessors.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000
1999
Syst. Comput. Jpn., 1999
A Cache System of Location Dependent Data for a Mobile Computer with Mobility Specification.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999
A Cache System of Location Dependent Data for a Mobile Computer with Mobility Specification.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999
Home-cluster Based Processor Scheduling with Page Placement for NUMA Multiprocessors.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999
A spatio-temporal resource allocation protocol (STRAP) with mobility specification: simulation and performance evaluation.
Proceedings of the 2nd ACM International Workshop on Modeling, 1999
Proceedings of the Mobile Data Access, First International Conference, 1999
Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999
Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999
Generating a Device Driver with a Formal Specification Language.
Proceedings of the 17th IASTED International Conference on Applied Informatics, 1999
A Dynamically Reconfigurable Operating System Server with Protection.
Proceedings of the 17th IASTED International Conference on Applied Informatics, 1999
Evaluation of Caching Algorithm for NetNews.
Proceedings of the 17th IASTED International Conference on Applied Informatics, 1999
Proceedings of the 1999 International Conference on Parallel Architectures and Compilation Techniques, 1999
1998
Design and implementation of a Parallel Pthread Library (PPL) with parallelism and portability.
Syst. Comput. Jpn., 1998
Syst. Comput. Jpn., 1998
Design and Implementation of a Copy Update Mechanism on a Mobile Information Announcement System.
Proceedings of the International Conference on Parallel and Distributed Systems, 1998
A Copy Update Mechanism for a Mobile Information Announcement System.- Transmitting Non-storage Type Resources with Redundancy -.
Proceedings of the Advances in Database Technologies, 1998
1997
Proceedings of the 1997 International Symposium on Parallel Architectures, 1997
Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997
Design of Protocols in Timed CSP for Highly Reliable and Available Client-Server System.
Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997
1996
A Data Block Mapping Method to Reduce Cache Coherence Overhead.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1996
Estimating Minimum Execution Time of Perfect Loop Nests with Loop-Carried Dependences.
Proceedings of the Languages and Compilers for Parallel Computing, 1996
Proceedings of the 1996 International Conference on Parallel Processing, 1996
Applying the Semi-Markov Memory and Cache Coherence Interference Model to an Updating Based Cache Coherence Protocol.
Proceedings of the Euro-Par '96 Parallel Processing, 1996
Proceedings of the 3rd Asia-Pacific Software Engineering Conference (APSEC '96), 1996
1995
The CDP<sup>2</sup> Partitioning Algorithm a Combined End Program Partitioning Algorithm on the Data Partitioning Graph.
Proceedings of the 1995 International Conference on Parallel Processing, 1995
Proceedings of the IFIP WG10.3 working conference on Parallel architectures and compilation techniques, 1995
1994
The Data Partitioning Graph: Extending Data and Control Dependencies for Data Partitioning.
Proceedings of the Languages and Compilers for Parallel Computing, 1994
Parallel Pthread library (PPL): user-level thread library with parallelism and portability.
Proceedings of the Eighteenth Annual International Computer Software and Applications Conference, 1994
Organization scheme of system servers in microkernel-based operating systems-multi-process and multi-thread methods.
Proceedings of the Eighteenth Annual International Computer Software and Applications Conference, 1994
1993
Optimal number of processors in parallel processing of a single doacross loop for different execution times of iterations.
Syst. Comput. Jpn., 1993
Proceedings of the Seventeenth Annual International Computer Software and Applications Conference, 1993
1991
Toward advanced parallel processing: exploiting parallelism at task and instruction levels.
IEEE Micro, 1991
1989
The Kyushu University Reconfigurable Parallel Processor - Design Philosophy and Architecture.
Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989
The Kyushu University reconfigurable parallel processor: design of memory and intercommunicaiton architectures.
Proceedings of the 3rd international conference on Supercomputing, 1989
1988
SIGARCH Comput. Archit. News, 1988
Proceedings of the Seventh Annual Joint Conference of the IEEE Computer and Communcations Societies. Networks: Evolution or Revolution?, 1988
1986
Syst. Comput. Jpn., 1986
1980
Prescription Order Service in Kanto Teishin Hospital Information System.
Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980
1972