1628 search results - page 26 / 326 » Compiler Construction Using Scheme |
ICPR
2008
IEEE
15 years 6 months ago
2008
IEEE
Biometric authentication and privacy protection are conflicting issues in a practical system. Since biometrics cannot be revoked or canceled if compromised duo to the permanent as...
AAAI
2010
15 years 1 months ago
2010
Planning as satisfiability is a principal approach to planning with many eminent advantages. The existing planning as satisfiability techniques usually use encodings compiled from...
183
Voted
POPL
2007
ACM
16 years 2 days ago
2007
ACM
Type-preserving compilation can improve software reliability by generating code that can be verified independently of the compiler. Practical type-preserving compilation does not ...
SCOPES
2004
Springer
15 years 5 months ago
2004
Springer
Echo Instructions have recently been introduced to allow embedded processors to provide runtime decompression of LZ77-compressed programs at a minimal hardware cost compared to oth...
ICCS
2005
Springer
15 years 5 months ago
2005
Springer
Cray X1 Fortran and C/C++ compilers provide a number of loop transformations, notably vectorization and multistreaming, in order to exploit the multistreaming processor (MSP) hard...