2424 search results - page 299 / 485 » A general algorithm for data dependence analysis |
140
click to vote
TPHOL
2005
IEEE
15 years 9 months ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
182
click to vote
SIGMOD
2012
ACM
13 years 6 months ago
2012
ACM
Cloud enabled systems have become a crucial component to efficiently process and analyze massive amounts of data. One of the key data processing and analysis operations is the Sim...
140
click to vote
MM
2004
ACM
15 years 9 months ago
2004
ACM
In this work, we focus on fast and efficient recognition of motions in multi-attribute continuous motion sequences. 3D motion capture data, animation motion data, and sensor data ...
155
click to vote
WWW
2003
ACM
15 years 9 months ago
2003
ACM
Current search engines generally employ link analysis techniques to web-page re-ranking. However, the same techniques are problematic in small webs, such as websites or intranet w...
150
click to vote
CASES
2007
ACM
15 years 7 months ago
2007
ACM
We derive analytically, the performance optimal throttling curve for a processor under thermal constraints for a given task sequence. We found that keeping the chip temperature co...