3108 search results - page 108 / 622 » The Elements of Computer Credibility |
138
click to vote
ASIACRYPT
2003
Springer
15 years 9 months ago
2003
Springer
The best practical algorithm for class group computations in imaginary quadratic number fields (such as group structure, class number, discrete logarithm computations) is a varian...
176
click to vote
CONCUR
2006
Springer
15 years 6 months ago
2006
Springer
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...
124
click to vote
ICPP
2007
IEEE
15 years 10 months ago
2007
IEEE
Program parallelization requires mapping computation and data to processing elements. Navigational Programming (NavP), based on the principle of migrating computations, offers a d...
120
click to vote
HPCC
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a new algorithm for computing the singular value decomposition (SVD) on multilevel memory hierarchy architectures. This algorithm is based on one-sided JRS iter...
148
click to vote
EUROPAR
2007
Springer
15 years 8 months ago
2007
Springer
To understand the principles of information processing in the brain, we depend on models with more than 105 neurons and 109 connections. These networks can be described as graphs o...