Stem pinpoint$ (all stems)

12 papers:

ICSME-2015-DongAS #fault #static analysis #using

Practical and accurate pinpointing of configuration errors using static analysis (ZD, AA, KS), pp. 171–180.

ESEC-FSE-2015-GongPS #javascript #named

JITProf: pinpointing JIT-unfriendly JavaScript code (LG, MP, KS), pp. 357–368.

HPCA-2015-HsuZLMWMTD #named #query

Adrenaline: Pinpointing and reining in tail queries with quick voltage boosting (CHH, YZ, MAL, DM, TFW, JM, LT, RGD), pp. 271–282.

SAT-2015-ArifMM #axiom #performance

Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing (MFA, CM, JMS), pp. 324–342.

CGO-2012-ChabbiM #named

DeadSpy: a tool to pinpoint program inefficiencies (MC, JMMC), pp. 124–134.

CIKM-2011-ChengQ #algorithm #axiom #incremental

An algorithm for axiom pinpointing in EL+ and its incremental variant (XC, GQ), pp. 2433–2436.

CGO-2011-LiuM #analysis #locality #problem #using

Pinpointing data locality problems using data-centric analysis (XL, JMMC), pp. 171–180.

KR-2010-PenalozaS #axiom #complexity #logic #on the #product line

On the Complexity of Axiom Pinpointing in the EL Family of Description Logics (RP, BS).

ICSE-2010-ClauseO #memory management #named

LEAKPOINT: pinpointing the causes of memory leaks (JAC, AO), pp. 515–524.

CADE-2009-SebastianiV #analysis #axiom #encoding #lightweight #logic

Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis (RS, MV), pp. 84–99.

IJCAR-2008-BaaderP #axiom

Automata-Based Axiom Pinpointing (FB, RP), pp. 226–241.

SIGIR-2002-Spoerri #flexibility #named

Souvenir: flexible note-taking tool to pinpoint and share media highlights (AS), p. 453.