| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 79 |       | Weiqiang Kong, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Kenji Hisazumi, Akira Fukuda: Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking. APSEC 2011: 81-88 |
| 78 | | Weiqiang Kong, Noriyuki Katahira, Wanpeng Qian, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda: An SMT-Based Approach to Bounded Model Checking of Designs in Communicating State Transition Matrix. ICCSA Workshops 2011: 159-167 |
| 74 | | Weiqiang Kong, Tomohiro Shiraishi, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda: An SMT-Based Approach to Bounded Model Checking of Designs in State Transition Matrix. IEICE Transactions 94-D(5): 946-957 (2011) |
| 67 |  | Tomohiro Shiraishi, Weiqiang Kong, Yuki Mizushima, Noriyuki Katahira, Michihiro Matsumoto, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda: Model Checking of Software Design in State Transition Matrix. Software Engineering Research and Practice 2010: 507-513 |
| 34 | | Takahiro Koita, Tetsuro Katayama, Keizo Saisho, Akira Fukuda: Performance Evaluation of Home-Cluster Based Scheduling for NUMA Multiprocessors. PDPTA 2000 |
| 33 | | Takahiro Koita, Tetsuro Katayama, Keizo Saisho, Akira Fukuda: Memory Conscious Scheduling for Cluster-based NUMA Multiprocessors. The Journal of Supercomputing 16(3): 217-235 (2000) |
| 31 | | Tetsuro Katayama, Keizo Saisho, Akira Fukuda: Proposal of a Support System for Device Driver Generation. APSEC 1999: 494- |
| 28 | | Tetsuro Katayama, Keizo Saisho, Akira Fukuda: Generating a Device Driver with a Formal Specification Language. Applied Informatics 1999: 638-643 |
| 24 | | Takahiro Koita, Tetsuro Katayama, Keizo Saisho, Akira Fukuda: Home-cluster Based Processor Scheduling with Page Placement for NUMA Multiprocessors. PDPTA 1999: 539-545 |
Selection of 9 from 86 records - Akira Fukuda has 117 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page