4586 search results - page 457 / 918 » Computing stable models in parallel |
231
Voted
EAGC
2004
Springer
16 years 1 months ago
2004
Springer
Data streams are a prevalent and growing source of timely data. As streams become more prevalent, richer interrogation of the contents of the streams are required. Value of the con...
178
Voted
ICS
2004
Tsinghua U.
16 years 1 months ago
2004
Tsinghua U.
The use of semi-Lagrangian formulations in numerical weather predication models (NWP) allows for an increase in time step size. Use of this method can increase performance of thes...
193
Voted
HPDC
2003
IEEE
16 years 29 days ago
2003
IEEE
Dynamic, heterogenous and distributively owned resource environments present unique challenges to the problems of resource representation, allocation and management. Conventional ...
193
Voted
IPPS
2003
IEEE
16 years 28 days ago
2003
IEEE
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
168
Voted
IPPS
2003
IEEE
16 years 28 days ago
2003
IEEE
The standardisation procedure of the IEEE P1394.1 Draft Standard for High Performance Serial Bus Bridges is supported through the use of the state-of-the-art model checker Spin, w...