2563 search results - page 163 / 513 » Parallel matrix algorithms and applications |
104
click to vote
ICECCS
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper we summarize parallel algorithms for enumerative model checking of properties formulated in linear time temporal logic (LTL) as well as a fragment of the µcalculus ...
120
Voted
ESCIENCE
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we present algorithms for Grid resource provisioning that employ agreement-based resource management. These algorithms allow userlevel resource allocation and sched...
127
click to vote
CCGRID
2005
IEEE
15 years 9 months ago
2005
IEEE
Grid applications require allocating a large number of heterogeneous tasks to distributed resources. A good allocation is critical for efficient execution. However, many existing ...
139
click to vote
ICDE
2009
IEEE
15 years 10 months ago
2009
IEEE
Applications involving analysis of data streams have gained significant popularity and importance. Frequency counting, frequent elements and top-k queries form a class of operato...
156
click to vote
TPDS
2002
15 years 3 months ago
2002
One of the most fundamental problems automatic parallelization tools are confronted with is to find an optimal domain decomposition for a given application. For regular domain prob...