1304 search results - page 226 / 261 » Model Checking C Programs Using F-SOFT |
116
click to vote
ACII
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. An eye contour extraction method which combines a simplied version of Active Shape Model(ASM) with a gradient method is proposed. Considering the large amount of calculat...
110
click to vote
CLUSTER
2009
IEEE
15 years 9 months ago
2009
IEEE
—Large-scale GPU clusters are gaining popularity in the scientific computing community. However, their deployment and production use are associated with a number of new challenge...
112
click to vote
CP
2004
Springer
15 years 8 months ago
2004
Springer
A constraint satisfaction problem (CSP) model can be preprocessed to ensure that any choices made will lead to solutions, without the need to backtrack. This can be especially usef...
121
Voted
DAC
2003
ACM
16 years 3 months ago
2003
ACM
This paper addresses the problem of extending the lifetime of a batterypowered mobile host in a client-server wireless network by using task migration and remote processing. This ...
125
click to vote
PLDI
1995
ACM
15 years 6 months ago
1995
ACM
We present a unified approach to locality optimization that employs both data and control transformations. Data transformations include changing the array layout in memory. Contr...