899 search results - page 33 / 180 » Implementing declarative overlays |
FLOPS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We present a lightweight, automated tool for specificationbased testing of declarative programs written in the functional logic programming language Curry and emphasize t...
DEBU
1999
13 years 7 months ago
1999
WOL is a Horn-clause language for specifying transformations involving complex types and recursive data-structures. Its declarative syntax makes programs easy to modify in respons...
JCC
2010
13 years 6 months ago
2010
Abstract: Modern graphics processing units (GPUs) are flexibly programmable and have peak computational throughput significantly faster than conventional CPUs. Herein, we describ...
COLCOM
2005
IEEE
14 years 1 months ago
2005
IEEE
— Computer supported collaborative applications on overlay networks are gaining popularity among users who are geographically dispersed. Examples of these kinds of applications i...
ISCIS
2003
Springer
14 years 27 days ago
2003
Springer
In this paper, a comprehensive e-tutoring service framework is presented. It compromises a set of individual applications implemented based on the use of existing open source tools...