Zobrazeno 1 - 10
of 708
pro vyhledávání: '"Wilcox, James A"'
Inferring inductive invariants is one of the main challenges of formal verification. The theory of abstract interpretation provides a rich framework to devise invariant inference algorithms. One of the latest breakthroughs in invariant inference is p
Externí odkaz:
http://arxiv.org/abs/2111.00324
An attacker that gains access to a cryptocurrency user's private keys can perform any operation in her stead. Due to the decentralized nature of most cryptocurrencies, no entity can revert those operations. This is a central challenge for decentraliz
Externí odkaz:
http://arxiv.org/abs/2106.01240
We study the complexity of invariant inference and its connections to exact concept learning. We define a condition on invariants and their geometry, called the fence condition, which permits applying theoretical results from exact concept learning t
Externí odkaz:
http://arxiv.org/abs/2008.09909
Publikováno v:
Soldering & Surface Mount Technology, 2023, Vol. 35, Issue 4, pp. 244-254.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/SSMT-03-2023-0012
Autor:
Nandi, Chandrakana, Willsey, Max, Anderson, Adam, Wilcox, James R., Darulova, Eva, Grossman, Dan, Tatlock, Zachary
Publikováno v:
PLDI 2020
Recent program synthesis techniques help users customize CAD models(e.g., for 3D printing) by decompiling low-level triangle meshes to Constructive Solid Geometry (CSG) expressions. Without loops or functions, editing CSG can require many coordinated
Externí odkaz:
http://arxiv.org/abs/1909.12252
Infinite-state systems such as distributed protocols are challenging to verify using interactive theorem provers or automatic verification tools. Of these techniques, deductive verification is highly expressive but requires the user to annotate the s
Externí odkaz:
http://arxiv.org/abs/1905.07739
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.
Ultrasonic acoustic fields have recently been used to generate haptic effects on the human skin as well as to levitate small sub-wavelength size particles. Schlieren imaging and background-oriented schlieren techniques can be used for acoustic wave p
Externí odkaz:
http://arxiv.org/abs/1810.00258
Autor:
Dawkins, Stacy, Cooper, Shannon, Wilcox, James, Morrow, Eryn, Mayall, Hayley, Rebman, Rebecca
Publikováno v:
Journal of Physician Assistant Education (Lippincott Williams & Wilkins); Dec2024, Vol. 35 Issue 4, p430-436, 7p
Publikováno v:
American Family Physician; Dec2024, Vol. 110 Issue 6, p621-631, 11p