7167 search results - page 289 / 1434 » Answer Set Programming |
144
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
The client computing platform is moving towards a heterogeneous architecture consisting of a combination of cores focused on scalar performance, and a set of throughput-oriented c...
232
click to vote
AAIP
2009
15 years 7 months ago
2009
Inductive programming systems characteristically exhibit an exponential explosion in search time as one increases the size of the programs to be generated. As a way of overcoming ...
125
click to vote
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
Collective operations on distributed data sets foster a high-level data-parallel programming style that eases many aspects of parallel programming significantly. In this paper we...
158
click to vote
ICALP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper studies the expressive power of finite-state automata recognizing sets of real numbers encoded positionally. It is known that the sets that are definable in th...
165
click to vote
IWPC
2007
IEEE
16 years 14 days ago
2007
IEEE
Programs that use multi-threaded concurrency are known to be difficult to design. Moreover, research in computer-science education suggests that concurrency and synchronization co...