Filters








6 Hits in 4.2 sec

SWIFT: Software Implemented Fault Tolerance

G.A. Reis, J. Chang, N. Vachharajani, R. Rangan, D.I. August
International Symposium on Code Generation and Optimization  
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

Into the depths of C: elaborating the de facto standards

Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N. M. Watson, Peter Sewell
2016 SIGPLAN notices  
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

Into the depths of C: elaborating the de facto standards

Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N. M. Watson, Peter Sewell
2016 Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2016  
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

Blue-sky eruptions, do they exist? : implications for monitoring New Zealand's volcanoes [article]

Angela Louise Doherty, University Of Canterbury
2009
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

Community Engagement in the Early Warning System to Improve Disaster Preparedness in Aceh Province, Indonesia

Sofyan Sufri, University, My, Shannon Rutherford
2020
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

The targum (1977:Jan. 5 - 1977:Jan. 31)

No Name Supplied
1977
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