536 search results - page 55 / 108 » A computer verified, monadic, functional implementation of t... |
191
click to vote
GRID
2007
Springer
15 years 6 months ago
2007
Springer
In e-Science experiments, it is vital to record the experimental process for later use such as in interpreting results, verifying that the correct process took place or tracing whe...
136
click to vote
ARITH
2007
IEEE
16 years 14 days ago
2007
IEEE
Numerical integration is an operation that is frequently available in multiple precision numerical software packages. The different quadrature schemes used are considered well stu...
170
click to vote
CCS
2006
ACM
15 years 9 months ago
2006
ACM
The Trusted Computing Group (TCG) has addressed a new generation of computing platforms employing both supplemental hardware and software with the primary goal to improve the secu...
187
click to vote
SAS
1993
Springer
15 years 10 months ago
1993
Springer
Type and effect systems provide a safe and effective means of programming high-performance parallel computers with a high-level language that integrates both functional and impe...
174
click to vote
ICS
2010
Tsinghua U.
16 years 3 months ago
2010
Tsinghua U.
: Design of secure systems can often be expressed as ensuring that some property is maintained at every step of a distributed computation among mutually-untrusting parties. Special...