Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Filardo, Nathaniel Wesley"'
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:
Watson, Robert N. M., Chisnall, David, Clarke, Jessica, Davis, Brooks, Filardo, Nathaniel Wesley, Laurie, Ben, Moore, Simon W., Neumann, Peter G., Richardson, Alexander, Sewell, Peter, Witaszczyk, Konrad, Woodruff, Jonathan
Publikováno v:
IEEE Security & Privacy; 2024, Vol. 22 Issue: 4 p50-61, 12p
Arithmetic circuits arise in the context of weighted logic programming languages, such as Datalog with aggregation, or Dyna. A weighted logic program defines a generalized arithmetic circuitthe weighted version of a proof forest, with nodes having
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::92526b39a25b6b46931bed349b65905a
Autor:
Filardo, Nathaniel Wesley
Publikováno v:
2016 IEEE Security & Privacy Workshops (SPW); 2016, p189-197, 9p
Publikováno v:
Information Security Practice & Experience (9783642291005); 2012, p182-198, 17p
Autor:
Davis, Brooks, Watson, Robert N. M., Richardson, Alexander, Neumann, Peter G., Moore, Simon W., Baldwin, John, Chisnall, David, Clarke, James, Filardo, Nathaniel Wesley, Gudka, Khilan, Joannou, Alexandre, Laurie, Ben, Markettos, A. Theodore, Maste, J. Edward, Mazzinghi, Alfredo, Napierala, Edward Tomasz, Norton, Robert M., Roe, Michael, Sewell, Peter, Son, Stacey, Woodruff, Jonathan
Publikováno v:
Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=sygma_______::f1e757dbf0968dafc0479d4c9f8a8c46