655 search results - page 96 / 131 » On Flat Programs with Lists |
PVLDB
2010
13 years 6 months ago
2010
We report on a query compilation technique that enables the construction of alternative efficient query providers for Microsoft’s Language Integrated Query (LINQ) framework. LIN...
SAS
2010
Springer
13 years 6 months ago
2010
Springer
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
Most software tools and environments help developers analyze the present and past development states of their software systems. Few approaches have investigated the potential cons...
PVLDB
2011
13 years 2 months ago
2011
Users of MapReduce often run into performance problems when they scale up their workloads. Many of the problems they encounter can be overcome by applying techniques learned from ...
ASPLOS
2009
ACM
14 years 8 months ago
2009
ACM
This paper presents a surprising result: changing a seemingly innocuous aspect of an experimental setup can cause a systems researcher to draw wrong conclusions from an experiment...