2297 search results - page 310 / 460 » Production of Large Computer Programs |
CVPR
2008
IEEE
14 years 8 months ago
2008
IEEE
We present a real-time algorithm to estimate the 3D
pose of a previously unseen face from a single range im-
age. Based on a novel shape signature to identify noses in
range ima...
PVM
2009
Springer
14 years 2 months ago
2009
Springer
Petascale machines with close to a million processors will soon be available. Although MPI is the dominant programming model today, some researchers and users wonder (and perhaps e...
ICAC
2005
IEEE
14 years 1 months ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...
EUROPAR
2005
Springer
14 years 1 months ago
2005
Springer
Large message latencies often lead to poor performance of parallel applications. In this paper, we investigate a latency-tolerating technique that immediately releases all blocking...
DAC
2005
ACM
13 years 10 months ago
2005
ACM
Parallelism in processor architecture and design imposes a verification challenge as the exponential growth in the number of execution combinations becomes unwieldy. In this paper...