7508 search results - page 377 / 1502 » A new approach for distributed computing in avionics systems |
210
Voted
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper concerns the management of energy in data centers using a cyber-physical model that supports the coordinated control of both computational and thermal (cooling) resource...
164
click to vote
SAFECOMP
2000
Springer
15 years 10 months ago
2000
Springer
Fault tolerant systems based on the use of software design diversity may be able to achieve high levels of reliability more cost-effectively than other approaches, such as heroic ...
182
click to vote
CCS
2007
ACM
16 years 1 months ago
2007
ACM
In this paper we propose a new voting protocol with desirable security properties. The voting stage of the protocol can be performed by humans without computers; it provides every...
237
click to vote
AUTONOMICS
2009
ACM
16 years 1 months ago
2009
ACM
Abstract. Autonomic computing is being advocated as a tool for managing large, complex computing systems. Specifically, self-organisation provides a suitable approach for developi...
200
click to vote
PPDP
1999
Springer
15 years 11 months ago
1999
Springer
Curry is a multi-paradigm declarative language covering functional, logic, and concurrent programming paradigms. Curry’s operational semantics is based on lazy reduction of expre...