6274 search results - page 855 / 1255 » Proofs, Programs, Processes |
160
click to vote
SAC
2009
ACM
16 years 4 days ago
2009
ACM
Despite much research in the area of wireless sensor networks in recent years, the programming of sensor nodes is still time-consuming and tedious. A new paradigm which seems to b...
142
click to vote
TACAS
2009
Springer
16 years 3 days ago
2009
Springer
Reference counting is a widely-used resource management idiom which maintains a count of references to each resource by incrementing the count upon an acquisition, and decrementing...
160
Voted
ICAS
2009
IEEE
16 years 2 days ago
2009
IEEE
In open systems where the components, i.e. the agents and the resources, may be unknown at design time, or in dynamic and self-organizing systems evolving with time, there is a ne...
148
click to vote
INFOCOM
2009
IEEE
15 years 12 months ago
2009
IEEE
—This paper studies the problem of allocating network capacity through periodic auctions. Motivated primarily by a service overlay architecture, we impose the following condition...
139
click to vote
IPPS
2009
IEEE
15 years 12 months ago
2009
IEEE
Ibis is an open source software framework that drastically simplifies the process of programming and deploying large-scale parallel and distributed grid applications. Ibis suppor...