3598 search results - page 687 / 720 » New efficient algorithms for computing effective capacitance |
126
Voted
IEEEPACT
2006
IEEE
15 years 8 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...
147
Voted
INFOCOM
2011
IEEE
14 years 6 months ago
2011
IEEE
—Top-k query has long been an important topic in many fields of computer science. Efficient implementation of the top-k queries is the key for information searching. With the n...
108
Voted
CAV
2008
Springer
15 years 4 months ago
2008
Springer
In this paper we address the problem of shape analysis for concurrent programs. We present new algorithms, based on abstract interpretation, for automatically verifying properties ...
147
click to vote
PG
1997
IEEE
15 years 6 months ago
1997
IEEE
A plenoptic function is a parameterized function describing the flow of light in space, and has served as a key idea in building some of the recent image-based rendering systems....
135
Voted
DIALM
2007
ACM
15 years 6 months ago
2007
ACM
In the near future, mobile devices are expected to have a storage capacity comparable to today's desktop machines. As the amount of infomation grows, conventional search tool...