400 search results - page 48 / 80 » An Extensible Meta-Model for Program Analysis |
102
click to vote
BMCBI
2006
14 years 11 months ago
2006
Background: Genome databases contain diverse kinds of information, including gene annotations and nucleotide and amino acid sequences. It is not easy to integrate such information...
PLDI
2006
ACM
15 years 5 months ago
2006
ACM
Procedures have long been the basic units of compilation in conventional optimization frameworks. However, procedures are typically formed to serve software engineering rather tha...
191
click to vote
POPL
2003
ACM
16 years 2 days ago
2003
ACM
Multimedia and network processing applications make extensive use of subword data. Since registers are capable of holding a full data word, when a subword variable is assigned a r...
101
click to vote
CPHYSICS
2007
14 years 11 months ago
2007
During the last decade, several quantum information protocols, such as quantum key distribution, teleportation or quantum computation, have attracted a lot of interest. Despite th...
127
click to vote
PLDI
2011
ACM
14 years 2 months ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...