4757 search results - page 823 / 952 » Monads for Functional Programming |
145
Voted
ARCS
2008
Springer
15 years 5 months ago
2008
Springer
: The architecture of the IBM Cell BE processor represents a new approach for designing CPUs. The fast execution of legacy software has to stand back in order to achieve very high ...
139
Voted
ASIACRYPT
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The generic (aka. black-box) group model is a valuable methodology for analyzing the computational hardness of number-theoretic problems used in cryptography. Since the p...
136
Voted
ASPDAC
2008
ACM
15 years 5 months ago
2008
ACM
Nowadays many customised embedded processors offer the possibility of speeding up an application by implementing it using Application-Specific Functional units (AFUs). However, th...
121
Voted
ASWEC
2008
IEEE
15 years 5 months ago
2008
IEEE
Automatic identification of software faults has enormous practical significance. This requires characterizing program execution behavior. Equally important is the aspect of diagno...
116
Voted
CARDIS
2008
Springer
15 years 5 months ago
2008
Springer
This paper introduces the Trusted Execution Module (TEM); a high-level specification for a commodity chip that can execute usersupplied procedures in a trusted environment. The TEM...