4835 search results - page 551 / 967 » Intelligent Selection Tools |
183
click to vote
EPEW
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we introduce FPS, a mechanism to define performance measures for stochastic process algebra models. FPS is a functional performance specification language which desc...
200
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
Adaptive Random Testing subsumes a class of algorithms that detect the first failure with less test cases than Random Testing. The present paper shows that a "reference metho...
165
click to vote
ACSD
2001
IEEE
15 years 10 months ago
2001
IEEE
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...
184
click to vote
ICS
2000
Tsinghua U.
15 years 10 months ago
2000
Tsinghua U.
Loop fusion is important to optimizing compilers because it is an important tool in managing the memory hierarchy. By fusing loops that use the same data elements, we can reduce t...
206
click to vote
CIKM
1995
Springer
15 years 10 months ago
1995
Springer
The topic of data warehousing encompasses architectures, algorithms, and tools for bringing together selected data from multiple databases or other information sources into a sing...