Stem unleash$ (all stems)

7 papers:

CGO-2015-CampanoniHWB #named #parallel #semantics

HELIX-UP: relaxing program semantics to unleash parallelization (SC, GHH, GYW, DMB), pp. 235–245.

ICSE-2012-Corrigan #information management

Augmented intelligence — The new AI — Unleashing human capabilities in knowledge work (JMC), pp. 1285–1288.

FLOPS-2010-OrchardS #constraints #haskell

Haskell Type Constraints Unleashed (DAO, TS), pp. 56–71.

POPL-2010-GodefroidNRT #composition #power of #program analysis

Compositional may-must program analysis: unleashing the power of alternation (PG, AVN, SKR, ST), pp. 43–56.

SAS-2006-Das #power of #static analysis

Unleashing the Power of Static Analysis (MD), pp. 1–2.

CHI-2000-McClardS #integration #named #tablet #web

Unleashed: Web tablet integration into the home (APM, PS), pp. 1–8.

TOOLS-EUROPE-1999-ReenskaugB #distributed #enterprise #information management #power of

Unleashing the Power of Distributed Enterprise Information Systems (TR, LB), p. 396.