82 search results - page 4 / 17 » sigsoft 2010 |
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
Declarative policies play a central role in many modern software systems. Engineering policies and their interactions with programs raises many interesting open questions. Categor...
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
Almost all fundamental advances in science and engineering crucially depend on the availability of extremely capable high performance computing (HPC) systems. Future HPC systems w...
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
In prior work we have developed an escape analysis to help developers identify sources of object churn (i.e., excessive use of temporaries) in large framework-based applications. ...
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
Web service applications are dynamic, highly distributed, and loosely coupled orchestrations of services which are notoriously difficult to debug. In this paper, we describe a use...
SIGSOFT
2010
ACM
13 years 6 months ago
2010
ACM
Overture is a community-based initiative that aims to develop a common open-source platform integrating a range of tools for constructing and analysing formal models of systems us...