Stem apt$ (all stems)

7 papers:

TACAS-2014-Cheval #algorithm #equivalence #named #proving

APTE: An Algorithm for Proving Trace Equivalence (VC), pp. 587–592.

SEKE-2014-Otunba0 #approximate #detection #named

APT: Approximate Period Detection in Time Series (RO, JL), pp. 490–494.

ASE-2010-TrezentosLO #dependence #named #optimisation #problem #pseudo #using

Apt-pbo: solving the software dependency problem using pseudo-boolean optimization (PT, IL, ALO), pp. 427–436.

ICSE-2004-Keenan #agile #analysis #problem #process

Agile Process Tailoring and probLem analYsis (APTLY) (FK), pp. 45–47.

PLDI-1995-PingaliB #data type #dependence #named

APT: A Data Structure for Optimal Control Dependence Computation (KP, GB), pp. 32–46.

DAC-1992-KimBCP #algorithm #named

APT: An Area-Performance-Testability Driven Placement Algorithm (SK, PB, VC, JHP), pp. 141–146.

ICSE-1978-Lindstrom #parsing #top-down #using

Control Structure Aptness: A Cast Study Using Top-Down Parsing (GL), pp. 5–12.