4502 search results - page 217 / 901 » Regular Model Checking |
194
click to vote
SPIN
2012
Springer
13 years 8 months ago
2012
Springer
We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-specific language (DSL). We have built a tool which automatically ...
150
Voted
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
—A new class of pair-wise regularizers is proposed for vector-valued signals, including several new regularizers that penalize the angular difference between neighboring vectors....