|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
|
|
Results
Found 5 publication records. Showing 5 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Stephan Wilhelm, Björn Wachter |
Symbolic state traversal for WCET analysis.  |
EMSOFT  |
2009 |
DBLP DOI BibTeX RDF |
abstract interpretation, binary decision diagram, worst-case execution time, hard real time, processor models |
| 1 | Stephan Wilhelm, Björn Wachter |
Towards Symbolic State Traversal for Efficient WCET Analysis of Abstract Pipeline and Cache Models. |
WCET |
2007 |
DBLP BibTeX RDF |
|
| 1 | Andreas Kuehlmann, Jason Baumgartner |
Transformation-Based Verification Using Generalized Retiming. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroyuki Higuchi, Fabio Somenzi |
Lazy group sifting for efficient symbolic state traversal of FSMs. |
ICCAD |
1999 |
DBLP BibTeX RDF |
|
| 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 |
Displaying result #1 - #5 of 5 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")