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 | EE | Takeshi Matsumoto,
Daisuke Ando,
Tasuku Nishihara,
Masahiro Fujita:
Development and Verification of a Collaborative Printing Environment.
C5 2007: 99-108 |
2006 |
3 | EE | Takeshi Matsumoto,
Hiroshi Saito,
Masahiro Fujita:
Equivalence Checking of C Programs by Locally Performing Symbolic Simulation on Dependence Graphs.
ISQED 2006: 370-375 |
2 | EE | 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 | EE | 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) |