Third Eye: A Shopping Assistant for the Visually Impaired von Zientara, Peter A., Sooyeon Lee, Smith, Gus H., Brenner, Rorry, Itti, Laurent, Rosson, Mary B., Carroll, John M., Irick, Kevin M., Narayanan, Vijaykrishnan

Volltext

Computing With Networks of Oscillatory Dynamical Systems von Raychowdhury, Arijit, Parihar, Abhinav, Smith, Gus Henry, Narayanan, Vijaykrishnan, Csaba, Gyorgy, Jerry, Matthew, Porod, Wolfgang, Datta, Suman

Volltext

A FerroFET-Based In-Memory Processor for Solving Distributed and Iterative Optimizations via Least-Squares Method von Yoon, Insik, Khan, Asif, Datta, Suman, Raychowdhury, Arijit, Chang, Muya, Ni, Kai, Jerry, Matthew, Gangopadhyay, Samantak, Smith, Gus Henry, Hamam, Tomer, Romberg, Justin, Narayanan, Vijaykrishnan

Volltext

Application-level Validation of Accelerator Designs Using a Formal Software/Hardware Interface von Huang, Bo-Yuan, Lyubomirsky, Steven, Li, Yi, He, Mike, Smith, Gus Henry, Tambe, Thierry, Gaonkar, Akash, Canumalla, Vishal, Cheung, Andrew, Wei, Gu-Yeon, Gupta, Aarti, Tatlock, Zachary, Malik, Sharad

Volltext

Generation of Compiler Backends from Formal Models of Hardware von Smith, Gus Henry

Volltext bestellen

Fridge Compiler: Optimal Circuits from Molecular Inventories von Wathieu, Lancelot, Smith, Gus, Ceze, Luis, Thachuk, Chris

Volltext

Generation of Compiler Backends from Formal Models of Hardware von Smith, Gus Henry

Volltext

Scaling Program Synthesis Based Technology Mapping with Equality Saturation von Smith, Gus Henry, Knizek, Colin, Petrisko, Daniel, Tatlock, Zachary, Balkind, Jonathan, Bernstein, Gilbert Louis, Ni, Haobin, Nandi, Chandrakana

Volltext bestellen

Enumerating Hardware-Software Splits with Program Rewriting von Smith, Gus, Tatlock, Zachary, Ceze, Luis

Volltext bestellen

Generate Compilers from Hardware Models von Smith, Gus Henry, Kushigian, Ben, Canumalla, Vishal, Cheung, Andrew, Just, René, Tatlock, Zachary

Volltext bestellen

There and Back Again: A Netlist's Tale with Much Egraphin' von Smith, Gus Henry, Sisco, Zachary D, Techaumnuaiwit, Thanawat, Xia, Jingtao, Canumalla, Vishal, Cheung, Andrew, Tatlock, Zachary, Nandi, Chandrakana, Balkind, Jonathan

Volltext bestellen

FPGA Technology Mapping Using Sketch-Guided Program Synthesis von Smith, Gus Henry, Kushigian, Ben, Canumalla, Vishal, Cheung, Andrew, Lyubomirsky, Steven, Porncharoenwase, Sorawee, Just, René, Bernstein, Gilbert Louis, Tatlock, Zachary

Volltext

Pure Tensor Program Rewriting via Access Patterns (Representation Pearl) von Smith, Gus Henry, Liu, Andrew, Lyubomirsky, Steven, Davidson, Scott, McMahan, Joseph, Taylor, Michael, Ceze, Luis, Tatlock, Zachary

Volltext

Scaling Program Synthesis Based Technology Mapping with Equality Saturation von Smith, Gus Henry, Knizek, Colin, Petrisko, Daniel, Tatlock, Zachary, Balkind, Jonathan, Bernstein, Gilbert Louis, Ni, Haobin, Nandi, Chandrakana

Volltext

Enumerating Hardware-Software Splits with Program Rewriting von Smith, Gus, Tatlock, Zachary, Ceze, Luis

Volltext

Application-Level Validation of Accelerator Designs Using a Formal Software/Hardware Interface von Huang, Bo-Yuan, Lyubomirsky, Steven, Li, Yi, He, Mike, Smith, Gus Henry, Tambe, Thierry, Gaonkar, Akash, Canumalla, Vishal, Cheung, Andrew, Wei, Gu-Yeon, Gupta, Aarti, Tatlock, Zachary, Malik, Sharad

Volltext bestellen

Generate Compilers from Hardware Models von Smith, Gus Henry, Kushigian, Ben, Canumalla, Vishal, Cheung, Andrew, Just, René, Tatlock, Zachary

Volltext

There and Back Again: A Netlist's Tale with Much Egraphin' von Smith, Gus Henry, Sisco, Zachary D, Techaumnuaiwit, Thanawat, Xia, Jingtao, Canumalla, Vishal, Cheung, Andrew, Tatlock, Zachary, Nandi, Chandrakana, Balkind, Jonathan

Volltext

Application-Level Validation of Accelerator Designs Using a Formal Software/Hardware Interface von Bo-Yuan, Huang, Lyubomirsky, Steven, Li, Yi, He, Mike, Smith, Gus Henry, Tambe, Thierry, Gaonkar, Akash, Canumalla, Vishal, Cheung, Andrew, Gu-Yeon, Wei, Gupta, Aarti, Tatlock, Zachary, Malik, Sharad

Volltext

Wear-resistant throat plate for knitting machine von SMITH GUS T

Volltext bestellen