3 papers:
MSR-2014-TulsianKKLN #algorithm #model checking #named- MUX: algorithm selection for software model checkers (VT, AK, RK, AL, AVN), pp. 132–141.
DUXU-PMT-2013-BrandenburgVD #experience #user interface- User Experience Starts at the Keystroke Level: The Model of User Experience (MUX) (SB, MV, UD), pp. 449–458.
DATE-2010-Kheradmand-BoroujeniPL #independence #novel #process- AVGS-Mux style: A novel technology and device independent technique for reducing power and compensating process variations in FPGA fabrics (BKB, CP, YL), pp. 339–344.
