Zobrazeno 1 - 10
of 260
pro vyhledávání: '"Soares,Tiago"'
We present our work on the collaborative use of dynamic and static analysis tools for the verification of software written in the OCaml language. We build upon Gospel, a specification language for OCaml that can be used both in dynamic and static ana
Externí odkaz:
http://arxiv.org/abs/2407.17289
Autor:
Soares, Tiago, Pereira, Mário
Algebraic effects and handlers are a powerful abstraction to build non-local control-flow mechanisms such as resumable exceptions, lightweight threads, co-routines, generators, and asynchronous I/O. All of such features have very evolved semantics, h
Externí odkaz:
http://arxiv.org/abs/2302.01265
Autor:
Silva, Patrícia Ferreira, Ferreira da Costa, Vinicius Braga, Dias, Bruno Henriques, Soares, Tiago André, Bonatto, Benedito Donizeti, Balestrassi, Pedro Paulo
Publikováno v:
In Energy 30 December 2024 313
Publikováno v:
In Energy Policy December 2024 195
Publikováno v:
In Acta Astronautica March 2025 228:246-252
Autor:
da Costa, Vinicius Braga Ferreira, Bitencourt, Leonardo, Dias, Bruno Henriques, Soares, Tiago, de Andrade, Jorge Vleberton Bessa, Bonatto, Benedito Donizeti
Publikováno v:
In Renewable and Sustainable Energy Reviews February 2025 208
Autor:
Costa, Vinicius Braga Ferreira da, Bitencourt, Leonardo, Peters, Pedro, Dias, Bruno Henriques, Soares, Tiago, Silva, Bernardo Marques Amaral, Bonatto, Benedito Donizeti
Publikováno v:
In Journal of Cleaner Production 10 September 2024 470
Current developments in heat pumps, supported by innovative business models, are driving several industry sectors to take a proactive role in future district heating and cooling networks in cities. For instance, supermarkets and data centers have bee
Externí odkaz:
http://arxiv.org/abs/2101.10727
Autor:
Suriani, Lucia, Caiazzo, Antonio, Ganzer, Britta, Lips, Tobias, Laurenti, Patrice, Lockett, Bradley, Schleutker, Thorn, Soares, Tiago, Beck, James
Publikováno v:
In The Journal of Space Safety Engineering March 2024 11(1):52-66
Autor:
Soares, Tiago Lopes
In this report, we present the preliminary work developed for our research project for the APDC (\'Area Pr\'atica de Desenvolvimento Curricular) course. The main goal of this project is to develop a framework, on top of the Why3 tool, for the verific
Externí odkaz:
http://arxiv.org/abs/2011.14044