10 papers:
VLDB-2014-JayachandranTKN #execution #interactive #query- Combining User Interaction, Speculative Query Execution and Sampling in the DICE System (PJ, KT, NK, AN), pp. 1697–1700.
STOC-2012-VaziraniV #generative #quantum #random- Certifiable quantum dice: or, true random number generation secure against quantum adversaries (UVV, TV), pp. 61–76.
ICSE-2010-RungtaM #concurrent #debugging #slicing #source code- Slicing and dicing bugs in concurrent programs (NR, EM), pp. 195–198.
CHI-2009-GolovchinskyQMCD #design #named #usability- DICE: designing conference rooms for usability (GG, PQ, BvM, SC, TD), pp. 1015–1024.
SAC-2009-Mogensen #game studies #specification- Troll, a language for specifying dice-rolls (TÆM), pp. 1910–1915.
- SAC-2003-Zoeteweij #constraints #coordination #distributed #theorem proving
- Coordination-Based Distributed Constraint Solving in DICE (PZ), pp. 360–366.
ICEIS-v2-2001-Narayan- Dice Shopping Model (RBN), pp. 1086–1090.
KDD-1994-ZuckerCTR #bias #induction #named- DICE: A Discovery Environment Integrating Inductive Bias (JDZ, VC, JT, GR), pp. 275–286.
CSM-1993-ChenC- Dynamic Program Dicing (TYC, YYC), pp. 378–385.
ICALP-1989-FeldmanINNRS #generative #modelling #on the #random- On Dice and Coins: Models of Computation for Random Generation (DF, RI, MN, NN, SR, AS), pp. 319–340.
