11397 search results - page 138 / 2280 » A Relational Abstraction for Functions |
206
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We have formal verified a number of algorithms for evaluating transcendental functions in double-extended precision floating point arithmetic in the Intel
177
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In this paper, we study the problem of computing the multiparty equality (MEQ) function: n 2 nodes, each of which is given an input value from {1,
195
click to vote
WIOPT
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract—This paper considers the following network computation problem:
194
click to vote
CAI
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The security of iterated hash functions relies on the properties of underlying compression functions. We study highly efficient compression functions based on block ciphe...
220
click to vote
MICCAI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. This paper proposes a novel technique for constructing a neuroanatomical shape complex atlas using an information geometry framework. A shape complex is a collection of s...