Zobrazeno 1 - 10
of 32
pro vyhledávání: '"Ian Briggs"'
Publikováno v:
Health communication.
Several extremely influential theories, including the multiple streams approach and punctuated equilibrium theory, predict that dramatic policy change occurs when problems are reframed. However, there is little direct evidence of how framing messages
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d689a46948e48fdf46876e43f644d6a2
https://pubmed.ncbi.nlm.nih.gov/35816366
https://pubmed.ncbi.nlm.nih.gov/35816366
Autor:
Ian Briggs, Pavel Panchekha
Publikováno v:
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::04db48019d2661afe882c7f00990d267
https://doi.org/10.1145/3519939.3523452
https://doi.org/10.1145/3519939.3523452
Publikováno v:
Optics Letters. 48:1978
Optical isolators are an essential component of photonic systems. Current integrated optical isolators have limited bandwidths due to stringent phase-matching conditions, resonant structures, or material absorption. Here, we demonstrate a wideband in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a9746ed36114327495fa252e2b9a50a3
https://doi.org/10.1364/ol.482635
https://doi.org/10.1364/ol.482635
Autor:
Dorit Hammerling, Ian Briggs, Gregory L. Lee, Michael Bentley, Mariana Vertenstein, Allison H. Baker, Ignacio Laguna, Daniel J. Milroy, Ganesh Gopalakrishnan, Dong H. Ahn
Publikováno v:
Communications of the ACM. 64:66-74
An approach to reproducibility problems related to porting software across machines and compilers.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::316bfde10917acda9c0b60158ba68a01
https://doi.org/10.1145/3382037
https://doi.org/10.1145/3382037
Publikováno v:
ACM Transactions on Architecture and Code Optimization. 17:1-27
We present FPD etect , a low-overhead approach for detecting logical errors and soft errors affecting stencil computations without generating false positives. We develop an offline analysis that tightly estimates the number of floating-point bits pre
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::72927a60b1fd175bbf43be099bb928c9
https://doi.org/10.1145/3402451
https://doi.org/10.1145/3402451
Publikováno v:
Conference on Lasers and Electro-Optics.
Squeezed light is a key quantum resource that enables quantum advantages for sensing, networking, and computing applications. The scalable generation and manipulation of squeezed light with integrated platforms are highly desired for the development
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f9e0904c7ca3dff7aca171b864889984
https://doi.org/10.1364/cleo_qels.2022.ff4j.4
https://doi.org/10.1364/cleo_qels.2022.ff4j.4
Autor:
Vishal Sharma, Arnab Das, Ian Briggs, Mark Baranowski, Zvonimir Rakamarić, Sriram Krishnamoorthy, Ganesh Gopalakrishnan
Publikováno v:
ACM Transactions on Architecture and Code Optimization. 16:1-21
We present FailAmp, a novel LLVM program transformation algorithm that makes programs employing structured index calculations more robust against soft errors. Without FailAmp, an offset error can go undetected; with FailAmp, all subsequent offsets ar
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::11303bc444cbb6cf9c5a1a02edf7b20a
https://doi.org/10.1145/3369381
https://doi.org/10.1145/3369381
Autor:
Ian Briggs, Ganesh Gopalakrishnan, Zvonimir Rakamarić, Charles Jacobsen, Alexey Solovyev, Marek S. Baranowski
Publikováno v:
ACM Transactions on Programming Languages and Systems. 41:1-39
Rigorous estimation of maximum floating-point round-off errors is an important capability central to many formal verification tools. Unfortunately, available techniques for this task often provide very pessimistic overestimates, causing unnecessary v
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3207d97b61b441b3c353e026776dae37
https://doi.org/10.1145/3230733
https://doi.org/10.1145/3230733
Publikováno v:
SC
Automated techniques for rigorous floating-point round-off error analysis are a prerequisite to placing important activities in HPC such as precision allocation, verification, and code optimization on a formal footing. Yet existing techniques cannot
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2e4b2600bd8b803e11a52edcd469de5c
https://doi.org/10.1109/sc41405.2020.00055
https://doi.org/10.1109/sc41405.2020.00055
Autor:
Samuel Thayer, Ignacio Laguna, Michael Bentley, Gregory L. Lee, Ian Briggs, Ganesh Gopalakrishnan, Dong H. Ahn
Publikováno v:
PPoPP
There is growing uptake of shared memory parallelism in high performance computing, and this has increased the need for data race checking during the creation of new parallel codes or parallelizing existing sequential codes. While race checking conce
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::eb247e07d5a95196ac74b4f21436f6e6
https://doi.org/10.1145/3332466.3374504
https://doi.org/10.1145/3332466.3374504