4 papers:
SAC-2015-LeeRH #file system #memory management #performance- Performance implications of cache flushes for non-volatile memory file systems (KL, SR, HH), pp. 2069–2071.
DAC-2014-DaiTHZ #pipes and filters #synthesis- Flushing-Enabled Loop Pipelining for High-Level Synthesis (SD, MT, KH, ZZ), p. 6.
DATE-2006-KaneMS #pipes and filters #verification- Monolithic verification of deep pipelines with collapsed flushing (RK, PM, SKS), pp. 1234–1239.
CAV-1998-SkakkebaekJD #execution #incremental #using #verification- Formal Verification of Out-of-Order Execution Using Incremental Flushing (JUS, RBJ, DLD), pp. 98–109.
