11200 search results - page 2085 / 2240 » An Object-oriented Optimization System |
117
click to vote
CCS
2011
ACM
14 years 1 months ago
2011
ACM
We empirically analyzed sanitizer use in a shipping web application with over 400,000 lines of code and over 23,244 methods, the largest empirical analysis of sanitizer use of whi...
118
click to vote
PADL
2012
Springer
13 years 9 months ago
2012
Springer
In the past, the creators of numerical programs had to choose between simple expression of mathematical formulas and static type checking. While the Lisp family and its dynamically...
168
click to vote
VEE
2012
ACM
13 years 9 months ago
2012
ACM
Process virtualization provides a virtual execution environment within which an unmodified application can be monitored and controlled while it executes. The provided layer of co...
238
click to vote
GIS
2005
ACM
16 years 2 months ago
2005
ACM
Geographic Information Systems (GIS) are increasingly managing very large sets of data and hence a centralized data repository may not always provide the most scalable solution. H...
132
click to vote
BMCBI
2007
15 years 1 months ago
2007
Background: RNA interference has revolutionized our ability to study the effects of altering the expression of single genes in mammalian (and other) cells through targeted knockdo...