4722 search results - page 144 / 945 » Encoding Program Executions |
146
click to vote
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
Tabling or memoing is a technique where one stores intermediate answers to a problem so that they can be reused in further calls. Tabling is of interest to logic programming becau...
148
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
One of the keys for the success of parallel processing is the availability of high-level programming languages for on-the-shelf parallel architectures. Using explicit message passi...
140
Voted
CAV
2012
Springer
13 years 7 months ago
2012
Springer
Abstract. We develop compositional analysis algorithms for detecting nontermination in multithreaded programs. Our analysis explores fair and ultimatelyperiodic executions—i.e., ...
196
Voted
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract— The execution environments For scientific applications have evolved significantly over the years. Vector and parallel architectures have provided significantly faste...
150
click to vote
EUROGP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Genetic Programming has been slow at realizing other programming paradigms than conventional, deterministic, sequential vonNeumann type algorithms. In this contribution w...