1628 search results - page 231 / 326 » Compiler Construction Using Scheme |
111
click to vote
GLOBECOM
2007
IEEE
15 years 8 months ago
2007
IEEE
The Laurent Decomposition expresses any binary single-h CPM waveform as the summation of a finite number of pulse amplitude modulated components, and this result has been useful i...
FSE
2005
Springer
15 years 7 months ago
2005
Springer
T-functions were introduced by Klimov and Shamir in a series of papers during the last few years. They are of great interest for cryptography as they may provide some new building ...
144
click to vote
SPIRE
2004
Springer
15 years 7 months ago
2004
Springer
Abstract Searching information resources using mobile devices is affected by displays on which only a small fraction of the set of ranked documents can be displayed. In this study ...
MICRO
2000
IEEE
15 years 6 months ago
2000
IEEE
Modern microprocessors employ increasingly complicated branch predictors to achieve instruction fetch bandwidth that is sufficient for wide out-of-order execution cores. While ex...
119
click to vote
ITP
2010
15 years 6 months ago
2010
CertiCrypt is a general framework to certify the security of cryptographic primitives in the Coq proof assistant. CertiCrypt adopts the code-based paradigm, in which the statement ...