13784 search results - page 198 / 2757 » On Computing Functions with Uncertainty |
CAV
2009
Springer
14 years 9 months ago
2009
Springer
This paper is concerned with the problem of computing the image of a set by a polynomial function. Such image computations constitute a crucial component in typical tools for set-b...
MPC
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Erasure of information incurs an increase in entropy and dissipates heat. Therefore, information-preserving computation is essential for constructing computers that use e...
FSTTCS
2008
Springer
13 years 10 months ago
2008
Springer
A sup-interpretation is a tool which provides upper bounds on the size of the values computed by the function symbols of a program. Sup-interpretations have shown their interest to...
ISPDC
2006
IEEE
14 years 3 months ago
2006
IEEE
: The Mobile Message Passing Interface is a library which implements MPI functionality on Bluetooth enabled mobile phones. It provides many of the functions available in MPI, inclu...
FTDCS
1997
IEEE
14 years 1 months ago
1997
IEEE
: This paper discusses the issues and promising approaches in (1) obtaining rigorous specifications of the quality-of-service (QoS) requirements associated with application functio...