( en | de | ru )

 

Disambiguation of "Fukuda, Akira"

Author of the publication

copydeleteadd this publication to your clipboard
On Accelerating SMT-based Bounded Model Checking of HSTM Designs.

, , , , , and . APSEC, page 614-623. IEEE, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Akira Hayashima

Kiyoaki Fukuda

Ryoko Fukuda

Akira Hori

Akira Satake

 

Other publications of authors with the same name

Collaborative Filtering for Position Estimation Error Correction in WLAN Positioning Systems., , , , and . IEICE Trans. Commun., 94-B (3): 649-657 (2011)Initial Design of Two-Stage Acoustic Vehicle Detection System for High Traffic Roads., , , , , , and . PerCom Workshops, page 1-6. IEEE, (2020)Design Of Ble 2-Step Separate Channel Fingerprinting., , , , and . VTC Spring, page 1-6. IEEE, (2020)An Object-Oriented Framework for Loop Parallelization., , and . J. Supercomput., 13 (1): 57-69 (1999)Monitoring System for Optimization based on Analyzing Android Application Launching Behavior., , , , , and . ICCE-TW, page 1-2. IEEE, (2020)A Framework of Longitudinal Study to Understand Determinants of Actual Use of the Portable Health Clinic System., , , , , , , and . HCI (22), volume 11587 of Lecture Notes in Computer Science, page 323-332. Springer, (2019)The Modulo Interval: A Simple and Practical Representation for Program Analysis., , , and . IEEE PACT, page 91-96. IEEE Computer Society, (1999)Evaluation of Caching Algorithm for NetNews., , and . Applied Informatics, page 175-182. IASTED/ACTA Press, (1999)A Context-Aware Middleware Mapping Processes and User-Context Subspaces., , , and . PDPTA, page 1591-1597. CSREA Press, (2003)A Power Aware Paging Scheme with Power Controlling Each Memory Bank., , and . PDPTA, page 1912-1918. CSREA Press, (2002)