publication venue for
- PLP: Protecting Location Privacy Against Correlation-Analysis Attack in Crowdsensing 2015
- NetMaster: Taming Energy Devourers on Smartphones 2014
- A Dynamic Moldable Job Scheduling Based Parallel SAT Solver 2013
- THE COMPLEXITY OF FFT AND RELATED BUTTERFLY ALGORITHMS ON MESHES AND HYPERMESHES 1992
- On the semantics of priority systems 1988