1362 search results - page 6 / 273 » The Projection of Systolic Programs |
CONCUR
1993
Springer
14 years 16 days ago
1993
Springer
During the course of the last decade, a mathematical model for the parallelization of FOR-loops has become increasingly popular. In this model, a (perfect) nest of r FOR-loops is r...
APSEC
2004
IEEE
14 years 5 days ago
2004
IEEE
Pair programmers need a "warmup phase" before the pair can work at full speed. The length of the learning interval varies, depending on how experienced the developers are...
ICLP
2010
Springer
14 years 10 days ago
2010
Springer
We pursue a representation of logic programs as classical first-order sentences. Different semantics for logic programs can then be expressed by the way in which they are wrapped...
ICLP
2010
Springer
14 years 10 days ago
2010
Springer
Answer-set programming (ASP) is a well-known formalism for declarative problem solving, enjoying a continuously increasing number of diverse applications. However, arguably one of ...
CORR
2007
Springer
13 years 8 months ago
2007
Springer
A rigid loop is a for-loop with a counter not accessible to the loop body or any other part of a program. Special instructions for rigid loops are introduced on top of the syntax ...