4738 search results - page 675 / 948 » Past, Present, and Future |
207
click to vote
ACL2
2006
ACM
16 years 1 months ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
204
click to vote
CONEXT
2006
ACM
16 years 1 months ago
2006
ACM
Running the Border Gateway Protocol (BGP), the Internet’s interdomain routing protocol, consumes a large amount of memory. A BGP-speaking router typically stores one or more rou...
178
click to vote
HRI
2006
ACM
16 years 1 months ago
2006
ACM
Domestic service robots have long been a staple of science fiction and commercial visions of the future. Until recently, we have only been able to speculate about what the experie...
192
click to vote
IMC
2006
ACM
16 years 1 months ago
2006
ACM
Search engines are a vital part of the Web and thus the Internet infrastructure. Therefore understanding the behavior of users searching the Web gives insights into trends, and en...
172
click to vote
NETGAMES
2006
ACM
16 years 1 months ago
2006
ACM
Multiplayer gaming over the Internet continues to grow in popularity, despite a lack of Quality of Service (QoS) mechanisms. Future QoS-aware networks such as those based on the D...