2014
- WM-CS-2014-01
Zhijia Zhao, Bo Wu, Xipeng Shen
Probabilistic Analysis for Optimal Speculation of Finite-State Machine Applications - WM-CS-2014-02
Yufei Ding, Mingzhou Zhou, Zhijia Zhao, Sarah Eisenstat, Xipeng Shen
The Potential and Complexity of Compilation Scheduling for JIT-Based Runtime Systems - WM-CS-2014-03
Lingfei Wu, Andreas Stathopoulos
Enhancing the PRIMME Eigensolver for Computing Accurately Singular Triplets of Large Matrices - WM-CS-2014-04
Zhijia Zhao, Mingzhou Zhou, Xipeng Shen
SatScore: Uncovering and Avoiding a Principled Pitfall in Responsiveness Measurements of App Launches - WM-CS-2014-05
Yifan Zhang, Chiu C. Tan, Fengyuan Xu, Hao Han, Qun Li
Lightweight and Privacy-preserving Location Proofs for Intelligent Transportation Systems - WM-CS-2014-06
Lingfei Wu, Andreas Stathopoulos
PRIMME SVDS: A Preconditioned SVD Solver for Computing Accurately Singular Triplets of Large Matrices based on the PRIMME Eigensolver - WM-CS-2014-07
James Bieron
A Deterministic Algorithm for the Building of Binary Phylogenetic Trees in O(hn) Time
