328 citations
- University of LisbonPT13 papers
- University of ViennaAT10 papers
- Centro de Geofísica de Évora9 papers
- Institute of Astrophysics and Space SciencesPT8 papers
- European Southern ObservatoryCL7 papers
- Institut d'Astrophysique de ParisFR6 papers
- Observatoire Cantonal de NeuchâtelCH6 papers
- Max Planck Institute for Extraterrestrial PhysicsDE5 papers
- Thomas Jefferson National Accelerator FacilityUS5 papers
- William & MaryUS5 papers
- Instituto de Astrofísica de CanariasES4 papers
- Instituto Superior TécnicoPT4 papers
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2010
On the Implementation of GNU Prolog
Daniel Diaz, Salvador Abreu, Philippe Codognet
GNU Prolog is a general-purpose implementation of the Prolog language, which distinguishes itself from most other systems by being, above all else, a native-code compiler which pro…
cs.PL2010★ 7 cited
Distributed Work Stealing for Constraint Solving
Vasco Pedro, Salvador Abreu
With the dissemination of affordable parallel and distributed hardware, parallel and distributed constraint solving has lately been the focus of some attention. To effectually appl…