BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
concurr (3)
program (3)
new (2)
ada (2)
transform (1)

Stem quasar$ (all stems)

7 papers:

ICMLICML-2015-GarnettHS #process
Finding Galaxies in the Shadows of Quasars with Gaussian Processes (RG, SH, JS), pp. 1025–1033.
ASPLOSASPLOS-2014-DelimitrouK #clustering #named
Quasar: resource-efficient and QoS-aware cluster management (CD, CK), pp. 127–144.
AdaEuropeAdaEurope-2008-KaiserPP #concurrent #metric
Concurrent Program Metrics Drawn by Quasar (CK, CP, JFPP), pp. 101–114.
AdaEuropeAdaEurope-2005-EvangelistaKPPR #verification
Dynamic Tasks Verification with Quasar (SE, CK, CP, JFPP, PR), pp. 91–104.
AdaEuropeAdaEurope-2003-EvangelistaKPR #ada #analysis #concurrent #named #source code
Quasar: A New Tool for Concurrent Ada Programs Analysis (SE, CK, JFPP, PR), pp. 168–181.
AdaSIGAda-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.
ICPRICPR-v2-2000-HuangHS #automation #recognition
A New Automatic Quasar Recognition Technique Based on PCA and the Hough Transform (LyH, ZH, FS), pp. 2499–2502.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.