7055 search results - page 363 / 1411 » Some New 4-Designs |
210
click to vote
ACL2
2006
ACM
16 years 26 days ago
2006
ACM
Several users have had problems using equivalence-based rewriting in ACL2 because the ACL2 rewriter caches its results. We describe this problem in some detail, together with a pa...
203
click to vote
ECBS
2005
IEEE
16 years 15 days ago
2005
IEEE
CSP++ is an object-oriented application framework for execution of CSP specifications that have been automatically synthesized into C++ source code by the cspt translator. We desc...
206
click to vote
INFOVIS
2005
IEEE
16 years 14 days ago
2005
IEEE
Many visual analysis tools operate on a fixed set of data. However, professional information analysts follow issues over a period of time and need to be able to easily add new doc...
161
click to vote
IPPS
2005
IEEE
16 years 14 days ago
2005
IEEE
— In distributed heterogeneous Grid environments the protocols used to exchange bits are crucial. As researchers work hard to discover the best new protocol for the Grid, applica...
136
click to vote
IUI
2005
ACM
16 years 13 days ago
2005
ACM
Voicemail has become an integral part of our personal and professional communication. The number of messages that accumulate in our voice mailboxes necessitate new ways of priorit...