2171 search results - page 191 / 435 » A Generic Process Algebra |
190
click to vote
ICPPW
2009
IEEE
16 years 1 months ago
2009
IEEE
— Cell Superscalar (CellSs) provides a simple, flexible and easy programming approach for the Cell Broadband Engine (Cell/B.E.) that automatically exploits the inherent concurre...
156
click to vote
CASC
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. We describe a symbolic framework for treating linear boundary problems with a generic implementation in the Theorema system. For ordinary differential equations, the ope...
178
click to vote
TPHOL
2007
IEEE
16 years 20 days ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
173
click to vote
CRYPTO
2007
Springer
16 years 17 days ago
2007
Springer
We put forward a new paradigm for building hybrid encryption schemes from constrained chosen-ciphertext secure (CCCA) key-encapsulation mechanisms (KEMs) plus authenticated symmet...
171
click to vote
ISSAC
2007
Springer
16 years 16 days ago
2007
Springer
The parallelization of two applications in symmetric cryptography is considered: block ciphering and a new method based on random sampling for the selection of basic substitution ...