Benjamin Horowitz

According to our database, Benjamin Horowitz authored at least 8 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

TensorFlow Hydrodynamics Analysis for Ly-α Simulations.

Jupiter Ding, Benjamin Horowitz, Zarija Lukic

Astron. Comput., 2024

2021

Fast, high-fidelity Lyman α forests with convolutional neural networks.

Peter Harrington, Mustafa Mustafa, Max Dornfest, Benjamin Horowitz, Zarija Lukic

CoRR, 2021

2003

Platform-based embedded software design and system integration for autonomous vehicles.

Benjamin Horowitz, Judith Liebman, Cedric Ma, Tak-John Koo, Alberto L. Sangiovanni-Vincentelli, Shankar Sastry

Proc. IEEE, 2003

2002

Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems.

Tak-John Koo, Judith Liebman, Cedric Ma, Benjamin Horowitz, Alberto L. Sangiovanni-Vincentelli, Shankar Sastry

Proceedings of the Embedded Software, Second International Conference, 2002

2001

Embedded Control Systems Development with Giotto.

Thomas A. Henzinger, Benjamin Horowitz, Christoph Meyer Kirsch

Proceedings of the 2001 ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems, 2001

Giotto: A Time-Triggered Language for Embedded Programming.

Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch

Proceedings of the Embedded Software, First International Workshop, 2001

2000

Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods.

Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar, Howard Wong-Toi

Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

1999

Rectangular Hybrid Games.

Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar

Proceedings of the CONCUR '99: Concurrency Theory, 1999