1117 search results - page 177 / 224 » Improving Testing Efficiency using Cumulative Test Analysis |
KR
2000
Springer
14 years 8 days ago
2000
Springer
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...
TSMC
2008
13 years 8 months ago
2008
Abstract--The efficient market hypothesis (EMH) is a cornerstone of financial economics. The EMH asserts that security prices fully reflect all available information and that the s...
IWMM
2007
Springer
14 years 2 months ago
2007
Springer
Numerous optimizations exist for improving the performance of nondeferred reference-counting (RC) garbage collection. Their designs are ad hoc, intended to exploit different count...
CLEF
2005
Springer
14 years 2 months ago
2005
Springer
This year, we have participated on multilingual two years on and Multi-8 merging-only CLEF task. Our main interest has been to test several usual CLIR tasks and investigate how th...
IPPS
1997
IEEE
14 years 27 days ago
1997
IEEE
In this paper, we present two new run-time algorithms for the parallelization of loops that have indirect access patterns. The algorithms can handle any type of loop-carried depen...