BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
model (36)
softwar (27)
user (27)
data (20)
architectur (17)

Stem leverag$ (all stems)

219 papers:

DACDAC-2015-HanF #analysis #approach #cpu #gpu #graph #scalability
Transient-simulation guided graph sparsification approach to scalable harmonic balance (HB) analysis of post-layout RF circuits leveraging heterogeneous CPU-GPU computing systems (LH, ZF), p. 6.
DACDAC-2015-YuUK
Leveraging on-chip voltage regulators as a countermeasure against side-channel attacks (WY, OAU, SK), p. 6.
HTHT-2015-JainKJ #network #online #social
Other Times, Other Values: Leveraging Attribute History to Link User Profiles across Online Social Networks (PJ, PK, AJ), pp. 247–255.
SIGMODSIGMOD-2015-LiCP #encoding
A Padded Encoding Scheme to Accelerate Scans by Leveraging Skew (YL, CC, JMP), pp. 1509–1524.
VLDBVLDB-2015-PotharajuCHNWZJ #automation #detection #knowledge base #named
ConfSeer: Leveraging Customer Support Knowledge Bases for Automated Misconfiguration Detection (RP, JC, LH, CNR, MW, LZ, NJ), pp. 1828–1839.
VLDBVLDB-2015-Zhou0D #network #online #performance #social
Leveraging History for Faster Sampling of Online Social Networks (ZZ, NZ, GD), pp. 1034–1045.
ICPCICPC-2015-LeVLP #automation #commit #information management #named
RCLinker: automated linking of issue reports and commits leveraging rich contextual information (TDBL, MLV, DL, DP), pp. 36–47.
SANERSANER-2015-SharmaTL #automation #identification #named #twitter
NIRMAL: Automatic identification of software relevant tweets leveraging language model (AS, YT, DL), pp. 449–458.
CHICHI-2015-Al-AmeenWS #multi #random #towards
Towards Making Random Passwords Memorable: Leveraging Users’ Cognitive Ability Through Multiple Cues (MNAA, MKW, SS), pp. 2315–2324.
CHICHI-2015-CaiGGM #education #named
Wait-Learning: Leveraging Wait Time for Second Language Education (CJC, PJG, JRG, RCM), pp. 3701–3710.
CHICHI-2015-DergousoffM #crowdsourcing #gamification #mobile
Mobile Gamification for Crowdsourcing Data Collection: Leveraging the Freemium Model (KKD, RLM), pp. 1065–1074.
CHICHI-2015-PerraultLBZG #memory management #physics #semantics
Physical Loci: Leveraging Spatial, Object and Semantic Memory for Command Selection (STP, EL, YPB, SZ, YG), pp. 299–308.
CHICHI-2015-WinklerGLHSDR #security #smarttech
Glass Unlock: Enhancing Security of Smartphone Unlocking through Leveraging a Private Near-eye Display (CW, JG, ADL, GH, PS, DD, ER), pp. 1407–1410.
CSCWCSCW-2015-MaYFD #design #feedback #online
Exiting the Design Studio: Leveraging Online Participants for Early-Stage Design Feedback (XM, LY, JLF, SPD), pp. 676–685.
CSCWCSCW-2015-SiangliulueAGD #collaboration #scalability #towards
Toward Collaborative Ideation at Scale: Leveraging Ideas from Others to Generate More Creative and Diverse Ideas (PS, KCA, KZG, SPD), pp. 937–945.
CAiSECAiSE-2015-HarmanBJRK #elicitation #memory management #process
Virtual Business Role-Play: Leveraging Familiar Environments to Prime Stakeholder Memory During Process Elicitation (JH, RB, DJ, SRM, UK), pp. 166–180.
KDDKDD-2015-JohnsonB #resource management
Structured Hedging for Resource Allocations with Leverage (NJ, AB), pp. 477–486.
KDDKDD-2015-KalyanamMSVL #evolution #modelling #social #topic
Leveraging Social Context for Modeling Topic Evolution (JK, AM, DST, HV, GRGL), pp. 517–526.
KDDKDD-2015-LeeFZL #knowledge base
Leveraging Knowledge Bases for Contextual Entity Exploration (JL, AF, BZ, YL), pp. 1949–1958.
RecSysRecSys-2015-ForsatiBMER #algorithm #named #performance #recommendation #trust
PushTrust: An Efficient Recommendation Algorithm by Leveraging Trust and Distrust Relations (RF, IB, FM, AHE, HR), pp. 51–58.
SEKESEKE-2015-ParkP #adaptation #ecosystem #framework #middleware
A Middleware Framework for Leveraging Local and Global Adaptation in IT Ecosystems (SP, YBP), pp. 18–23.
SIGIRSIGIR-2015-ParkLZW #mobile #retrieval
Leveraging User Reviews to Improve Accuracy for Mobile App Retrieval (DHP, ML, CZ, HW), pp. 533–542.
SIGIRSIGIR-2015-YangN
Leveraging Procedural Knowledge for Task-oriented Search (ZY, EN), pp. 513–522.
POPLPOPL-2015-HeGWZ #automaton #composition #concurrent #probability #reasoning
Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems (FH, XG, BYW, LZ), pp. 503–514.
SACSAC-2015-AbbesPHB #documentation
Leveraging temporal expressions to filter vital documents related to an entity (RA, KPS, NH, MB), pp. 1093–1098.
SACSAC-2015-JesusVB #functional #testing #web
Leveraging task-based data to support functional testing of web applications (FRdJ, LGdV, LABJ), pp. 783–790.
ICSEICSE-v2-2015-GuerroujBR #documentation
Leveraging Informal Documentation to Summarize Classes and Methods in Context (LG, DB, PCR), pp. 639–642.
ICSEICSE-v2-2015-RajanNL0 #behaviour #repository #scalability #specification
Inferring Behavioral Specifications from Large-scale Repositories by Leveraging Collective Intelligence (HR, TNN, GTL, RD), pp. 579–582.
SPLCSPLC-2015-TraskR #architecture #modelling #product line
Leveraging model driven engineering in software product line architectures (BT, AR), p. 392.
HPCAHPCA-2015-FarahaniAMK #architecture #memory management #named #standard
NDA: Near-DRAM acceleration architecture leveraging commodity DRAM devices and standard memory modules (AFF, JHA, KM, NSK), pp. 283–295.
WICSAWICSA-2014-BaroniMMW #architecture #modelling #semantics #wiki
Architecture Description Leveraging Model Driven Engineering and Semantic Wikis (AB, HM, IM, EW), pp. 251–254.
ASEASE-2014-FardMM #automation #generative #testing #web
Leveraging existing tests in automated test generation for web applications (AMF, MM, AM), pp. 67–78.
DACDAC-2014-CuiCBC #optimisation #set
A Swap-based Cache Set Index Scheme to Leverage both Superpage and Page Coloring Optimizations (ZC, LC, YB, MC), p. 6.
DACDAC-2014-MukherjeeL
Leveraging pre-silicon data to diagnose out-of-specification failures in mixed-signal circuits (PM, PL), p. 6.
DACDAC-2014-RehmanKSSH #adaptation #code generation #dependence #named #process #reliability
dTune: Leveraging Reliable Code Generation for Adaptive Dependability Tuning under Process Variation and Aging-Induced Effects (SR, FK, DS, MS, JH), p. 6.
DACDAC-2014-TsaiCYYHCCC #energy #using
Leveraging Data Lifetime for Energy-Aware Last Level Non-Volatile SRAM Caches using Redundant Store Elimination (HJT, CCC, KHY, TCY, LYH, CHC, MFC, TFC), p. 6.
DATEDATE-2014-Huang14a #manycore #network #performance #predict
Leveraging on-chip networks for efficient prediction on multicore coherence (LH), pp. 1–4.
SIGMODSIGMOD-2014-WesleyT
Leveraging compression in the tableau data engine (RMGW, PT), pp. 563–573.
VLDBVLDB-2015-ZhuYQ14 #graph #online
Leveraging Graph Dimensions in Online Graph Search (YZ, JXY, LQ), pp. 85–96.
ITiCSEITiCSE-2014-PorterTW #concept #development #flexibility #open source
Leveraging open source principles for flexible concept inventory development (LP, CT, KCW), pp. 243–248.
CHICHI-2014-HarrisonXSH #interactive #named #physics #tool support
TouchTools: leveraging familiarity and skill with physical tools to augment touch interaction (CH, RX, JS, SEH), pp. 2913–2916.
CSCWCSCW-2014-MasliT #feedback
Leveraging the contributory potential of user feedback (MM, LGT), pp. 956–966.
HCILCT-NLE-2014-SousaLD #human-computer #towards #trust
A Model for Human-Computer Trust — Contributions Towards Leveraging User Engagement (SCS, DRL, PD), pp. 128–137.
HILTHILT-2014-HuguesG #ada #modelling
Leveraging Ada 2012 and SPARK 2014 for assessing generated code from AADL models (JH, CG), pp. 39–46.
ICEISICEIS-v3-2014-GonzalezAY #architecture #enterprise #evolution
Evolving a Core Banking Enterprise Architecture — Leveraging Business Events Exploitation (BSMG, JMdÁ, JCY), pp. 181–189.
CIKMCIKM-2014-LimB #sentiment #topic #twitter
Twitter Opinion Topic Model: Extracting Product Opinions from Tweets by Leveraging Hashtags and Sentiment Lexicon (KWL, WLB), pp. 1319–1328.
CIKMCIKM-2014-ZhaoMK #collaboration #personalisation #ranking #social
Leveraging Social Connections to Improve Personalized Ranking for Collaborative Filtering (TZ, JJM, IK), pp. 261–270.
ECIRECIR-2014-NguyenK #query #topic
Leveraging Dynamic Query Subtopics for Time-Aware Search Result Diversification (TNN, NK), pp. 222–234.
ICMLICML-c1-2014-MaMY #algorithm #statistics
A Statistical Perspective on Algorithmic Leveraging (PM, MWM, BY), pp. 91–99.
KDDKDD-2014-CharlinZL #collaboration #library
Leveraging user libraries to bootstrap collaborative filtering (LC, RSZ, HL), pp. 173–182.
KDDKDD-2014-PapailiopoulosKB
Provable deterministic leverage score sampling (DSP, ATK, CB), pp. 997–1006.
KDDKDD-2014-ParkG #algorithm #health #named #rank #re-engineering
LUDIA: an aggregate-constrained low-rank reconstruction algorithm to leverage publicly released health data (YP, JG), pp. 55–64.
SIGIRSIGIR-2014-HuTL #detection #microblog
Leveraging knowledge across media for spammer detection in microblogging (XH, JT, HL), pp. 547–556.
OOPSLAOOPSLA-2014-ChakrabartiBB #consistency #memory management #named
Atlas: leveraging locks for non-volatile memory consistency (DRC, HJB, KB), pp. 433–452.
SACSAC-2014-KatebFNMAT #framework #modelling #multi #optimisation #runtime
Generic cloud platform multi-objective optimization leveraging models@run.time (DEK, FF, GN, JAM, MA, YLT), pp. 343–350.
SPLCSPLC-2014-TraskR #architecture #modelling #product line
Leveraging model driven engineering in software product line architectures (BT, AR), pp. 360–361.
ASPLOSASPLOS-2014-ArulrajJL #hardware #memory management
Leveraging the short-term memory of hardware to diagnose production-run software failures (JA, GJ, SL), pp. 207–222.
ASPLOSASPLOS-2014-KwonKP #multi
Locality-oblivious cache organization leveraging single-cycle multi-hop NoCs (WCK, TK, LSP), pp. 715–728.
PPoPPPPoPP-2014-BauerTA #named #performance
Singe: leveraging warp specialization for high performance on GPUs (MB, ST, AA), pp. 119–130.
PPoPPPPoPP-2014-PetrovicRS #concurrent #hardware #message passing #performance #thread
Leveraging hardware message passing for efficient thread synchronization (DP, TR, AS), pp. 143–154.
ICSTICST-2014-BardinKC #execution #performance #symbolic computation #test coverage
Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria (SB, NK, FC), pp. 173–182.
SMTSMT-2014-KingBT #integer #linear #programming #smt
Leveraging Linear and Mixed Integer Programming for SMT (TK, CB, CT), p. 65.
QoSAQoSA-2013-CaiWWW #architecture #design
Leveraging design rules to improve software architecture recovery (YC, HW, SW, LW), pp. 133–142.
ASEASE-2013-WeimerFF #adaptation #equivalence #modelling #program repair
Leveraging program equivalence for adaptive program repair: Models and first results (WW, ZPF, SF), pp. 356–366.
DATEDATE-2013-BoleyCAC #analysis #estimation #performance
Leveraging sensitivity analysis for fast, accurate estimation of SRAM dynamic write VMIN (JB, VC, RCA, BHC), pp. 1819–1824.
DATEDATE-2013-RehmanSAKCH #hardware #reliability
Leveraging variable function resilience for selective software reliability on unreliable hardware (SR, MS, PVA, FK, JJC, JH), pp. 1759–1764.
SIGMODSIGMOD-2013-WangLKFF #crowdsourcing #transitive
Leveraging transitive relations for crowdsourced joins (JW, GL, TK, MJF, JF), pp. 229–240.
CSMRCSMR-2013-PonzanelliBL #comprehension #development
Leveraging Crowd Knowledge for Software Comprehension and Development (LP, AB, ML), pp. 57–66.
CSMRCSMR-2013-SurianTLCL #network #predict
Predicting Project Outcome Leveraging Socio-Technical Network Patterns (DS, YT, DL, HC, EPL), pp. 47–56.
ICSMEICSM-2013-SyerJNHNF #execution #performance
Leveraging Performance Counters and Execution Logs to Diagnose Memory-Related Performance Issues (MDS, ZMJ, MN, AEH, MNN, PF), pp. 110–119.
WCREWCRE-2013-AliJH #co-evolution #requirements #traceability
Leveraging historical co-change information for requirements traceability (NA, FJ, AEH), pp. 361–370.
WCREWCRE-2013-DaiMLC #component #precise #specification
Leveraging specifications of subcomponents to mine precise specifications of composite components (ZD, XM, YL, LC), pp. 162–171.
CHICHI-2013-HasanAI #mobile #named
Ad-binning: leveraging around device space for storing, browsing and retrieving mobile device content (KH, DA, PI), pp. 899–908.
ECIRECIR-2013-PatilDV #concept
Leveraging Latent Concepts for Retrieving Relevant Ads for Short Text (AP, KSD, VV), pp. 780–783.
ECIRECIR-2013-Schedl #information retrieval #microblog #music
Leveraging Microblogs for Spatiotemporal Music Information Retrieval (MS), pp. 796–799.
KDDKDD-2013-DasMGW #learning
Learning to question: leveraging user preferences for shopping advice (MD, GDFM, AG, IW), pp. 203–211.
KDDKDD-2013-ShakarianRCK #community #composition #distance #mining #network #social
Mining for geographically disperse communities in social networks by leveraging distance modularity (PS, PR, DC, CK), pp. 1402–1409.
RecSysRecSys-2013-BlankRS #graph #keyword #recommendation
Leveraging the citation graph to recommend keywords (IB, LR, GS), pp. 359–362.
RecSysRecSys-2013-OstuniNSM #feedback #linked data #open data #recommendation
Top-N recommendations from implicit feedback leveraging linked open data (VCO, TDN, EDS, RM), pp. 85–92.
SIGIRSIGIR-2013-MahdabiGHC #ambiguity #concept #proximity #query #retrieval #using
Leveraging conceptual lexicon: query disambiguation using proximity information for patent retrieval (PM, SG, JXH, FC), pp. 113–122.
SIGIRSIGIR-2013-YamamotoN #classification #music #video
Leveraging viewer comments for mood classification of music video clips (TY, SN), pp. 797–800.
REER-BR-2013-ViterboSM #information management
Developing IT Systems to Leverage Information and Knowledge Management (JV, MLS, CAM).
SACSAC-2013-KumarR #algorithm #data type #identification #online
Online identification of frequently executed acyclic paths by leveraging data stream algorithms (GK, SR), pp. 1694–1695.
SACSAC-2013-ZarembaBVH #as a service #in the cloud #linked data #open data
Matchmaking of IaaS cloud computing offers leveraging linked data (MZ, SB, TV, MH), pp. 383–388.
ICSEICSE-2013-PhamSS #commit #social #testing
Building test suites in social coding sites by leveraging drive-by commits (RP, LS, KS), pp. 1209–1212.
SPLCSPLC-2013-TraskR #architecture #modelling #product line
Leveraging model driven engineering in software product line architectures (BT, AR), p. 279.
HPDCHPDC-2013-NicolaeC #adaptation #data access #incremental #memory management #named
AI-Ckpt: leveraging memory access patterns for adaptive asynchronous incremental checkpointing (BN, FC), pp. 155–166.
ICSTICST-2013-FryW #analysis #maintenance
Leveraging Light-Weight Analyses to Aid Software Maintenance (ZPF, WW), pp. 507–508.
DATEDATE-2012-PoulosYAVL #debugging #functional
Leveraging reconfigurability to raise productivity in FPGA functional debug (ZP, YSY, JA, AGV, BL), pp. 292–295.
HTHT-2012-LipczakSJ #comprehension #network #online #social
Understanding and leveraging tag-based relations in on-line social networks (ML, BS, AJ), pp. 229–238.
HTHT-2012-OKeeffeOCLW #adaptation #corpus #hypermedia #modelling #semantics #web
Linked open corpus models, leveraging the semantic web for adaptive hypermedia (IO, AO, PC, SL, VW), pp. 321–322.
HTHT-2012-RadMRB #collaboration #editing #wiki
Leveraging editor collaboration patterns in wikipedia (HSR, AM, DR, DB), pp. 13–22.
ICPCICPC-2012-Keivanloo #clone detection #code search #detection #source code
Leveraging clone detection for Internet-scale source code search (IK), pp. 277–280.
ICSMEICSM-2012-GongLJZ #fault #feedback #interactive #locality
Interactive fault localization leveraging simple user feedback (LG, DL, LJ, HZ), pp. 67–76.
ICSMEICSM-2012-Pollock #analysis #challenge #natural language
Leveraging natural language analysis of software: Achievements, challenges, and opportunities (LLP), p. 4.
ICSMEICSM-2012-TangWZL #detection #maintenance
Time-leverage point detection for time sensitive software maintenance (ET, LW, JZ, XL), pp. 567–570.
ICSMEICSM-2012-WangLJ #collaboration #semantics #taxonomy
Inferring semantically related software terms and their taxonomy by leveraging collaborative tagging (SW, DL, LJ), pp. 604–607.
CHICHI-2012-FisherCK #distributed
Distributed sensemaking: improving sensemaking by leveraging the efforts of previous users (KF, SC, AK), pp. 247–256.
CHICHI-2012-PedroS #exclamation #social
Your opinion counts!: leveraging social comments for analyzing aesthetic perception of photographs (JSP, PS), pp. 2519–2522.
ICEISICEIS-v3-2012-BabaianL #enterprise
Leveraging Usage History to Support Enterprise System Users (TB, WTL), pp. 35–44.
CIKMCIKM-2012-KashyapAH #named #network #personalisation #social
SonetRank: leveraging social networks to personalize search (AK, RA, VH), pp. 2045–2049.
CIKMCIKM-2012-KimC #approximate #composition #dependence #functional #performance
Decomposition-by-normalization (DBN): leveraging approximate functional dependencies for efficient tensor decomposition (MK, KSC), pp. 355–364.
CIKMCIKM-2012-WuCLXBZ #matrix #probability
Leveraging tagging for neighborhood-aware probabilistic matrix factorization (LW, EC, QL, LX, TB, LZ), pp. 1854–1858.
CIKMCIKM-2012-YanZN #realtime
Leveraging read rates of passive RFID tags for real-time indoor location tracking (DY, ZZ, WN), pp. 375–384.
ICMLICML-2012-MahoneyDMW #approximate #matrix #performance #statistics
Fast approximation of matrix coherence and statistical leverage (MWM, PD, MMI, DPW), p. 137.
KDDKDD-2012-Douglas #modelling #multi #predict
Leveraging predictive modeling to reduce signal theft in a multi-service organization environment (SD), p. 1004.
RecSysRecSys-2012-AminYSBP #network #recommendation #social
Social referral: leveraging network connections to deliver recommendations (MSA, BY, SS, AB, CP), pp. 273–276.
SACSAC-2012-HsiehC #social
Finding similar items by leveraging social tag clouds (CCH, JC), pp. 644–651.
ICSEICSE-2012-PradelG #automation #debugging #detection #generative #mining #specification #testing
Leveraging test generation and specification mining for automated bug detection without false positives (MP, TRG), pp. 288–298.
PLEASEPLEASE-2012-FilhoBBN #modelling #multi #product line #variability
Leveraging variability modeling for multi-dimensional model-driven software product lines (JBFF, OB, BB, JLN), pp. 5–8.
ASPLOSASPLOS-2012-GovindanWSU #energy
Leveraging stored energy for handling power emergencies in aggressively provisioned datacenters (SG, DW, AS, BU), pp. 75–86.
HPDCHPDC-2012-Bianchini #energy
Leveraging renewable energy in data centers: present and future (RB), pp. 135–136.
CAVCAV-2012-RolliniSS #model checking
Leveraging Interpolant Strength in Model Checking (SFR, OS, NS), pp. 193–209.
ICSTICST-2012-SprenkleCP #classification #modelling #statistics #web
Leveraging User-Privilege Classification to Customize Usage-based Statistical Models of Web Applications (SS, CC, LLP), pp. 161–170.
DACDAC-2011-AdirNSZMS #validation #verification
Leveraging pre-silicon verification resources for the post-silicon validation of the IBM POWER7 processor (AA, AN, GS, AZ, CM, JS), pp. 569–574.
DACDAC-2011-MillerBHDCB #analysis #testing #validation
A method to leverage pre-silicon collateral and analysis for post-silicon testing and validation (GM, BB, YCH, JD, XC, GB), pp. 575–578.
HTHT-2011-ChoudhuryCC #identification #social #social media
Identifying relevant social media content: leveraging information diversity and user cognition (MDC, SC, MC), pp. 161–170.
SIGMODSIGMOD-2011-ElmeleegyEL #generative #query
Leveraging query logs for schema mapping generation in U-MAP (HE, AKE, JL), pp. 121–132.
SIGMODSIGMOD-2011-LinACOW #framework #named #pipes and filters #scalability
Llama: leveraging columnar storage for scalable join processing in the MapReduce framework (YL, DA, CC, BCO, SW), pp. 961–972.
CSEETCSEET-2011-CaiIW #design #education #matrix
Leveraging design structure matrices in software design education (YC, DI, SW), pp. 179–188.
SEFMSEFM-2011-MoriLDID #adaptation #configuration management #self
Leveraging State-Based User Preferences in Context-Aware Reconfigurations for Self-Adaptive Systems (MM, FL, CD, PI, SD), pp. 286–301.
CIKMCIKM-2011-BhamidipatiK
A diversity measure leveraging domain specific auxiliary information (NB, NK), pp. 2213–2216.
CIKMCIKM-2011-CaiZLZ #classification #scalability #semantics #wiki
Large-scale question classification in cQA by leveraging Wikipedia semantic knowledge (LC, GZ, KL, JZ), pp. 1321–1330.
CIKMCIKM-2011-LauLBW #learning #scalability #sentiment #web
Leveraging web 2.0 data for scalable semi-supervised learning of domain-specific sentiment lexicons (RYKL, CLL, PB, KFW), pp. 2457–2460.
CIKMCIKM-2011-WuXPZHL #concept #wiki
Leveraging Wikipedia concept and category information to enhance contextual advertising (ZW, GX, RP, YZ, ZH, JL), pp. 2105–2108.
CIKMCIKM-2011-ZhuCXCT #category theory #ranking #towards
Towards expert finding by leveraging relevant categories in authority ranking (HZ, HC, HX, EC, JT), pp. 2221–2224.
KDDKDD-2011-DasDH #collaboration #design #web
Leveraging collaborative tagging for web item design (MD, GD, VH), pp. 538–546.
KDDKDD-2011-KorenLMS #automation #email
Automatically tagging email by leveraging other users’ folders (YK, EL, YM, RS), pp. 913–921.
KDIRKDIR-2011-MantrachR #people #retrieval #social
People Retrieval Leveraging Textual and Social Data (AM, JMR), pp. 333–341.
KEODKEOD-2011-KotowskiHGHS #design #user interface #workflow
Leveraging user Knowledge — Design Principles for an Intuitive User Interface for Building Workflows (DK, GH, MGG, HH, DAS), pp. 176–182.
RecSysRecSys-2011-LopsGSNM #network #social
Leveraging the linkedin social network data for extracting content-based user profiles (PL, MdG, GS, FN, CM), pp. 293–296.
RERE-2011-GotelM #requirements #traceability
Out of the labyrinth: Leveraging other disciplines for requirements traceability (OG, SJM), pp. 121–130.
SACSAC-2011-SimoesO #behaviour #game studies #learning #modelling
Leveraging the dynamics of learning by modeling and managing psychosocial relations and behavior by means of game theory and memetics (JCS, NO), pp. 1194–1201.
ESEC-FSEESEC-FSE-2011-AutiliCRIPT #named #nondeterminism #ubiquitous
EAGLE: engineering software in the ubiquitous globe by leveraging uncErtainty (MA, VC, DDR, PI, PP, MT), pp. 488–491.
ESEC-FSEESEC-FSE-2011-BeschastnikhBSSE #automation #invariant #modelling
Leveraging existing instrumentation to automatically infer invariant-constrained models (IB, YB, SS, MS, MDE), pp. 267–277.
GTTSEGTTSE-2011-Fuhrer #ide #static analysis
Leveraging Static Analysis in an IDE (RMF), pp. 101–158.
ICSEICSE-2011-CassouBCL #architecture #development #verification
Leveraging software architectures to guide and verify the development of sense/compute/control applications (DC, EB, CC, JLL), pp. 431–440.
SPLCSPLC-2011-TraskR #architecture #modelling #product line
Leveraging Model Driven Engineering in Software Product Line Architectures (BT, AR), pp. 356–357.
HPCAHPCA-2011-VantreaseLB #protocol
Atomic Coherence: Leveraging nanophotonics to build race-free cache coherence protocols (DV, MHL, NLB), pp. 132–143.
VMCAIVMCAI-2011-SteffenR #quality
Quality Engineering: Leveraging Heterogeneous Information — (Invited Talk) (BS, OR), pp. 23–37.
DACDAC-2010-HazraMDPBG #architecture #modelling #verification
Leveraging UPF-extracted assertions for modeling and formal verification of architectural power intent (AH, SM, PD, AP, DB, KG), pp. 773–776.
DATEDATE-2010-BerahaWCK #case study #design #requirements
Leveraging application-level requirements in the design of a NoC for a 4G SoC — a case study (RB, IW, IC, AK), pp. 1408–1413.
DATEDATE-2010-JeeraditKH #optimisation
Intent-leveraged optimization of analog circuits via homotopy (MJ, JK, MH), pp. 1614–1619.
DATEDATE-2010-MangassarianLGVB #preprocessor
Leveraging dominators for preprocessing QBF (HM, BL, AG, AGV, FB), pp. 1695–1700.
HTHT-2010-AbelKK #folksonomy #multi
Leveraging multi-faceted tagging to improve search in folksonomy systems (FA, RK, DK), pp. 299–300.
SIGMODSIGMOD-2010-ChenKWS
Leveraging spatio-temporal redundancy for RFID data cleansing (HC, WSK, HW, MTS), pp. 51–62.
PLDIPLDI-2010-KamruzzamanST #concurrent #distributed #performance #thread
Software data spreading: leveraging distributed caches to improve single thread performance (MK, SS, DMT), pp. 460–470.
CIKMCIKM-2010-HanZ #semantics #topic #web #wiki
Topic-driven web search result organization by leveraging wikipedia semantic knowledge (XH, JZ), pp. 1749–1752.
KDDKDD-2010-YanFDR #classification
Medical coding classification by leveraging inter-code relationships (YY, GF, JGD, RR), pp. 193–202.
SIGIRSIGIR-2010-McCreadie
Leveraging user-generated content for news search (RM), p. 919.
SIGIRSIGIR-2010-Stiller #collaboration #information management #interactive #library #multi
Leveraging user interaction and collaboration for improving multilingual information access in digital libraries (JS), p. 916.
RERE-2010-Beatty10a
If You Build It, Will They Use It? Leveraging Business Objectives to Deliver Successful Projects (JB), pp. 413–414.
SACSAC-2010-DomanPD #fuzzy #network #query
Leveraging fuzzy query processing to support applications in wireless sensor networks (MD, JP, TD), pp. 764–771.
FSEFSE-2010-BajracharyaOL #effectiveness #repository #retrieval #similarity
Leveraging usage similarity for effective retrieval of examples in code repositories (SKB, JO, CVL), pp. 157–166.
ICSEICSE-2010-SalgerE #development #information management #specification #testing
Knowledge transfer in global software development: leveraging acceptance test case specifications (FS, GE), pp. 211–214.
SPLCSPLC-2010-TraskR #architecture #modelling #product line
Leveraging Model Driven Engineering in Software Product Line Architectures (BT, AR), pp. 517–518.
PPoPPPPoPP-2010-BarretoDFGK #memory management #parallel #transaction
Leveraging parallel nesting in transactional memory (JB, AD, PF, RG, MK), pp. 91–100.
ICSTICST-2010-YanCZZZ #clustering #execution
A Dynamic Test Cluster Sampling Strategy by Leveraging Execution Spectra Information (SY, ZC, ZZ, CZ, YZ), pp. 147–154.
DACDAC-2009-DengCS #authentication #hardware #performance #simulation
Hardware authentication leveraging performance limits in detailed simulations and emulations (DYD, AHC, GES), pp. 682–687.
DACDAC-2009-RanjanCS #debugging #verification
Beyond verification: leveraging formal for debugging (RKR, CC, SS), pp. 648–651.
ITiCSEITiCSE-2009-AndersonJD #distance #education
Xen worlds: leveraging virtualization in distance education (BRA, AKJ, TED), pp. 293–297.
HCIHCD-2009-MahouiJZA #behaviour #design #interface #personalisation #web
Leveraging User Search Behavior to Design Personalized Browsing Interfaces for Healthcare Web Sites (MM, JFJ, DZ, KA), pp. 511–520.
HCIHCI-NT-2009-Williams #case study #framework #research
Leveraging a User Research Framework to Guide Research Investments: Windows Vista Case Study (GW), pp. 530–539.
HCIOCSC-2009-WillisR #mobile #student
Leveraging Mobile Devices to Develop Intercultural Competency for Digital Students (MW, EMR), pp. 545–553.
CIKMCIKM-2009-HanZ #ambiguity #semantics #wiki
Named entity disambiguation by leveraging wikipedia semantic knowledge (XH, JZ), pp. 215–224.
SIGIRSIGIR-2009-ZieglerJ #web
Leveraging sources of collective wisdom on the web for discovering technology synergies (CNZ, SJ), pp. 548–555.
SACSAC-2009-BoucherZ #owl
Leveraging OWL for GIS interoperability: rewards and pitfalls (SB, EZ), pp. 1267–1272.
SPLCSPLC-2009-TraskR #architecture #modelling #product line
Leveraging model driven engineering in software product line architectures (BT, AR), p. 323.
DACDAC-2008-UrardMGC #equivalence
Leveraging sequential equivalence checking to enable system-level to RTL flows (PU, AM, RG, NC), pp. 816–821.
DATEDATE-2008-ChakrabortySP #layout #optimisation
Layout Level Timing Optimization by Leveraging Active Area Dependent Mobility of Strained-Silicon Devices (AC, SXS, DZP), pp. 849–855.
CSEETCSEET-2008-Tiemann #named
Exonovation — Leveraging the Innovation of Others (MT), p. 17.
FASEFASE-2008-LagardeETAG #domain model #modelling #uml
Leveraging Patterns on Domain Models to Improve UML Profile Definition (FL, HE, FT, CA, SG), pp. 116–130.
RecSysRecSys-2008-ParkT #how #recommendation
The long tail of recommender systems and how to leverage it (YJP, AT), pp. 11–18.
RecSysRecSys-2008-Umyarov #performance #predict #recommendation
Leveraging aggregate ratings for improving predictive performance of recommender systems (AU), pp. 327–330.
SIGIRSIGIR-2008-HuFCZLYC #clustering #semantics #wiki
Enhancing text clustering by leveraging Wikipedia semantics (JH, LF, YC, HJZ, HL, QY, ZC), pp. 179–186.
RERE-2008-RecioSPM #collaboration #process #requirements
Leveraging Collaborative Technologies in the IO Requirements Process (RR, CS, JP, CM), pp. 283–288.
SPLCSPLC-2008-TraskR #architecture #modelling #product line
Leveraging Model Driven Engineering in Software Product Line Architectures (BT, AR), p. 373.
OSDIOSDI-2008-DouceurEHL #legacy #web
Leveraging Legacy Code to Deploy Desktop Applications on the Web (JRD, JE, JH, JRL), pp. 339–354.
PPoPPPPoPP-2008-McGacheyAHMSS #concurrent #garbage collection #memory management #transaction
Concurrent GC leveraging transactional memory (PM, ARAT, RLH, VM, BS, TS), pp. 217–226.
ECSAECSA-2007-HarrisonA #design pattern #quality
Leveraging Architecture Patterns to Satisfy Quality Attributes (NBH, PA), pp. 263–270.
ASEASE-2007-LagardeETG #concept #design #domain model #modelling #uml
Improving uml profile design practices by leveraging conceptual domain models (FL, HE, FT, SG), pp. 445–448.
ASEASE-2007-NaslavskyZR #model transformation #modelling #testing #towards
Towards leveraging model transformation to support model-based testing (LN, HZ, DJR), pp. 509–512.
DACDAC-2007-BhatiaGTMM #equivalence #multi #performance #validation
Leveraging Semi-Formal and Sequential Equivalence Techniques for Multimedia SOC Performance Validation (LB, JG, PT, RSM, SHM), pp. 69–74.
SIGMODSIGMOD-2007-ChaudhuriSGK #constraints
Leveraging aggregate constraints for deduplication (SC, ADS, VG, RK), pp. 437–448.
SIGMODSIGMOD-2007-UdreaGM #integration #ontology
Leveraging data and structure in ontology integration (OU, LG, RJM), pp. 449–460.
CIKMCIKM-2007-BrzeskiIK #detection
Leveraging context in user-centric entity detection systems (VvB, UI, RK), pp. 691–700.
RecSysRecSys-2007-UmyarovT #recommendation
Leveraging aggregate ratings for better recommendations (AU, AT), pp. 161–164.
RERE-2007-DeshmukhW #development #metamodelling #requirements
A Meta Model for Iterative Development of Requirements Leveraging (ND, SW), pp. 343–349.
ICPCICPC-2006-LawrieFB #assessment #information retrieval #quality #using
Leveraged Quality Assessment using Information Retrieval Techniques (DJL, HF, DB), pp. 149–158.
CHICHI-2006-IqbalB #cost analysis #predict
Leveraging characteristics of task structure to predict the cost of interruption (STI, BPB), pp. 741–750.
CSCWCSCW-2006-KelloggEWLCSB #communication #experience #user interface
Leveraging digital backchannels to enhance user experience in electronically mediated communication (WAK, TE, TVW, SL, JC, JBS, WEB), pp. 451–454.
SEKESEKE-2006-LiPZXS #component #ranking #retrieval
Ranking Component Retrieval Results by Leveraging User History Information (YL, YP, LZ, BX, JS), pp. 284–289.
ICSEICSE-2006-RoshandelBCMG #architecture #component #modelling #reliability
Estimating software component reliability by leveraging architectural models (RR, SB, LC, NM, LG), pp. 853–856.
SPLCSPLC-2006-Trask #modelling #product line
Leveraging Model Driven Engineering in Software Product Lines (BT), p. 221.
DACDAC-2005-VleeschhouwerEFGRHC
Differentiate and deliver: leveraging your partners (JV, WE, MJF, AJdG, WCR, JH, RC), p. 1.
HTHT-2005-SchraefelSORHW #evolution #framework #semantics #web
The evolving mSpace platform: leveraging the semantic web on the trail of the memex (MMCS, DAS, AO, AR, CH, MW), pp. 174–183.
ICEISICEIS-v4-2005-LiuFP #personalisation
Personalisation and Customisation — A Strategic Leverage to Sustain eTrading Market Share (JL, SJF, SP), pp. 40–47.
CIKMCIKM-2005-KonH #information management
Leveraging collective knowledge (HK, MH), pp. 560–567.
MODELSMoDELS-2005-WadaS #development #framework #metamodelling #modelling #programming #uml
Modeling Turnpike Frontend System: A Model-Driven Development Framework Leveraging UML Metamodeling and Attribute-Oriented Programming (HW, JS), pp. 584–600.
MODELSMoDELS-2005-WadaS #development #framework #metamodelling #modelling #programming #uml
Modeling Turnpike Frontend System: A Model-Driven Development Framework Leveraging UML Metamodeling and Attribute-Oriented Programming (HW, JS), pp. 584–600.
CSCWCSCW-2004-GoecksM #information management #network #social
Leveraging social networks for information sharing (JG, EDM), pp. 328–331.
CSCWCSCW-2004-XiaSSCS #approach #collaboration #multi
Leveraging single-user applications for multi-user collaboration: the coword approach (SX, DS, CS, DC, HS), pp. 162–171.
ICMLICML-2004-KrauseS
Leveraging the margin more carefully (NK, YS).
ASPLOSASPLOS-2004-GomaaPV #named #operating system #smt
Heat-and-run: leveraging SMT and CMP to manage power density through the operating system (MAG, MDP, TNV), pp. 260–270.
WCREWCRE-2003-ZhuCKWKM #reverse engineering #tool support
Leveraging Visio for Adoption-Centric Reverse Engineering Tools (QZ, YC, PK, AW, HMK, HAM), pp. 270–274.
CAiSECAiSE-2003-PapazoglouKY #network #peer-to-peer
Leveraging Web-Services and Peer-to-Peer Networks (MPP, BJK, JY), pp. 485–501.
ICEISICEIS-v2-2003-Raisinghani #enterprise #information management #taxonomy
Knowledge Management Systems for Leveraging Enterprise Data Resources: Taxonomy and Key Issues (MSR), pp. 519–521.
ICMLICML-2003-LagoudakisP #classification #learning
Reinforcement Learning as Classification: Leveraging Modern Classifiers (MGL, RP), pp. 424–431.
ICMLICML-2003-TaskarWK #learning #testing
Learning on the Test Data: Leveraging Unseen Features (BT, MFW, DK), pp. 744–751.
ESEC-FSEESEC-FSE-2003-OrsoAH #impact analysis #testing
Leveraging field data for impact analysis and regression testing (AO, TA, MJH), pp. 128–137.
CHICHI-2002-Chen #symmetry
Leveraging the asymmetric sensitivity of eye contact for videoconference (MC), pp. 49–56.
HPDCHPDC-2002-Plale #data type #memory management #runtime
Leveraging Run Time Knowledge about Event Rates to Improve Memory Utilization in Wide Area Data Stream Filtering (BP), pp. 171–178.
IWPCIWPC-2001-Perry #architecture #comprehension
Software Architecture: Leverage for System/Program Comprehension (DEP), pp. 123–126.
SACSAC-2001-Chiang #architecture #distributed #re-engineering
A distributed object computing architecture for leveraging software reengineering systems (CCC), pp. 653–657.
ICSMEICSM-2000-Chiang #distributed #re-engineering
Leveraging Software Reengineering Systems for Heterogeneous Distributed Computing Environments (CCC), pp. 254–261.
CHICHI-1999-BruckmanE #analysis #fault #programming language
Should we Leverage Natural-Language Knowledge? An Analysis of User Errors in a Natural-Language-Style Programming Language (AB, EE), pp. 207–214.
ICSEICSE-1997-KarbachNK #scalability
Leveraging a Large Banking Organization to Object Technology (WK, JN, HBK), pp. 554–555.
SIGMODSIGMOD-1995-Perna
Leveraging The Information Asset (JP), pp. 451–452.
TOOLSTOOLS-USA-1993-Berg-Cross #coordination #development #standard #tool support
Leveraging Productivity with a Standard Environment and Coordinated Tools for O-O Development (GBC), pp. 489–495.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.