336 search results - page 20 / 68 » Task-Queue Based Hybrid Parallelism: A Case Study |
CAV
2009
Springer
16 years 8 days ago
2009
Springer
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
GRID
2008
Springer
15 years 24 days ago
2008
Springer
Network performance measurement and prediction is one of the most prominent and indispensable components in distributed computing environments. The selection of the most advantage...
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
— This paper studies a class of hybrid systems with linear (or linear plus saturated linear) continuous and discrete dynamics, which are determined by a flow map and jump map, a...
100
click to vote
ICS
2010
Tsinghua U.
15 years 9 months ago
2010
Tsinghua U.
In this paper we study the possibility of proving the existence of one-way functions based on average case hardness. It is well-known that if there exists a polynomial-time sample...
ICPADS
2006
IEEE
15 years 5 months ago
2006
IEEE
While most parallel task graphs scheduling research has been done in the context of single homogeneous clusters, heterogeneous platforms have become prevalent and are extremely at...