4586 search results - page 437 / 918 » Computing stable models in parallel |
162
click to vote
PODC
2003
ACM
15 years 12 months ago
2003
ACM
We consider the model of unreliable network links, where at each time unit a link might be either up or down. We consider two related problems. The first, establishing end to end...
178
click to vote
CCGRID
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we discuss requirements for integrating dynamic performance information from the Network Weather Service (NWS) into the Grid Information Service infrastructure (GIS...
186
click to vote
HPDC
2002
IEEE
15 years 11 months ago
2002
IEEE
Resource location (or discovery) is a fundamental service for resource-sharing environments: given desired resource attributes, the service returns locations of matching resources....
161
click to vote
CONCUR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper we discuss the role of labels in transition systems with regard to bisimilarity and model checking problems. We suggest a general reduction from labelled tr...
146
click to vote
EUROPAR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Traditional code optimization techniques treat loops as nonpredictable structures and do not consider expressions containing array accesses for optimization. We show that...