4377 search results - page 721 / 876 » Application Driven Software Development |
111
click to vote
ASPDAC
2007
ACM
15 years 5 months ago
2007
ACM
The development cost of low-power embedded systems can be significantly reduced by reusing legacy designs and applying proper modifications to meet the new power constraints. The ...
112
click to vote
KDD
2010
ACM
15 years 5 months ago
2010
ACM
Memory leaks are caused by software programs that prevent the reclamation of memory that is no longer in use. They can cause significant slowdowns, exhaustion of available storag...
123
click to vote
CC
2006
Springer
15 years 5 months ago
2006
Springer
The polyhedral model is known to be a powerful framework to reason about high level loop transformations. Recent developments in optimizing compilers broke some generally accepted ...
116
Voted
BMCBI
2008
15 years 1 months ago
2008
Background: Compared to other omics techniques, quantitative metabolomics is still at its infancy. Complex sample preparation and analytical procedures render exact quantification...
116
click to vote
VSTTE
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...