2236 search results - page 333 / 448 » Language Independence and Language Tolerance in Logic Progra... |
226
click to vote
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
We present a complete XPath cost-based optimization and execution framework and demonstrate its effectiveness and efficiency for a variety of queries and datasets. The framework i...
154
click to vote
PLDI
1995
ACM
15 years 7 months ago
1995
ACM
Traditional list schedulers order instructions based on an optimistic estimate of the load latency imposed by the hardware and therefore cannot respond to variations in memory lat...
191
click to vote
PLDI
2012
ACM
13 years 6 months ago
2012
ACM
Concurrent, object-oriented programs often use thread-safe library classes. Existing techniques for testing a thread-safe class either rely on tests using the class, on formal spe...
132
click to vote
MICRO
2006
IEEE
15 years 10 months ago
2006
IEEE
As the industry moves toward larger-scale chip multiprocessors, the need to parallelize applications grows. High inter-thread communication delays, exacerbated by over-stressed hi...
110
click to vote
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
According to Strachey, a polymorphic program is parametric if it applies a uniform algorithm independently of the type instantiations at which it is applied. The notion of relatio...