BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
effect (2)
constraint (1)
map (1)
automat (1)
effici (1)

Stem salsa$ (all stems)

5 papers:

DACDAC-2012-VenkataramaniSKRR #approximate #logic #named #synthesis
SALSA: systematic logic synthesis of approximate circuits (SV, AS, VJK, KR, AR), pp. 796–801.
CIKMCIKM-2008-NajorkC #analysis #effectiveness #performance
Efficient and effective link analysis with precomputed salsa maps (MN, NC), pp. 53–62.
CIKMCIKM-2007-Najork #effectiveness
Comparing the effectiveness of hits and salsa (MN), pp. 157–164.
CIKMCIKM-2006-BartoliniCP #named
SaLSa: computing the skyline without scanning the whole sky (IB, PC, MP), pp. 405–414.
TACASTACAS-2000-BharadwajS #automation #constraints #invariant #named #theorem proving
Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking (RB, SS), pp. 378–394.

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.