Publications

Filtered as: all types - all years - all authors - keyword: Interval arithmetic
Corresponding
bibtex list 


  1. J. Cestero, J. Rogan, Tao Cui and Franz Franchetti
    High Performance High-Assurance Interval Arithmetic Based Safety Monitoring for Robot Arms on Industrial Multi-Core PLCs
    Proc. High Performance Extreme Computing (HPEC), 2026
  2. L. Tang, V. Kumar, M. Ngaw, S. Singh, D. Nadkarni, L. Tammala, K. Mai and Franz Franchetti
    Towards an Algorithm-based Approach for Soft Error Tolerance using Interval Arithmetic
    Proc. High Performance Extreme Computing (HPEC), 2025
Publication interface designed and implemented by Patra Pantupat, Aliaksei Sandryhaila, and Markus Püschel
Electrical and Computer Engineering, Carnegie Mellon University, 2007