Zobrazeno 1 - 10
of 1 645
pro vyhledávání: '"Partial evaluation"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Adamsson, Johan
Partial evaluation is a program transformation technique that specializes a program with respect to part of its input. While the specialization is typically performed ahead-of-time, moving it to a later stage may expose additional opportunities and a
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-345164
Publikováno v:
IEEE Access, Vol 9, Pp 20542-20556 (2021)
The maximal covering location problem attempts to locate a limited number of facilities in order to maximize the coverage over a set of demand nodes. This problem is NP-Hard and it has been often addressed by using metaheuristics, where the execution
Externí odkaz:
https://doaj.org/article/3fae3391309f41a6a53bc295d7497e9f
Publikováno v:
Heliyon, Vol 8, Iss 4, Pp e09291- (2022)
Several real-life optimization problems, such as the case of several instances of the School Bus Routing Problem (SBRP), are very complex and expensive to solve with exact algorithms. Metaheuristics are a good alternative in these situations because
Externí odkaz:
https://doaj.org/article/130c6d5e5173482abe8237c509117d13
Autor:
Szokoli Mátyás, Kiss Attila
Publikováno v:
Acta Universitatis Sapientiae: Informatica, Vol 12, Iss 2, Pp 232-250 (2020)
In this paper we will be taking a look at type inference and its uses for binding-time analysis, dynamic typing and better error messages. We will propose a new binding-time analysis algorithm ℬ, which is a modification of an already existing algor
Externí odkaz:
https://doaj.org/article/ffe11e6d8cc842d3befc862262580e90
Publikováno v:
MethodsX, Vol 9, Iss , Pp 101802- (2022)
Partial evaluation (PE) is a branch of computer science that achieves code optimization via specialization. This article describes a PE methodology for optimizing rewrite theories that encode concurrent as well as nondeterministic systems by means of
Externí odkaz:
https://doaj.org/article/1be6112c1a9e49e4900a55c6b92082bf
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Roland Leißa, André Müller, Bertil Schmidt, Richard Membarth, Klaas Boesche, Arsène Pérard-Gayot, Sebastian Hack, Philipp Slusallek
This paper advocates programming high-performance code using partial evaluation. We present a clean-slate programming system with a simple, annotation-based, online partial evaluator that operates on a CPS-style intermediate representation. Our syste
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c1f1be859bd26069a8e9b161edbcad8e