6274 search results - page 659 / 1255 » Proofs, Programs, Processes |
239
click to vote
FOAL
2009
ACM
16 years 1 months ago
2009
ACM
Aspect-oriented programming (AOP) fosters the coding of tangled concerns in separated units that are then woven together in the executable system. Unfortunately, the oblivious nat...
193
click to vote
CF
2006
ACM
16 years 1 months ago
2006
ACM
In this paper, we present a programming language viewpoint for morphogenesis, the process of shape formation during embryological development. Specifically, we model morphogenesi...
174
click to vote
SIGITE
2005
ACM
16 years 22 days ago
2005
ACM
Educators have long been trying to spice things up in their introductory programming courses. Traditionally, twodimensional arrays have been taught non-graphically using contrived...
220
click to vote
LCPC
2009
Springer
15 years 11 months ago
2009
Springer
PC grids represent massive computation capacity at a low cost, but are challenging to employ for parallel computing because of variable and unpredictable performance and availabili...
158
click to vote
EPIA
1999
Springer
15 years 11 months ago
1999
Springer
YapOr is an or-parallel system that extends the Yap Prolog system to exploit implicit or-parallelism in Prolog programs. It is based on the environment copying model, as first imp...