3686 search results - page 522 / 738 » Pattern-Based Parallel Programming |
150
click to vote
WFLP
2009
Springer
15 years 9 months ago
2009
Springer
A logic program strongly terminates if it terminates for any selection rule. Clearly, considering a particular selection rule—like Prolog’s leftmost selection rule—allows one...
127
click to vote
CISIS
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract—Performance is a key feature of large-scale computing systems. However, the achieved performance when a certain program is executed is significantly lower than the maxi...
121
click to vote
FOCS
2008
IEEE
15 years 9 months ago
2008
IEEE
We consider one-round games between a classical verifier and two provers who share entanglement. We show that when the constraints enforced by the verifier are ‘unique’ cons...
112
click to vote
ISORC
2007
IEEE
15 years 9 months ago
2007
IEEE
Knowing the program timing characteristics is fundamental to the successful design and execution of real-time systems. Today, measurement-based timing analysis tools such as in-ci...
117
click to vote
LADS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. More and more aspects of concurrency and concurrent programming are becoming part of mainstream programming and software engineering, as a result of several factors, such...