1830 search results - page 256 / 366 » Centering in Dynamic Semantics |
112
click to vote
DAC
2008
ACM
16 years 13 days ago
2008
ACM
A SystemC simulation kernel consists of a deterministic implementation of the scheduler, whose specification is nondeterministic. To leverage testing of a SystemC TLM design, we f...
100
click to vote
WWW
2007
ACM
16 years 3 days ago
2007
ACM
Several approaches to collaborative filtering have been studied but seldom have studies been reported for large (several million users and items) and dynamic (the underlying item ...
193
click to vote
PADL
2009
Springer
16 years 2 days ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
102
Voted
OSDI
2002
ACM
15 years 11 months ago
2002
ACM
Pangaea is a wide-area file system that supports data sharing among a community of widely distributed users. It is built on a symmetrically decentralized infrastructure that consi...
112
click to vote
SIGMOD
2004
ACM
15 years 11 months ago
2004
ACM
Despite the widespread and growing use of asynchronous copies to improve scalability, performance and availability, this practice still lacks a firm semantic foundation. Applicati...