7197 search results - page 140 / 1440 » On the computational power of BlenX |
CORR
2008
Springer
14 years 8 months ago
2008
Springer
SIMPRA
2010
14 years 8 months ago
2010
TOMS
2010
14 years 8 months ago
2010
LATIN
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We present a probability logic (essentially a first order language extended with quantifiers that count the fraction of elements in a model that satisfy a first order ...
MICRO
2003
IEEE
15 years 3 months ago
2003
IEEE
With increasing clock frequencies and silicon integration, power aware computing has become a critical concern in the design of embedded processors and systems-on-chip. One of the...