2466 search results - page 295 / 494 » Concurrent Clustered Programming |
WOWMOM
2005
ACM
15 years 6 months ago
2005
ACM
We consider the energy consumed in radio transmission of a set of sensors forming a data gathering wireless network. Our objective is to enhance the lifetime of such networks by e...
94
Voted
SPAA
2009
ACM
16 years 1 months ago
2009
ACM
In order to be efficient with selfish programmers, a multicore transactional memory (TM) system must be designed such that it is compatible with good programming incentives (GPI),...
79
Voted
ESOP
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We propose a new formalisation of stability for Rely-Guarantee, in which an assertion's stability is encoded into its syntactic form. This allows two advances in mod...
93
Voted
APLAS
2009
ACM
15 years 7 months ago
2009
ACM
Separation Algebras serve as models of Separation Logics; Share Accounting allows reasoning about concurrent-read/exclusive-write resources in Separation Logic. In designing a Conc...
77
Voted
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
Model checking, logging, debugging, and checkpointing/recovery are great tools to identify bugs in small sequential programs. The direct application of these techniques to the dom...