837 search results - page 41 / 168 » codes 2000 |
99
Voted
LCTRTS
2000
Springer
15 years 4 months ago
2000
Springer
This paper presents a general approach to automatically validate code-improving transformations on low-level program representations. The approach ensures the correctness of compi...
83
Voted
SAS
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. It is often the case at runtime that variables and registers in programs are "quasi-invariant," i.e., the distribution of the values they take on is very skewed...
91
Voted
LCTRTS
2001
Springer
15 years 5 months ago
2001
Springer
Computers are increasingly being incorporated in devices with a limited amount of available memory. As a result research is increasingly focusing on the automated reduction of pro...
127
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
—Spectral Minutiae (SM) representation enables the combination of minutiae-based fingerprint recognition systems with template protection schemes based on fuzzy commitment, but ...
91
Voted
CSFW
2000
IEEE
15 years 5 months ago
2000
IEEE
We consider the problem of assembling concurrent software systems from untrusted or partially trusted o -the-shelf components, using wrapper programs to encapsulate components and...