2286 search results - page 431 / 458 » Algorithms for Categorical Equivalence |
ASPLOS
2011
ACM
14 years 1 months ago
2011
ACM
In practice, it is quite difficult to write correct multithreaded programs due to the potential for unintended and nondeterministic interference between parallel threads. A funda...
INFOCOM
2011
IEEE
14 years 1 months ago
2011
IEEE
Abstract—In this paper, we investigate the problem of maximizing the throughput over a finite-horizon time period for a sensor network with energy replenishment. The finite-horiz...
105
click to vote
POPL
2011
ACM
14 years 18 days ago
2011
ACM
A number of deterministic parallel programming models with strong safety guarantees are emerging, but similar support for nondeterministic algorithms, such as branch and bound sea...
111
click to vote
JMLR
2012
13 years 6 days ago
2012
Metric and kernel learning arise in several machine learning applications. However, most existing metric learning algorithms are limited to learning metrics over low-dimensional d...
100
click to vote
ICDE
2012
IEEE
13 years 6 days ago
2012
IEEE
—A facility for merging equivalent data streams can support multiple capabilities in a data stream management system (DSMS), such as query-plan switching and high availability. O...