Sciweavers

575 search results - page 6 / 115
» Constraint Functional Multicore Programming
Sort
View
ENTCS
2007
101views more  ENTCS 2007»
13 years 7 months ago
A Framework for Timed Concurrent Constraint Programming with External Functions
The timed concurrent constraint programming language (tccp in short) was introduced for modeling reactive systems. This language allows one to model in a very intuitive way typica...
María Alpuente, Bernhard Gramlich, Alicia V...
ICLP
2007
Springer
14 years 1 months ago
Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming
Rafael Caballero, Mario Rodríguez-Artalejo,...
CCL
1999
Springer
14 years 1 days ago
Functional and Constraint Logic Programming
Mario Rodríguez-Artalejo
ENTCS
2007
106views more  ENTCS 2007»
13 years 7 months ago
A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming
Sonia Estévez Martín, Antonio J. Fer...
ICCD
2007
IEEE
205views Hardware» more  ICCD 2007»
14 years 4 months ago
Hardware libraries: An architecture for economic acceleration in soft multi-core environments
In single processor architectures, computationallyintensive functions are typically accelerated using hardware accelerators, which exploit the concurrency in the function code to ...
David Meisner, Sherief Reda