2132 search results - page 215 / 427 » Automated software winnowing |
146
click to vote
CCGRID
2011
IEEE
14 years 7 months ago
2011
IEEE
Abstract—Significant achievements have been made for automated allocation of cloud resources. However, the performance of applications may be poor in peak load periods, unless t...
163
click to vote
CCR
2011
14 years 7 months ago
2011
Scalability is said to be one of the major advantages brought by the cloud paradigm and, more specifically, the one that makes it different to an “advanced outsourcing” solu...
143
click to vote
CHI
2011
ACM
14 years 7 months ago
2011
ACM
People routinely rely on Internet search engines to support their use of interactive systems: they issue queries to learn how to accomplish tasks, troubleshoot problems, and other...
164
click to vote
ICFP
2012
ACM
13 years 6 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
114
click to vote
DAC
2000
ACM
16 years 5 months ago
2000
ACM
The increasing complexity and software content of embedded systems has led to the common use of sophisticated system software that helps applications use the underlying hardware r...