4586 search results - page 457 / 918 » Computing stable models in parallel |
204
Voted
EAGC
2004
Springer
16 years 6 days 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...
158
click to vote
ICS
2004
Tsinghua U.
16 years 6 days 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...
172
click to vote
HPDC
2003
IEEE
16 years 3 days ago
2003
IEEE
Dynamic, heterogenous and distributively owned resource environments present unique challenges to the problems of resource representation, allocation and management. Conventional ...
176
click to vote
IPPS
2003
IEEE
16 years 3 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...
151
click to vote
IPPS
2003
IEEE
16 years 3 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...