1497 search results - page 144 / 300 » Extended static checking |
135
click to vote
DOCENG
2006
ACM
15 years 8 months ago
2006
ACM
XPath is the standard declarative language for navigating XML data and returning a set of matching nodes. In the context of XSLT/XQuery analysis, query optimization, and XML type ...
127
Voted
ICSE
2010
IEEE-ACM
15 years 7 months ago
2010
IEEE-ACM
We present views, a new approach to controlling concurrency. Fine-grained locking is often necessary to increase concurrency. Correctly implementing fine-grained locking with tod...
110
Voted
DAC
2005
ACM
16 years 3 months ago
2005
ACM
Leakage energy consumption is an increasing concern in current and future CMOS technologygenerations. Procrastination scheduling, where task execution can be delayed to maximize t...
260
click to vote
SIGMOD
2005
ACM
16 years 2 months ago
2005
ACM
Given a set of objects P and a query point q, a k nearest neighbor (k-NN) query retrieves the k objects in P that lie closest to q. Even though the problem is well-studied for sta...
116
click to vote
RTCSA
2009
IEEE
15 years 9 months ago
2009
IEEE
Mobile elements, which can traverse the deployment area and convey the observed data from static sensor nodes to a base station, have been introduced for energy efficient data co...