Akira Fukuda

According to our database1, Akira Fukuda authored at least 176 papers between 1972 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Design Of Ble 2-Step Separate Channel Fingerprinting.
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

An Inter-Organizational Software Architecture for Smart Mobility.
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

Personal Identification Methods Using Footsteps of One Step.
Proceedings of the 2020 International Conference on Artificial Intelligence in Information and Communication, 2020

2019
Danger-Pose Detection System Using Commodity Wi-Fi for Bathroom Monitoring.
Sensors, 2019

MuCHLoc: Indoor ZigBee Localization System Utilizing Inter-Channel Characteristics.
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

On Clustering Algorithms: Applications in Word-Embedding Documents.
J. Comput., 2019

Steering Interpolants Generation with Efficient Interpolation Abstraction Exploration.
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Initial Attempt on Outdoor Human Detection using IEEE 802.11ac WLAN Signal.
Proceedings of the IEEE Sensors Applications Symposium, 2019

Initial Design of Acoustic Vehicle Detector with Wind Noise Suppressor.
Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops, 2019

DFEAM: Dynamic Feature-oriented Energy-aware Adaptive Modeling.
Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

Design of Acoustic Vehicle Detector with Steady-Noise Suppression.
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

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

From Local to Global Semantic Clone Detection.
Proceedings of the 6th International Conference on Dependable Systems and Their Applications, 2019

Interpolation-Based Multi-core Bounded Model Checking of HSTM Designs.
Proceedings of the 6th International Conference on Dependable Systems and Their Applications, 2019

Multilevel Permission Extraction in Android Applications for Malware Detection.
Proceedings of the 2019 International Conference on Computer, 2019

2018
Asynchronous multi-process timed automata.
Softw. Qual. J., 2018

Semantic image retrieval for complex queries using a knowledge parser.
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

Software Engineering Practices for the Smart Mobility Market.
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

A Survey of Formal Techniques for Hardware/Software Co-verification.
Proceedings of the 7th International Congress on Advanced Applied Informatics, 2018

Evaluation of BLE Separate Channel Fingerprinting in Practical Environment.
Proceedings of the 7th International Congress on Advanced Applied Informatics, 2018

A Process of Uncertainty Handling Method to Smart Mobility Application Development.
Proceedings of the 7th International Congress on Advanced Applied Informatics, 2018

Analysis of Interrupt Behavior Based on Probabilistic Model Checking.
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

Overview and Application Examples of Agent-Based Unified Simulation Environment.
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

Exploring a Topical Representation of Documents for Recommendation Systems.
Proceedings of the 9th International Conference on Awareness Science and Technology, 2018

Automatic Test Case Generation Method for Large Scale Communication Node Software.
Proceedings of the Advances in Internet, 2018

Analysis of Security in Blockchain: Case Study in 51%-Attack Detecting.
Proceedings of the 5th International Conference on Dependable Systems and Their Applications, 2018

Verification Model Translation Method toward Behavior Model for CAST.
Proceedings of the 5th International Conference on Dependable Systems and Their Applications, 2018

2017
An intelligent annotation-based image retrieval system based on RDF descriptions.
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

2016
Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC.
J. Inf. Secur. Appl., 2016

Introducing the case grammar concept to object-oriented movie context description.
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

Smartphone Usage Analysis Based on Actual-Use Survey.
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

Dynamic SPL and Derivative Development with Uncertainty Management for DevOps.
Proceedings of the 5th IIAI International Congress on Advanced Applied Informatics, 2016

Proposal of Separate Channel Fingerprinting Using Bluetooth Low Energy.
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

Design of WiFi-AP operating channel estimation scheme for sensor node.
Proceedings of the Ninth International Conference on Mobile Computing and Ubiquitous Networking, 2016

2015
Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration.
Comput. J., 2015

WiFi AP-RSS Monitoring Using Sensor Nodes toward Anchor-Free Sensor Localization.
Proceedings of the IEEE 82nd Vehicular Technology Conference, 2015

Design of WiFi AP-RSS Monitoring System Using Sensor Nodes.
Proceedings of the Third International Symposium on Computing and Networking, 2015

AP-assisted CTS-blocking for WiFi-ZigBee Coexistence.
Proceedings of the Third International Symposium on Computing and Networking, 2015

On-demand Indoor Location-Based Service Using Ad-hoc Wireless Positioning Network.
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

