Stem isp$ (all stems)

3 papers:

PPoPP-2008-VakkalankaSGK #model checking #named #source code

ISP: a tool for model checking MPI programs (SSV, SS, GG, RMK), pp. 285–286.

KDD-2000-RaghavanBS #detection #predict #process #using

Defection detection: using activity profiles to predict ISP customer vulnerability (NR, RMB, MS), pp. 506–515.

DAC-1980-Northcutt #design #fault #implementation

The design and implementation of fault insertion capabilities for ISPS (JDN), pp. 197–209.