4586 search results - page 747 / 918 » Computing stable models in parallel |
124
Voted
PPAM
2005
Springer
15 years 9 months ago
2005
Springer
This paper describes a checkpointing mechanism destined for Distributed Shared Memory (DSM) systems with speculative prefetching. Speculation is a general technique involving predi...
135
Voted
ICDCSW
2003
IEEE
15 years 9 months ago
2003
IEEE
— Current Web servers use various API sets to access backend services. This model does not support service differentiation, overload control, caching of contents generated by bac...
134
click to vote
ICDCSW
2002
IEEE
15 years 8 months ago
2002
IEEE
In this paper, we argue that there is a need for an event-based middleware to build large-scale distributed systems. Existing publish/subscribe systems still have limitations comp...
146
click to vote
CONCUR
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. A concurrent Kleene algebra offers, next to choice and iteration, operators for sequential and concurrent composition, related by an inequational form of the exchange la...
GI
2009
Springer
15 years 8 months ago
2009
Springer
: In this paper we present the concurrent constraint functional programming CCFL and an abstract machine for the evaluation of CCFL programs in a multicore environment. The source ...