307 search results - page 42 / 62 » On the Integrity of Lightweight Checkpoints |
186
Voted
ICDE
2008
IEEE
16 years 1 months ago
2008
IEEE
In this work we look at combining emerging technologies in programming languages with traditional query processing techniques to provide support for efficient execution of declarat...
85
Voted
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
Message Sequence Charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an ...
102
click to vote
WWW
2007
ACM
16 years 1 months ago
2007
ACM
Most of the current methodologies for building ontologies rely on specialized knowledge engineers. This is in contrast to real-world settings, where the need for maintenance of do...
85
Voted
CHI
2008
ACM
16 years 24 days ago
2008
ACM
We examine how ambient displays can augment social television. Social TV 2 is an interactive television solution that incorporates two ambient displays to convey to participants a...
HPCA
2008
IEEE
16 years 23 days ago
2008
IEEE
The interconnect mechanisms (shared bus or crossbar) used in current chip-multiprocessors (CMPs) are expected to become a bottleneck that prevents these architectures from scaling...