22 search results - page 5 / 5 » Automated symmetry exploitation in engineering analysis |
PLDI
2010
ACM
13 years 10 months ago
2010
ACM
Programming language specifications mandate static and dynamic analyses to preclude syntactic and semantic errors. Although individual languages are usually well-specified, comp...
BMCBI
2008
13 years 5 months ago
2008
Background: T-cell epitopes that promiscuously bind to multiple alleles of a human leukocyte antigen (HLA) supertype are prime targets for development of vaccines and immunotherap...