4609 search results - page 864 / 922 » Automatic Generation of Sigma-Protocols |
116
click to vote
DAC
2008
ACM
16 years 26 days ago
2008
ACM
Driven by increasing complexity and reliability demands, the Japanese Aerospace Exploration Agency (JAXA) in 2004 commissioned development of ELEGANT, a complete SpecC-based envir...
127
click to vote
DAC
2007
ACM
16 years 26 days ago
2007
ACM
This paper argues for an implicitly parallel programming model for many-core microprocessors, and provides initial technical approaches towards this goal. In an implicitly paralle...
DAC
2004
ACM
16 years 25 days ago
2004
ACM
Efficient energy and performance estimation of embedded software is a critical part of any system-level design flow. Macromodeling based estimation is an attempt to speed up estim...
MICCAI
2005
Springer
16 years 22 days ago
2005
Springer
Many medical imaging applications require the computation of dense correspondence vector fields that match one surface with another. To avoid the need for a large set of manually-d...
128
click to vote
IPMI
2001
Springer
16 years 21 days ago
2001
Springer
An efficient adaptive multigrid level set method for front propagation purposes in three dimensional medical image processing and segmentation is presented. It is able to deal with...