4 papers:
POPL-2013-BlellochH #algorithm #functional- Cache and I/O efficent functional algorithms (GEB, RH), pp. 39–50.
DATE-2009-EbrahimiDNMAPT #multi #protocol- An efficent dynamic multicast routing protocol for distributing traffic in NOCs (ME, MD, MHN, SM, AAK, JP, HT), pp. 1064–1069.
TACAS-1996-BhatC #calculus #model checking #μ-calculus- Efficent Local Model-Checking for Fragments of teh Modal μ-Calculus (GB, RC), pp. 107–126.
ASPLOS-1989-GoodmanVW #multi #scalability- Efficent Synchronization Primitives for Large-Scale Cache-Coherent Multiprocessors (JRG, MKV, PJW), pp. 64–75.
