3108 search results - page 78 / 622 » The Elements of Computer Credibility |
132
click to vote
ISSAC
1999
Springer
15 years 8 months ago
1999
Springer
Mathematical computing can become easily accessible and conveniently usable on the Internet. The distributed Internet Accessible Mathematical Computation (IAMC) system can supply ...
143
click to vote
ASAP
1995
IEEE
15 years 7 months ago
1995
IEEE
This paper explores an architecture for parallel independent computations of inner products over the direct product ring . The structure is based on the polynomial mapping of the ...
131
click to vote
ICCS
2005
Springer
15 years 9 months ago
2005
Springer
The cross fertilization of methods and techniques between different subject areas in the undergraduate curriculum is a challenge, especially at the more advanced levels. This paper...
143
click to vote
SIGOPSE
2004
ACM
15 years 9 months ago
2004
ACM
We propose augmenting secure boot with a mechanism to protect against compromises to field-upgradeable devices. In particular, secure boot standards should verify the firmware o...
115
click to vote
AML
2008
15 years 4 months ago
2008
We generalize ordinary register machines on natural numbers to machines whose registers contain arbitrary ordinals. Ordinal register machines are able to compute a recursive bounde...