15073 search results - page 2595 / 3015 » Probabilistic algorithms for computing resultants |
147
click to vote
TPHOL
2007
IEEE
15 years 11 months ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
186
click to vote
DCOSS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We develop a practical, distributed algorithm to detect events, identify measurement errors, and infer missing readings in ecological applications of wireless sensor netw...
184
click to vote
ECRTS
2006
IEEE
15 years 11 months ago
2006
IEEE
Cache memories have been extensively used to bridge the gap between high speed processors and relatively slower main memories. However, they are sources of predictability problems...
143
click to vote
IEEEPACT
2006
IEEE
15 years 11 months ago
2006
IEEE
Code restructuring compilers rely heavily on program analysis techniques to automatically detect data dependences between program statements. Dependences between statement instanc...
174
click to vote
SENSYS
2006
ACM
15 years 11 months ago
2006
ACM
Sensor networks exhibit a unique funneling effect which is a product of the distinctive many-to-one, hop-by-hop traffic pattern found in sensor networks, and results in a signific...