A formal semantics of extended hierarchical state transition matrices using CSP#.
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

Movie Based Context-Aware Language Learning: Its Concept and System.
Proceedings of the Sixth IEEE International Conference on Technology for Education, 2014

Implementation of WiFi/Bluetooth-based Smart Narrow Field Communication.
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

clooca : Web based tool for Domain Specific Modeling.
Proceedings of the Joint Proceedings of MODELS'13 Invited Talks, 2013

Using Model-Driven Development Tools for Object-Oriented Modeling Education.
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

Towards Formal Description of Standards for Automotive Operating Systems.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Formalization and Model Checking of SysML State Machine Diagrams by CSP#.
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

Efficient Survey Database Construction Using Location Fingerprinting Interpolation.
Proceedings of the 27th IEEE International Conference on Advanced Information Networking and Applications, 2013

2012
Formal semantics of extended hierarchical state transition matrix by CSP.
ACM SIGSOFT Softw. Eng. Notes, 2012

Poster: an energy profiler for android applications used in the real world.
Proceedings of the 10th International Conference on Mobile Systems, 2012

QORAL: An External Domain-Specific Language for Mining Software Repositories.
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

Using the GPGPU for scaling up Mining Software Repositories.
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

Hot Topic Detection in Local Areas Using Twitter and Wikipedia.
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

On Accelerating SMT-based Bounded Model Checking of HSTM Designs.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

Formal Verification of Communicating HSTM Designs.
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

WiFiTag: Direct Link from the Real World to Online Digital Contents.
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

Critiquing Rules and Quality Quantification of Development-Related Documents.
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
An Experience Report of Introducing Product Line Engineering across the Board.
Proceedings of the Software Product Lines - 14th International Conference, 2010

A method for analysis and solution of scalability bottleneck in DBMS.
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

An SMT Approach to Bounded Model Checking of Design in State Transition Matrix.
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

SIP method escalation algorithm for NGN application network interface.
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
Broadcasted Location-Aware Data Cache for Vehicular Application.
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

On the M-CubITS Pedestrian WYSIWYAS Navigation Using Tile Carpets.
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

Position Estimation for Goods Tracking System Using Mobile Detectors.
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

WiPS: Location and Motion Sensing Technique of IEEE 802.11 Devices.
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
A design of flash memory file system for embedded systems.
Systems and Computers in Japan, 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

Product Line Based Component Unification and Exploiting Unified Components in FORM.
Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

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
Memory Conscious Scheduling for Cluster-based NUMA Multiprocessors.
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
An Object-Oriented Framework for Loop Parallelization.
J. Supercomput., 1999

Estimating minimum parallel execution time of loops with loop-carried dependencies.
Systems and Computers in Japan, 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

Design and Evaluation of an Information Announcement Mechanism for Mobile Computers.
Proceedings of the Mobile Data Access, First International Conference, 1999

Proposal of a Support System for Device Driver Generation.
Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999

Automatic Selecting of Required NetNews Articles.
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

The Modulo Interval: A Simple and Practical Representation for Program Analysis.
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.
Systems and Computers in Japan, 1998

Performance evaluation of Two-level Scheduling algorithms for NUMA multiprocessors.
Systems and Computers in Japan, 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
The Architecture of OCMP and its Evaluation.
Proceedings of the 1997 International Symposium on Parallel Architectures, 1997

A Parallelizing Compiler by Object Oriented Design.
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

Estimating Parallel Execution Time of Loops with Loop-Carried Dependencies.
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

Design and Implementation of Dynamically Reconstructing System Software.
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

A loop parallelization technique for linear dependence vector.
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.
Systems and Computers in Japan, 1993

Two-level processor scheduling for multiprogrammed NUMA multiprocessors.
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
Equilibrium Point Analysis of Memory Interference in Multiprocessor Systems.
IEEE Trans. Computers, 1988

An overview of the Kyushu University reconfigurable parallel processor.
SIGARCH Comput. Archit. News, 1988

M/M/K systems with M-phase fluctuations of traffic intensity.
Proceedings of the Seventh Annual Joint Conference of the IEEE Computer and Communcations Societies. Networks: Evolution or Revolution?, 1988

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
A theory of two-dimensional linear recurring arrays.
IEEE Trans. Inf. Theory, 1972


  Loading...