15754 search results - page 2716 / 3151 » Programs are Knowledge Bases |
260
click to vote
ICST
2011
IEEE
14 years 11 months ago
2011
IEEE
—Static analysis tools have been widely used to detect potential defects without executing programs. It helps programmers raise the awareness about subtle correctness issues in t...
230
click to vote
ASPLOS
2011
ACM
14 years 11 months ago
2011
ACM
Trace-based compilation is a promising technique for language compilers and binary translators. It offers the potential to expand the compilation scopes that have traditionally be...
261
click to vote
ASPLOS
2011
ACM
14 years 11 months ago
2011
ACM
Cloud services accessed through mobile devices suffer from high network access latencies and are constrained by energy budgets dictated by the devices’ batteries. Radio and batt...
254
click to vote
ASPLOS
2011
ACM
14 years 11 months ago
2011
ACM
Main memory is responsible for a large and increasing fraction of the energy consumed by servers. Prior work has focused on exploiting DRAM low-power states to conserve energy. Ho...
196
click to vote
BMCBI
2011
14 years 11 months ago
2011
Background: We developed an extendable open-source Loop-mediated isothermal AMPlification (LAMP) signature design program called LAVA (LAMP Assay Versatile Analysis). LAVA was cre...