1710 search results - page 66 / 342 » High-Level Programs and Program Conditions |
SC
2004
ACM
14 years 1 months ago
2004
ACM
Previous experiments with high-performance Java were initially disappointing. After several years of optimization, this paper investigates the current suitability of such object-o...
IPPS
1998
IEEE
13 years 11 months ago
1998
IEEE
In this paper, we describe our experience with developing Airshed, a large pollution modeling application, in the Fx programming environment. We demonstrate that high level parall...
SP
2008
IEEE
13 years 8 months ago
2008
IEEE
This paper presents FABLE, a core formalism for a programming language in which programmers may specify security policies and reason that these policies are properly enforced. In ...
ICDCS
2002
IEEE
14 years 1 months ago
2002
IEEE
In this paper, we focus our attention on the problem of automating the addition of failsafe fault-tolerance where fault-tolerance is added to an existing (fault-intolerant) progra...
FM
2008
Springer
13 years 9 months ago
2008
Springer
We focus on synthesis techniques for transforming existing fault-intolerant real-time programs to fault-tolerant programs that provide phased recovery. A fault-tolerant program is ...