14515 search results - page 260 / 2903 » Efficient Embedded Computing |
199
click to vote
ICPR
2008
IEEE
16 years 29 days ago
2008
IEEE
Registration of 3D surfaces is a critical step for shape analysis. Recent studies show that spectral representations based on intrinsic pairwise geodesic distances between points ...
140
click to vote
ICPR
2008
IEEE
16 years 29 days ago
2008
IEEE
The locally linear embedding (LLE) algorithm is considered as a powerful method for the problem of nonlinear dimensionality reduction. In this paper, first, a new method called cl...
155
click to vote
IPPS
2006
IEEE
16 years 16 days ago
2006
IEEE
The purpose of this article is to propose a survey of possible approaches for implementing embedded reconfigurable gate arrays into secure circuits. A standard secure interfacing ...
193
click to vote
ACL2
2006
ACM
16 years 15 days ago
2006
ACM
We describe an embedding of the ACL2 logic into higherorder logic. An implementation of this embedding allows ACL2 to be used as an oracle for higher-order logic provers. Categori...
168
click to vote
IPPS
2005
IEEE
16 years 3 days ago
2005
IEEE
This paper proposes, for the FPGA-based embedded systems, a reliability-aware process scheduling strategy that operates under performance bounds. A unique characteristic of the pr...