1054 search results - page 37 / 211 » From a Verified Kernel towards Verified Systems |
117
click to vote
LCTRTS
2000
Springer
15 years 5 months ago
2000
Springer
This paper presents a general approach to automatically validate code-improving transformations on low-level program representations. The approach ensures the correctness of compi...
104
click to vote
ACCV
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This paper presents a new algorithm for low-level multiscale segmentation of images. The algorithm is designed to detect image regions regardless of their shapes, sizes, ...
111
click to vote
ICC
2008
IEEE
15 years 8 months ago
2008
IEEE
—This work presents a closed-form expression for characterizing the spread of static worm-scanning strategies through a mean-field approximation. Our model can both accurately c...
100
click to vote
ECBS
2010
IEEE
15 years 7 months ago
2010
IEEE
The Unified Modeling Language (UML) is the standard to specify the structure and behaviour of software systems. The created models are a constitutive part of the software speci...
127
click to vote
POPL
2012
ACM
13 years 9 months ago
2012
ACM
JavaScript has become the most widely used language for clientside web programming. The dynamic nature of JavaScript makes understanding its code notoriously difficult, leading t...