3330 search results - page 442 / 666 » software 2010 |
146
click to vote
AFRICACRYPT
2010
Springer
15 years 11 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...
164
click to vote
CC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Scientists are increasingly using dynamic programming languages like Matlab for prototyping and implementation. Effectively compiling Matlab raises many challenges due t...
113
click to vote
EVOW
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. In this paper we present a study of the application of Evolutionary Computation methods to the optimisation of the start-up of a combined cycle power plant. We propose a ...
121
click to vote
FOSSACS
2010
Springer
15 years 11 months ago
2010
Springer
The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one i...
127
click to vote
FOSSACS
2010
Springer
15 years 11 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...