6355 search results - page 1183 / 1271 » From Logic to Games |
169
click to vote
PODC
2006
ACM
16 years 10 days ago
2006
ACM
A quorum system over a universe of logical elements is a collection of subsets (quorums) of elements, any two of which intersect. In numerous distributed algorithms, the elements ...
170
click to vote
CCGRID
2005
IEEE
16 years 12 hour ago
2005
IEEE
ABSTRACT. Objectives. This paper addresses Grid-based integration and access of distributed data from infectious disease patient databases, literature on in-vitro and in-vivo pharm...
153
click to vote
ISLPED
2005
ACM
15 years 12 months ago
2005
ACM
This paper studies the impact on energy efficiency and thermal behavior of design style and clock-gating style in queue and array structures. These structures are major sources of...
171
click to vote
PLDI
2005
ACM
15 years 12 months ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...
200
click to vote
AISADM
2005
Springer
15 years 12 months ago
2005
Springer
Computer programming of complex systems is a time consuming effort. Results are often brittle and inflexible. Evolving, self-learning flexible multi-agent systems remain a distant ...