67 search results - page 10 / 14 » Verifying Compiled File System Code |
LCPC
2009
Springer
14 years 8 days ago
2009
Springer
Abstract. Many parallel programs are written in a single-program, multipledata (SPMD) style, in which synchronization is provided using collective operations that all threads execu...
SP
2005
IEEE
14 years 1 months ago
2005
IEEE
Self-checking software tamper resistance mechanisms employing checksums, including advanced systems as recently proposed by Chang and Atallah (2002) and Horne et al. (2002), have ...
POPL
2000
ACM
13 years 11 months ago
2000
ACM
Various code certification systems allow the certification and static verification of important safety properties such as memory and control-flow safety. These systems are valuabl...
ICFP
2009
ACM
14 years 8 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
Source Code
The CImg Library is an open source, C++ toolkit for image processing, designed with these properties in mind :
Usefulness
CImg defines classes and methods to manage images in y...