1611 search results - page 243 / 323 » A Library for Self-Adjusting Computation |
142
click to vote
WWW
2007
ACM
16 years 6 months ago
2007
ACM
Combining data and code from third-party sources has enabled a new wave of web mashups that add creativity and functionality to web applications. However, browsers are poorly desi...
153
click to vote
VLSID
2007
IEEE
16 years 6 months ago
2007
IEEE
Boolean Satisfiability is seeing increasing use as a decision procedure in Electronic Design Automation (EDA) and other domains. Most applications encode their domain specific cons...
168
click to vote
VLSID
2007
IEEE
16 years 6 months ago
2007
IEEE
We present minimization methodologies and an algorithm for simultaneous scheduling, binding, and allocation for the reduction of total power and power fluctuation during behaviora...
153
click to vote
VLSID
2006
IEEE
16 years 6 months ago
2006
IEEE
Radiation induced soft errors in combinational logic is expected to become as important as directly induced errors on state elements. Consequently, it has become important to deve...
250
click to vote
SIGMOD
2009
ACM
16 years 6 months ago
2009
ACM
We demonstrate the BioNav system, a novel search interface for biomedical databases, such as PubMed. BioNav enables users to navigate large number of query results by categorizing...