372 search results - page 26 / 75 » On Codings of Traces |
SAFECOMP
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...
SPIN
2012
Springer
11 years 10 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 ...
ISSTA
2010
ACM
13 years 7 months ago
2010
ACM
Applications that process complex inputs often react in different ways to changes in different regions of the input. Small changes to forgiving regions induce correspondingly smal...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
Application Layer Forward Error Correction (AL)-FEC is increasingly being employed in the emerging wireless multimedia applications, where the multimedia data is sent along with r...
TIT
2008
13 years 7 months ago
2008
The problem of predicting a sequence x ; x ; . . . generated by a discrete source with unknown statistics is considered. Each letter x is predicted using the information on the wor...