Search the dblp DataBase

Publications of Author

1. Takeshi Matsumoto, Daisuke Ando, Tasuku Nishihara, Masahiro Fujita
   Development and Verification of a Collaborative Printing Environment. [Citation Graph (0, 0)][DBLP]
   C5, 2007, pp:99-108 [Conf]
   
2. Takeshi Matsumoto, Hiroshi Saito, Masahiro Fujita
   Equivalence Checking of C Programs by Locally Performing Symbolic Simulation on Dependence Graphs. [Citation Graph (0, 0)][DBLP]
   ISQED, 2006, pp:370-375 [Conf]
   
3. Toru Hyakutake, Takeshi Matsumoto, Shinichiro Yanase
   Lattice Boltzmann simulation of blood cell behavior at microvascular bifurcations. [Citation Graph (0, 0)][DBLP]
   Mathematics and Computers in Simulation, 2006, v:72, n:2-6, pp:134-140 [Journal]
   
4. 
   A Post-Silicon Debug Support Using High-Level Design Description. [Citation Graph (, )][DBLP]
   
   
5. 
   A HW/SW Co-Reuse Methodology Based on Design Refinement Templates in UML Diagrams. [Citation Graph (, )][DBLP]
   
   
6. 
   Synthesis and formal verification of on-chip protocol transducers through decomposed specification. [Citation Graph (, )][DBLP]