Benjamin Horowitz

Publication Activity (10 Years)

Years Active: 1999-2021
Publications (10 Years): 1

Top Topics

Convolutional Neural Networks

Medical Image Compression

Top Venues

Publications

Peter Harrington, Mustafa Mustafa, Max Dornfest, Benjamin Horowitz, Zarija Lukic
Fast, high-fidelity Lyman α forests with convolutional neural networks. CoRR (2021)
Benjamin Horowitz, Judith Liebman, Cedric Ma, Tak-John Koo, Alberto L. Sangiovanni-Vincentelli, Shankar Sastry
Platform-based embedded software design and system integration for autonomous vehicles. Proc. IEEE 91 (1) (2003)
Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch
Giotto: a time-triggered language for embedded programming. Proc. IEEE 91 (1) (2003)
Tak-John Koo, Judith Liebman, Cedric Ma, Benjamin Horowitz, Alberto L. Sangiovanni-Vincentelli, Shankar Sastry
Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems. EMSOFT (2002)
Thomas A. Henzinger, Benjamin Horowitz, Christoph Meyer Kirsch
Embedded Control Systems Development with Giotto. OM@PLDI (2001)
Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch
Embedded Control Systems Development with Giotto. LCTES/OM (2001)
Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch
Giotto: A Time-Triggered Language for Embedded Programming. EMSOFT (2001)
Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar, Howard Wong-Toi
Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods. HSCC (2000)
Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar
Rectangular Hybrid Games. CONCUR (1999)