|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 13 publication records. Showing 13 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Tasuku Nishihara, Takeshi Matsumoto, Masahiro Fujita |
Multi-Level Bounded Model Checking with Symbolic Counterexamples.  |
IEICE Transactions  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Yeonbok Lee, Takeshi Matsumoto, Masahiro Fujita |
An Automatic Method of Mapping I/O Sequences of Chip Execution onto High-level Design for Post-Silicon Debugging. |
IEICE Transactions |
2011 |
DBLP BibTeX RDF |
|
| 1 | Yeonbok Lee, Takeshi Matsumoto, Masahiro Fujita |
On-chip dynamic signal sequence slicing for efficient post-silicon debugging. |
ASP-DAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Masahiro Fujita, Hideo Tanida, Fei Gao, Tasuku Nishihara, Takeshi Matsumoto |
Synthesis and formal verification of on-chip protocol transducers through decomposed specification. |
ISQED |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | William Newman, David Franzel, Takeshi Matsumoto, Richard Leibbrandt, Trent W. Lewis, Martin H. Luerssen, David M. W. Powers |
Hybrid world object tracking for a virtual teaching agent. |
IJCNN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yeonbok Lee, Takeshi Matsumoto, Masahiro Fujita |
Generation of I/O sequences for a high-level design from those in post-silicon for efficient post-silicon debugging. |
ICCD |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tasuku Nishihara, Takeshi Matsumoto, Masahiro Fujita |
Word-Level Equivalence Checking in Bit-Level Accuracy by Synthesizing Designs onto Identical Datapath. |
IEICE Transactions |
2009 |
DBLP BibTeX RDF |
|
| 1 | Yeonbok Lee, Tasuku Nishihara, Takeshi Matsumoto, Masahiro Fujita |
A Post-Silicon Debug Support Using High-Level Design Description. |
Asian Test Symposium |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Takeshi Matsumoto, Daisuke Ando, Tasuku Nishihara, Masahiro Fujita |
Development and Verification of a Collaborative Printing Environment. |
C5 |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Toru Hyakutake, Takeshi Matsumoto, Shinichiro Yanase |
Lattice Boltzmann simulation of blood cell behavior at microvascular bifurcations. |
Mathematics and Computers in Simulation |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Takeshi Matsumoto, Hiroshi Saito, Masahiro Fujita |
Equivalence Checking of C Programs by Locally Performing Symbolic Simulation on Dependence Graphs. |
ISQED |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Takeshi Matsumoto, Hiroshi Saito, Masahiro Fujita |
An Equivalence Checking Method for C Descriptions Based on Symbolic Simulation with Textual Differences. |
IEICE Transactions |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")