research
∙
05/29/2023
Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software
Interrupt-driven programs are widely deployed in safety-critical embedde...
share
research
∙
04/19/2022
Choosing the number of factors in factor analysis with incomplete data via a hierarchical Bayesian information criterion
The Bayesian information criterion (BIC), defined as the observed data l...
research
∙
02/26/2022
Regularized Bilinear Discriminant Analysis for Multivariate Time Series Data
In recent years, the methods on matrix-based or bilinear discriminant an...
research
∙
12/13/2021