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:
domain (3)
abstract (3)
constraint (2)
integ (2)
graphic (1)

Stem octagon$ (all stems)

8 papers:

SASSAS-2014-ChenLMKW #abstract domain #constraints
An Abstract Domain to Infer Octagonal Constraints with Absolute Value (LC, JL, AM, DK, JW), pp. 101–117.
VMCAIVMCAI-2014-BozgaIK #integer #problem #safety #source code
Safety Problems Are NP-complete for Flat Integer Programs with Octagonal Loops (MB, RI, FK), pp. 242–261.
Iterating Octagons (MB, CG, RI), pp. 337–351.
VMCAIVMCAI-2008-BagnaraHZ #algorithm #constraints #integer
An Improved Tight Closure Algorithm for Integer Octagonal Constraints (RB, PMH, EZ), pp. 8–21.
SASSAS-2007-BanterleG #abstract domain #hardware #implementation #performance
A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware (FB, RG), pp. 315–332.
CIKMCIKM-2002-ZhuSI #database #query
Trajectory queries and octagons in moving object databases (HZ, JS, OHI), pp. 413–421.
WCREWCRE-2001-Mine #abstract domain
The Octagon Abstract Domain (AM), p. 310–?.
DACDAC-1991-DoodWLS #2d #geometry
A Two-Dimensional Topological Compactor With Octagonal Geometry (PdD, JW, EL, RS), pp. 727–731.

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.