2266 search results - page 276 / 454 » Generalizing parametric timing analysis |
123
Voted
IFIP
1998
Springer
15 years 4 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...
FPLAY
2008
15 years 2 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...
127
Voted
SODA
2008
ACM
15 years 2 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...
121
Voted
IAJIT
2008
15 years 22 days 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...
119
Voted
IJCSA
2006
15 years 21 days 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 ...