519 search results - page 66 / 104 » Granular Problem Solving and Software Engineering |
114
Voted
DSE
1998
15 years 2 months ago
1998
The Voltan software library for building distributed applications provides the support for (i) a processpair to act as single Voltan self-checking ‘fail-silent’ process; and (...
119
Voted
COMSWARE
2006
IEEE
15 years 8 months ago
2006
IEEE
— In this paper, we propose a framework for fault repair in mobile sensor networks. A hierarchical structure which consists of replacement module, management policy module, knowl...
110
click to vote
FSTTCS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Monolithic finite-state probabilistic programs have been abstractly modeled by finite Markov chains, and the algorithmic verification problems for them have been inves...
108
Voted
FSTTCS
2004
Springer
15 years 8 months ago
2004
Springer
We consider the problem of determining whether a given set S in Rn is approximately convex, i.e., if there is a convex set K ∈ Rn such that the volume of their symmetric differe...
124
Voted
AFRICACRYPT
2010
Springer
15 years 9 months ago
2010
Springer
This paper describes an implementation of Pollard’s rho algorithm to compute the elliptic curve discrete logarithm for the Synergistic Processor Elements of the Cell Broadband En...