3886 search results - page 84 / 778 » Toward Recovery-Oriented Computing |
ISPDC
2007
IEEE
14 years 3 months ago
2007
IEEE
RTSS
2007
IEEE
14 years 3 months ago
2007
IEEE
CIE
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper extends the logical approach to computable analysis via Σ–definability to higher type continuous data such as functionals and operators. We employ definab...
GRID
2005
Springer
14 years 2 months ago
2005
Springer
CLUSTER
2005
IEEE
14 years 2 months ago
2005
IEEE
Volunteer distributed computations utilize spare processor cycles of personal computers that are connected to the Internet. The related computation integrity concerns are commonly...