2266 search results - page 58 / 454 » Generalizing parametric timing analysis |
130
Voted
KDD
2007
ACM
16 years 2 months ago
2007
ACM
Relational clustering has attracted more and more attention due to its phenomenal impact in various important applications which involve multi-type interrelated data objects, such...
136
Voted
SIGMETRICS
2010
ACM
15 years 6 months ago
2010
ACM
We define CWS, a non-preemptive scheduling policy for workloads with correlated job sizes. CWS tackles the scheduling problem by inferring the expected sizes of upcoming jobs bas...
131
click to vote
ATVA
2008
Springer
15 years 4 months ago
2008
Springer
The evaluation of successor or predecessor state spaces through time progress is a central component in the model-checking algorithm of dense-time automata. The definition of the t...
105
click to vote
IPPS
1997
IEEE
15 years 6 months ago
1997
IEEE
In this paper, we present two new run-time algorithms for the parallelization of loops that have indirect access patterns. The algorithms can handle any type of loop-carried depen...
130
Voted
SIAMJO
2010
15 years 24 days ago
2010
Abstract. This paper concerns second-order analysis for a remarkable class of variational systems in finite-dimensional and infinite-dimensional spaces, which is particularly imp...