6274 search results - page 938 / 1255 » Proofs, Programs, Processes |
111
click to vote
ENTCS
2007
15 years 3 months ago
2007
We describe the design and implementation of a parser combinator library in Newspeak, a new language in the Smalltalk family. Parsers written using our library are remarkably simi...
109
click to vote
JSW
2006
15 years 3 months ago
2006
The demography of anchovy fishes in the Gulf of Biscay seems to be related to the presence of socalled "retentive" hydrodynamical structures, that keep fish eggs and larv...
116
Voted
PPL
2008
15 years 3 months ago
2008
Algorithmic skeletons intend to simplify parallel programming by providing a higher abstraction compared to the usual message passing. Task and data parallel skeletons can be dist...
133
click to vote
SIGCSE
2008
ACM
15 years 3 months ago
2008
ACM
Formally defining the knowledge units taught in a course helps instructors ensure a sound coverage of topics and provides an objective basis for comparing the content of two cours...
131
click to vote
IJOE
2007
15 years 3 months ago
2007
: The experience and content of a PLC course developed for distance learning (ODL) is presented. The course aims to introduce the student into the automation world of industrial pr...