Zobrazeno 1 - 10
of 59
pro vyhledávání: '"Earl, Christopher P."'
A common view in the neuroscience community is that memory is encoded in the connection strength between neurons. This perception led artificial neural network models to focus on connection weights as the key variables to modulate learning. In this p
Externí odkaz:
http://arxiv.org/abs/2202.07132
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:
Adams, Sarah E., Purkiss, Andrew G., Knowles, Phillip P., Nans, Andrea, Briggs, David C., Borg, Annabel, Earl, Christopher P., Goodman, Kerry M., Nawrotek, Agata, Borg, Aaron J., McIntosh, Pauline B., Houghton, Francesca M., Kjær, Svend, McDonald, Neil Q.
Publikováno v:
In Structure 1 July 2021 29(7):694-708
Publikováno v:
Journal of Functional Programming, Volume 24, Special Issue 2-3, May 2014, pp 218-283
In the static analysis of functional programs, pushdown flow analysis and abstract garbage collection push the boundaries of what we can learn about programs statically. This work illuminates and poses solutions to theoretical and practical challenge
Externí odkaz:
http://arxiv.org/abs/1406.5106
In the static analysis of functional programs, pushdown flow analysis and abstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method reduces analysis times and boosts precision by orders of magnitud
Externí odkaz:
http://arxiv.org/abs/1207.1813
Two sinks drain precision from higher-order flow analyses: (1) merging of argument values upon procedure call and (2) merging of return values upon procedure return. To combat the loss of precision, these two sinks have been addressed independently.
Externí odkaz:
http://arxiv.org/abs/1009.1560
Context-free approaches to static analysis gain precision over classical approaches by perfectly matching returns to call sites---a property that eliminates spurious interprocedural paths. Vardoulakis and Shivers's recent formulation of CFA2 showed t
Externí odkaz:
http://arxiv.org/abs/1007.4268
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.