753 search results - page 95 / 151 » Completing a (k - 1)-Assignment |
127
click to vote
ASPLOS
2004
ACM
15 years 9 months ago
2004
ACM
Transactional Coherence and Consistency (TCC) offers a way to simplify parallel programming by executing all code within transactions. In TCC systems, transactions serve as the fu...
135
click to vote
SIGCOMM
2004
ACM
15 years 9 months ago
2004
ACM
We formulate the delay-tolerant networking routing problem, where messages are to be moved end-to-end across a connectivity graph that is time-varying but whose dynamics may be kn...
142
click to vote
SIGUCCS
2004
ACM
15 years 9 months ago
2004
ACM
This paper explains two projects dealing with spam recently completed at Iowa State University (ISU). The first project was undertaken by a team composed of members of the campus ...
124
click to vote
WMPI
2004
ACM
15 years 9 months ago
2004
ACM
Current trends suggest that the number of memory chips per processor chip will increase at least a factor of ten in seven years. This will make DRAM cost, the space and the power i...
143
click to vote
DALT
2004
Springer
15 years 9 months ago
2004
Springer
In 1992, Moss and Parikh studied a bimodal logic of knowledge and effort called Topologic. In this current paper, Topologic is extended to the case of many agents who are assumed...