1528 search results - page 91 / 306 » Performance Assertion Checking |
VLDB
1993
ACM
14 years 2 months ago
1993
ACM
The enforcement of semantic integrity constraints in data and knowledge bases constitutea a major performance bottleneck. Integrity constraint simplification methods aim at reduci...
ICS
1995
Tsinghua U.
14 years 1 months ago
1995
Tsinghua U.
In this paper, we present a GSA-based technique that performs more e cient and more precise symbolic analysis of predicated assignments, recurrences and index arrays. The e ciency...
AAAI
2006
13 years 11 months ago
2006
The impact of learning algorithm optimization by means of parameter tuning is studied. To do this, two quality attributes, sensitivity and classification performance, are investig...
SIGCOMM
2010
ACM
13 years 10 months ago
2010
ACM
We argue that recent hypervisor-vs-microkernel discussions completely miss the point. Fundamentally, the two classes of systems h in common, and provide similar abstractions. We a...
PUC
2002
13 years 9 months ago
2002
: The Media Equation asserts that people treat and behave towards computers in much the same way as towards other people, for example regarding politeness. We report the results of...