16159 search results - page 2887 / 3232 » Parallel computing with CUDA |
186
click to vote
ISORC
2005
IEEE
16 years 7 days ago
2005
IEEE
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
160
Voted
SKG
2005
IEEE
16 years 7 days ago
2005
IEEE
Efficient task scheduling is critical to achieving high performance on grid computing environment. A heuristic task scheduling algorithm satisfied resources load balancing on grid ...
176
click to vote
SC
2005
ACM
16 years 7 days ago
2005
ACM
Advanced instruments in a variety of scientific domains are collecting massive amounts of data that must be postprocessed and organized to support research activities. Astronomers...
176
click to vote
SC
2005
ACM
16 years 7 days ago
2005
ACM
The memory consistency model in parallel programming controls the order in which operations performed by one thread may be observed by another. Language designers have been reluct...
179
click to vote
BIRTHDAY
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equivalences for finitely branching, concrete, sequential processes. He studied these...