 | 2012 |
|---|
| 8 |       | Pablo Chico de Guzmán,
Amadeo Casas,
Manuel Carro,
Manuel V. Hermenegildo:
A Segment-Swapping Approach for Executing Trapped Computations.
PADL 2012: 138-152 |
| 2011 |
|---|
| 7 | | Pablo Chico de Guzmán,
Amadeo Casas,
Manuel Carro,
Manuel V. Hermenegildo:
Parallel Backtracking with Answer Memoing for Independent And-Parallelism
CoRR abs/1107.4724: (2011) |
| 6 | | Pablo Chico de Guzmán,
Amadeo Casas,
Manuel Carro,
Manuel V. Hermenegildo:
Parallel backtracking with answer memoing for independent and-parallelism.
TPLP 11(4-5): 555-574 (2011) |
| 2008 |
|---|
| 5 | | Amadeo Casas,
Manuel Carro,
Manuel V. Hermenegildo:
A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism.
ICLP 2008: 651-666 |
| 4 | | Amadeo Casas,
Manuel Carro,
Manuel V. Hermenegildo:
Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism.
PADL 2008: 230-247 |
| 2007 |
|---|
| 3 | | Amadeo Casas,
Manuel Carro,
Manuel V. Hermenegildo:
Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs.
LOPSTR 2007: 138-153 |
| 2 | | Amadeo Casas,
Manuel Carro,
Manuel V. Hermenegildo:
Towards a high-level implementation of flexible parallelism primitives for symbolic languages.
PASCO 2007: 93-94 |
| 2006 |
|---|
| 1 | | Amadeo Casas,
Daniel Cabeza,
Manuel V. Hermenegildo:
A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems.
FLOPS 2006: 146-162 |
Data released under the ODC-BY 1.0 license — See also our legal information page