717 search results - page 118 / 144 » Kill-safe synchronization abstractions |
ATAL
2010
Springer
15 years 26 days ago
2010
Springer
This paper aims at giving a classification of argumentation games agents play within a multi-agent setting. We investigate different scenarios of such argumentation games that dif...
103
click to vote
ARC
2010
Springer
14 years 12 months ago
2010
Springer
Using FPGAs to accelerate High Performance Computing (HPC) applications is attractive, but has a huge associated cost: the time spent, not for developing efficient FPGA code but fo...
122
click to vote
HASE
2008
IEEE
14 years 12 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
CONCURRENCY
2008
14 years 12 months ago
2008
Abstract. The global quiescence of a distributed computation (or distributed termination detection) is an important problem. Some concurrent programming languages and systems provi...
CORR
2006
Springer
14 years 11 months ago
2006
Springer
Abstract--In this paper, we propose a decentralized sensor network scheme capable to reach a globally optimum maximum-likelihood (ML) estimate through self-synchronization of nonli...