14 papers:
DAC-2013-HeHCKLCY #integration #quality- Ripple 2.0: high quality routability-driven placement via global router integration (XH, TH, WKC, JK, KCL, WC, EFYY), p. 6.
CHI-2012-LeeKFR #case study #embedded #social- Ripple effects of an embedded social agent: a field study of a social robot in the workplace (MKL, SBK, JF, PER), pp. 695–704.
ECMFA-2011-SvendsenHM #semantics #variability- Analyzing Variability: Capturing Semantic Ripple Effects (AS, ØH, BMP), pp. 253–269.
ICSE-2011-RobbesL #case study #ecosystem- A study of ripple effects in software ecosystems (RR, ML), pp. 904–907.
DATE-2010-LauLCB #probability- A general mathematical model of probabilistic ripple-carry adders (MSKL, KVL, YCC, AB), pp. 1100–1105.
IWPC-2005-BucknerBPR #comprehension #incremental #named- JRipples: A Tool for Program Comprehension during Incremental Change (JB, JB, MP, VR), pp. 149–152.
SIGMOD-2002-LuoEHN #algorithm #scalability- A scalable hash ripple join algorithm (GL, CJE, PJH, JFN), pp. 252–262.
ICSM-2001-ChenR #legacy #named- RIPPLES: Tool for Change in Legacy Software (KC, VR), pp. 230–239.
- SIGMOD-1999-HaasH #online
- Ripple Joins for Online Aggregation (PJH, JMH), pp. 287–298.
SEKE-1996-WangTCR #analysis #slicing- The Role of Program Slicing in Ripple Effect Analysis (YW, WTT, XC, SR), pp. 369–376.
ICRE-1994-BelkhoucheG #named #prototype- Ripple: a formally specified prototyping system (BB, BJG), pp. 150–153.
CADE-1994-BasinW #order #termination- Termination Orderings for Rippling (DAB, TW), pp. 466–483.
- DAC-1990-Fishburn #heuristic #how #logic
- A Depth-Decreasing Heuristic for Combinational Logic: Or How To Convert a Ripple-Carry Adder Into A Carry-Lookahead Adder Or Anything in-between (JPF), pp. 361–364.
- CADE-1990-BundyHSI #induction #proving
- Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs (AB, FvH, AS, AI), pp. 132–146.
