13784 search results - page 227 / 2757 » On Computing Functions with Uncertainty |
RECONFIG
2009
IEEE
14 years 4 months ago
2009
IEEE
RTCSA
2005
IEEE
14 years 2 months ago
2005
IEEE
ICALP
2004
Springer
14 years 2 months ago
2004
Springer
ACL2
2006
ACM
14 years 1 months ago
2006
ACM
We investigate the logical issues behind axiomatizing equations that contain both recursive calls and quantifiers in ACL2. We identify a class of such equations, named extended ta...
EUROPAR
2000
Springer
14 years 28 days ago
2000
Springer
Abstract. When parallelizing loop nests for distributed memory parallel computers, we have to specify when the different computations are carried out (computation scheduling), wher...