Výsledky vyhledávání

Integration verification across software and hardware for a simple embedded system

Autor: Andres Erbsen, Samuel Gruetter, Joonwon Choi, Clark Wood, Adam Chlipala

Publikováno v: PLDI

The interfaces between layers of a system are susceptible to bugs if developers of adjacent layers proceed under subtly different assumptions. Formal verification of two layers against the same formal model of the interface between them can be used t

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::71d093f43c6307ab9c8970f760ef08fb
https://doi.org/10.1145/3453483.3454065

Zobrazit plný text záznamu

BP: DECREE: A Platform for Repeatable and Reproducible Security Experiments

Autor: Lok Yan, Michael Frantzen, Timothy Vidas, Christopher Eagle, Samuel Colt VanWinkle, Michael F. Thompson, Clark Wood, Holt Sorenson, Michael Zhivich, Jason Wright, Benjamin Price, Brian Caswell, Vernon Rivet

Publikováno v: SecDev

Reproducibility is one of the core tenets of science. Researchers must be able to independently verify scientific theories and research results; practitioners need to able to trust test results and assessments. Reproducibility is hard because computi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::9caa01cc5b87acc0ee1cb59ab85d8ad0
https://doi.org/10.1109/secdev.2018.00010

Zobrazit plný text záznamu

THE EFFECT OF EPINEPHRIN IN ANGINA PECTORIS

Autor: Francis Clark Wood, James E. Cottrell

Publikováno v: The American Journal of the Medical Sciences. 181:36-38

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::1d162676604906243dc39dc19f21bdbb
https://doi.org/10.1097/00000441-193101000-00004

Zobrazit plný text záznamu

Periodical

The relationships of Lead I, chest leads from the C3, C4, and C5positions, and certain leads made from each shoulder region: The bearing of these observations upon the einthoven equilateral triangle hypothesis and upon the formation of Lead I

Autor: Wolferth, Charles Christian, Miller Livezey, Mary, Clark Wood, Francis

Publikováno v: American Heart Journal; February 1941, Vol. 21 Issue: 2 p215-227, 13p

Zobrazit plný text záznamu

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.

Akademický článek

Promoting good health in the age of reform: the medical publications of Henry H. Porter of Philadelphia, 1829-32.

Autor: Horrocks TA; Francis Clark Wood Institute for the History of Medicine, College of Physicians of Philadelphia, PA 19103.

Publikováno v: Canadian bulletin of medical history = Bulletin canadien d'histoire de la medecine [Can Bull Med Hist] 1995; Vol. 12 (2), pp. 259-87.

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání