1744 search results - page 283 / 349 » A Similarity-Driven Transfer System |
165
click to vote
ACL2
2006
ACM
16 years 4 days 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...
167
click to vote
DAC
2006
ACM
16 years 4 days ago
2006
ACM
Several emerging Design-for-Debug (DFD) methodologies are addressing silicon debug by making internal signal values and other data observable. Most of these methodologies require ...
248
click to vote
IUI
2006
ACM
16 years 4 days ago
2006
ACM
This paper addresses the problem of the graceful degradation of user interfaces where an initial interface is transferred to a smaller platform. It presents a technique for pagina...
150
click to vote
JCDL
2006
ACM
16 years 4 days ago
2006
ACM
This paper describes the building of a research library for studying the Web, especially research on how the structure and content of the Web change over time. The library is part...
162
click to vote
WOWMOM
2006
ACM
16 years 3 days ago
2006
ACM
Opportunistic scheduling can significantly improve wireless network performance by exploiting the feedback information that conveys the underlying channel condition. In emerging ...