7452 search results - page 1253 / 1491 » A Semantics for Multiprocessor Systems |
177
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
People cannot type as fast as they think, especially when faced with the constraints of mobile devices. There have been numerous approaches to solving this problem, including rese...
304
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
In PLT Scheme, programs consist of modules with contracts. The latter describe the inputs and outputs of functions and objects via predicates. A run-time system enforces these pre...
262
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
In 1996, Gil and Lorenz proposed programming language constructs for specifying environmental acquisition in addition to inheritance acquisition for objects. They noticed that in ...
267
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
Orion is a state-of-the-art uncertain database management system with built-in support for probabilistic data as first class data types. In contrast to other uncertain databases, ...
258
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
We propose to demonstrate SEMMO, a consistency server for MMOs. The key features of SEMMO are its novel distributed consistency protocol and system architecture. The distributed n...