218 search results - page 4 / 44 » Dynamic Scheduling and Clustering in Symbolic Image Computat... |
84
Voted
SSDBM
2005
IEEE
15 years 3 months ago
2005
IEEE
Scientific investigations have to deal with rapidly growing amounts of data from simulations and experiments. During data analysis, scientists typically want to extract subsets o...
CHARME
2001
Springer
15 years 1 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
93
Voted
CLUSTER
2003
IEEE
15 years 3 months ago
2003
IEEE
— The efforts to construct a national scale Grid computing environment have brought unprecedented computing capacity and complicacy. Exploiting this complex infrastructure requir...
86
Voted
RTS
2008
14 years 9 months ago
2008
We present a fine grain quality control method for multimedia applications. The method takes as input an application software composed of actions. The execution times of actions a...
85
Voted
PPAM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The paper presents an algorithm for scheduling parallel programs for execution in a parallel architecture based on dynamic SMP processor clusters with data transfers on t...