64 search results - page 3 / 13 » Clarkson's Algorithm for Violator Spaces |
ICDE
2009
IEEE
13 years 3 months ago
2009
IEEE
When merging data from various sources, it is often the case that small variations in data format and interpretation cause traditional functional dependencies (FDs) to be violated,...
ICST
2009
IEEE
13 years 3 months ago
2009
IEEE
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...
CP
2009
Springer
14 years 6 months ago
2009
Springer
Many problems require minimally perturbing an initial state in order to repair some violated constraints. We consider two search spaces for exactly solving this minimal perturbatio...
ISCA
2011
IEEE
12 years 9 months ago
2011
IEEE
Inclusive last-level caches (LLCs) waste precious silicon estate due to cross-level replication of cache blocks. As the industry moves toward cache hierarchies with larger inner l...
CAV
2008
Springer
13 years 7 months ago
2008
Springer
We study the problem of monitoring concurrent program runs for atomicity violations. Unearthing fundamental results behind scheduling algorithms in database control, we build space...