8874 search results - page 187 / 1775 » A New Implementation of Automath |
162
click to vote
IMCSIT
2010
14 years 11 months ago
2010
The paper presents a concept, implementation and real examples of dynamic parallelization of computations using services derived from MPI applications deployed in the BeesyCluster ...
106
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
While the research into MIMO communications algorithms have reached levels of development that show important wireless systems performance improvements, the development of DSP sys...
139
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
Context based entropy coding has the potential to provide higher gain over memoryless entropy coding. However serious difficulties arise regarding the practical implementation in...
224
click to vote
CEC
2010
IEEE
14 years 8 months ago
2010
IEEE
— This paper presents Evolutionary Optimization Tool (Evoptool), an optimization toolkit that implements a set of meta-heuristics based on the Evolutionary Computation paradigm. ...
172
click to vote
PKC
2011
Springer
14 years 7 months ago
2011
Springer
At TCC 2005, Groth underlined the usefulness of working in small RSA subgroups of hidden order. In assessing the security of the relevant hard problems, however, the best attack co...