6020 search results - page 1139 / 1204 » A New Approach to Model Counting |
123
click to vote
MICRO
2009
IEEE
15 years 11 months ago
2009
IEEE
Transactional Memory aims to provide a programming model that makes parallel programming easier. Hardware implementations of transactional memory (HTM) suffer from fewer overhead...
143
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
Size and complexity of data repositories collaboratively created by Web users generate a need for new processing approaches. In this paper, we study the problem of detection of ...
177
click to vote
MIDDLEWARE
2009
Springer
15 years 11 months ago
2009
Springer
Mobile phones are set to become the universal interface to online services and cloud computing applications. However, using them for this purpose today is limited to two configura...
142
click to vote
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
We address the problem of instruction selection for Multi-Output Instructions (MOIs), producing more than one result. Such inherently parallel hardware instructions are very commo...
163
click to vote
GMP
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents a novel approach to continuously and robustly tracking critical (geometrically, perpendicular and/or extremal) distances from a moving plane point p ∈ R2 to a...