Travelled to:
1 × India
1 × Italy
1 × Portugal
1 × South Korea
1 × Taiwan
5 × USA
Collaborated with:
D.Diaz P.Codognet V.Nogueira ∅ Y.Caniou R.Machado L.M.Pereira D.Munera P.D.Salgueiro I.Brito F.Richoux
Talks about:
parallel (4) constraint (3) context (3) system (3) search (3) local (3) base (3) program (2) perform (2) toward (2)
Person: Salvador Abreu
DBLP: Abreu:Salvador
Contributed to:
Wrote 11 papers:
- SAC-2014-MuneraDAC #flexibility #parallel
- Flexible cooperation in parallel local search (DM, DD, SA, PC), pp. 1360–1361.
- PADL-2013-MachadoAD #declarative #parallel #performance #programming #using
- Parallel Performance of Declarative Programming Using a PGAS Model (RM, SA, DD), pp. 244–260.
- PPoPP-2012-CaniouDRCA #analysis #constraints #parallel #performance
- Performance analysis of parallel constraint-based local search (YC, DD, FR, PC, SA), pp. 337–338.
- PADL-2011-SalgueiroDBA #constraints #detection #using
- Using Constraints for Intrusion Detection: The NeMODe System (PDS, DD, IB, SA), pp. 115–129.
- SAC-2011-CaniouCDA #constraints #parallel
- Parallel constraint-based local search on the HA8000 supercomputer (YC, PC, DD, SA), pp. 920–921.
- ICLP-2006-AbreuN #towards
- Towards Structured Contexts and Modules (SA, VN), pp. 436–438.
- ICLP-2006-NogueiraA #logic programming #towards
- Towards Temporal Contextual Logic Programming (VN, SA), pp. 439–441.
- ICEIS-v1-2004-AbreuD #design #implementation #information management
- Contexts for Organizational Information System Design and Implementation (SA, DD), pp. 227–232.
- ICLP-2003-AbreuD #named
- Objective: In Minimum Context (SA, DD), pp. 128–147.
- PADL-2000-Abreu #information management
- A Logic-Based Information System (SA), pp. 141–153.
- JICSLP-1992-AbreuPC #execution #product line
- Improving Backward Execution in the Andorra Family of Languages (SA, LMP, PC), pp. 384–398.