3 papers:
CHI-2015-WoltersKMDM #corpus #design #interface- The CADENCE Corpus: A New Resource for Inclusive Voice Interface Design (MKW, JK, SEM, MD, JDM), pp. 3963–3966.
IFM-2002-AkbarpourDT #fixpoint #formal method- Formalization of Cadence SPW Fixed-Point Arithmetic in HOL (BA, AD, ST), pp. 185–204.
CAV-2001-KwiatkowskaNS #automation #distributed #protocol #random #using #verification- Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM (MZK, GN, RS), pp. 194–206.
