7 papers:
ICML-2015-GarnettHS #process- Finding Galaxies in the Shadows of Quasars with Gaussian Processes (RG, SH, JS), pp. 1025–1033.
ASPLOS-2014-DelimitrouK #clustering #named- Quasar: resource-efficient and QoS-aware cluster management (CD, CK), pp. 127–144.
AdaEurope-2008-KaiserPP #concurrent #metric- Concurrent Program Metrics Drawn by Quasar (CK, CP, JFPP), pp. 101–114.
- AdaEurope-2005-EvangelistaKPPR #verification
- Dynamic Tasks Verification with Quasar (SE, CK, CP, JFPP, PR), pp. 91–104.
- AdaEurope-2003-EvangelistaKPR #ada #analysis #concurrent #named #source code
- Quasar: A New Tool for Concurrent Ada Programs Analysis (SE, CK, JFPP, PR), pp. 168–181.
SIGAda-2003-EvangelistaKPR #ada #concurrent #linear #logic #source code #verification- Verifying linear time temporal logic properties of concurrent Ada programs with quasar (SE, CK, JFPP, PR), pp. 17–24.
ICPR-v2-2000-HuangHS #automation #recognition- A New Automatic Quasar Recognition Technique Based on PCA and the Hough Transform (LyH, ZH, FS), pp. 2499–2502.
