7118 search results - page 883 / 1424 » Electrical and Computer Engineering |
147
click to vote
AFRICACRYPT
2010
Springer
15 years 12 months ago
2010
Springer
This paper describes an implementation of Pollard’s rho algorithm to compute the elliptic curve discrete logarithm for the Synergistic Processor Elements of the Cell Broadband En...
133
click to vote
FOSSACS
2010
Springer
15 years 12 months ago
2010
Springer
Λµ-calculus was introduced as a Böhm-complete extension of Parigot's λµ-calculus. Λµ-calculus, contrarily to Parigot's calculus, is a calculus of CBN delimited con...
164
click to vote
FOSSACS
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. The resource calculus is an extension of the λ-calculus allowing to model resource consumption. Namely, the argument of a function comes as a finite multiset of resourc...
127
click to vote
FOSSACS
2010
Springer
15 years 12 months ago
2010
Springer
For many application-level distributed protocols and parallel algorithms, the set of participants, the number of messages or the interaction structure are only known at run-time. T...
128
click to vote
FOSSACS
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. We introduce a generalisation of monads, called relative monads, allowing for underlying functors between different categories. Examples include finite-dimensional vect...