Stem prophesi$ (all stems)

2 papers:

CAV-2015-DehnertJJCVBKA #named #parametricity #probability #synthesis

PROPhESY: A PRObabilistic ParamEter SYnthesis Tool (CD, SJ, NJ, FC, MV, HB, JPK, EÁ), pp. 214–231.

HPDC-2000-WuTGLLSHJ #distributed #framework #modelling #named #parallel #performance

Prophesy: An Infrastructure for Analyzing and Modeling the Performance of Parallel and Distributed Applications (XW, VET, JG, XL, ZL, RLS, MH, IRJ), pp. 302–303.