Stem distributor$ (all stems)

3 papers:

TACAS-2006-GaravelMBCDJSS #distributed #generative #tool support

DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation (HG, RM, DB, AC, ND, CJ, ISS, GS), pp. 445–449.

OSDI-1999-Baker-Harvey #multi #resource management #scheduling

ETI Resource Distributor: Guaranteed Resource Allocation and Scheduling in Multimedia Systems (MBH), pp. 131–144.

SIGMOD-1994-Dietterich #replication

DEC Data Distributor: for Data Replication and Data Warehousing (DJD), p. 468.