2080 search results - page 248 / 416 » Measuring empirical computational complexity |
154
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
Program analysis tools typically compute two types of information: (1) may information that is true of all program executions and is used to prove the absence of bugs in the progr...
182
click to vote
ECAI
2010
Springer
15 years 6 months ago
2010
Springer
In service-oriented systems, such as grids and clouds, users are able to outsource complex computational tasks by procuring resources on demand from remote service providers. As th...
163
Voted
GIS
2010
ACM
15 years 4 months ago
2010
ACM
This paper proposes an efficient, decentralized algorithm for determining the topological relationship between two regions monitored by a geosensor network. Many centralized algo...
192
click to vote
MOBIHOC
2010
ACM
15 years 3 months ago
2010
ACM
Dynamic spectrum auction is an effective solution to provide spectrum on-demand to many small wireless networks. As the number of participants grows, bidder collusion becomes a se...
161
click to vote
SIGGRAPH
2000
ACM
15 years 10 months ago
2000
ACM
We present an object-space morphing technique that blends the interiors of given two- or three-dimensional shapes rather than their boundaries. The morph is rigid in the sense tha...