Zobrazeno 1 - 10
of 21
pro vyhledávání: '"Haemmerle, Remy"'
Autor:
Bernauer, Alexander, Faro, Sofia, Hämmerle, Rémy, Huschenbett, Martin, Kiefer, Moritz, Lochbihler, Andreas, Mäki, Jussi, Mazzoli, Francesco, Meier, Simon, Mitchell, Neil, Veprek, Ratko G.
Distributed ledger technologies, also known as blockchains for enterprises, promise to significantly reduce the high cost of automating multi-party business workflows. We argue that a programming language for writing such on-ledger logic should satis
Externí odkaz:
http://arxiv.org/abs/2303.03749
Autor:
Eder, Kerstin, Gallagher, John P., Lopez-Garcia, Pedro, Muller, Henk, Bankovic, Zorana, Georgiou, Kyriakos, Haemmerle, Remy, Hermenegildo, Manuel V., Kafle, Bishoksan, Kerrison, Steve, Kirkeby, Maja, Klemen, Maximiliano, Li, Xueliang, Liqat, Umer, Morse, Jeremy, Rhiger, Morten, Rosendahl, Mads
Promoting energy efficiency to a first class system design goal is an important research challenge. Although more energy-efficient hardware can be designed, it is software that controls the hardware; for a given system the potential for energy saving
Externí odkaz:
http://arxiv.org/abs/1606.04074
Autor:
Lopez-Garcia, Pedro, Haemmerle, Remy, Klemen, Maximiliano, Liqat, Umer, Hermenegildo, Manuel V.
In this paper we leverage an existing general framework for resource usage verification and specialize it for verifying energy consumption specifications of embedded programs. Such specifications can include both lower and upper bounds on energy usag
Externí odkaz:
http://arxiv.org/abs/1512.09369
Autor:
Corbera, Francisco, Rodríguez, Andrés, Asenjo, Rafael, Navarro, Angeles, Vilches, Antonio, Garzaran, Maria, Draa, Ismat Chaib, Tayeb, Jamel, Niar, Smail, Desertot, Mikael, Gregorek, Daniel, Schmidt, Robert, Garcia-Ortiz, Alberto, Lopez-Garcia, Pedro, Haemmerlé, Rémy, Klemen, Maximiliano, Liqat, Umer, Hermenegildo, Manuel V., Vavřík, Radim, Saà-Garriga, Albert, Castells-Rufas, David, Carrabina, Jordi
Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015. Amsterdam, January 21st. Collocated with HIPEAC 2015 Conference.
Externí odkaz:
http://arxiv.org/abs/1501.03064
Autor:
Haemmerlé, Rémy, Sneyers, Jon
This volume contains the papers presented at the eleventh Workshop on Constraint Handling Rules (CHR 2014), which will be held in Vienna at the occasion of the Vienna Summer of Logic (VSL)
Externí odkaz:
http://arxiv.org/abs/1406.1510
Publikováno v:
Theory and Practice of Logic Programming 14 (2014) 619-632
We consider the application of Constraint Handling Rules (CHR) for the specification of type inference systems, such as that used by Haskell. Confluence of CHR guarantees that the answer provided by type inference is correct and consistent. The stand
Externí odkaz:
http://arxiv.org/abs/1405.3393
Autor:
Haemmerlé, Rémy, Morales, Jose
This volume contains the papers presented at the 23rd Workshop on Logic-based Methods in Programming Environments (WLPE 2013), which was held in Istanbul, Turkey, on August 24 & 25 2013 as a satellite event of the 29th International Conference on Log
Externí odkaz:
http://arxiv.org/abs/1308.2055
We present a new free library for Constraint Logic Programming over Finite Domains, included with the Ciao Prolog system. The library is entirely written in Prolog, leveraging on Ciao's module system and code transformation capabilities in order to a
Externí odkaz:
http://arxiv.org/abs/1301.7702
Publikováno v:
Theory and Practice of Logic Programming, 12(4-5): 755-773, 2012
We present and evaluate a compiler from Prolog (and extensions) to JavaScript which makes it possible to use (constraint) logic programming to develop the client side of web applications while being compliant with current industry standards. Targetin
Externí odkaz:
http://arxiv.org/abs/1210.2864
Autor:
Haemmerlé, Rémy
Publikováno v:
Theory and Practice of Logic Programming, 12(4-5): 737-753, 2012
Confluence is a fundamental property of Constraint Handling Rules (CHR) since, as in other rewriting formalisms, it guarantees that the computations are not dependent on rule application order, and also because it implies the logical consistency of t
Externí odkaz:
http://arxiv.org/abs/1210.2297