9888 search results - page 1642 / 1978 » Active Algorithm Selection |
ICCAD
2005
IEEE
15 years 11 months ago
2005
IEEE
State-equivalence based reduction techniques, e.g. bisimulation minimization, can be used to reduce a state transition system to facilitate subsequent verification tasks. However...
130
click to vote
ICCAD
2002
IEEE
15 years 11 months ago
2002
IEEE
Application-specific instructions can significantly improve the performance, energy, and code size of configurable processors. A common approach used in the design of such instruc...
127
click to vote
ICCAD
2001
IEEE
15 years 11 months ago
2001
IEEE
—In this paper, we present an approach to nonlinear model reduction based on representing a nonlinear system with a piecewise-linear system and then reducing each of the pieces w...
153
click to vote
SOSP
2009
ACM
15 years 11 months ago
2009
ACM
Data-intensive applications are increasingly designed to execute on large computing clusters. Grouped aggregation is a core primitive of many distributed programming models, and i...
102
click to vote
WWW
2010
ACM
15 years 9 months ago
2010
ACM
A useful approach for enabling computers to automatically create new content is utilizing the text, media, and information already present on the World Wide Web. The newly created...