7195 search results - page 256 / 1439 » On Computing Power |
144
click to vote
SENSYS
2006
ACM
15 years 10 months ago
2006
ACM
Extensive empirical studies presented in this paper confirm that the quality of radio communication between low power sensor devices varies significantly with time and environme...
134
click to vote
TCS
2008
15 years 4 months ago
2008
We study the computational power of pure insertion grammars. We show that pure insertion grammars of weight 3 can characterize all recursively enumerable languages. This is achiev...
159
click to vote
FROCOS
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We discuss a pragmatic approach to integrate computer algebra into proof planning. It is based on the idea to separate computation and veri cation and can thereby exploit...
161
click to vote
DAC
2006
ACM
16 years 5 months ago
2006
ACM
Field programmable dual-Vdd interconnects are effective to reduce FPGA power. Assuming uniform length interconnects, existing work has developed time slack budgeting to minimize p...
144
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
We describe a peer-to-peer self-organizing overlay network for our global computing system. The preliminary simulation results show that the network has some smallworld characteri...