1681 search results - page 231 / 337 » Formal Design of Distributed Control Systems with Lustre |
149
click to vote
SPAA
1998
ACM
15 years 9 months ago
1998
ACM
Modern shared-memory multiprocessors use complex memory system implementations that include a variety of non-trivial and interacting optimizations. More time is spent in verifying...
129
click to vote
ICS
2005
Tsinghua U.
15 years 10 months ago
2005
Tsinghua U.
As parallel jobs get bigger in size and finer in granularity, “system noise” is increasingly becoming a problem. In fact, fine-grained jobs on clusters with thousands of SMP...
161
click to vote
ICDCS
2008
IEEE
15 years 11 months ago
2008
IEEE
The multi-level storage architecture has been widely adopted in servers and data centers. However, while prefetching has been shown as a crucial technique to exploit the sequentia...
130
click to vote
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
One of the most important issues to deal with in peerto-peer networks is how to disseminate information. In this paper, we use a completely new approach to solving the information...
132
click to vote
TOCS
2008
15 years 4 months ago
2008
RaWMS is a novel lightweight random membership service for ad hoc networks. The service provides each node with a partial uniformly chosen view of network nodes. Such a membership...