7773 search results - page 243 / 1555 » On generalized Frame-Stewart numbers |
180
click to vote
CADE
2007
Springer
16 years 21 days ago
2007
Springer
We develop and implement a novel algorithm for discovering the optimal sets of premisses for proving and disproving conjectures in first-order logic. The algorithm uses interpret...
189
click to vote
PLDI
2006
ACM
16 years 14 days ago
2006
ACM
The widespread presence of SIMD devices in today’s microprocessors has made compiler techniques for these devices tremendously important. One of the most important and difficul...
158
click to vote
PODC
2006
ACM
16 years 14 days ago
2006
ACM
We consider deterministic distributed broadcasting on multiple access channels in the framework of adversarial queuing. Packets are injected dynamically by an adversary that is co...
185
click to vote
PODC
2006
ACM
16 years 14 days ago
2006
ACM
Coloring the nodes of a graph with a small number of colors is one of the most fundamental problems in theoretical computer science. In this paper, we study graph coloring in a di...
164
click to vote
SIGCOMM
2006
ACM
16 years 14 days ago
2006
ACM
An understanding of the topological structure of the Internet is needed for quite a number of networking tasks, e.g., making decisions about peering relationships, choice of upstr...