2261 search results - page 371 / 453 » The problem with scalability |
143
click to vote
SAS
2010
Springer
14 years 12 months ago
2010
Springer
The efficiency of a points-to analysis is critical for several compiler optimizations and transformations, and has attracted considerable research attention. Despite several advanc...
127
click to vote
SAS
2010
Springer
14 years 12 months ago
2010
Springer
Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Carnegie Mellon University Abstract. Numeric abstract domains are widely used in program analyses. The simplest nu...
121
click to vote
SIAMSC
2010
14 years 12 months ago
2010
Abstract. Popular approaches for solving the shallow water equations (SWE) for climate modeling are explicit and semi-implicit methods, both have certain constraints on the time st...
128
click to vote
SIGMOD
2010
ACM
14 years 12 months ago
2010
ACM
This paper presents a survey on the major approaches to search interface understanding. The Deep Web consists of data that exist on the Web but are inaccessible via text search en...
101
click to vote
SJ
2010
14 years 12 months ago
2010
—Wildlife tracking and ecological monitoring are important for scientific monitoring, wildlife rehabilitation, disease control, and sustainable ecological development. Yet techn...