13 papers:
DATE-2014-ShiC #named- Memcomputing: The cape of good hope: [Extended special session description] (YS, HMC), pp. 1–3.
ICEIS-v3-2014-ObsivacBB #performance #privacy #student- Do Desperate Students Trade Their Privacy for a Hope? — An Evidence of the Privacy Settings Influence on the User Performance (TO, HB, MB), pp. 156–161.
ICSE-2014-DIppolitoBKMSU #adaptation #multi- Hope for the best, prepare for the worst: multi-tier control for adaptive systems (ND, VAB, JK, JM, DS, SU), pp. 688–699.
CSCW-2012-SarcevicPWSBA #coordination #distributed #learning- “Beacons of hope” in decentralized coordination: learning from on-the-ground medical twitterers during the 2010 Haiti earthquake (AS, LP, JW, KS, MB, KMA), pp. 47–56.
ESOP-2010-LindleyW #database- The Audacity of Hope: Thoughts on Reclaiming the Database Dream (SL, PW), p. 1.
OOPSLA-2010-Hanenberg10a- Faith, hope, and love: an essay on software science’s neglect of human factors (SH), pp. 933–946.
HCI-AS-2007-ZhangZCMM #automation #named- HOPE: Extensible System for Automatic & Periodic Diagnosis of Offshore Software Project (XZ, LZ, MC, SM, RM), pp. 807–815.
- DATE-2006-LambretteH #industrial #mobile #named
- SoC: fuelling the hopes of the mobile industry (UL, BAH), p. 727.
CADE-1996-Scott #automation #deduction #what- What Can We Hope to Achieve From Automated Deduction? (Abstract) (DSS), p. 245.
HPDC-1995-CowanLB #performance #programming- Performance Benefits of Optimistic Programming: A Measure of HOPE (CC, HL, MAB), pp. 197–204.
DAC-1992-LeeH #fault #named #parallel #performance- HOPE: An Efficient Parallel Fault Simulator for Synchronous Sequential Circuits (HKL, DSH), pp. 336–340.
VDME-1987-Lucas #named- VDM: Origins, Hopes, and Achievements (PL), pp. 1–18.
LISP-1980-BurstallMS #named- HOPE: An Experimental Applicative Language (RMB, DBM, DS), pp. 136–143.
