Search Results for author:
Found 2 papers, 0 papers with code
A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features (Extended Version)
Lifted (family-based) static analysis by abstract interpretation is capable of analyzing all variants of a program family simultaneously, in a single run without generating any of the variants explicitly.
Programming Languages Logic in Computer Science Software Engineering
Prediction of Horizontal Data Partitioning Through Query Execution Cost Estimation
In this paper we present a novel approach for finding an optimal horizontally partitioned schema that manifests a minimal total execution cost of a given database workload.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
