4350 search results - page 540 / 870 » Case studies for contract-based systems |
162
Voted
CASES
2009
ACM
16 years 1 months ago
2009
ACM
Computer systems are resource constrained. Application adaptation is a useful way to optimize system resource usage while satisfying the application performance constraints. Previ...
187
Voted
DSL
1997
15 years 8 months ago
1997
In this paper we describe our experience with Teapot [7], a domain-specific language for writing cache coherence protocols. Cache coherence is of concern when parallel and distrib...
191
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
For XML-based applications in general and B2B applications in particular, mapping between differently structured XML documents, to enable exchange of data, is a basic problem. A g...
151
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Enterprises today wish to manage their IT resources so as to optimize business objectives, such as income, rather than IT metrics, such as response times. Therefore, we introduce ...
288
Voted
CC
2009
Springer
16 years 7 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...