16859 search results - page 3057 / 3372 » Generative software development |
200
click to vote
PLDI
2003
ACM
15 years 12 months ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...
162
click to vote
SIGMETRICS
2003
ACM
15 years 12 months ago
2003
ACM
The increasing constraints on power consumption in many computing systems point to the need for power modeling and estimation for all components of a system. The Operating System ...
186
click to vote
AC
2003
Springer
15 years 12 months ago
2003
Springer
Abstract—The dynamics of the survival of recruiting fish are analyzed as evolving random processes of aggregation and mortality. The analyses draw on recent advances in the phys...
164
click to vote
WWW
2010
ACM
15 years 11 months ago
2010
ACM
In this paper we present FormSys, a Web-based system that service-enables form documents. It offers two main services: filling in forms based on Web services’ incoming SOAP me...
154
click to vote
CLUSTER
2002
IEEE
15 years 11 months ago
2002
IEEE
Clusters have made the jump from lab prototypes to fullfledged production computing platforms. The number, variety, and specialized configurations of these machines are increasi...