Stem chop$ (all stems)

12 papers:

SCAM-J-2009-Giffhorn11 #concurrent #source code

Advanced chopping of sequential and concurrent programs (DG), pp. 239–294.

AFL-2011-HolzerJK

The Chop of Languages (MH, SJ, MK), pp. 197–210.

DLT-2011-HolzerJ #complexity

Chop Operations and Expressions: Descriptional Complexity Considerations (MH, SJ), pp. 264–275.

HPCA-2010-JiangMZUIMNSB #adaptation #named

CHOP: Adaptive filter-based DRAM caching for CMP server platforms (XJ, NM, LZ, MU, RI, SM, DN, YS, RB), pp. 1–12.

SCAM-2009-Giffhorn #concurrent #source code

Chopping Concurrent Programs (DG), pp. 13–22.

ASE-2005-GuptaHZG #using

Locating faulty code using failure-inducing chops (NG, HH, XZ, RG), pp. 263–272.

SCAM-2003-Krinke #slicing

Barrier Slicing and Chopping (JK), pp. 81–87.

FoSSaCS-2002-LangeS #fixpoint #logic #model checking

Model Checking Fixed Point Logic with Chop (ML, CS), pp. 250–263.

ICSM-2002-Krinke #slicing

Evaluating Context-Sensitive Slicing and Chopping (JK), pp. 22–31.

FSE-1995-RepsR #interprocedural #precise

Precise Interprocedural Chopping (TWR, GR), pp. 41–52.

SIGMOD-1992-ShashaSV #transaction

Simple Rational Guidance for Chopping Up Transactions (DS, ES, PV), pp. 298–307.

DAC-1991-KucukcakarP #constraints #named

CHOP: A Constraint-Driven System-Level Partitioner (KK, ACP), pp. 514–519.