387 search results - page 30 / 78 » Hyperequivalence of Logic Programs with Respect to Supported... |
OHS
2001
Springer
14 years 1 months ago
2001
Springer
This paper presents an XML-based Adaptive Hypermedia Model (XAHM) and its modular architecture, for modelling and supporting Adaptive Hypermedia Systems, i.e. hypertext-based multi...
ASPLOS
2010
ACM
14 years 1 months ago
2010
ACM
Heterogeneous computing combines general purpose CPUs with accelerators to efficiently execute both sequential control-intensive and data-parallel phases of applications. Existin...
PPDP
2010
Springer
13 years 7 months ago
2010
Springer
This paperdescribes the use of a powerful graph query language for querying programs, and a novel combination of transformations for generating efficient implementations of the q...
ICLP
2003
Springer
14 years 2 months ago
2003
Springer
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...
IWOMP
2011
Springer
12 years 11 months ago
2011
Springer
Many task-based programming models have been developed and refined in recent years to support application development for shared memory platforms. Asynchronous tasks are a powerfu...