Found 11 Documents (Results 1–11)
Annotation of logic programs for independent AND-parallelism by partial evaluation. (English) Zbl 1260.68068
Parallel backtracking with answer memoing for independent and-parallelism. (English) Zbl 1222.68056
MSC:
68N17
Non-strict independence-based program parallelization using sharing and freeness information. (English) Zbl 1187.68123
A high-level implementation of non-deterministic, unrestricted, independent and-parallelism. (English) Zbl 1185.68152
Garcia de la Banda, Maria (ed.) et al., Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9–13 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89981-5/pbk). Lecture Notes in Computer Science 5366, 651-666 (2008).
MSC:
68N17
Annotation algorithms for unrestricted independent and-parallelism in logic programs. (English) Zbl 1179.68022
King, Andy (ed.), Logic-based program synthesis and transformation. 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23–24, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-540-78768-6/pbk). Lecture Notes in Computer Science 4915, 138-153 (2008).
MSC:
68N17
Filter Results by …
Document Type
- Journal Articles (9)
- Collection Articles (2)
all
top 5
Author
- Hermenegildo, Manuel V. (8)
- Carro, Manuel (5)
- Casas, Amadeo (3)
- Gupta, Gopal (2)
- Morales, Jose Francisco (2)
- Pontelli, Enrico (2)
- Abreu, Salvador (1)
- Alonso, César Luis (1)
- Bueno, Francisco (1)
- Chico de Guzm’an, Pablo (1)
- Ciatto, Giovanni (1)
- Santos Costa, Vítor (1)
- Dahl, Veronica (1)
- Diaz, Daniel (1)
- Dovier, Agostino (1)
- Formisano, Andrea (1)
- Gras, Daniel Cabeza (1)
- Ivanović, Dragan (1)
- Körner, Philipp (1)
- Leuschel, Michael (1)
- López-García, Pedro (1)
- Mera, Edison (1)
- Puebla, Germán (1)
- Puente, Jorge (1)
- Rocha, Ricardo (1)
- Varela, Ramiro (1)
- Vela, Camino R. (1)
- Wielemaker, Jan (1)
Serial
Main Field
- 68-XX (11)
all
top 3
Software
- Ciao (5)
- CiaoPP (5)
- DASWAM (4)
- SICStus (4)
- YAP-Prolog (3)
- B-Prolog (2)
- GHC (2)
- OPTYap (2)
- PARLOG (2)
- SWI-Prolog (2)
- Smodels (2)
- XSB (2)
- 2P-Kt (1)
- April (1)
- AutoFolio (1)
- BERT (1)
- BerkMin (1)
- BigDatalog (1)
- CDAOstore (1)
- CHIP (1)
- COMET (1)
- CUD@SAT (1)
- CUDA (1)
- Clingo (1)
- Curry (1)
- GASP (1)
- GitHub (1)
- Gringo (1)
- HYPROLOG (1)
- HaLoop (1)
- Hadoop (1)
- JayHorn (1)
- LPaaS (1)
- Mercury (1)
- MiniZinc (1)
- Multilisp (1)
- NQTHM (1)
- OpenCL (1)
- PRISM (1)
- PTTP (1)
- PhyloWS (1)
- Picat-SAT (1)
- Potassco (1)
- Pregel (1)
- ProB (1)
- ProbLog (1)
- Prolog (1)
- ReSpecT (1)
- Rust (1)
- SATCHMO (1)
- SATzilla (1)
- SUNNY (1)
- SWISH DataLab (1)
- SeaHorn (1)
- VeriFly (1)
- WASP (1)
- WebPIE (1)
- YapOr (1)
- Yedalog (1)
- aspeed (1)
- clasp (1)
- claspfolio 2 (1)
- clpfd (1)
- iClingo (1)
- leanTAP (1)
- sCASP (1)
- tuProlog (1)
- wamcc (1)