4400 search results - page 640 / 880 » A proposal for parallel self-adjusting computation |
188
click to vote
CONCUR
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We consider linear time temporal logic enriched with semiextended regular expressions through various operators that have been proposed in the literature, in particular i...
177
click to vote
CONCUR
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
160
click to vote
EUROPAR
2007
Springer
16 years 25 days ago
2007
Springer
To fully harness Grids, users or middlewares must have some knowledge on the topology of the platform interconnection network. As such knowledge is usually not available, one must ...
186
click to vote
EUROPAR
2007
Springer
16 years 25 days ago
2007
Springer
Publish/subscribe systems provide a useful paradigm for selective data dissemination and most of the complexity related to addressing and routing is encapsulated within the network...
130
click to vote
EUROPAR
2007
Springer
16 years 25 days ago
2007
Springer
This paper is the first analysis of caching architectures for Question Answering (QA). We introduce the novel concept of multi-layer collaborative caches, where: (a) each resource...