13603 search results - page 142 / 2721 » On the Computational Complexity of Cut-Reduction |
209
Voted
INFOCOM
2005
IEEE
16 years 17 days ago
2005
IEEE
— We consider a scenario where a wireless sensor network is formed by randomly deploying n sensors to measure some spatial function over a field, with the objective of computing...
294
Voted
POPL
2003
ACM
16 years 7 months ago
2003
ACM
Given a program and two variables p and q, the goal of points-to analysis is to check if p can point to q in some execution of the program. This well-studied problem plays a cruci...
157
Voted
CSL
2005
Springer
16 years 15 days ago
2005
Springer
Implementations of real number computations have largely been unusable in practice because of their very bad performance, especially in comparison to floating point arithmetic imp...