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:
effici (2)
abstract (2)
bdds (2)
implicit (2)
verif (2)

Stem conjoin$ (all stems)

5 papers:

SASSAS-2014-ToubhansCR #abstract domain #abstraction #combinator #memory management
An Abstract Domain Combinator for Separately Conjoining Memory Abstractions (AT, BYEC, XR), pp. 285–301.
DACDAC-2000-MoonKRS #image
To split or to conjoin: the question in image computation (IHM, JHK, KR, FS), pp. 23–28.
ICDARICDAR-v2-1995-El-YacoubiBG #recognition
Conjoined location and recognition of street names within a postal address delivery line (MAEY, JMB, MG), pp. 1024–1027.
DACDAC-1994-HuYD #performance #verification
New Techniques for Efficient Verification with Implicitly Conjoined BDDs (AJH, GY, DLD), pp. 276–282.
CAVCAV-1993-HuD #invariant #performance #using #verification
Efficient Verification with BDDs using Implicitly Conjoined Invariants (AJH, DLD), pp. 3–14.

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.