4820 search results - page 175 / 964 » Implementing Signatures for C |
128
click to vote
ERSA
2007
15 years 4 months ago
2007
”C to Gates” compilers for FPGAs have been a topic of investigation for nearly two decades. Some of these endeavors have reached a point of viability. Impulse C, for example, ...
136
click to vote
CADE
2008
Springer
16 years 3 months ago
2008
Springer
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...
145
click to vote
HICSS
2002
IEEE
15 years 8 months ago
2002
IEEE
This research focuses on the performance and timing behavior of a two level survivability architecture. The lower level of the architecture involves attack analysis based on kernel...
123
click to vote
ASPLOS
2004
ACM
15 years 8 months ago
2004
ACM
Recent studies have suggested that the soft-error rate in microprocessor logic will become a reliability concern by 2010. This paper proposes an efficient error detection techniqu...
158
click to vote
SCIA
2009
Springer
16 years 3 months ago
2009
Springer
We present an algorithm to estimate the 3D pose (location
and orientation) of a previously unseen face from low-quality range images. The algorithm generates many pose candidates ...