David Cox

15 papers Misc 2Journal 10Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Four (Plus One) Approaches to Teaching Digital Accessibility.
XRDS
David Cox
2024 — conf
Virtual Reality in Theory-Based Intervention: Examining the Efficacy of a Theory-Based Virtual Reality Intervention to Promote Physical Activity.
ISMAR-Adjunct
Wanqi Zhao, David Cox, Jillian Ryan, Xuanying Zhu, Matt Adcock, Penny Sweetser
2024 J jnl
Wavefront Threading Enables Effective High-Level Synthesis.
CoRR
Blake Pelton, Adam Sapek, Ken Eguro, Daniel Lo, Alessandro Forin, Matt Humphrey, Jinwen Xi, David Cox, Rajas Karandikar, Johannes de Fine Licht, Evgeny Babin, Adrian M. Caulfield, Doug Burger
2024 J jnl
Wavefront Threading Enables Effective High-Level Synthesis.
Proc. ACM Program. Lang.
Blake Pelton, Adam Sapek, Ken Eguro, Daniel Lo, Alessandro Forin, Matt Humphrey, Jinwen Xi, David Cox, Rajas Karandikar, Johannes de Fine Licht, Evgeny Babin, Adrian M. Caulfield, Doug Burger
2023 J jnl
Subresultants and the Shape Lemma.
Math. Comput.
David Cox, Carlos D'Andrea
2016 J jnl
Delta Epsilon Alpha Star: A PAC-Admissible Search Algorithm.
CoRR
David Cox
2016 J jnl
Syntactically Informed Text Compression with Recurrent Neural Networks.
CoRR
David Cox
2016 — conf
\upmu Proxy: A Hardware Relay for Anonymous and Secure Internet Access.
RFIDSec
David Cox, David F. Oswald
2008 J jnl
Design of the Java HotSpot™ client compiler for Java 6.
ACM Trans. Archit. Code Optim.
Thomas Kotzmann, Christian Wimmer, Hanspeter Mössenböck, Thomas Rodriguez, Kenneth B. Russell, David Cox
2008 J jnl
Revealing sequence variation patterns in rice with machine learning methods.
BMC Bioinform.
Regina Bohnert, Georg Zeller, Richard M. Clark, Kevin L. Childs, Victor Jun M. Ulat, Renee Stokowski, Dennis Ballinger, Kelly Frazer, David Cox, Richard M. Bruskiewich, C. Robin Buell, Jan Leach, Hei Leung, Kenneth L. McNally, Detlef Weigel, Gunnar Rätsch
2007 Misc conf
Helping System Users to Be Smarter by Representing Logic in Transaction Frame Diagrams.
ICCS
David Cox, Simon Polovina
2007 J jnl
Novel Methods of Fabrication and Metrology of Superconducting NanoStructures.
IEEE Trans. Instrum. Meas.
Ling Hao, John C. Macfarlane, John C. Gallop, David Cox, P. Joseph-Franks, D. Hutson, Jie Chen, Simon K. H. Lam
2004 — conf
A Low Voltage to High Voltage Level Shifter in a Low Voltage, 0.25 µm, PD SOI Process.
ISVLSI
Erik J. Mentze, Kevin M. Buck, Herbert L. Hess, David Cox, Mohammad M. Mojarradi
1996 J jnl
Symbolic calculus for volumetric reasoning about process plans.
Artif. Intell. Eng. Des. Anal. Manuf.
Huaming Lee, Jon Scott, Jon Sims Williams, David Cox
1982 Misc conf
Speech processing using programmable VLSI.
ICASSP
Michael McMahan, David Cox, Michael S. Wengrovitz