2266 search results - page 276 / 454 » Generalizing parametric timing analysis |
135
click to vote
IFIP
1998
Springer
15 years 6 months ago
1998
Springer
This paper presents a hybrid approach to automatic parallelization of computer programs which combines static extraction of threads (tasks) with dynamic scheduling for parallel an...
105
click to vote
FPLAY
2008
15 years 4 months ago
2008
This paper presents a game-model of a gym training system, where the behavior of the system is specified using languages developed originally for reactive system design, which dri...
136
click to vote
SODA
2008
ACM
15 years 3 months ago
2008
ACM
We study a generalization of the k-median problem with respect to an arbitrary dissimilarity measure D. Given a finite set P, our goal is to find a set C of size k such that the s...
134
click to vote
IAJIT
2008
15 years 2 months ago
2008
: The Gamma-Ray scanning technique effective means for the diagnosis and identification of installations and process's problems in general and in particular in the case of dis...
129
click to vote
IJCSA
2006
15 years 2 months ago
2006
According to statistics, the rate of having cancer is relatively high for people in developing and developed countries. So cancer can be called as the enemy of human health. With ...