1888 search results - page 338 / 378 » Proof theory and computational analysis |
206
click to vote
POPL
2008
ACM
16 years 3 days ago
2008
ACM
We present a framework for generating procedure summaries that are precise -- applying the summary in a given context yields the same result as re-analyzing the procedure in that ...
110
click to vote
STOC
2003
ACM
16 years 2 days ago
2003
ACM
The design of new quantum algorithms has proven to be an extremely difficult task. This paper considers a different approach to the problem, by studying the problem of 'quant...
103
click to vote
MOBIHOC
2008
ACM
15 years 11 months ago
2008
ACM
Recent research shows that significant energy saving can be achieved in wireless sensor networks with a mobile base station that collects data from sensor nodes via short-range co...
130
click to vote
MOBIHOC
2007
ACM
15 years 11 months ago
2007
ACM
We provide a general framework for the analysis of the capacity scaling properties in mobile ad-hoc networks with heterogeneous nodes and spatial inhomogeneities. Existing analyti...
103
click to vote
MOBIHOC
2006
ACM
15 years 11 months ago
2006
ACM
This paper addresses the problem of optimizing the packet transmission schedule in an ad hoc network with end-toend delay constraints. The emphasis is to determine the proper rela...