7092 search results - page 285 / 1419 » Parallelizing constraint programs |
147
click to vote
SNPD
2003
15 years 3 months ago
2003
The paper discusses simple functional constraint networks and a value propagation method for program construction. Structural synthesis of programs is described as an example of d...
117
click to vote
ECOOPW
2001
Springer
15 years 7 months ago
2001
Springer
This report gives an overview of the third ECOOP Workshop on Formal Techniques for Java Programs. It explains the motivation for such a workshop and summarizes the presentations an...
157
click to vote
ECOOPW
1999
Springer
15 years 6 months ago
1999
Springer
This paper presents a reflective architecture and an implemented prototype that supports aspect oriented programming in Smalltalk. The aspects are metaobjects which are weaved dyn...
119
Voted
ECOOPW
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This report gives an overview of the sixth Workshop on Formal Techniques for Java-like Programs at ECOOP 2004. It explains the motivation for the a workshop and summarise...
143
click to vote
CLOUD
2010
ACM
15 years 7 months ago
2010
ACM
We present a parallel data processor centered around a programming model of so called Parallelization Contracts (PACTs) and the scalable parallel execution engine Nephele [18]. Th...