1301 search results - page 114 / 261 » Specifications via Realizability |
111
click to vote
MICRO
2009
IEEE
15 years 10 months ago
2009
IEEE
Heterogeneous multiprocessors are growingly important in the multi-core era due to their potential for high performance and energy efficiency. In order for software to fully real...
148
Voted
SAT
2009
Springer
15 years 10 months ago
2009
Springer
Probabilistic inference techniques can be used to estimate variable bias, or the proportion of solutions to a given SAT problem that fix a variable positively or negatively. Metho...
137
Voted
RAM
2008
IEEE
15 years 10 months ago
2008
IEEE
Eelectronic device technology has been monopolized by binary system for many years. The circs not only makes it impossible to break through the existing technology bottleneck, but...
129
Voted
SEMCO
2008
IEEE
15 years 10 months ago
2008
IEEE
Current Semantic Web reasoning systems do not scale to the requirements of their hottest applications, such as analyzing data from millions of mobile devices, dealing with terabyt...
124
click to vote
FBIT
2007
IEEE
15 years 10 months ago
2007
IEEE
This article reports on a neural prosthesis stimulation system for long-term use in animal electrical stimulation experiments. The presented system consists of an implantable stim...