32 papers:
PPoPP-2015-ThomsonD #concurrent #lazy evaluation #partial order #reduction #testing- The lazy happens-before relation: better partial-order reduction for systematic concurrency testing (PT, AFD), pp. 259–260.
DAC-2014-RoyMIT #multi #performance- Tile Before Multiplication: An Efficient Strategy to Optimize DSP Multiplier for Accelerating Prime Field ECC for NIST Curves (DBR, DM, MI, JT), p. 6.
STOC-2014-KrishnaswamyNPS #approximate #clustering #design #energy #network #performance- Cluster before you hallucinate: approximating node-capacitated network design and energy efficient routing (RK, VN, KP, CS), pp. 734–743.
HILT-2014-Anderson #ada- From Ada 9x to spaceport America: going where no one has gone before (CA), pp. 1–2.
ICFP-2012-Mitchell #haskell- Shake before building: replacing make with haskell (NM), pp. 55–66.
CSEET-2011-HilburnTS- Read before you write (TBH, MT, SS), pp. 371–380.
CIKM-2011-Pasca #query #using #web #what- Asking what no one has asked before: using phrase similarities to generate synthetic web search queries (MP), pp. 1347–1352.
OOPSLA-2011-SummersM #lightweight #type system- Freedom before commitment: a lightweight type system for object initialisation (AJS, PM), pp. 1013–1032.
SAC-2010-LoTLC #named #performance- Swap-before-hibernate: a time efficient method to suspend an OS to a flash drive (SWL, WsT, JgL, GsC), pp. 201–205.
CAV-2010-KahlonW #concurrent #debugging #detection #graph #precise #source code- Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs (VK, CW), pp. 434–449.
VLDB-2009-BonczMK #architecture #database #evolution- Database Architecture Evolution: Mammals Flourished long before Dinosaurs became Extinct (PAB, SM, MLK), pp. 1648–1653.
HCI-NT-2009-SuzukiMSANYF #estimation #on the #performance #using- On the Possibility about Performance Estimation Just before Beginning a Voluntary Motion Using Movement Related Cortical Potential (SS, TM, YS, KA, NN, TY, SF), pp. 184–191.
ICSM-2008-JaszBGR #dependence- Static Execute After/Before as a replacement of traditional software dependencies (JJ, ÁB, TG, VR), pp. 137–146.
TAP-2008-Ferrara #abstract interpretation #memory management #static analysis- Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model (PF), pp. 116–133.
FATES-RV-2006-ElmasQT #named #using- Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets (TE, SQ, ST), pp. 193–208.
ITiCSE-2005-XinogalosS #concept #object-oriented #process #student #using- Using hands-on activities for motivating students with OOP concepts before they are asked to implement them (SX, MS), p. 380.
SEKE-2005-Gong #case study- A Case Study on the BPR-before-IT of Food Company in Taiwan (DCG), pp. 77–81.
RE-2005-Ebert #comprehension #requirements- Requirements BEFORE the Requirements: Understanding the Upstream Impact (CE), pp. 117–124.
SIGIR-2004-FanLWXF #feedback #ranking #retrieval #robust- Tuning before feedback: combining ranking discovery and blind feedback for robust retrieval (WF, ML, LW, WX, EAF), pp. 138–145.
HPCA-2004-LiuSK #memory management- Organizing the Last Line of Defense before Hitting the Memory Wall for CMP (CL, AS, MTK), pp. 176–185.
CSCW-2002-RibakJS #community #quote- “Ask before you search”: peer support and community building with reachout (AR, MJ, VS), pp. 126–135.
SIGAda-2001-Taft01a- Keynote address: fixing software before it breaks (STT), pp. 97–98.
- RE-2001-WesselsD #question #requirements #what
- What Happens before Requirements Engineering? (BW, JED), pp. 298–299.
- ITiCSE-2000-HaganM #experience #programming #question
- Does it help to have some programming experience before beginning a computing degree program? (DH, SM), pp. 25–28.
- CAV-2000-AlfaroHM #detection #fault
- Detecting Errors Before Reaching Them (LdA, TAH, FYCM), pp. 186–201.
TestCom-2000-MaggioreVP #approach #quality- The Test Sub Group (TSG): A Cooperative Approach to Improve the Release Quality before Type Acceptance (GM, SV, JP), p. 239–?.
DATE-1999-GuerraRRFR #fault #generative- An Accurate Error Control Mechanism for Simplification Before Generation Algorihms (OG, JDRG, ER, FVF, ÁRV), p. 412–?.
HT-ECHT-1994-KaplanM #design #ontology- Where No Mind Has Gone Before: Ontological Design for Virtual Spaces (NK, SM), pp. 206–216.
- OOPSLA-1994-FormanDM #composition
- Composition of Before/After Metaclasses in SOM (IRF, SD, HM), pp. 427–439.
- HT-ECHT-1992-MarshallR #case study #experience
- Two Years before the Mist: Experiences with Aquanet (CCM, RAR), pp. 53–62.
- DAC-1981-SoleckyP #testing #verification
- Test data verification — not just the final step for test data before release for production testing (PS, RLP), pp. 881–890.
SIGMOD-1981-StearnsR #concurrent #database #distributed #using- Distributed Database Concurrency Controls Using Before-Values (RES, DJR), pp. 74–83.
