1302 search results - page 239 / 261 » On the Strong Chromatic Number |
175
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
ACT Benchmarks are an immensely useful tool in performing research since they allow for rapid and clear comparison between different approaches to solving CAD problems. Recent expe...
147
click to vote
ASPLOS
2008
ACM
15 years 8 months ago
2008
ACM
Nested paging is a hardware solution for alleviating the software memory management overhead imposed by system virtualization. Nested paging complements existing page walk hardwar...
168
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents a theoretical study of decentralized control for sensing-based shape formation on modular multirobot systems, where the desired shape is specified in terms of ...
171
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
We consider a multiagent resource allocation domain where the marginal production of each resource is diminishing. A set of identical, self-interested agents requires access to sh...
171
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we describe two mission critical applications currently deployed by Telecom Italia in the Operations Support System domains. The first one called "Network Neut...