277 search results - page 22 / 56 » Program Spectra Analysis in Embedded Software: A Case Study |
149
click to vote
RTAS
2008
IEEE
16 years 7 days ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
158
click to vote
CASES
2004
ACM
15 years 11 months ago
2004
ACM
+ With more applications being deployed on embedded platforms, software protection becomes increasingly important. This problem is crucial on embedded systems like financial transa...
172
click to vote
SIGSOFT
2010
ACM
15 years 3 months ago
2010
ACM
The presence of a functionally correct golden implementation has a significant advantage in the software development life cycle. Such a golden implementation is exploited for soft...
153
click to vote
CASES
2006
ACM
15 years 12 months ago
2006
ACM
Dictionary code compression is a technique where long instructions in the memory are replaced with shorter code words used as index in a table to look up the original instructions...
120
click to vote
RAID
2009
Springer
16 years 12 days ago
2009
Springer
Abstract. In order to detect a compromise of a running process based on it deviating from its program’s normal system-call behavior, an anomaly detector must first be trained wi...