Travelled to:1 × Germany
1 × Japan
1 × United Kingdom
Collaborated with:E.Albert G.Román-Díez S.E.Martín F.Sáenz-Pérez
Talks about:analysi (2) system (2) distribut (1) resourc (1) solver (1) extend (1) eclips (1) integ (1) cumul (1) peak (1)
Person: Jesús Correas Fernández
DBLP: Fern=aacute=ndez:Jes=uacute=s_Correas
Contributed to:
2015
2014
2012Wrote 3 papers:
- TACAS-2015-AlbertFR #analysis #cumulative
- Non-cumulative Resource Analysis (EA, JCF, GRD), pp. 85–100.
- SAS-2014-AlbertFR #cost analysis #distributed
- Peak Cost Analysis of Distributed Systems (EA, JCF, GRD), pp. 18–33.
- FLOPS-2012-MartinFS #eclipse #integer #set
- Extending the TOY System with the ECLiPSe Solver over Sets of Integers (SEM, JCF, FSP), pp. 120–135.