Sciweavers

129 search results - page 8 / 26
» Benchmarking Reasoners for Multi-Ontology Applications
Sort
View
PLDI
2010
ACM
14 years 5 months ago
The Reachability-Bound Problem
We define the reachability-bound problem to be the problem of finding a symbolic worst-case bound on the number of times a given control location inside a procedure is visited in ...
Sumit Gulwani, Florian Zuleger
OOPSLA
2007
Springer
14 years 1 months ago
Statistically rigorous java performance evaluation
Java performance is far from being trivial to benchmark because it is affected by various factors such as the Java application, its input, the virtual machine, the garbage collect...
Andy Georges, Dries Buytaert, Lieven Eeckhout
EDBT
2004
ACM
132views Database» more  EDBT 2004»
14 years 7 months ago
Query-Customized Rewriting and Deployment of DB-to-XML Mappings
Given the current trend towards application interoperability and XML-based data integration, there is an increasing need for XML interfaces to relational database management system...
Oded Shmueli, George A. Mihaila, Sriram Padmanabha...
SGAI
2009
Springer
14 years 4 days ago
Remainder Subset Awareness for Feature Subset Selection
Feature subset selection has become more and more a common topic of research. This popularity is partly due to the growth in the number of features and application domains. The fa...
Gabriel Prat-Masramon, Lluís A. Belanche Mu...
ICDCS
2011
IEEE
12 years 7 months ago
Economical and Robust Provisioning of N-Tier Cloud Workloads: A Multi-level Control Approach
—Resource provisioning for N-tier web applications in Clouds is non-trivial due to at least two reasons. First, there is an inherent optimization conflict between cost of resour...
PengCheng Xiong, Zhikui Wang, Simon Malkowski, Qin...