A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is
This paper presents a novel, software-only, transient-fault-detection technique, called SWIFT. ... However, these advances make processors more susceptible to transient faults that can affect correctness. ... This work has been supported by the National Science Foundation (CNS-0305617 and a Graduate Research Fellowship) and Intel Corporation. ...doi:10.1109/cgo.2005.34 dblp:conf/cgo/ReisCVRA05 fatcat:6tmt6vlezffablb3xboy2z7cdq
Second, we describe a formal model, Cerberus, for large parts of C. ... to a much simpler Core language for accessibility, and it is executable as a test oracle on small examples. ... Simon Moore for their work on the CHERI ISA and CHERI C. ...doi:10.1145/2980983.2908081 fatcat:ayro2e7g7ve73jrr47agcjjeea
Second, we describe a formal model, Cerberus, for large parts of C. ... to a much simpler Core language for accessibility, and it is executable as a test oracle on small examples. ... Simon Moore for their work on the CHERI ISA and CHERI C. ...doi:10.1145/2908080.2908081 dblp:conf/pldi/MemarianMLNCWS16 fatcat:g6qx6ivfn5hpvavfbx5fqt5xsu
BSEs can be a result of physical triggers (e.g. the lack of physically detectable precursors or a lack of understanding of the eruption model of the volcano), social triggers (such as an inadequate monitoring ... Similarly, as methods vary between monitoring agencies, there are no monitoring benchmarks for effective BSE forecasting. ... Acknowledgements Baxter PJ, Gresham A 1997. Deaths ...doi:10.26021/7865 fatcat:yefjuxa4t5h7bnlq3jqjxwsxj4
Globally, disasters cause tremendous impacts on humans, economies and the environment. ... The disaster risk reduction and management concept adopted by the Sendai Framework for DRR (SFDRR 2015-2030) in the third United Nations World Conference on DRR (WCDRR) promotes the reduction of hazards ... These programs are implemented through a community-based disaster risk management (CBDRM) approach. ...doi:10.25904/1912/1931 fatcat:rd2ef7zei5de3nxl24vfxs5zry
In January 1869, the Targum as we now know it, made its appearance as a monthly paper that concerned itself with student "literary contributions" and college news as well as serving as a vehicle for bringing ... The Targum was published by the students of Rutgers College, and later Rutgers University—New Brunswick represented through the years as the Targum Association, Rutgers Targum Association, and Rutgers ... Good in Continental U .S. only. the right to substitute software libraries of equal value, based upon availability. Please allow 30 days for d"livery. . ...doi:10.7282/t3-9ny2-5c69 fatcat:3jbtxr5tqzej3inmbluzvsh3pu