715 search results - page 122 / 143 » Automatic Programming for Sequence Control |
HPCA
2008
IEEE
14 years 10 months ago
2008
IEEE
Estimating the maximum power and thermal characteristics of a processor is essential for designing its power delivery system, packaging, cooling, and power/thermal management sche...
SOSP
2007
ACM
14 years 6 months ago
2007
ACM
Attackers exploit software vulnerabilities to control or crash programs. Bouncer uses existing software instrumentation techniques to detect attacks and it generates filters auto...
CAV
2003
Springer
14 years 1 months ago
2003
Springer
odular Abstraction Refinement Thomas A. Henzinger1 , Ranjit Jhala1 , Rupak Majumdar1 , and Shaz Qadeer2 1 University of California, Berkeley 2 Microsoft Research, Redmond Abstract....
BMCBI
2007
2007
FUNC: a package for detecting significant associations between gene sets and ontological annotations
13 years 9 months ago
Background: Genome-wide expression, sequence and association studies typically yield large sets of gene candidates, which must then be further analysed and interpreted. Informatio...
ISSTA
2010
ACM
14 years 1 months ago
2010
ACM
When developers change a program, regression tests can fail not only due to faults in the program but also due to outof-date test code that does not reflect the desired behavior ...