1356 search results - page 175 / 272 » The ideal of verified software |
148
click to vote
CHES
2010
Springer
15 years 7 months ago
2010
Springer
Random delays are often inserted in embedded software to protect against side-channel and fault attacks. At CHES 2009 a new method for generation of random delays was described tha...
131
click to vote
BIRTHDAY
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...
165
click to vote
ENDM
2010
15 years 6 months ago
2010
Verifying that a piece of software has no bugs means proving that it has certain desired properties, such as an array index not taking values outside certain Abstract interpretati...
153
click to vote
IJCV
2008
15 years 6 months ago
2008
In this study we concentrate on qualitative topological analysis of the local behavior of the space of natural images. To this end, we use a space of 3 by 3 high-contrast patches ...
153
click to vote
JSS
2006
15 years 6 months ago
2006
Synchronization of multimedia streams is one of the important issue in multimedia communications. In this paper, we propose an adaptive synchronization agency for synchronization ...