|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 6 keywords
|
|
|
|
|
Results
Found 6 publication records. Showing 6 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ryo Yoshinaka, Toshiki Saitoh, Jun Kawahara, Koji Tsuruma, Hiroaki Iwashita, Shin-ichi Minato |
Finding All Solutions and Instances of Numberlink and Slitherlink by ZDDs.  |
Algorithms  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Subir K. Roy, Hiroaki Iwashita, Tsuneo Nakata |
Formal verification based on assume and guarantee approach - a case study (short paper). |
ASP-DAC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Subir K. Roy, Hiroaki Iwashita, Tsuneo Nakata |
Dataflow Analysis for Resource Contention and Register Leakage Properties. |
VLSI Design |
2000 |
DBLP DOI BibTeX RDF |
Register Leakage, Simulation, Formal Verification, Resource Contention |
| 1 | Hiroaki Iwashita, Tsuneo Nakata |
Forward model checking techniques oriented to buggy designs. |
ICCAD |
1997 |
DBLP DOI BibTeX RDF |
symbolic state traversal, forward model checking, formal verification, symbolic model checking |
| 1 | Hiroaki Iwashita, Tsuneo Nakata, Fumiyasu Hirose |
CTL model checking based on forward state traversal. |
ICCAD |
1996 |
DBLP DOI BibTeX RDF |
state traversal, partitioned transition relation, model checking, formal verification, CTL |
| 1 | Hiroaki Iwashita, Satoshi Kowatari, Tsuneo Nakata, Fumiyasu Hirose |
Automatic test program generation for pipelined processors. |
ICCAD |
1994 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #6 of 6 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")