5 papers:
DAC-2015-CampbellLMC #debugging #detection #fault #hybrid #synthesis #using #validation- Hybrid quick error detection (H-QED): accelerator validation and debug using high-level synthesis principles (KAC, DL, SM, DC), p. 6.
DATE-2013-LinHLFGHM #challenge #detection #fault #validation- Overcoming post-silicon validation challenges through quick error detection (QED) (DL, TH, YL, FF, DSG, NH, SM), pp. 320–325.
ICSE-2010-Elmas #abstraction #concurrent #named #proving #reduction #verification- QED: a proof system based on reduction and abstraction for the static verification of concurrent software (TE), pp. 507–508.
CIKM-2005-LiL05a #encoding #named #novel #xml- QED: a novel quaternary encoding to completely avoid re-labeling in XML updates (CL, TWL), pp. 501–508.
CADE-1994-Anonymous- The QED Manifesto, pp. 238–251.
