6192 search results - page 759 / 1239 » Distributed Control of Attention |
194
click to vote
ITS
2000
Springer
15 years 11 months ago
2000
Springer
We developed a distributed support model in an interface for distant learning. The support is integrated into the ExploraGraph navigator which makes it possible to navigate through...
206
click to vote
SPIN
2000
Springer
15 years 11 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
162
click to vote
EUROPAR
1995
Springer
15 years 11 months ago
1995
Springer
The growing disparity between processor and memory speeds has caused memory bandwidth to become the performance bottleneck for many applications. In particular, this performance ga...
172
click to vote
ICS
1995
Tsinghua U.
15 years 11 months ago
1995
Tsinghua U.
In this paper, we present a GSA-based technique that performs more e cient and more precise symbolic analysis of predicated assignments, recurrences and index arrays. The e ciency...
228
click to vote
CLOUDCOM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Grid computing is based on coordinated resource sharing in a dynamic environment of multi-institutional virtual organizations. Data exchanges, and service allocation, are...