 | 2009 |
|---|
| 6 |       | Tasuku Nishihara,
Takeshi Matsumoto,
Masahiro Fujita:
Word-Level Equivalence Checking in Bit-Level Accuracy by Synthesizing Designs onto Identical Datapath.
IEICE Transactions 92-D(5): 972-984 (2009) |
| 2008 |
|---|
| 5 |  | Masahiro Fujita,
Takeshi Matsumoto,
Hiroaki Yoshida:
A HW/SW Co-Reuse Methodology Based on Design Refinement Templates in UML Diagrams.
ICSOFT (SE/MUSE/GSDCA) 2008: 240-245 |
| 2007 |
|---|
| 4 | | Takeshi Matsumoto,
Daisuke Ando,
Tasuku Nishihara,
Masahiro Fujita:
Development and Verification of a Collaborative Printing Environment.
C5 2007: 99-108 |
| 2006 |
|---|
| 3 | | Takeshi Matsumoto,
Hiroshi Saito,
Masahiro Fujita:
Equivalence Checking of C Programs by Locally Performing Symbolic Simulation on Dependence Graphs.
ISQED 2006: 370-375 |
| 2 | | Toru Hyakutake,
Takeshi Matsumoto,
Shinichiro Yanase:
Lattice Boltzmann simulation of blood cell behavior at microvascular bifurcations.
Mathematics and Computers in Simulation 72(2-6): 134-140 (2006) |
| 2005 |
|---|
| 1 | | Takeshi Matsumoto,
Hiroshi Saito,
Masahiro Fujita:
An Equivalence Checking Method for C Descriptions Based on Symbolic Simulation with Textual Differences.
IEICE Transactions 88-A(12): 3315-3323 (2005) |
