614 search results - page 80 / 123 » LCLint: A Tool for Using Specifications to Check Code |
ACRI
2008
Springer
14 years 3 months ago
2008
Springer
In several cases, the DNA sequences of an organism are available in different stages of its evolution and it is desirable to reconstruct the DNA sequence in a previous evolution st...
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
The XML-based Clinical Document Architecture (CDA) for document exchange defines a three-level document architecture with each higher level adding more specificity to the markup o...
KBSE
1998
IEEE
14 years 1 months ago
1998
IEEE
Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion ...
ISSTA
2006
ACM
14 years 2 months ago
2006
ACM
We present initial work on perturbation techniques that cause the manifestation of timing-related bugs in distributed memory Message Passing Interface (MPI)-based applications. Th...
TOOLS
2010
IEEE
14 years 1 months ago
2010
IEEE
Supporting read-only and side effect free execution has been the focus of a large body of work in the area of statically typed programming languages. Read-onlyness in dynamically t...