Zobrazeno 1 - 10
of 56
pro vyhledávání: '"Kirsten, Winter"'
Autor:
Cynthia J. Hitchcock, Elizabeth A. Gallegos, Adam R. Backlin, Russell Barabe, Peter H. Bloom, Kimberly Boss, Cheryl S. Brehme, Christopher W. Brown, Denise R. Clark, Elizabeth R. Clark, Kevin Cooper, Julie Donnell, Edward Ervin, Peter Famolaro, Kim M. Guilliam, Jacquelyn J. Hancock, Nicholas Hess, Steven Howard, Valerie Hubbartt, Patrick Lieske, Robert Lovich, Tritia Matsuda, Katherin Meyer‐Wilkins, Kamarul Muri, Barry Nerhus, Jeff Nordland, Brock Ortega, Robert Packard, Ruben Ramirez, Sam C. Stewart, Samuel Sweet, Manna Warburton, Jeffrey Wells, Ryan Winkleman, Kirsten Winter, Brian Zitt, Robert N. Fisher
Publikováno v:
Ecology and Evolution, Vol 12, Iss 4, Pp n/a-n/a (2022)
Abstract Prolonged drought due to climate change has negatively impacted amphibians in southern California, U.S.A. Due to the severity and length of the current drought, agencies and researchers had growing concern for the persistence of the arroyo t
Externí odkaz:
https://doaj.org/article/37e4c2bcb4504f168e2174fdb1353274
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 282, Iss Proc. Refine 2018, Pp 53-67 (2018)
In this paper we develop a theory for correctness of concurrent objects under weak memory models. Central to our definitions is the concept of observations which determine when effects of operations become visible, and hence determine the semantics o
Externí odkaz:
https://doaj.org/article/97267bc5017d46e78afca7126162021b
Publikováno v:
Formal Aspects of Computing.
Rely/guarantee reasoning provides a compositional approach to reasoning about concurrent programs. However, such reasoning traditionally assumes a sequentially consistent memory model and hence is unsound on modern hardware in the presence of data ra
Publikováno v:
Formal Aspects of Computing. 32:1-32
Linearizability is a widely accepted notion of correctness for concurrent objects. Recent research has investigated redefining linearizability for particular hardware weak memory models, in particular for TSO. In this paper, we provide an overview of
Autor:
Cynthia Hitchcock, Elizabeth Gallegos, Adam Backlin, Russell Barabe, Peter Bloom, Kimberly Boss, Cheryl Brehme, Christopher Brown, Denise Clark, Elizabeth Clark, Kevin Cooper, Julie Donnell, Edward Ervin, Peter Famorlaro, Kimberly Guilliam, Jaquelyn Hancock, Nicholas Hess, Steven Howard, Valerie Hubbartt, Patrick Lieske, Robert Lovich, Tritia Matsuda, Kathie Mayer-Wilkins, Kamarul Muri, Bary Nerhus, Jeff Norland, Brock Ortega, Robert Packard, Ruben Ramirez, Samuel Stewart IV, Samuel Sweet, Manna Warburton, Jeffrey Wells, Ryan Winkleman, Kirsten Winter, Brian Zitt, Robert Fisher
Climate change and prolonged drought have negatively impacted amphibians in southern California, U.S.A. Due to the severe drought from 2012–2016, agencies and researchers had growing concern for the persistence of the arroyo toad (Anaxyrus californ
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::892c94c0033e22fce6db15af2c0164e5
https://doi.org/10.22541/au.163351380.03913264/v1
https://doi.org/10.22541/au.163351380.03913264/v1
Autor:
Cynthia J, Hitchcock, Elizabeth A, Gallegos, Adam R, Backlin, Russell, Barabe, Peter H, Bloom, Kimberly, Boss, Cheryl S, Brehme, Christopher W, Brown, Denise R, Clark, Elizabeth R, Clark, Kevin, Cooper, Julie, Donnell, Edward, Ervin, Peter, Famolaro, Kim M, Guilliam, Jacquelyn J, Hancock, Nicholas, Hess, Steven, Howard, Valerie, Hubbartt, Patrick, Lieske, Robert, Lovich, Tritia, Matsuda, Katherin, Meyer-Wilkins, Kamarul, Muri, Barry, Nerhus, Jeff, Nordland, Brock, Ortega, Robert, Packard, Ruben, Ramirez, Sam C, Stewart, Samuel, Sweet, Manna, Warburton, Jeffrey, Wells, Ryan, Winkleman, Kirsten, Winter, Brian, Zitt, Robert N, Fisher
Publikováno v:
Ecology and evolution. 12(4)
Prolonged drought due to climate change has negatively impacted amphibians in southern California, U.S.A. Due to the severity and length of the current drought, agencies and researchers had growing concern for the persistence of the arroyo toad (
Publikováno v:
CSF
A number of approaches have been developed for analysing information flow in concurrent programs in a compositional manner, i.e., in terms of one thread at a time. Early approaches modelled the behaviour of a given thread’s environment using simple
Publikováno v:
Formal Methods ISBN: 9783030908690
FM
FM
Rely/guarantee reasoning provides a compositional approach to reasoning about concurrent programs. However, such reasoning traditionally assumes a sequentially consistent memory model and hence is unsound on modern hardware in the presence of data ra
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2ddd4d415651020fc7c6e8cf7478aa37
https://doi.org/10.1007/978-3-030-90870-6_16
https://doi.org/10.1007/978-3-030-90870-6_16
Autor:
Robert Colvin, Kirsten Winter
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030549961
FM Workshops (2)
FM Workshops (2)
Reasoning about correctness and security of software is increasingly difficult due to the complexity of modern microarchitectural features such as out-of-order execution. A class of security vulnerabilities termed Spectre that exploits side effects o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a2f741b475ddee24e1f754d48ba5ccc8
https://doi.org/10.1007/978-3-030-54997-8_21
https://doi.org/10.1007/978-3-030-54997-8_21
Hardware weak memory models, such as TSO and ARM, are used to increase the performance of concurrent programs by allowing program instructions to be executed on the hardware in a different order to that specified by the software. This places a challe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d6a0ada6549ef3cc3e9c8dd6493849d2
https://eprints.whiterose.ac.uk/151638/1/scp.pdf
https://eprints.whiterose.ac.uk/151638/1/scp.pdf