Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Haemmerle, Remy
28  Ergebnisse:
Personensuche X
?
1

ENTRA: Whole-systems energy transparency:

Eder, Kerstin ; Gallagher, John P. ; López-García, Pedro...
Microprocessors and Microsystems.  47 (2016)  - p. 278-286 , 2016
Link: https://doi.org/10.1016/..
 
?
2

On Combining Backward and Forward Chaining in Constraint Lo..:

, In: Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming,
Haemmerlé, Rémy - p. 213-224 , 2014
Link: https://dl.acm.org/doi/1..
 
?
3

On Termination, Confluence and Consistent CHR-based Type In..:

DUCK, GREGORY J. ; HAEMMERLÉ, RÉMY ; SULZMANN, MARTIN
Theory and Practice of Logic Programming.  14 (2014)  4-5 - p. 619-632 , 2014
Link: https://doi.org/10.1017/..
 
?
4

Diagrammatic confluence for Constraint Handling Rules:

HAEMMERLÉ, RÉMY
Theory and Practice of Logic Programming.  12 (2012)  4-5 - p. 737-753 , 2012
Link: https://doi.org/10.1017/..
 
?
5

Lightweight compilation of (C)LP to JavaScript:

MORALES, JOSE F. ; HAEMMERLÉ, RÉMY ; CARRO, MANUEL.
Theory and Practice of Logic Programming.  12 (2012)  4-5 - p. 755-773 , 2012
Link: https://doi.org/10.1017/..
 
?
6

(Co-)Inductive semantics for Constraint Handling Rules:

HAEMMERLÉ, RÉMY
Theory and Practice of Logic Programming.  11 (2011)  4-5 - p. 593-609 , 2011
Link: https://doi.org/10.1017/..
 
?
7

Observational equivalences for linear logic concurrent cons..:

HAEMMERLÉ, RÉMY
Theory and Practice of Logic Programming.  11 (2011)  4-5 - p. 469-485 , 2011
Link: https://doi.org/10.1017/..
 
?
8

CLP projection for constraint handling rules:

, In: Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming,
Haemmerle, Remy ; Lopez-Garcia, Pedro ; Hermenegildo, Manuel V. - p. 137-148 , 2011
Link: https://dl.acm.org/doi/1..
 
?
9

A Transformational Approach to Parametric Accumulated-Cost ..:

Haemmerlé, Rémy ; López García, Pedro ; Liqat, Umer...
info:eu-repo/grantAgreement/EC/FP7/ENTRA.  , 2016
Link: https://forskning.ruc.dk..
 
?
10

ENTRA: Whole-Systems Energy Transparency:

Eder, Kerstin ; Gallagher, John P ; Lopez-Garcia, Pedro...
http://arxiv.org/abs/1606.04074.  , 2016
Link: http://arxiv.org/abs/160..
 
?
11

ENTRA:Whole-systems energy transparency:

Eder, Kerstin ; Gallagher, John P ; López-García, Pedro...
Eder , K , Gallagher , J P , López-García , P , Muller , H , Banković , Z , Georgiou , K , Haemmerlé , R , Hermenegildo , M V , Kafle , B , Kerrison , S , Kirkeby , M , Klemen , M , Li , X , Liqat , U , Morse , J , Rhiger , M & Rosendahl , M 2016 , ' ENTRA : Whole-systems energy transparency ' , Microprocessors and Microsystems , vol. 47 , pp. 278-286 . https://doi.org/10.1016/j.micpro.2016.07.003.  , 2016
Link: https://hdl.handle.net/1..
 
?
12

A transformational approach to parametric accumulated-cost ..:

Haemmerlé, Remy ; López García, Pedro ; Liqat, Umer...
https://link.springer.com/chapter/10.1007/978-3-319-29604-3_11.  , 2016
Link: https://oa.upm.es/47609/
 
?
13

ENTRA: Whole-systems energy transparency:

Eder, Kerstin ; Gallagher, John P ; López García, Pedro...
https://www.sciencedirect.com/science/article/pii/S0141933116300862.  , 2016
Link: https://oa.upm.es/55401/
 
?
14

Towards energy consumption verification via static analysis:

López García, Pedro ; Haemmerlé, Remy ; Klemen, Maximiliano..
https://arxiv.org/abs/1512.09369v1.  , 2016
Link: https://oa.upm.es/52631/
 
?
15

Proceedings of the Workshop on High Performance Energy Effi..:

Corbera, Francisco ; Rodríguez, Andrés ; Asenjo, Rafael...
http://arxiv.org/abs/1501.03064.  , 2015
Link: http://arxiv.org/abs/150..
 
1-15