3066 search results - page 205 / 614 » On Facilitating Automated Evaluation |
HIPC
2009
Springer
13 years 7 months ago
2009
Springer
Data grids provide geographically distributed storage and computing resources for large data-intensive applications. To support fast data access and processing, effective data man...
COMSWARE
2006
IEEE
14 years 3 months ago
2006
IEEE
—Most of the contemporary research in wireless networks is primarily based on simulations or in-house small scale experimental setups that are highly customized for the experimen...
AR
2006
13 years 9 months ago
2006
Cognitive scientists and developmental psychologists have suggested that development in perceptual, motor and memory functions of human infants as well as adaptive evaluation by ca...
CADE
2004
Springer
14 years 3 months ago
2004
Springer
The dependency pair approach is one of the most powerful techniques for automated (innermost) termination proofs of term rewrite systems (TRSs). For any TRS, it generates inequalit...
ICSM
2003
IEEE
14 years 2 months ago
2003
IEEE
“Nightly/daily building and smoke testing” have become widespread since they often reveal bugs early in the software development process. During these builds, software is comp...