429 search results - page 41 / 86 » Parallel programming with object assemblies |
SC
2009
ACM
14 years 2 months ago
2009
ACM
Executing large number of independent tasks or tasks that perform minimal inter-task communication in parallel is a common requirement in many domains. In this paper, we present o...
ECOOPW
2004
Springer
14 years 3 months ago
2004
Springer
This paper reports on the results of the Fifth International Workshop on Object-Oriented Reengineering in Oslo on June 15, 2004. It enumerates the presentations made, classifies t...
IPPS
2002
IEEE
14 years 3 months ago
2002
IEEE
We present a formalization of a proof of self-stabilization in the Coq proof assistant. Coq is a program allowing to define mathematical objects and properties, and to make proof...
IPPS
2000
IEEE
14 years 2 months ago
2000
IEEE
We argue that mutable programs are an important class of future applications. The field of software agents is an important beneficiary of mutability. We evaluate existing mutabl...
ASPLOS
1998
ACM
14 years 2 months ago
1998
ACM
This paper proposes a technique that enables performing multi-cycle (multiplication, division, square-root ...) computations in a single cycle. The technique is based on the notio...