Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Philipoom, Jade"'
Publikováno v:
J Autom Reasoning 68, 19 (2024)
We address the challenges of scaling verification efforts to match the increasing complexity and size of systems. We propose a research agenda aimed at building a performant proof engine by studying the asymptotic performance of proof engines and red
Externí odkaz:
http://arxiv.org/abs/2305.02521
Compilers are a prime target for formal verification, since compiler bugs invalidate higher-level correctness guarantees, but compiler changes may become more labor-intensive to implement, if they must come with proof patches. One appealing approach
Externí odkaz:
http://arxiv.org/abs/2205.00862
Autor:
Philipoom, Jade (Jade D.)
Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2018.
This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and
This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and
Externí odkaz:
http://hdl.handle.net/1721.1/119582
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.
Publikováno v:
2014 IEEE Conference on Computer Vision & Pattern Recognition Workshops; 2014, p793-799, 7p
Publikováno v:
CVPR Workshops
MIT web domain
MIT web domain
Social science literature has shown a strong connection between the visual appearance of a city's neighborhoods and the behavior and health of its citizens. Yet, this research is limited by the lack of methods that can be used to quantify the appeara
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::672997e233a16a0f42fbe2c12c19a456
https://doi.org/10.1109/cvprw.2014.121
https://doi.org/10.1109/cvprw.2014.121