9 search results - page 2 / 2 » Constraint Processing Techniques for Improving Join Computat... |
WWW
2002
ACM
14 years 6 months ago
2002
ACM
Ontologies play a prominent role on the Semantic Web. They make possible the widespread publication of machine understandable data, opening myriad opportunities for automated info...
TOG
2010
13 years 1 days ago
2010
We demonstrate for the first time a proof of concept projector with a secondary array of individually controllable, analog micromirrors added to improve the contrast and peak brig...
IPPS
2008
IEEE
13 years 11 months ago
2008
IEEE
In this paper, we introduce the new technique of HighConfidence Software Monitoring (HCSM), which allows one to perform software monitoring with bounded overhead and concomitantl...
DAC
2005
ACM
14 years 6 months ago
2005
ACM
We present an efficient search strategy for satisfiability checking on circuits represented at the register-transfer-level (RTL). We use the RTL circuit structure by extending con...