2466 search results - page 253 / 494 » Concurrent Clustered Programming |
104
Voted
ICCL
1998
IEEE
15 years 4 months ago
1998
IEEE
We describe Triveni, a framework and API for integrating threads and events. The design of Triveni is based on an algebra, including preemption combinators, of processes. Triveni ...
119
click to vote
IFL
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. Sac (Single Assignment C) is a strict, purely functional programming language primarily designed with numerical applications in mind. Particular emphasis is on efficient ...
96
Voted
ICPP
1993
IEEE
15 years 4 months ago
1993
IEEE
: This paper presents a Data-Distributed Execution approach that exploits interation-level parallelism in loops operating over arrays. It performs data-dependency analysis, based o...
110
click to vote
AGP
1995
IEEE
15 years 4 months ago
1995
IEEE
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...
110
click to vote
ENTCS
2010
15 years 19 days ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...