1901 search results - page 105 / 381 » Models and Scheduling Mechanisms for Global Computing Applic... |
110
Voted
HYBRID
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...
100
click to vote
HPDC
2003
IEEE
15 years 7 months ago
2003
IEEE
Divisible workload applications arise in many fields of science and engineering. They can be parallelized in master-worker fashion and relevant scheduling strategies have been pr...
113
click to vote
FORMATS
2003
Springer
15 years 6 months ago
2003
Springer
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...
159
click to vote
HIPEAC
2009
Springer
15 years 8 months ago
2009
Springer
Heterogeneous architectures are currently widespread. With the advent of easy-to-program general purpose GPUs, virtually every recent desktop computer is a heterogeneous system. Co...
108
click to vote
DATE
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract—In conventional static implementations for correlated streaming applications, computing resources may be inefficiently utilized since multiple stream processors may sup...