3664 papers:
ECSA-2015-StierKGR #analysis #architecture #energy #modelling #performance- Model-Based Energy Efficiency Analysis of Software Architectures (CS, AK, HG, RHR), pp. 221–238.
ECSA-2015-WangC #architecture #network #performance #social- A Specialised Social Network Software Architecture for Efficient Household Water Use Management (ZW, AC), pp. 146–153.
QoSA-2015-LehrigEB #bibliography #in the cloud #metric #performance #scalability- Scalability, Elasticity, and Efficiency in Cloud Computing: a Systematic Literature Review of Definitions and Metrics (SL, HE, SB), pp. 83–92.
CASE-2015-AndersenDBH #architecture #flexibility #performance #reuse- An architecture for efficient reuse in flexible production scenarios (RHA, LD, ABB, JH), pp. 151–157.
CASE-2015-CarliDPR #energy #multi #optimisation #performance #using- Using multi-objective optimization for the integrated energy efficiency improvement of a smart city public buildings’ portfolio (RC, MD, RP, LR), pp. 21–26.
CASE-2015-HandokoL #order #performance #privacy- Efficient order sharing with privacy preservation via double auction with split delivery (SDH, HCL), pp. 69–74.
CASE-2015-HuangHCC #performance #synthesis- Efficient grasp synthesis and control strategy for robot hand-arm system (MBH, HPH, CCC, CAC), pp. 1256–1257.
CASE-2015-PellicciariBBG #energy #performance- Increasing position accuracy and energy efficiency of servo-actuated mechanisms (MP, GB, FB, MG), pp. 1339–1344.
CASE-2015-ZhangWZZ #automaton #learning #optimisation #performance- Incorporation of ordinal optimization into learning automata for high learning efficiency (JZ, CW, DZ, MZ), pp. 1206–1211.
DAC-2015-ChungRPG #energy #memory management- Domain wall memory based digital signal processors for area and energy-efficiency (JC, KR, JP, SG), p. 6.
DAC-2015-DingCZ #algorithm #invariant #performance- An efficient shift invariant rasterization algorithm for all-angle mask patterns in ILT (YD, CCNC, XZ), p. 6.
DAC-2015-DuraisamyKCLPMM #energy #manycore #performance #pipes and filters- Energy efficient MapReduce with VFI-enabled multicore platforms (KD, RGK, WC, GL, PPP, RM, DM), p. 6.
DAC-2015-HuangFYZL #estimation #multi #performance- Efficient multivariate moment estimation via Bayesian model fusion for analog and mixed-signal circuits (QH, CF, FY, XZ, XL), p. 6.
DAC-2015-JangKGY0 #design- Bandwidth-efficient on-chip interconnect designs for GPGPUs (HJ, JK, PG, KHY, EJK), p. 6.
DAC-2015-JiangLZYW #effectiveness #feature model #image #performance- A 127 fps in full hd accelerator based on optimized AKAZE with efficiency and effectiveness for image feature extraction (GJ, LL, WZ, SY, SW), p. 6.
DAC-2015-JungC #embedded #multi #named #performance #simulation- ΣVP: host-GPU multiplexing for efficient simulation of multiple embedded GPUs on virtual platforms (YJ, LPC), p. 6.
DAC-2015-KadjoAKG #approach #cpu #energy #gpu #mobile #performance- A control-theoretic approach for energy efficient CPU-GPU subsystem in mobile platforms (DK, RA, MK, PVG), p. 6.
DAC-2015-LeeHLP #data flow #debugging #information management #interface #performance- Efficient dynamic information flow tracking on a processor with core debug interface (JL, IH, YL, YP), p. 6.
DAC-2015-LiBTO #communication #energy #performance- Complementary communication path for energy efficient on-chip optical interconnects (HL, SLB, YT, IO), p. 6.
DAC-2015-LiuMLLCLWJBWY #configuration management #design #named- RENO: a high-efficient reconfigurable neuromorphic computing accelerator design (XL, MM, BL, HL, YC, BL, YW, HJ, MB, QW, JY), p. 6.
DAC-2015-LiuZ #configuration management #performance- A reconfigurable analog substrate for highly efficient maximum flow computation (GL, ZZ), p. 6.
DAC-2015-LiZHLHX #automation #compilation #performance #stack- Compiler directed automatic stack trimming for efficient non-volatile processors (QL, MZ, JH, YL, YH, CJX), p. 6.
DAC-2015-LukasiewyczSS #design #embedded #performance- Efficient design space exploration of embedded platforms (ML, FS, SS), p. 6.
DAC-2015-MengYOLW #array #clustering #data access #memory management #parallel #performance- Efficient memory partitioning for parallel data access in multidimensional arrays (CM, SY, PO, LL, SW), p. 6.
DAC-2015-RamprasathV #algorithm #optimisation #performance #statistics- An efficient algorithm for statistical timing yield optimization (SR, VV), p. 6.
DAC-2015-RanjanVFRR #approximate #energy #performance- Approximate storage for energy efficient spintronic memories (AR, SV, XF, KR, AR), p. 6.
DAC-2015-RozicYDV #generative #performance #random- Highly efficient entropy extraction for true random number generators on FPGAs (VR, BY, WD, IV), p. 6.
DAC-2015-SarmaMBDN #energy #linux #named #performance- SmartBalance: a sensing-driven linux load balancer for energy efficiency of heterogeneous MPSoCs (SS, TM, LADB, NDD, AN), p. 6.
DAC-2015-ShafiqueKTH #anti #energy #named #video- EnAAM: energy-efficient anti-aging for on-chip video memories (MS, MUKK, AOT, JH), p. 6.
DAC-2015-TsaiYPLTCC #design #energy #in memory #memory management #using- Energy-efficient non-volatile TCAM search engine design using priority-decision in memory technology for DPI (HJT, KHY, YCP, CCL, YHT, MFC, TFC), p. 6.
DAC-2015-VasudevanR #algorithm #performance- An efficient algorithm for frequency-weighted balanced truncation of VLSI interconnects in descriptor form (VV, MR), p. 6.
DAC-2015-VenkataramaniCR #approximate #performance- Approximate computing and the quest for computing efficiency (SV, STC, KR, AR), p. 6.
DAC-2015-VenkataramaniRL #classification #energy #machine learning- Scalable-effort classifiers for energy-efficient machine learning (SV, AR, JL, MS), p. 6.
DAC-2015-WangJZWY #energy #performance- Selective restore: an energy efficient read disturbance mitigation scheme for future STT-MRAM (RW, LJ, YZ, LW, JY), p. 6.
DAC-2015-ZaheerWGL #markov #named #performance #process- mTunes: efficient post-silicon tuning of mixed-signal/RF integrated circuits based on Markov decision process (MZ, FW, CG, XL), p. 6.
DAC-2015-ZhanOGZ0 #approach #named #network #power management #towards- DimNoC: a dim silicon approach towards power-efficient on-chip network (JZ, JO, FG, JZ, YX), p. 6.
DAC-2015-ZhaoTDZ #pipes and filters #synthesis- Area-efficient pipelining for FPGA-targeted high-level synthesis (RZ, MT, SD, ZZ), p. 6.
DAC-2015-ZhuangYKWC #algorithm #exponential #framework #performance #scalability #simulation #using- An algorithmic framework for efficient large-scale circuit simulation using exponential integrators (HZ, WY, IK, XW, CKC), p. 6.
DATE-2015-ArumugamSAPUBPY #algorithm #co-evolution #design #energy #memory management #novel #performance- Novel inexact memory aware algorithm co-design for energy efficient computation: algorithmic principles (GPA, PS, JA, KVP, EU, AB, P, SY), pp. 752–757.
DATE-2015-AwanoHS #named #performance #probability- ECRIPSE: an efficient method for calculating RTN-induced failure probability of an SRAM cell (HA, MH, TS), pp. 549–554.
DATE-2015-ClercqRVV #encryption #implementation #performance- Efficient software implementation of ring-LWE encryption (RdC, SSR, FV, IV), pp. 339–344.
DATE-2015-CourbonLFT #detection #hardware #performance- A high efficiency hardware trojan detection technique based on fast SEM imaging (FC, PLM, JJAF, AT), pp. 788–793.
DATE-2015-DinizSDBH #architecture #hardware #performance #standard #video- A deblocking filter hardware architecture for the high efficiency video coding standard (CMD, MS, FVD, SB, JH), pp. 1509–1514.
DATE-2015-DoustiP #distributed #power management- Power-efficient control of thermoelectric coolers considering distributed hot spots (MJD, MP), pp. 966–971.
DATE-2015-DubenSPYAEPP #big data #case study #energy #performance- Opportunities for energy efficient computing: a study of inexact general purpose processors for high-performance and big-data applications (PDD, JS, P, SY, JA, CCE, KVP, TNP), pp. 764–769.
DATE-2015-FangHYZLG #estimation #fault #performance- Efficient bit error rate estimation for high-speed link by Bayesian model fusion (CF, QH, FY, XZ, XL, CG), pp. 1024–1029.
DATE-2015-GoncalvesLCTCB #algorithm #modelling #performance #reduction- A fast spatial variation modeling algorithm for efficient test cost reduction of analog/RF circuits (HRG, XL, MVC, VT, JMCJ, KMB), pp. 1042–1047.
DATE-2015-KhanSH #adaptation #manycore #power management- Power-efficient accelerator allocation in adaptive dark silicon many-core systems (MUKK, MS, JH), pp. 916–919.
DATE-2015-LiLZGSSZCLY #energy #performance- An energy efficient backup scheme with low inrush current for nonvolatile SRAM in energy harvesting sensor nodes (HL, YL, QZ, YG, XS, GS, CZ, MFC, RL, HY), pp. 7–12.
DATE-2015-LocatelliVMFVKK #architecture #energy- Spintronic devices as key elements for energy-efficient neuroinspired architectures (NL, AFV, AM, JSF, DV, JVK, JOK, WZ, JG, DQ), pp. 994–999.
DATE-2015-MineoRPACM #architecture #energy #performance #self- A closed loop transmitting power self-calibration scheme for energy efficient WiNoC architectures (AM, MSR, MP, GA, VC, MNM), pp. 513–518.
DATE-2015-MirhosseiniSFMS #energy #network- An energy-efficient virtual channel power-gating mechanism for on-chip networks (AM, MS, AF, MM, HSA), pp. 1527–1532.
DATE-2015-MirkhaniMCA #design #estimation #fault #performance- Efficient soft error vulnerability estimation of complex designs (SM, SM, CYC, JA), pp. 103–108.
DATE-2015-NguyenSCM #performance #robust #set- Efficient attacks on robust ring oscillator PUF with enhanced challenge-response set (PHN, DPS, RSC, DM), pp. 641–646.
DATE-2015-PaganiCSH #modelling #named #performance- MatEx: efficient transient and peak temperature computation for compact thermal models (SP, JJC, MS, JH), pp. 1515–1520.
DATE-2015-PaoneRPZSS #constraints #framework #performance- Customization of OpenCL applications for efficient task mapping under heterogeneous platform constraints (EP, FR, GP, VZ, IS, CS), pp. 736–741.
DATE-2015-ParkAHYL #big data #energy #gpu #low cost #memory management #performance- Memory fast-forward: a low cost special function unit to enhance energy efficiency in GPU for big data processing (EP, JA, SH, SY, SL), pp. 1341–1346.
DATE-2015-ParkTNII #performance- Platform-aware dynamic configuration support for efficient text processing on heterogeneous system (MSP, OT, VN, MJI, RI), pp. 1503–1508.
DATE-2015-PsarrasSND #named #network #performance #scheduling- PhaseNoC: TDM scheduling at the virtual-channel level for efficient network traffic isolation (AP, IS, CN, GD), pp. 1090–1095.
DATE-2015-RahaVRR #approximate #configuration management #energy #performance #quality- Quality configurable reduce-and-rank for energy efficient approximate computing (AR, SV, VR, AR), pp. 665–670.
DATE-2015-RahimiGCBG #approximate #energy #memory management- Approximate associative memristive memory for energy-efficient GPUs (AR, AG, KTC, LB, RKG), pp. 1497–1502.
DATE-2015-VenkataramaniCR #approximate- Computing approximately, and efficiently (SV, STC, KR, AR), pp. 748–751.
DATE-2015-VenkataramanKSE #design #heuristic #using- Designing inexact systems efficiently using elimination heuristics (SV, AK, JS, CCE), pp. 758–763.
DATE-2015-VenkatesanVFRR #energy #logic #named- Spintastic: spin-based stochastic logic for energy-efficient computing (RV, SV, XF, KR, AR), pp. 1575–1578.
DATE-2015-WangHNYYWYZ #energy #in memory #recognition- An energy-efficient non-volatile in-memory accelerator for sparse-representation based face recognition (YW, HH, LN, HY, MY, CW, WY, JZ), pp. 932–935.
DATE-2015-XieKBWPC #design #energy #hybrid #optimisation- Efficiency-driven design time optimization of a hybrid energy storage system with networked charge transfer interconnect (QX, YK, DB, YW, MP, NC), pp. 1607–1610.
DATE-2015-YanF #design #energy #mobile #optimisation- Energy-efficient cache design in emerging mobile platforms: the implications and optimizations (KY, XF), pp. 375–380.
DocEng-2015-MeiKYRIMM #performance #word- Efficient Computation of Co-occurrence Based Word Relatedness (JM, XK, ZY, ARC, AI, AM, EEM), pp. 43–46.
PODS-2015-BarceloPS #approximate #evaluation #performance- Efficient Evaluation and Approximation of Well-designed Pattern Trees (PB, RP, SS), pp. 131–144.
SIGMOD-2015-0002SLLF #sorting- Cache-Efficient Aggregation: Hashing Is Sorting (IM, PS, AL, WL, FF), pp. 1123–1136.
SIGMOD-2015-Anagnostopoulos #crowdsourcing #performance- The Importance of Being Expert: Efficient Max-Finding in Crowdsourcing (AA, LB, AF, IM, MR), pp. 983–998.
SIGMOD-2015-BerlowitzCK #performance- Efficient Enumeration of Maximal k-Plexes (DB, SC, BK), pp. 431–444.
SIGMOD-2015-ChevalierSGL #incremental #named #performance- Slider: An Efficient Incremental Reasoner (JC, JS, CG, FL), pp. 1081–1086.
SIGMOD-2015-ChuBS #database #evaluation #parallel #performance #query #theory and practice- From Theory to Practice: Efficient Join Query Evaluation in a Parallel Database System (SC, MB, DS), pp. 63–78.
SIGMOD-2015-GuoCC #algorithm #keyword #performance #query- Efficient Algorithms for Answering the m-Closest Keywords Query (TG, XC, GC), pp. 405–418.
SIGMOD-2015-LiHDL #multi #performance #similarity- Efficient Similarity Join and Search on Multi-Attribute Data (GL, JH, DD, JL), pp. 1137–1151.
SIGMOD-2015-OktayMKK #hybrid #named #performance #pipes and filters- SEMROD: Secure and Efficient MapReduce Over HybriD Clouds (KYO, SM, VK, MK), pp. 153–166.
SIGMOD-2015-PaparrizosG #clustering #named #performance- k-Shape: Efficient and Accurate Clustering of Time Series (JP, LG), pp. 1855–1870.
SIGMOD-2015-SunFSKHX #graph #named #performance- SQLGraph: An Efficient Relational-Based Property Graph Store (WS, AF, KS, AK, GH, GTX), pp. 1887–1901.
SIGMOD-2015-WangLYXZ #approach #network #performance- Efficient Route Planning on Public Transportation Networks: A Labelling Approach (SW, WL, YY, XX, SZ), pp. 967–982.
SIGMOD-2015-YuSC #dependence #distributed #matrix #performance- Exploiting Matrix Dependency for Efficient Distributed Matrix Computation (LY, YS, BC), pp. 93–105.
SIGMOD-2015-ZhangYQS #performance- Divide & Conquer: I/O Efficient Depth-First Search (ZZ, JXY, LQ, ZS), pp. 445–458.
VLDB-2015-BoghCA #gpu #parallel- Work-Efficient Parallel Skyline Computation for the GPU (KSB, SC, IA), pp. 962–973.
VLDB-2015-ChangLZYZQ #performance- Optimal Enumeration: Efficient Top-k Tree Matching (LC, XL, WZ, JXY, YZ, LQ), pp. 533–544.
VLDB-2015-ChoBBFKP #algorithm #named #parallel #performance- PARADIS: An Efficient Parallel Algorithm for In-place Radix Sort (MC, DB, RB, UF, VK, RP), pp. 1518–1529.
VLDB-2015-KhayyatLSOPQ0K #difference #performance- Lightning Fast and Space Efficient Inequality Joins (ZK, WL, MS, MO, PP, JAQR, NT, PK), pp. 2074–2085.
VLDB-2015-LeisKK0 #performance #query #sql- Efficient Processing of Window Functions in Analytical SQL Queries (VL, KK, AK, TN), pp. 1058–1069.
VLDB-2015-Liroz-GistauAV #execution #named #parallel #performance- FP-Hadoop: Efficient Execution of Parallel Jobs Over Skewed Data (MLG, RA, PV), pp. 1856–1867.
VLDB-2015-NagarkarCB #query- Compressed Spatial Hierarchical Bitmap (cSHB) Indexes for Efficiently Processing Spatial Range Query Workloads (PN, KSC, AB), pp. 1382–1393.
VLDB-2015-NaidanBN #performance #permutation- Permutation Search Methods are Efficient, Yet Faster Search is Possible (BN, LB, EN), pp. 1618–1629.
VLDB-2015-ShaoC0LX #framework #graph #performance #scalability #similarity- An Efficient Similarity Search Framework for SimRank over Large Dynamic Graphs (YS, BC, LC, ML, XX), pp. 838–849.
VLDB-2015-ShiokawaFO #algorithm #clustering #graph #performance #scalability- SCAN++: Efficient Algorithm for Finding Clusters, Hubs and Outliers on Large-scale Graphs (HS, YF, MO), pp. 1178–1189.
VLDB-2015-VartakRMPP #data-driven #named #performance #recommendation #visual notation #visualisation- SEEDB: Efficient Data-Driven Visualization Recommendations to Support Visual Analytics (MV, SR, SM, AGP, NP), pp. 2182–2193.
VLDB-2015-WuHYY #evaluation #performance #query #visualisation- Efficient Evaluation of Object-Centric Exploration Queries for Visualization (YW, BH, JY, CY), pp. 1752–1763.
VLDB-2015-YuM #network #performance #scalability- Efficient Partial-Pairs SimRank Search for Large Networks (WY, JAM), pp. 569–580.
ESOP-2015-AbdullaAP #performance- The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO (PAA, MFA, NTP), pp. 308–332.
ESOP-2015-SiekVCTG #performance #type system- Monotonic References for Efficient Gradual Typing (JGS, MMV, MC, STH, RG), pp. 432–456.
FASE-2015-StruberRCT #approach #model transformation #performance #reuse #variability- A Variability-Based Approach to Reusable and Efficient Model Transformations (DS, JR, MC, GT), pp. 283–298.
ICSME-2015-EkelundE #evaluation #industrial #performance #testing- Efficient regression testing based on test history: An industrial evaluation (EDE, EE), pp. 449–457.
SANER-2015-InfanteB #identification- Efficiently identifying object production sites (AI, AB), pp. 575–579.
PLDI-2015-McClurgHCF #network #performance #synthesis- Efficient synthesis of network updates (JM, HH, PC, NF), pp. 196–207.
PLDI-2015-NoriORV #performance #probability #source code #synthesis- Efficient synthesis of probabilistic programs (AVN, SO, SKR, DV), pp. 208–217.
PLDI-2015-RenJKAK #execution #hardware #performance #recursion #source code- Efficient execution of recursive programs on commodity vector hardware (BR, YJ, SK, KA, MK), pp. 509–520.
STOC-2015-BassilyS #performance #protocol- Local, Private, Efficient Protocols for Succinct Histograms (RB, ADS), pp. 127–135.
STOC-2015-BhattacharyaHNT #algorithm #maintenance- Space- and Time-Efficient Algorithm for Maintaining Dense Subgraphs on One-Pass Dynamic Streams (SB, MH, DN, CET), pp. 173–182.
STOC-2015-Bresler #graph #learning #modelling- Efficiently Learning Ising Models on Arbitrary Graphs (GB), pp. 771–782.
STOC-2015-LackiOPSZ #algorithm #distance #performance #power of- The Power of Dynamic Distance Oracles: Efficient Dynamic Algorithms for the Steiner Tree (JL, JO, MP, PS, AZ), pp. 11–20.
LATA-2015-BjorklundDZ #algorithm #automaton #performance- An Efficient Best-Trees Algorithm for Weighted Tree Automata over the Tropical Semiring (JB, FD, NZ), pp. 97–108.
SEFM-2015-HusterBELRKR #performance #testing- Efficient Testing of Different Loop Paths (SH, SB, HE, JL, JR, TK, WR), pp. 117–131.
SEFM-2015-RockaiSB #c #c++ #model checking- Techniques for Memory-Efficient Model Checking of C and C++ Code (PR, VS, JB), pp. 268–282.
ICFP-2015-YangCAEKN #communication #normalisation #performance- Efficient communication and collection with compact normal forms (EZY, GC, ÖSA, AEH, AK, RRN), pp. 362–374.
CHI-2015-LeeHL #performance- Investigating the Information Transfer Efficiency of a 3x3 Watch-back Tactile Display (JL, JH, GL), pp. 1229–1232.
HCI-IT-2015-WalkerSJ #interactive #performance- Interactive Sonification Markup Language (ISML) for Efficient Motion-Sound Mappings (JWW, MTS, MJ), pp. 385–394.
HCI-UC-2015-JeongJ #on the #performance #personalisation- On Time: Efficient and Personalized Hospital Service (SYJ, DYJ), pp. 190–197.
AdaEurope-2015-NelissenPP #architecture #monitoring #novel #performance #runtime- A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring (GN, DP, LMP), pp. 66–82.
ICEIS-v1-2015-AbakumovK #performance- Approaches to Enhancing Efficiency of Production Management on Shop Floor Level (EMA, SBK), pp. 559–564.
ICEIS-v1-2015-BedoBOCCRTT #detection #effectiveness #image #performance #social #social media- Techniques for Effective and Efficient Fire Detection from Social Media Images (MVNB, GB, WDO, MTC, AFC, JFRJ, AJMT, CTJ), pp. 34–45.
ICEIS-v1-2015-GruppiMAFL #heuristic #performance- An Efficient and Topologically Correct Map Generalization Heuristic (MGG, SVGM, MVAA, WRF, WL), pp. 516–525.
ICEIS-v2-2015-KamalKVB #performance- Efficient Use of Voice as a Channel for Delivering Public Services (KKK, MK, BV, KB), pp. 626–631.
ICEIS-v2-2015-Martin-Fernandez #alias #encryption #performance #using- Efficient Management of Revoked Pseudonyms in VANETs using ID-Based Cryptography (FMF, PCG, CCG), pp. 701–708.
ICML-2015-KuklianskyS #linear #performance- Attribute Efficient Linear Regression with Distribution-Dependent Sampling (DK, OS), pp. 153–161.
ICML-2015-LimKPJ #performance #scalability #set- Double Nyström Method: An Efficient and Accurate Nyström Scheme for Large-Scale Data Sets (WL, MK, HP, KJ), pp. 1367–1375.
ICML-2015-TristanTS #estimation #gpu #performance- Efficient Training of LDA on a GPU by Mean-for-Mode Estimation (JBT, JT, GLSJ), pp. 59–68.
ICML-2015-WenKA #combinator #learning #performance #scalability- Efficient Learning in Large-Scale Combinatorial Semi-Bandits (ZW, BK, AA), pp. 1113–1122.
ICML-2015-ZhangWJ #algorithm #bound #distributed #estimation #matrix #performance #rank- Distributed Estimation of Generalized Matrix Rank: Efficient Algorithms and Lower Bounds (YZ, MJW, MIJ), pp. 457–465.
KDD-2015-BifetMRHP #big data #classification #data type #evaluation #online #performance- Efficient Online Evaluation of Big Data Stream Classifiers (AB, GDFM, JR, GH, BP), pp. 59–68.
KDD-2015-ChierichettiEKL #algorithm #network #performance #social- Efficient Algorithms for Public-Private Social Networks (FC, AE, RK, SL, VSM), pp. 139–148.
KDD-2015-LimK #graph #named- MASCOT: Memory-efficient and Accurate Sampling for Counting Local Triangles in Graph Streams (YL, UK), pp. 685–694.
KDD-2015-Llinares-LopezS #mining #mutation testing #performance #permutation #testing- Fast and Memory-Efficient Significant Pattern Mining via Permutation Testing (FLL, MS, LP, KMB), pp. 725–734.
KDD-2015-OhsakaMK #evolution #network #performance #rank- Efficient PageRank Tracking in Evolving Networks (NO, TM, KiK), pp. 875–884.
KDD-2015-SongMT #network #performance #recommendation- Efficient Latent Link Recommendation in Signed Networks (DS, DAM, DT), pp. 1105–1114.
KDD-2015-UlanovaYCJKZ #performance #physics #profiling- Efficient Long-Term Degradation Profiling in Time Series for Complex Physical Systems (LU, TY, HC, GJ, EJK, KZ), pp. 2167–2176.
KDD-2015-Yi0YLW #algorithm #clustering #constraints #performance- An Efficient Semi-Supervised Clustering Algorithm with Sequential Constraints (JY, LZ, TY, WL, JW), pp. 1405–1414.
KDD-2015-ZhangZMH #assembly #co-evolution #named #performance- Assembler: Efficient Discovery of Spatial Co-evolving Patterns in Massive Geo-sensory Data (CZ, YZ, XM, JH), pp. 1415–1424.
MLDM-2015-ZidaFWLT #mining #performance- Efficient Mining of High-Utility Sequential Rules (SZ, PFV, CWW, JCWL, VST), pp. 157–171.
RecSys-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.
RecSys-2015-Guardia-Sebaoun #modelling #performance #recommendation- Latent Trajectory Modeling: A Light and Efficient Way to Introduce Time in Recommender Systems (ÉGS, VG, PG), pp. 281–284.
SEKE-2015-AssuncaoFLSV #automaton #generative #markov #modelling #named #network #predict #probability- SANGE — Stochastic Automata Networks Generator. A tool to efficiently predict events through structured Markovian models (JA, PF, LL, AS, JMV), pp. 581–584.
SEKE-2015-KinneerKMW #automation #database #generative #performance #relational #search-based #testing- Automatically Evaluating the Efficiency of Search-Based Test Data Generation for Relational Database Schemas (CK, GMK, PM, CJW), pp. 352–357.
SEKE-2015-PeiYF #data access #in the cloud #performance #policy- Achieving Efficient Access Control via XACML Policy in Cloud Computing (XP, HY, GF), pp. 110–115.
SIGIR-2015-CanutoGSRM #approach #classification #documentation #parallel #performance #scalability- An Efficient and Scalable MetaFeature-based Document Classification Approach based on Massively Parallel Computing (SDC, MAG, WS, TR, WM), pp. 333–342.
SIGIR-2015-MalherbeCB #categorisation #order #performance- Bringing Order to the Job Market: Efficient Job Offer Categorization in E-Recruitment (EM, MC, AB), pp. 1101–1104.
MoDELS-2015-Moawad0FNKT #modelling #performance- Beyond discrete modeling: A continuous and efficient model for IoT (AM, TH, FF, GN, JK, YLT), pp. 90–99.
Onward-2015-GreweEWM #performance #proving #type system- Type systems for the masses: deriving soundness proofs and efficient checkers (SG, SE, PW, MM), pp. 137–150.
OOPSLA-2015-BiswasZBL #exception #named #performance- Valor: efficient, software-only region conflict exceptions (SB, MZ, MDB, BL), pp. 241–259.
QAPL-2015-BortolussiH #markov #modelling #performance- Efficient Checking of Individual Rewards Properties in Markov Population Models (LB, JH), pp. 32–47.
POPL-2015-AlurDR #declarative #named #string- DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations (RA, LD, MR), pp. 125–137.
POPL-2015-Greenberg #contract- Space-Efficient Manifest Contracts (MG), pp. 181–194.
POPL-2015-RastogiSFBV #performance #type system #typescript- Safe & Efficient Gradual Typing for TypeScript (AR, NS, CF, GMB, PV), pp. 167–180.
REFSQ-2015-LiHT #case study #formal method #performance #requirements #towards- Towards More Efficient Requirements Formalization: A Study (WL, JHH, MT), pp. 181–197.
SAC-2015-BorgesDSEAS #approach #performance #reasoning #reuse #using- Efficient approach for reusing and sharing train driving plans using case-based reasoning (APB, OBD, DMVS, FE, BCÁ, EES), pp. 505–508.
SAC-2015-BritoE #branch #named #performance #query- BranchGuide: an indexing technique for efficient, lossless processing of branching path queries (TBV, GEdS), pp. 1086–1092.
SAC-2015-DecatBLJ #as a service #data access #middleware #multitenancy #named #performance- Amusa: middleware for efficient access control management of multi-tenant SaaS applications (MD, JB, BL, WJ), pp. 2141–2148.
SAC-2015-FahnrichSP #database #identification #in memory #search-based- Facing the genome data deluge: efficiently identifying genetic variants with in-memory database technology (CF, MPS, HP), pp. 18–25.
SAC-2015-GonzalezRP #classification #image- Computationally-efficient classification of HEp-2 cell patterns in IIF images (LFPG, DDAR, MSP), pp. 825–830.
SAC-2015-HendersonGE #clustering #empirical #named #parametricity #performance #probability- EP-MEANS: an efficient nonparametric clustering of empirical probability distributions (KH, BG, TER), pp. 893–900.
SAC-2015-HsiehNKC #approximate #performance #query #recommendation- Efficient approximate thompson sampling for search query recommendation (CCH, JN, TK, JC), pp. 740–746.
SAC-2015-MinHJCH #distributed #performance #process #scalability- An efficient backup-recovery technique to process large data in distributed key-value store (DM, TH, JJ, YC, JH), pp. 2072–2074.
SAC-2015-RochaRCOMVADGF #algorithm #classification #dataset #documentation #named #performance #using- G-KNN: an efficient document classification algorithm for sparse datasets on GPUs using KNN (LCdR, GSR, RC, RSO, DM, FV, GA, SD, MAG, RF), pp. 1335–1338.
SAC-2015-TodaT #performance #satisfiability- BDD construction for all solutions SAT and efficient caching mechanism (TT, KT), pp. 1880–1886.
SAC-2015-XiongN #estimation #low cost #power management- Cost-efficient and attack-resilient approaches for state estimation in power grids (KX, PN), pp. 2192–2197.
ESEC-FSE-2015-BellKMD #dependence #detection #java #performance- Efficient dependency detection for safe Java test acceleration (JB, GEK, EM, MD), pp. 770–781.
ESEC-FSE-2015-KimNYCK #api #fault #named #performance #predict #testing- REMI: defect prediction for efficient API testing (MK, JN, JY, SC, SK), pp. 990–993.
ESEC-FSE-2015-WestNM #concurrent #object-oriented #performance- Efficient and reasonable object-oriented concurrency (SW, SN, BM), pp. 734–744.
ESEC-FSE-2015-White #generative #parametricity #performance #search-based #testing #using- Increasing the efficiency of search-based unit test generation using parameter control (TW), pp. 1042–1044.
ICSE-v1-2015-BaresiKR #ltl #performance #scalability #specification #verification- Efficient Scalable Verification of LTL Specifications (LB, MMPK, MR), pp. 711–721.
ICSE-v1-2015-BocicB #performance #verification- Coexecutability for Efficient Verification of Data Model Updates (IB, TB), pp. 744–754.
ICSE-v1-2015-FilieriGL #adaptation #learning #lightweight #modelling #performance #probability- Lightweight Adaptive Filtering for Efficient Learning and Updating of Probabilistic Models (AF, LG, AL), pp. 200–211.
ICSE-v2-2015-EtienneMAD #modelling #performance #predict #process #proving #trust- Improving Predictability, Efficiency and Trust of Model-Based Proof Activity (JFÉ, MM, FA, VD), pp. 139–148.
ICSE-v2-2015-ProcacciantiLVF #energy #performance- The Green Lab: Experimentation in Software Energy Efficiency (GP, PL, AV, DMF, RW), pp. 941–942.
SLE-2015-BousseCCGB #debugging #performance- Supporting efficient and advanced omniscient debugging for xDSMLs (EB, JC, BC, JGG, BB), pp. 137–148.
ASPLOS-2015-HosekC #execution #framework #performance- VARAN the Unbelievable: An Efficient N-version Execution Framework (PH, CC), pp. 339–353.
ASPLOS-2015-MalkaABT #named #performance- rIOMMU: Efficient IOMMU for I/O Devices that Employ Ring Buffers (MM, NA, MBY, DT), pp. 355–368.
ASPLOS-2015-SungA #named #performance- DeNovoSync: Efficient Support for Arbitrary Synchronization without Writer-Initiated Invalidations (HS, SVA), pp. 545–559.
ASPLOS-2015-YoungNQ #encryption #named- DEUCE: Write-Efficient Encryption for Non-Volatile Memories (VY, PJN, MKQ), pp. 33–44.
CGO-2015-JiaoLHM #concurrent #energy #execution #kernel- Improving GPGPU energy-efficiency through concurrent kernel execution and DVFS (QJ, ML, HPH, TM), pp. 1–11.
HPCA-2015-JimenezBBOCV #manycore #performance- Increasing multicore system efficiency through intelligent bandwidth shifting (VJ, AB, PB, FPO, FJC, MV), pp. 39–50.
HPCA-2015-OzsoyDGAP #detection #framework #online #performance- Malware-aware processors: A framework for efficient online malware detection (MO, CD, IG, NBAG, DVP), pp. 651–661.
HPCA-2015-PalframanKL #energy #fault #named #performance- iPatch: Intelligent fault patching to improve energy efficiency (DJP, NSK, MHL), pp. 428–438.
HPCA-2015-RosDK #classification #clustering #performance- Hierarchical private/shared classification: The key to simple and efficient coherence for clustered cache hierarchies (AR, MD, SK), pp. 186–197.
HPCA-2015-ZhuHR #energy #mobile #scheduling #web- Event-based scheduling for energy-efficient QoS (eQoS) in mobile Web applications (YZ, MH, VJR), pp. 137–149.
HPDC-2015-KocoloskiL #memory management #multi #named #performance- XEMEM: Efficient Shared Memory for Composed Applications on Multi-OS/R Exascale Systems (BK, JRL), pp. 89–100.
HPDC-2015-SuWA #data analysis #generative #performance- In-Situ Bitmaps Generation and Efficient Data Analysis based on Bitmaps (YS, YW, GA), pp. 61–72.
ISMM-2015-MirandaB #object-oriented #performance #programming- A partial read barrier for efficient support of live object-oriented programming (EM, CB), pp. 93–104.
ISMM-2015-StancuWBLF #hybrid #java #memory management #performance- Safe and efficient hybrid memory management for Java (CS, CW, SB, PL, MF), pp. 81–92.
LCTES-2015-BardizbanyanSWL #data access #performance #using- Improving Data Access Efficiency by Using Context-Aware Loads and Stores (AB, MS, DBW, PLE), p. 10.
LCTES-2015-GhoshPR #alias #performance- Enabling Efficient Alias Speculation (SG, YP, AR), p. 10.
PPoPP-2015-AlSaberK #multi #performance #semantics- SemCache++: semantics-aware caching for efficient multi-GPU offloading (NA, MK), pp. 255–256.
PPoPP-2015-TangYKTGC #algorithm #parallel #programming #recursion- Cache-oblivious wavefront: improving parallelism of recursive dynamic programming algorithms without losing cache-efficiency (YT, RY, HK, JJT, PG, RAC), pp. 205–214.
PPoPP-2015-ThebaultPD #3d #assembly #case study #implementation #matrix #performance #scalability- Scalable and efficient implementation of 3d unstructured meshes computation: a case study on matrix assembly (LT, EP, QD), pp. 120–129.
PPoPP-2015-VassiliadisPCALBVN #energy #programming #runtime- A programming model and runtime system for significance-aware energy-efficient computing (VV, KP, CC, CDA, SL, NB, HV, DSN), pp. 275–276.
PPoPP-2015-WestNM #concurrent #object-oriented #performance- Efficient and reasonable object-oriented concurrency (SW, SN, BM), pp. 273–274.
CAV-2015-BozzanoCGM #analysis #modelling #performance #safety- Efficient Anytime Techniques for Model-Based Safety Analysis (MB, AC, AG, CM), pp. 603–621.
CAV-2015-BacchusK #satisfiability #set #using- Using Minimal Correction Sets to More Efficiently Compute Minimal Unsatisfiable Sets (FB, GK), pp. 70–86.
ICLP-2015-Zaniolo #algorithm #logic programming #source code- Expressing and Supporting Efficiently Greedy Algorithms as Locally Stratified Logic Programs (CZ).
ICST-2015-MohacsiFB #case study #modelling #performance #testing- A Case Study on the Efficiency of Model-Based Testing at the European Space Agency (SM, MF, AB), pp. 1–2.
ISSTA-2015-EpitropakisYHB #empirical #evaluation #multi #performance #testing- Empirical evaluation of pareto efficient multi-objective regression test case prioritisation (MGE, SY, MH, EKB), pp. 234–245.
ISSTA-2015-Narayanaswamy #concurrent #performance- When truth is efficient: analysing concurrency (GN), pp. 141–152.
LICS-2015-FigueiraL #graph #logic #performance #query- Path Logics for Querying Graphs: Combining Expressiveness and Efficiency (DF, LL), pp. 329–340.
RTA-2015-LepperW #performance #towards- A Simple and Efficient Step Towards Type-Correct XSLT Transformations (ML, BTyW), pp. 350–364.
SAT-2015-ArifMM #axiom #performance- Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing (MFA, CM, JMS), pp. 324–342.
QoSA-2014-JohnsonC #architecture #evolution #performance #smt #specification- Efficient re-resolution of SMT specifications for evolving software architectures (KJ, RC), pp. 93–102.
WICSA-2014-SmileyMW #adaptation #architecture #performance #product line #reuse- A Dynamic Software Product Line Architecture for Prepackaged Expert Analytics: Enabling Efficient Capture, Reuse and Adaptation of Operational Knowledge (KS, SM, PW), pp. 205–214.
ASE-2014-HarmanJMP #effectiveness #empirical #higher-order #performance- Angels and monsters: an empirical investigation of potential test effectiveness and efficiency improvement from strongly subsuming higher order mutation (MH, YJ, PRM, MP), pp. 397–408.
CASE-2014-KhodabakhshianFW #performance #predict- Predictive control of the engine cooling system for fuel efficiency improvement (MK, LF, JW), pp. 61–66.
CASE-2014-LaiTCL #energy #industrial #monitoring #performance- Non-Intrusive Load Monitoring applied in energy efficiency of the smart manufacturing industry: A case of air-conditioner (YHL, IJT, CYC, CFL), pp. 1127–1132.
CASE-2014-MaiorR #distributed #internet #self- A self-governing, decentralized, extensible Internet of Things to share electrical power efficiently (HAM, SR), pp. 37–43.
CASE-2014-ParidariPSJ #energy #performance #scheduling- Energy and CO2 efficient scheduling of smart appliances in active houses equipped with batteries (KP, AP, HS, KHJ), pp. 632–639.
CASE-2014-YanLBSDG #clustering #energy- Energy-efficient building clusters (BY, PBL, MAB, CS, CD, ZG), pp. 966–971.
DAC-2014-AmaruGM #algorithm #graph #logic #novel #optimisation #performance- Majority-Inverter Graph: A Novel Data-Structure and Algorithms for Efficient Logic Optimization (LGA, PEG, GDM), p. 6.
DAC-2014-BokhariJSHP #design #energy #multi #named- darkNoC: Designing Energy-Efficient Network-on-Chip with Multi-Vt Cells for Dark Silicon (HB, HJ, MS, JH, SP), p. 6.
DAC-2014-DaviKS #control flow #embedded #fine-grained #performance #towards- Hardware-Assisted Fine-Grained Control-Flow Integrity: Towards Efficient Protection of Embedded Systems Against Software Exploitation (LD, PK, ARS), p. 6.
DAC-2014-DengBZW #performance- An Efficient Two-level DC Operating Points Finder for Transistor Circuits (JD, KB, YZ, NW), p. 6.
DAC-2014-DongZC #algorithm #online #performance #reduction- A Cost Efficient Online Algorithm for Automotive Idling Reduction (CD, HZ, MC), p. 6.
DAC-2014-FangYZL #estimation #named #performance- BMF-BD: Bayesian Model Fusion on Bernoulli Distribution for Efficient Yield Estimation of Integrated Circuits (CF, FY, XZ, XL), p. 6.
DAC-2014-KuanCHL #database #embedded #multi- Space-Efficient Multiversion Index Scheme for PCM-based Embedded Database Systems (YHK, YHC, PCH, KyL), p. 6.
DAC-2014-LeeL #embedded #runtime- Area-Efficient Event Stream Ordering for Runtime Observability of Embedded Systems (JCL, RL), p. 6.
DAC-2014-LinLCLH #algorithm #performance- An Efficient Bi-criteria Flow Channel Routing Algorithm For Flow-based Microfluidic Biochips (CXL, CHL, ICC, DTL, TYH), p. 6.
DAC-2014-LinRGDS #algorithm #performance- An Efficient Wire Routing and Wire Sizing Algorithm for Weight Minimization of Automotive Systems (CWL, LR, PG, JD, ALSV), p. 6.
DAC-2014-RahimiGLCBG #architecture #collaboration #compilation #energy- Energy-Efficient GPGPU Architectures via Collaborative Compilation and Memristive Memory-Based Computing (AR, AG, MALM, KTC, LB, RKG), p. 6.
DAC-2014-RaiHST #detection #fault #framework #performance #realtime- An Efficient Real Time Fault Detection and Tolerance Framework Validated on the Intel SCC Processor (DR, PH, NS, LT), p. 6.
DAC-2014-RaoJDBDM #named #performance- VIX: Virtual Input Crossbar for Efficient Switch Allocation (SR, SJ, RD, DB, RGD, TNM), p. 6.
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.
DAC-2014-SamavatianAAS #architecture #performance- An Efficient STT-RAM Last Level Cache Architecture for GPUs (MHS, HA, MA, HSA), p. 6.
DAC-2014-TsengHPK #energy #manycore #mobile #scheduling- User-Centric Energy-Efficient Scheduling on Multi-Core Mobile Devices (PHT, PCH, CCP, TWK), p. 6.
DAC-2014-WangOC #optimisation #performance #polynomial #synthesis- Enabling Efficient Analog Synthesis by Coupling Sparse Regression and Polynomial Optimization (YW, MO, CC), p. 6.
DAC-2014-WeiKPZTCUM #energy- Battery Management and Application for Energy-Efficient Buildings (TW, TK, SP, QZ, SXDT, NC, SU, MM), p. 6.
DAC-2014-WietfeldID #mobile #performance- Resource Efficient Mobile Communications for Crowd-Sensing (CW, CI, BD), p. 6.
DATE-2014-0002LLCXY #big data #data analysis #energy #network #performance- Energy efficient neural networks for big data analytics (YW, BL, RL, YC, NX, HY), pp. 1–2.
DATE-2014-AghaeePE #3d #performance- An efficient temperature-gradient based burn-in technique for 3D stacked ICs (NA, ZP, PE), pp. 1–4.
DATE-2014-AhariAKT #architecture #configuration management #power management #using- A power-efficient reconfigurable architecture using PCM configuration technology (AA, HA, BK, MBT), pp. 1–6.
DATE-2014-AmaruGM #diagrams #performance- An efficient manipulation package for Biconditional Binary Decision Diagrams (LGA, PEG, GDM), pp. 1–6.
DATE-2014-AminifarBEP #co-evolution #design- Bandwidth-efficient controller-server co-design with stability guarantees (AA, EB, PE, ZP), pp. 1–6.
DATE-2014-BartoliniCCTB #energy- Unveiling Eurora — Thermal and power characterization of the most energy-efficient supercomputer in the world (AB, MC, CC, GT, LB), pp. 1–6.
DATE-2014-BeuxLOCLTN #named #performance- Chameleon: Channel efficient Optical Network-on-Chip (SLB, HL, IO, KC, XL, JT, GN), pp. 1–6.
DATE-2014-BhargavaM #encryption #generative #performance #reliability- An efficient reliable PUF-based cryptographic key generator in 65nm CMOS (MB, KM), pp. 1–6.
DATE-2014-ChenCT #performance #simulation- An activity-sensitive contention delay model for highly efficient deterministic full-system simulations (SYC, CHC, RST), pp. 1–6.
DATE-2014-ErbSSB #fault #performance #smt- Efficient SMT-based ATPG for interconnect open defects (DE, KS, MS, BB), pp. 1–6.
DATE-2014-FourmigueBN #3d #performance #simulation- Efficient transient thermal simulation of 3D ICs with liquid-cooling and through silicon vias (AF, GB, GN), pp. 1–6.
DATE-2014-GangopadhyayLNR #adaptation #analysis #linear #modelling #performance- Modeling and analysis of digital linear dropout regulators with adaptive control for high efficiency under wide dynamic range digital loads (SG, YL, SBN, AR), pp. 1–6.
DATE-2014-Guan0 #analysis #performance #scheduling- General and efficient Response Time Analysis for EDF scheduling (NG, WY), pp. 1–6.
DATE-2014-HillerS #performance- Increasing the efficiency of syndrome coding for PUFs with helper data compression (MH, GS), pp. 1–6.
DATE-2014-Huang14a #manycore #network #performance #predict- Leveraging on-chip networks for efficient prediction on multicore coherence (LH), pp. 1–4.
DATE-2014-KamalGAP #approximate #performance #using- Improving efficiency of extensible processors by using approximate custom instructions (MK, AG, AAK, MP), pp. 1–4.
DATE-2014-KarakonstantisSSAB #analysis #approach #energy #variability- A quality-scalable and energy-efficient approach for spectral analysis of heart rate variability (GK, AS, MMS, DA, AB), pp. 1–6.
DATE-2014-KhanSH #architecture #manycore #performance #power management #video- Software architecture of High Efficiency Video Coding for many-core systems with power-efficient workload balancing (MUKK, MS, JH), pp. 1–6.
DATE-2014-KimKGH #energy #performance- Utilization-aware load balancing for the energy efficient operation of the big.LITTLE processor (MK, KK, JRG, SH), pp. 1–4.
DATE-2014-LuCC #correlation #memory management #performance- Achieving efficient packet-based memory system by exploiting correlation of memory requests (TL, LC, MC), pp. 1–6.
DATE-2014-MineoPAC #adaptation #energy #performance- An adaptive transmitting power technique for energy efficient mm-wave wireless NoCs (AM, MP, GA, VC), pp. 1–6.
DATE-2014-MoralesHBHV #energy #implementation #using- Energy-efficient FPGA implementation for binomial option pricing using OpenCL (VMM, PHH, AB, EH, SV), pp. 1–6.
DATE-2014-NovoFIAC #approximate #case study #energy #performance #runtime- Energy efficient MIMO processing: A case study of opportunistic run-time approximations (DN, NF, PI, UA, FC), pp. 1–6.
DATE-2014-PalominoSASH #named #performance #video- hevcDTM: Application-driven Dynamic Thermal Management for High Efficiency Video Coding (DP, MS, HA, AAS, JH), pp. 1–4.
DATE-2014-PaulKBP #energy #hardware #memory management- Energy-efficient hardware acceleration through computing in the memory (SP, RK, SB, RP), pp. 1–6.
DATE-2014-QiZ #modelling #performance #simulation- Efficient simulation and modelling of non-rectangular NoC topologies (JQ, MZ), pp. 1–4.
DATE-2014-RahimiBG #energy #fault- Temporal memoization for energy-efficient timing error recovery in GPGPUs (AR, LB, RKG), pp. 1–6.
DATE-2014-RanaC #analysis #named #reduction #scalability #simulation- SSFB: A highly-efficient and scalable simulation reduction technique for SRAM yield analysis (MR, RC), pp. 1–6.
DATE-2014-SampaioSZBH #architecture #distributed #energy #memory management #named #performance #video- dSVM: Energy-efficient distributed Scratchpad Video Memory Architecture for the next-generation High Efficiency Video Coding (FS, MS, BZ, SB, JH), pp. 1–6.
DATE-2014-SharmaPLAC #composition #data flow #energy #performance- Energy efficient data flow transformation for Givens Rotation based QR Decomposition (NS, PRP, ML, PA, FC), pp. 1–4.
DATE-2014-SongLKSCR #energy #scheduling- Energy-efficient scheduling for memory-intensive GPGPU workloads (SS, ML, JK, WS, YGC, SR), pp. 1–6.
DATE-2014-Stenstrom #effectiveness #performance #resource management #towards- Effective resource management towards efficient computing (PS), p. 1.
DATE-2014-Torrellas #architecture #energy #performance- Extreme-scale computer architecture: Energy efficiency from the ground up‡ (JT), pp. 1–5.
DATE-2014-VillenaS #analysis #network #performance #variability- Efficient analysis of variability impact on interconnect lines and resistor networks (JFV, LMS), pp. 1–6.
DATE-2014-WangYSK #encryption #energy #in memory #performance- Energy efficient in-memory AES encryption based on nonvolatile domain-wall nanowire (YW, HY, DS, PK), pp. 1–4.
DATE-2014-YuSHEAB #estimation #performance #physics- Efficient performance estimation with very small sample size via physical subspace projection and maximum a posteriori estimation (LY, SS, CH, IME, DAA, DSB), pp. 1–6.
DATE-2014-ZhangLHCW #multi #performance #predict- Joint Virtual Probe: Joint exploration of multiple test items’ spatial patterns for efficient silicon characterization and test prediction (SZ, FL, CKH, KTC, HW), pp. 1–6.
DATE-2014-ZhangYW #analysis #performance #problem- Efficient high-sigma yield analysis for high dimensional problems (MZ, ZY, YW), pp. 1–6.
DATE-2014-ZussaDTDMGCT #detection #fault #injection #performance- Efficiency of a glitch detector against electromagnetic fault injection (LZ, AD, KT, JMD, PM, LGS, JC, AT), pp. 1–6.
PODS-2014-Tao- A dynamic I/O-efficient structure for one-dimensional top-k range reporting (YT), pp. 256–265.
SIGMOD-2014-CheneyLW #evaluation #multi #performance #query #relational- Query shredding: efficient relational evaluation of queries over nested multisets (JC, SL, PW), pp. 1027–1038.
SIGMOD-2014-ChenLWXML #algorithm #network #performance #query- Efficient algorithms for optimal location queries in road networks (ZC, YL, RCWW, JX, GM, CL), pp. 123–134.
SIGMOD-2014-KarnagelHLHLHM #performance #query- Demonstrating efficient query processing in heterogeneous environments (TK, MH, ML, DH, WL, MH, VM), pp. 693–696.
SIGMOD-2014-LiCFTL #performance- Efficient location-aware influence maximization (GL, SC, JF, KLT, WSL), pp. 87–98.
SIGMOD-2014-MoerkotteDMNB #order- Exploiting ordered dictionaries to efficiently construct histograms with q-error guarantees in SAP HANA (GM, DD, NM, AN, AB), pp. 361–372.
SIGMOD-2014-PapailiouTKKK #data transformation #graph #performance #rdf- H2RDF+: an efficient data management system for big RDF graphs (NP, DT, IK, PK, NK), pp. 909–912.
SIGMOD-2014-ShaoCC #detection #parallel #performance- Efficient cohesive subgraphs detection in parallel (YS, LC, BC), pp. 613–624.
SIGMOD-2014-TangXS #complexity #performance- Influence maximization: near-optimal time complexity meets practical efficiency (YT, XX, YS), pp. 75–86.
SIGMOD-2014-TaoL #performance #similarity- Efficient top-K SimRank-based similarity join (WT, GL), pp. 1603–1604.
SIGMOD-2014-XuKM #framework #multi #nondeterminism #performance #summary- Efficient summarization framework for multi-attribute uncertain data (JX, DVK, SM), pp. 421–432.
SIGMOD-2014-ZaschkeZN #multi- The PH-tree: a space-efficient storage structure and multi-dimensional index (TZ, CZ, MCN), pp. 397–408.
VLDB-2014-AlaviZPC #in the cloud #named #performance #query- RASP-QS: Efficient and Confidential Query Services in the Cloud (ZA, LZ, JP, KC), pp. 1685–1688.
VLDB-2014-ChenCCC #named #performance- SOPS: A System for Efficient Processing of Spatial-Keyword Publish/Subscribe (LC, YC, GC, XC), pp. 1601–1604.
VLDB-2014-FuOPZ #component #declarative #javascript #named #using- FORWARD: Data-Centric UIs using Declarative Templates that Efficiently Wrap Third-Party JavaScript Components (YF, KWO, YP, EZ), pp. 1649–1652.
VLDB-2014-KlonatosKRC #performance #query- Building Efficient Query Engines in a High-Level Language (YK, CK, TR, HC), pp. 853–864.
VLDB-2014-KlonatosKRC14a #performance #query- Errata for “Building Efficient Query Engines in a High-Level Language” (PVLDB 7(10): 853-864) (YK, CK, TR, HC), p. 1784.
VLDB-2014-KorulaL #algorithm #network #performance #social- An efficient reconciliation algorithm for social networks (NK, SL), pp. 377–388.
VLDB-2014-LiagourisT #identification #knowledge base #owl #performance- Efficient Identification of Implicit Facts in Incomplete OWL2-EL Knowledge Bases (JL, MT), pp. 1993–2004.
VLDB-2014-LiuCHLS #approximate #named #nearest neighbour #performance- SK-LSH: An Efficient Index Structure for Approximate Nearest Neighbor Search (YL, JC, ZH, HL, HTS), pp. 745–756.
VLDB-2014-NagelBV #code generation #performance #query- Code Generation for Efficient Query Processing in Managed Runtimes (FN, GMB, SDV), pp. 1095–1106.
VLDB-2014-ZhangCT #database #performance- An Efficient Publish/Subscribe Index for ECommerce Databases (DZ, CYC, KLT), pp. 613–624.
VLDB-2014-ZhangTCO #analysis #data transformation #in memory #performance- Efficient In-memory Data Management: An Analysis (HZ, BMT, GC, BCO), pp. 833–836.
VLDB-2015-BarberLPRSACLS14- Memory-Efficient Hash Joins (RB, GML, IP, VR, RS, GKA, NC, SL, DS), pp. 353–364.
VLDB-2015-TaoYL14 #performance #similarity- Efficient Top-K SimRank-based Similarity Join (WT, MY, GL), pp. 317–328.
VLDB-2015-ThenKCHPK0V14 #graph #multi #performance #traversal- The More the Merrier: Efficient Multi-Source Graph Traversal (MT, MK, FC, TAHV, KP, AK, TN, HTV), pp. 449–460.
FASE-2014-MudduluruR #abstraction #incremental #performance #static analysis #using- Efficient Incremental Static Analysis Using Path Abstraction (RM, MKR), pp. 125–139.
TACAS-2014-BaierKKM #markov #modelling- Computing Conditional Probabilities in Markovian Models Efficiently (CB, JK, SK, SM), pp. 515–530.
WRLA-2014-AlrahmanABL #concurrent #maude #memory management #modelling #question #source code- Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude? (YAA, MA, AB, ALL), pp. 21–41.
ICPC-2014-MatsumuraIKI #execution #java #performance #visualisation- Repeatedly-executed-method viewer for efficient visualization of execution paths and states in Java (TM, TI, YK, KI), pp. 253–257.
ICSME-2014-AsaduzzamanRSH #code completion #named #performance- CSCC: Simple, Efficient, Context Sensitive Code Completion (MA, CKR, KAS, DH), pp. 71–80.
SCAM-2014-KargenS #performance #scalability #slicing- Efficient Utilization of Secondary Storage for Scalable Dynamic Slicing (UK, NS), pp. 155–164.
PEPM-2014-KerneisSH #continuation #named #performance #static analysis- QEMU/CPC: static analysis and CPS conversion for safe, portable, and efficient coroutines (GK, CS, SH), pp. 83–94.
PLDI-2014-BiswasHSB #named #performance #precise- DoubleChecker: efficient sound and precise atomicity checking (SB, JH, AS, MDB), p. 6.
PLDI-2014-SridharanGS #adaptation #execution #parallel #performance #source code- Adaptive, efficient, parallel execution of parallel programs (SS, GG, GSS), p. 21.
STOC-2014-AwasthiBL #learning #linear #locality #power of- The power of localization for efficiently learning linear separators with noise (PA, MFB, PML), pp. 449–458.
STOC-2014-ChanDSS #approximate #estimation #performance #polynomial- Efficient density estimation via piecewise polynomial approximation (SoC, ID, RAS, XS), pp. 604–613.
STOC-2014-DeS #approximate #performance #polynomial- Efficient deterministic approximate counting for low-degree polynomial threshold functions (AD, RAS), pp. 832–841.
STOC-2014-DobzinskiNO #interactive #performance- Economic efficiency requires interaction (SD, NN, SO), pp. 233–242.
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.
STOC-2014-PengS #linear #parallel #performance- An efficient parallel solver for SDD linear systems (RP, DAS), pp. 333–342.
ICALP-v1-2014-BringmannKPPT #performance #physics #simulation- Internal DLA: Efficient Simulation of a Physical Growth Model — (Extended Abstract) (KB, FK, KP, UP, HT), pp. 247–258.
ICALP-v1-2014-DobzinskiL #performance- Efficiency Guarantees in Auctions with Budgets (SD, RPL), pp. 392–404.
ICALP-v1-2014-KoppartyKS #finite #performance- Efficient Indexing of Necklaces and Irreducible Polynomials over Finite Fields (SK, MK, MES), pp. 726–737.
LATA-2014-BellaouarCZ #kernel #performance #sequence #string- Efficient List-Based Computation of the String Subsequence Kernel (SB, HC, DZ), pp. 138–148.
FM-2014-GunadiT #android #case study #logic #metric #monitoring #operating system #performance #runtime- Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System (HG, AT), pp. 296–311.
FM-2014-PonzioRAF #bound #performance- Efficient Tight Field Bounds Computation Based on Shape Predicates (PP, NR, NA, MFF), pp. 531–546.
FM-2014-SchebenS #calculus #composition #performance #self- Efficient Self-composition for Weakest Precondition Calculi (CS, PHS), pp. 579–594.
ICFP-2014-MarlowBCP #abstraction #concurrent #data access #performance- There is no fork: an abstraction for efficient, concurrent, and concise data access (SM, LB, JC, JP), pp. 325–337.
IFL-2014-AdsitF #analysis #control flow #performance #system f- An Efficient Type- and Control-Flow Analysis for System F (CA, MF), p. 3.
ILC-2014-SmithP #finite #lisp #performance #permutation- Efficient Finite Permutation Groups and Homomesy Computation in Common Lisp (RS, BP), p. 60.
ICGT-2014-AnjorinLST #graph grammar #model transformation #performance #static analysis- A Static Analysis of Non-confluent Triple Graph Grammars for Efficient Model Transformation (AA, EL, AS, GT), pp. 130–145.
CHI-2014-HalfakerGT #design #named #performance- Snuggle: designing for efficient socialization and ideological critique (AH, RSG, LGT), pp. 311–320.
CHI-2014-NguyenK #matter #multi #performance- Orientation matters: efficiency of translation-rotation multitouch tasks (QN, MK), pp. 2013–2016.
CSCW-2014-QuinnB #named #performance #spreadsheet- AskSheet: efficient human computation for decision making with spreadsheets (AJQ, BBB), pp. 1456–1466.
DUXU-TMT-2014-WetzlingerAD #effectiveness #experience #performance #usability #user interface #using- Comparing Effectiveness, Efficiency, Ease of Use, Usability and User Experience When Using Tablets and Laptops (WW, AA, MD), pp. 402–412.
HCI-TMT-2014-HankiewiczB #performance #quality #source code #using #word- Efficiency in Performing Basic Tasks Using Word Processing Programs by the Elderly as a Measure of the Ergonomic Quality of Software (KH, MB), pp. 481–488.
HIMI-AS-2014-Coelho #analysis- Association of CCR and BCC Efficiencies to Market Variables in a Retrospective Two Stage Data Envelope Analysis (DAC), pp. 151–159.
CAiSE-2014-PolyvyanyyRH #modelling #performance #process #retrieval #using- Indexing and Efficient Instance-Based Retrieval of Process Models Using Untanglings (AP, MLR, AHMtH), pp. 439–456.
ICEIS-v1-2014-SilvaNMFMM #algorithm #detection #distributed #performance #pipes and filters #using- Efficient and Distributed DBScan Algorithm Using MapReduce to Detect Density Areas on Traffic Data (TLCdS, ACAN, RPM, VAEdF, JAFdM, JCM), pp. 52–59.
CIKM-2014-AbedjanSN #dependence #functional #named #performance- DFD: Efficient Functional Dependency Discovery (ZA, PS, FN), pp. 949–958.
CIKM-2014-BoghCSA #data type #named- Hashcube: A Data Structure for Space- and Query-Efficient Skycube Compression (KSB, SC, DS, IA), pp. 1767–1770.
CIKM-2014-CanutoSGRRGRM #classification #effectiveness #on the #performance- On Efficient Meta-Level Features for Effective Text Classification (SDC, TS, MAG, LCdR, GSR, LG, TCR, WSM), pp. 1709–1718.
CIKM-2014-KangKL #automation #owl #performance- A Meta-reasoner to Rule Them All: Automated Selection of OWL Reasoners Based on Efficiency (YBK, SK, YFL), pp. 1935–1938.
CIKM-2014-KimC #array #performance- Efficient Static and Dynamic In-Database Tensor Decompositions on Chunk-Based Array Stores (MK, KSC), pp. 969–978.
CIKM-2014-LimCK #data type #performance- Fast, Accurate, and Space-efficient Tracking of Time-weighted Frequent Items from Data Streams (YL, JC, UK), pp. 1109–1118.
CIKM-2014-LiZZW #keyword #named #performance- INK: A Cloud-Based System for Efficient Top-k Interval Keyword Search (RL, XZ, XZ, SW), pp. 2003–2005.
CIKM-2014-QinSFSC #internet #linked data #open data #performance #towards- Towards Efficient Dissemination of Linked Data in the Internet of Things (YQ, QZS, NJGF, AS, EC), pp. 1779–1782.
CIKM-2014-TongZC0 #graph #nondeterminism #performance #probability #scalability- Efficient Probabilistic Supergraph Search Over Large Uncertain Graphs (YT, XZ, CCC, LC), pp. 809–818.
CIKM-2014-UysalBSS #approximate #database #distance #multi #performance #scalability #using- Efficient Filter Approximation Using the Earth Mover’s Distance in Very Large Multimedia Databases with Feature Signatures (MSU, CB, JS, TS), pp. 979–988.
CIKM-2014-WangSZS #performance #scalability #semantics #similarity- Sparse Semantic Hashing for Efficient Large Scale Similarity Search (QW, BS, ZZ, LS), pp. 1899–1902.
CIKM-2014-XuHCWHBA #framework #performance- A Demonstration of SearchonTS: An Efficient Pattern Search Framework for Time Series Data (XX, SH, YC, CW, IH, KB, MA), pp. 2015–2017.
CIKM-2014-ZhengZLHZ #graph #performance #scalability- Efficient Subgraph Skyline Search Over Large Graphs (WZ, LZ, XL, LH, DZ), pp. 1529–1538.
ECIR-2014-CatenaMO #on the #performance- On Inverted Index Compression for Search Engine Efficiency (MC, CM, IO), pp. 359–371.
ECIR-2014-KazaiS #difference #evaluation #information retrieval #performance #query- Dissimilarity Based Query Selection for Efficient Preference Based IR Evaluation (GK, HS), pp. 172–183.
ECIR-2014-WilkieA14a #bias- Efficiently Estimating Retrievability Bias (CW, LA), pp. 720–726.
ICML-c1-2014-HajiaghayiKWB #estimation #markov #performance- Efficient Continuous-Time Markov Chain Estimation (MH, BK, LW, ABC), pp. 638–646.
ICML-c1-2014-HutterHL #approach #performance- An Efficient Approach for Assessing Hyperparameter Importance (FH, HH, KLB), pp. 754–762.
ICML-c1-2014-LiuJL #approximate #kernel #performance #using- Efficient Approximation of Cross-Validation for Kernel Methods using Bouligand Influence Function (YL, SJ, SL), pp. 324–332.
ICML-c1-2014-SiHD #approximate #kernel #memory management #performance- Memory Efficient Kernel Approximation (SS, CJH, ISD), pp. 701–709.
ICML-c1-2014-SomaKIK #algorithm #performance- Optimal Budget Allocation: Theoretical Guarantee and Efficient Algorithm (TS, NK, KI, KiK), pp. 351–359.
ICML-c1-2014-ZhangHL #heuristic #performance- Covering Number for Efficient Heuristic-based POMDP Planning (ZZ, DH, WSL), pp. 28–36.
ICML-c2-2014-0005YJ #algorithm #performance #robust- Efficient Algorithms for Robust One-bit Compressive Sensing (LZ, JY, RJ), pp. 820–828.
ICML-c2-2014-AnarakiH #memory management #performance #random- Memory and Computation Efficient PCA via Very Sparse Random Projections (FPA, SMH), pp. 1341–1349.
ICML-c2-2014-CelikLL #estimation #network #performance #reduction- Efficient Dimensionality Reduction for High-Dimensional Network Estimation (SC, BAL, SIL), pp. 1953–1961.
ICML-c2-2014-FujiwaraI #performance- Efficient Label Propagation (YF, GI), pp. 784–792.
ICML-c2-2014-GiesenLW #kernel #performance #robust- Robust and Efficient Kernel Hyperparameter Paths with Guarantees (JG, SL, PW), pp. 1296–1304.
ICML-c2-2014-GrandeWH #learning #performance #process- Sample Efficient Reinforcement Learning with Gaussian Processes (RCG, TJW, JPH), pp. 1332–1340.
ICML-c2-2014-JunB #memory management #monte carlo #performance- Memory (and Time) Efficient Sequential Monte Carlo (SHJ, ABC), pp. 514–522.
ICML-c2-2014-KingmaW #performance- Efficient Gradient-Based Inference through Transformations between Bayes Nets and Neural Nets (DPK, MW), pp. 1782–1790.
ICML-c2-2014-LimL #learning #metric #performance #ranking- Efficient Learning of Mahalanobis Metrics for Ranking (DL, GRGL), pp. 1980–1988.
ICML-c2-2014-LinK #constraints #learning #performance #representation- Stable and Efficient Representation Learning with Nonnegativity Constraints (THL, HTK), pp. 1323–1331.
ICML-c2-2014-ShamirS0 #approximate #distributed #optimisation #using- Communication-Efficient Distributed Optimization using an Approximate Newton-type Method (OS, NS, TZ), pp. 1000–1008.
ICML-c2-2014-Yi0WJJ #algorithm #clustering- A Single-Pass Algorithm for Efficiently Recovering Sparse Cluster Centers of High-dimensional Data (JY, LZ, JW, RJ, AKJ), pp. 658–666.
ICPR-2014-AhmetovicBGM #locality #named #performance #precise- ZebraRecognizer: Efficient and Precise Localization of Pedestrian Crossings (DA, CB, AG, SM), pp. 2566–2571.
ICPR-2014-BorgiLEA #named #performance #recognition- ShearFace: Efficient Extraction of Anisotropic Features for Face Recognition (MAB, DL, ME, CBA), pp. 1806–1811.
ICPR-2014-BougueliaBB #classification #data type #detection #novel #performance- Efficient Active Novel Class Detection for Data Stream Classification (MRB, YB, AB), pp. 2826–2831.
ICPR-2014-ChandrasekharTMLLL #clustering #graph #incremental #performance #retrieval #streaming #video- Incremental Graph Clustering for Efficient Retrieval from Streaming Egocentric Video Data (VC, CT, WM, LL, XL, JHL), pp. 2631–2636.
ICPR-2014-HavaeiJL #classification #interactive #performance #segmentation- Efficient Interactive Brain Tumor Segmentation as Within-Brain kNN Classification (MH, PMJ, HL), pp. 556–561.
ICPR-2014-HazelhoffCW #classification #trade-off #word- Optimal Performance-Efficiency Trade-off for Bag of Words Classification of Road Signs (LBH, IMC, PHNdW), pp. 2996–3001.
ICPR-2014-HtikeH #adaptation #detection #performance #video- Efficient Non-iterative Domain Adaptation of Pedestrian Detectors to Video Scenes (KKH, DCH), pp. 654–659.
ICPR-2014-MajtnerSS #image #named #performance- RSURF — The Efficient Texture-Based Descriptor for Fluorescence Microscopy Images of HEP-2 Cells (TM, RS, DS), pp. 1194–1199.
ICPR-2014-MarteauGR #gesture #kernel #performance #recognition- Down-sampling Coupled to Elastic Kernel Machines for Efficient Recognition of Isolated Gestures (PFM, SG, CR), pp. 363–368.
ICPR-2014-MoyouIP #3d #estimation #performance #retrieval #using- LBO-Shape Densities: Efficient 3D Shape Retrieval Using Wavelet Density Estimation (MM, KEI, AMP), pp. 52–57.
ICPR-2014-NegrelPG #image #learning #metric #performance #reduction #retrieval #using- Efficient Metric Learning Based Dimension Reduction Using Sparse Projectors for Image Near Duplicate Retrieval (RN, DP, PHG), pp. 738–743.
ICPR-2014-RavalTJ #classification #encoding #evaluation #fault #performance #using- Efficient Evaluation of SVM Classifiers Using Error Space Encoding (NR, RVT, CVJ), pp. 4411–4416.
ICPR-2014-SongLZC #adaptation #performance #using- Scale Adaptive Tracking Using Mean Shift and Efficient Feature Matching (YS, SL, JZ, HC), pp. 2233–2238.
KDD-2014-Cohen #distance #performance #query- Distance queries from sampled data: accurate and efficient (EC), pp. 681–690.
KDD-2014-GongZFY #learning #multi #performance- Efficient multi-task feature learning with calibration (PG, JZ, WF, JY), pp. 761–770.
KDD-2014-LiuWY #algorithm #performance- An efficient algorithm for weak hierarchical lasso (YL, JW, JY), pp. 283–292.
KDD-2014-LiZCS #optimisation #performance #probability- Efficient mini-batch training for stochastic optimization (ML, TZ, YC, AJS), pp. 661–670.
KDD-2014-MaeharaKK #performance- Efficient SimRank computation via linearizationPublication of this article pending inquiry (TM, MK, KiK), pp. 1426–1435.
KDD-2014-TongCC #named #performance #topic- TCS: efficient topic discovery over crowd-oriented service data (YT, CCC, LC), pp. 861–870.
KDD-2014-ZhaoLC #performance- Safe and efficient screening for sparse support vector machine (ZZ, JL, JC), pp. 542–551.
KMIS-2014-ToureAD #approach #enterprise #named #performance- AM2O — An Efficient Approach for Managing Training in Enterprise (FT, EA, KD), pp. 405–412.
MLDM-2014-FuMD #classification #multi #network #performance #towards- Towards the Efficient Recovery of General Multi-Dimensional Bayesian Network Classifier (SF, SM, MCD), pp. 16–30.
MLDM-2014-ShahamSB #fault #performance- Efficient Error Setting for Subspace Miners (ES, DS, BBM), pp. 1–15.
SEKE-2014-WanZWS #analysis #graph #performance #points-to- Efficient Points-To Analysis for Partial Call Graph Construction (ZW, BZ, YW, YS), pp. 416–421.
SIGIR-2014-CambazogluB #challenge #performance #scalability #web- Scalability and efficiency challenges in large-scale web search engines (BBC, RABY), p. 1285.
SIGIR-2014-LourencoVPMFP #analysis #sentiment- Economically-efficient sentiment stream analysis (RLdOJ, AV, AMP, WMJ, RF, SP), pp. 637–646.
SIGIR-2014-WangZZL #identification #keyword #twitter- Efficiently identify local frequent keyword co-occurrence patterns in geo-tagged Twitter stream (XW, YZ, WZ, XL), pp. 1215–1218.
SIGIR-2014-ZhangWRS #performance #recommendation- Preference preserving hashing for efficient recommendation (ZZ, QW, LR, LS), pp. 183–192.
ECMFA-2014-AnjorinRDS #graph grammar #performance- Efficient Model Synchronization with View Triple Graph Grammars (AA, SR, FD, AS), pp. 1–17.
MoDELS-2014-EnriciAP #approach #communication #modelling #uml- A UML Model-Driven Approach to Efficiently Allocate Complex Communication Schemes (AE, LA, RP), pp. 370–385.
MoDELS-2014-EnriciAP #approach #communication #modelling #uml- A UML Model-Driven Approach to Efficiently Allocate Complex Communication Schemes (AE, LA, RP), pp. 370–385.
ECOOP-2014-LavoieDF #javascript #monitoring #performance #runtime #using #virtual machine- Portable and Efficient Run-time Monitoring of JavaScript Applications Using Virtual Machine Layering (EL, BD, MF), pp. 541–566.
OOPSLA-2014-JonnalageddaCSRO #combinator #parsing #performance #staged- Staged parser combinators for efficient data processing (MJ, TC, SS, TR, MO), pp. 637–653.
OOPSLA-2014-ZhangXZYS #alias #analysis #c #performance- Efficient subcubic alias analysis for C (QZ, XX, CZ, HY, ZS), pp. 829–845.
OOPSLA-2014-ZhouSGY #adaptation #multi #optimisation- Space-efficient multi-versioning for input-adaptive feedback-driven program optimizations (MZ, XS, YG, GY), pp. 763–776.
GPCE-2014-MaAZS #performance #product line #testing- Efficient testing of software product lines via centralization (short paper) (LM, CA, CZ, HS), pp. 49–52.
GPCE-2014-SteindorferV #memory management #performance- Code specialization for memory efficient hash tries (short paper) (MJS, JJV), pp. 11–14.
PPDP-2014-KranzS #compilation #domain-specific language #functional #integration #legacy #performance- Structure-Preserving Compilation: Efficient Integration of Functional DSLs into Legacy Systems (JK, AS), pp. 187–198.
PADL-2014-AreiasR #correctness #logic programming #on the #performance #source code- On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs (MA, RR), pp. 168–183.
RE-2014-LaueHBN #communication #performance #visual notation- Efficient visual notations for efficient stakeholder communication (RL, FH, BB, MN), pp. 329–330.
REFSQ-2014-RiegelD #analysis #elicitation #heuristic #optimisation #performance- An Analysis of Priority-Based Decision Heuristics for Optimizing Elicitation Efficiency (NR, JD), pp. 268–284.
SAC-2014-AhmedWK #clustering #energy #named #performance- EENC — energy efficient nested clustering in UASN (SHA, AW, DK), pp. 706–710.
SAC-2014-AndradeRMOCFR #architecture #hybrid #performance #scheduling- Efficient dynamic scheduling of heterogeneous applications in hybrid architectures (GA, GSR, DM, RSO, EC, RF, LCdR), pp. 866–871.
SAC-2014-CostaTT #image #named #performance- MFS-Map: efficient context and content combination to annotate images (AFC, AJMT, CTJ), pp. 945–950.
SAC-2014-LeeJB #design #file system #memory management #named #similarity- DTFS: exploiting the similarity of data versions to design a write-efficient file system in phase-change memory (EL, JEJ, HB), pp. 1535–1540.
SAC-2014-NabeezathP #algorithm #detection #performance- Global value numbering for redundancy detection: a simple and efficient algorithm (SN, VP), pp. 1609–1611.
SAC-2014-WenD #performance #protocol- Efficient protocols for private record linkage (ZW, CD), pp. 1688–1694.
FSE-2014-BohmeP #automation #on the #performance #testing- On the efficiency of automated testing (MB, SP), pp. 632–642.
FSE-2014-JoinerRJDG #performance #policy #weaving- Efficient runtime-enforcement techniques for policy weaving (RJ, TWR, SJ, MD, VG), pp. 224–234.
FSE-2014-LerchHBM #analysis #named #performance #scalability- FlowTwist: efficient context-sensitive inside-out taint analysis for large codebases (JL, BH, EB, MM), pp. 98–108.
ICSE-2014-ArztB #analysis #data flow #incremental #named- Reviser: efficiently updating IDE-/IFDS-based data-flow analyses in response to incremental program changes (SA, EB), pp. 288–298.
ICSE-2014-IgnatievJM #optimisation #performance #towards- Towards efficient optimization in package management systems (AI, MJ, JMS), pp. 745–755.
ICSE-2014-LiTH #energy #performance #smarttech #web- Making web applications more energy efficient for OLED smartphones (DL, AHT, WGJH), pp. 527–538.
ICSE-2014-NikzadCG #development #energy #middleware #mobile #named- APE: an annotation language and middleware for energy-efficient mobile application development (NN, OC, WGG), pp. 515–526.
SLE-2014-Ridge #combinator #context-free grammar #parsing #performance #using- Simple, Efficient, Sound and Complete Combinator Parsing for All Context-Free Grammars, Using an Oracle (TR), pp. 261–281.
ASPLOS-2014-DelimitrouK #clustering #named- Quasar: resource-efficient and QoS-aware cluster management (CD, CK), pp. 127–144.
ASPLOS-2014-KastureS #named #performance #strict- Ubik: efficient cache sharing with strict qos for latency-critical workloads (HK, DS), pp. 729–742.
ASPLOS-2014-RibicY #energy- Energy-efficient work-stealing language runtimes (HR, YDL), pp. 513–528.
CC-2014-SulzmannS #flexibility #ml #performance #regular expression- A Flexible and Efficient ML Lexer Tool Based on Extended Regular Expression Submatching (MS, PvS), pp. 174–191.
CGO-2014-BarikKMLSHNA #c++ #performance- Efficient Mapping of Irregular C++ Applications to Integrated GPUs (RB, RK, DM, BTL, TS, CH, YN, ARAT), p. 33.
HPCA-2014-AnsariMXT #energy #named #network- Tangle: Route-oriented dynamic voltage minimization for variation-afflicted, energy-efficient on-chip networks (AA, AKM, JX, JT), pp. 440–451.
HPCA-2014-DiTomasoKL #architecture #fault tolerance #named #power management- QORE: A fault tolerant network-on-chip architecture with power-efficient quad-function channel (QFC) buffers (DD, AKK, AL), pp. 320–331.
HPCA-2014-ElTantawyMOA #architecture #control flow #gpu #multi #performance #scalability- A scalable multi-path microarchitecture for efficient GPU control flow (AE, JWM, MO, TMA), pp. 248–259.
HPCA-2014-FletcherRYDKD #information management #performance #ram #trade-off- Suppressing the Oblivious RAM timing channel while making information leakage and program efficiency trade-offs (CWF, LR, XY, MvD, OK, SD), pp. 213–224.
HPCA-2014-HayengaNL #architecture #execution #named #performance- Revolver: Processor architecture for power efficient loop execution (MH, VRKN, MHL), pp. 591–602.
HPDC-2014-ChenDWCZG #communication #distributed #graph #performance #perspective- Computation and communication efficient graph processing with distributed immutable view (RC, XD, PW, HC, BZ, HG), pp. 215–226.
HPDC-2014-ChenZJ #community #locality #named #network #online #performance #social- CBL: exploiting community based locality for efficient content search in online social networks (HC, FZ, HJ), pp. 299–304.
HPDC-2014-LeeV #compilation #named #performance #research- OpenARC: open accelerator research compiler for directive-based, efficient heterogeneous computing (SL, JSV), pp. 115–120.
HPDC-2014-MittalVL #embedded #energy #performance- Improving energy efficiency of embedded DRAM caches for high-end computing systems (SM, JSV, DL), pp. 99–110.
HPDC-2014-PrisacariRHCMH #nearest neighbour #network #performance- Efficient task placement and routing of nearest neighbor exchanges in dragonfly networks (BP, GR, PH, DC, CM, TH), pp. 129–140.
HPDC-2014-XueYQHD #concurrent #graph #low cost #named #performance- Seraph: an efficient, low-cost system for concurrent graph processing (JX, ZY, ZQ, SH, YD), pp. 227–238.
ISMM-2014-RatnakarN #analysis #constraints #graph #performance #points-to- Push-pull constraint graph for efficient points-to analysis (BR, RN), pp. 25–33.
LCTES-2014-Guo #co-evolution #data access #design #energy #performance- Energy efficient data access and storage through HW/SW co-design (MG), p. 83.
LCTES-2014-SpinkWFT #code generation #performance- Efficient code generation in a region-based dynamic binary translator (TS, HW, BF, NPT), pp. 3–12.
LCTES-2014-Whalley #data access #energy #performance- Energy efficient data access techniques (DBW), p. 1.
OSDI-2014-ChilimbiSAK #learning #performance #scalability- Project Adam: Building an Efficient and Scalable Deep Learning Training System (TMC, YS, JA, KK), pp. 571–582.
PPoPP-2014-ChiangGRS #fault #float #performance- Efficient search for inputs causing high floating-point errors (WFC, GG, ZR, AS), pp. 43–52.
PPoPP-2014-CunninghamGHIKMSTT #performance #programming- Resilient X10: efficient failure-aware programming (DC, DG, BH, AI, KK, HM, VAS, MT, OT), pp. 67–80.
PPoPP-2014-LuZBW #multi #performance #thread- Efficient deterministic multithreading without global barriers (KL, XZ, TB, XW), pp. 287–300.
PPoPP-2014-PetrovicRS #concurrent #hardware #message passing #performance #thread- Leveraging hardware message passing for efficient thread synchronization (DP, TR, AS), pp. 143–154.
PPoPP-2014-RaoZ #performance #scheduling #towards #virtual machine- Towards fair and efficient SMP virtual machine scheduling (JR, XZ), pp. 273–286.
ICLP-J-2014-TachmazidisAF #big data #performance #semantics- Efficient Computation of the Well-Founded Semantics over Big Data (IT, GA, WF), pp. 445–459.
ICST-2014-BardinKC #execution #performance #symbolic computation #test coverage- Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria (SB, NK, FC), pp. 173–182.
ISSTA-2014-Just #analysis #framework #java #mutation testing #performance #scalability- The major mutation framework: efficient and scalable mutation analysis for Java (RJ), pp. 433–436.
ISSTA-2014-JustEF #analysis #clustering #execution #mutation testing #performance- Efficient mutation analysis by propagating and partitioning infected execution states (RJ, MDE, GF), pp. 315–326.
ISSTA-2014-Zuo #debugging #performance #statistics- Efficient statistical debugging via hierarchical instrumentation (ZZ), pp. 457–460.
ISSTA-2014-ZuoKS #debugging #mining #performance- Efficient predicated bug signature mining via hierarchical instrumentation (ZZ, SCK, CS), pp. 215–224.
SAT-2014-WetzlerHH #named #performance #proving #using- DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs (NW, MH, WAHJ), pp. 422–429.
CBSE-2013-DruilheAPDS #component #energy #performance- Components mobility for energy efficiency of digital home (RD, MA, JP, LD, LS), pp. 153–158.
ASE-2013-Ganai #incremental #performance #predict #reasoning- Efficient data race prediction with incremental reasoning on time-stamped lock history (MKG), pp. 37–47.
ASE-2013-MeredithR #parametricity #performance #runtime #string #verification- Efficient parametric runtime verification with deterministic string rewriting (POM, GR), pp. 70–80.
ASE-2013-PalepuXJ #dependence #dynamic analysis #performance #summary- Improving efficiency of dynamic analysis with dynamic dependence summaries (VKP, G(X, JAJ), pp. 59–69.
CASE-2013-BjorkenstamGBCL #energy #industrial #performance #using- Energy efficient and collision free motion of industrial robots using optimal control (SB, DG, RB, JSC, BL), pp. 510–515.
CASE-2013-BrundageCLXA #energy #performance- Energy efficiency management of an integrated serial production line and HVAC system (MB, QC, YL, GX, JA), pp. 634–639.
CASE-2013-HuMW #automation #energy- Energy-efficient dispatching solution in an automated air cargo terminal (WH, JM, KW), pp. 144–149.
CASE-2013-IordacheWZA #design #performance #petri net #specification- Efficient design of Petri-net supervisors with disjunctive specifications (MVI, PW, FZ, PJA), pp. 936–941.
CASE-2013-LaLBGYMRP #evaluation- Autonomous robotic system for high-efficiency non-destructive bridge deck inspection and evaluation (HML, RSL, BB, NG, JY, AM, FAR, HP), pp. 1053–1058.
CASE-2013-LiFZS #adaptation #named #performance #smarttech- DEPEND: Density adaptive power efficient neighbor discovery for wearable body sensors (BL, WF, LZ, CJS), pp. 581–586.
CASE-2013-LiYY #energy #novel #performance- A novel parabolic trough solar lighting and thermal system for building energy efficiency (TL, FY, CY), pp. 657–662.
CASE-2013-PanahiASG #algorithm #performance #proximity- An efficient proximity probing algorithm for metrology (FP, AA, AFvdS, KG), pp. 342–349.
CASE-2013-YanLSSDGM #energy- Energy-efficient management of eco-communities (BY, PBL, BS, CS, CD, ZG, LDM), pp. 106–111.
DAC-2013-BanerjeeDSC #adaptation #constraints #energy #performance #realtime- Real-time use-aware adaptive MIMO RF receiver systems for energy efficiency under BER constraints (DB, SKD, SS, AC), p. 7.
DAC-2013-CalhounC #energy #flexibility #performance #power management- Flexible on-chip power delivery for energy efficient heterogeneous systems (BHC, KC), p. 6.
DAC-2013-ChakrabortyCRA #pipes and filters- Efficiently tolerating timing violations in pipelined microprocessors (KC, BC, SR, DMA), p. 8.
DAC-2013-GuCL #estimation #performance #validation- Efficient moment estimation with extremely small sample size via bayesian inference for analog/mixed-signal validation (CG, EC, XL), p. 7.
DAC-2013-JiangYXCE #3d #effectiveness #on the #performance- On effective and efficient in-field TSV repair for stacked 3D ICs (LJ, FY, QX, KC, BE), p. 6.
DAC-2013-KarakostasTUNC #energy #performance- Improving the energy efficiency of hardware-assisted watchpoint systems (VK, ST, OSÜ, MN, AC), p. 6.
DAC-2013-KinsmanKN #generative #sequence #validation- Hardware-efficient on-chip generation of time-extensive constrained-random sequences for in-system validation (ABK, HFK, NN), p. 6.
DAC-2013-KuangY #approach #composition #layout #performance- An efficient layout decomposition approach for triple patterning lithography (JK, EFYY), p. 6.
DAC-2013-LinBC #effectiveness #performance- An efficient and effective analytical placer for FPGAs (THL, PB, YWC), p. 6.
DAC-2013-OnizawaG #clustering #network #power management #scalability- Low-power area-efficient large-scale IP lookup engine based on binary-weighted clustered networks (NO, WJG), p. 6.
DAC-2013-RamasubramanianVPR #design #energy #named- Relax-and-retime: a methodology for energy-efficient recovery based design (SGR, SV, AP, AR), p. 6.
DAC-2013-TsaoCY #design #garbage collection #performance- Performance enhancement of garbage collection for flash storage devices: an efficient victim block selection design (CWT, YHC, MCY), p. 6.
DAC-2013-WuergesOS #energy #performance #realtime- Reconciling real-time guarantees and energy efficiency through unlocked-cache prefetching (EW, RSdO, LCVdS), p. 9.
DAC-2013-YangCTH #performance- New ERA: new efficient reliability-aware wear leveling for endurance enhancement of flash storage devices (MCY, YHC, CWT, PCH), p. 6.
DAC-2013-ZhangGQ #embedded #energy #performance #scheduling- Improving charging efficiency with workload scheduling in energy harvesting embedded systems (YZ, YG, QQ), p. 8.
DAC-2013-ZhanR #energy- Techniques for energy-efficient power budgeting in data centers (XZ, SR), p. 7.
DAC-2013-ZhanSOTNX #design #embedded #energy #optimisation #realtime- Designing energy-efficient NoC for real-time embedded systems through slack optimization (JZ, NS, JO, LT, VN, YX), p. 6.
DATE-2013-0001WAWG #3d #energy #modelling- System and circuit level power modeling of energy-efficient 3D-stacked wide I/O DRAMs (KC, CW, BA, NW, KG), pp. 236–241.
DATE-2013-AkhlaghiKAP #architecture #network #performance- An efficient network on-chip architecture based on isolating local and non-local communications (VA, MK, AAK, MP), pp. 350–353.
DATE-2013-AyadAMSL #energy #integration #variability- HW-SW integration for energy-efficient/variability-aware computing (GA, AA, EM, BS, RL), pp. 607–611.
DATE-2013-BaiS #architecture #automation #data transformation #manycore #memory management #performance- Automatic and efficient heap data management for limited local memory multicore architectures (KB, AS), pp. 593–598.
DATE-2013-CilardoGMM #design #performance #scalability- Efficient and scalable OpenMP-based system-level design (AC, LG, AM, NM), pp. 988–991.
DATE-2013-DutoitGP #3d #integration #power management- 3D integration for power-efficient computing (DD, EG, IMP), pp. 779–784.
DATE-2013-JoshiLBBG #estimation #performance #statistics- A gate level methodology for efficient statistical leakage estimation in complex 32nm circuits (SJ, AL, MB, EB, SG), pp. 1056–1057.
DATE-2013-KimRAL #energy #virtual machine- Correlation-aware virtual machine allocation for energy-efficient datacenters (JK, MR, DA, ML), pp. 1345–1350.
DATE-2013-Kozyrakis #performance- Resource efficient computing for warehouse-scale datacenters (CK), pp. 1351–1356.
DATE-2013-LeeJS #architecture #hybrid #memory management #performance- Fast shared on-chip memory architecture for efficient hybrid computing with CGRAs (JL, YJ, SS), pp. 1575–1578.
DATE-2013-Lehner #database #energy #in memory- Energy-efficient in-memory database computing (WL), pp. 470–474.
DATE-2013-LivramentoGGJ #performance- Fast and efficient lagrangian relaxation-based discrete gate sizing (VSL, CG, JLG, MOJ), pp. 1855–1860.
DATE-2013-MagarshackFC #design #energy #process- UTBB FD-SOI: a process/design symbiosis for breakthrough energy-efficiency (PM, PF, GC), pp. 952–957.
DATE-2013-MaricAV #architecture #hybrid #performance #reliability #using- Efficient cache architectures for reliable hybrid voltage operation using EDC codes (BM, JA, MV), pp. 917–920.
DATE-2013-MurugappaBJ #multi #standard- Parameterized area-efficient multi-standard turbo decoder (PM, AB, MJ), pp. 109–114.
DATE-2013-MushtaqAB #approach #fault tolerance #manycore #performance- Efficient software-based fault tolerance approach on multicore platforms (HM, ZAA, KB), pp. 921–926.
DATE-2013-NoguchiNAFAKNMN #energy #hybrid #memory management #performance- D-MRAM cache: enhancing energy efficiency with 3T-1MTJ DRAM/MRAM hybrid memory (HN, KN, KA, SF, EA, KK, TN, SM, HN), pp. 1813–1818.
DATE-2013-ParkCA #energy- Non-speculative double-sampling technique to increase energy-efficiency in a high-performance processor (JP, AC, JAA), pp. 254–257.
DATE-2013-RajovicRVGPR #case study #energy #experience #mobile #performance- Experiences with mobile processors for energy efficient HPC (NR, AR, JV, IG, NP, AR), pp. 464–468.
DATE-2013-RaminiGBB #3d #analysis #manycore #power management #using- Contrasting wavelength-routed optical NoC topologies for power-efficient 3D-stacked multicore processors using physical-layer analysis (LR, PG, SB, DB), pp. 1589–1594.
DATE-2013-RayB #performance- An efficient wirelength model for analytical placement (BNBR, SB), pp. 1711–1714.
DATE-2013-Rodriguez-RodriguezCCPT #memory management #performance #policy #using- Reducing writes in phase-change memory environments by using efficient cache replacement policies (RRR, FC, DC, LP, FT), pp. 93–96.
DATE-2013-RuchBPMM #roadmap #towards- Roadmap towards ultimately-efficient zeta-scale datacenters (PR, TB, SP, GIM, BM), pp. 1339–1344.
DATE-2013-SampaioZSABH #energy #estimation #memory management #multi #video- Energy-efficient memory hierarchy for motion and disparity estimation in multiview video coding (FS, BZ, MS, LVA, SB, JH), pp. 665–670.
DATE-2013-SauerRSPB #performance #satisfiability- Efficient SAT-based dynamic compaction and relaxation for longest sensitizable paths (MS, SR, TS, IP, BB), pp. 448–453.
DATE-2013-ShenQ #energy #performance #smarttech #streaming #video- User-aware energy efficient streaming strategy for smartphone based video playback applications (HS, QQ), pp. 258–261.
DATE-2013-SparsoKS #interface #network- An area-efficient network interface for a TDM-based network-on-chip (JS, EK, MS), pp. 1044–1047.
DATE-2013-ThabetLAPD #architecture #flexibility #hardware #manycore #performance- An efficient and flexible hardware support for accelerating synchronization operations on the STHORM many-core architecture (FT, YL, CA, JMP, RD), pp. 531–534.
DATE-2013-VenkatesanSRR #energy #named #performance #using- DWM-TAPESTRI — an energy efficient all-spin cache using domain wall shift based writes (RV, MS, KR, AR), pp. 1825–1830.
DATE-2013-WagnerW #analysis #performance #statistics- Efficient variation-aware statistical dynamic timing analysis for delay test applications (MW, HJW), pp. 276–281.
DATE-2013-WangSCC #design #embedded #estimation #performance #reliability- Accurate and efficient reliability estimation techniques during ADL-driven embedded processor design (ZW, KS, CC, AC), pp. 547–552.
DATE-2013-WangW #named #performance #ram- TreeFTL: efficient RAM management for high performance of NAND flash-based storage systems (CW, WFW), pp. 374–379.
DATE-2013-WettinMPSG #approach #design #energy #manycore- Energy-efficient multicore chip design through cross-layer approach (PW, JM, PPP, BS, AG), pp. 725–730.
DATE-2013-YaoYW #adaptation #analysis #modelling #online #performance- Efficient importance sampling for high-sigma yield analysis with adaptive online surrogate modeling (JY, ZY, YW), pp. 1291–1296.
DATE-2013-ZapaterAMVGC #energy #performance- Leakage and temperature aware server control for improving energy efficiency in data centers (MZ, JLA, JMM, KV, KCG, AKC), pp. 266–269.
DATE-2013-ZhangCBACL #3d #architecture #composition #manycore #named #performance- 3D-MMC: a modular 3D multi-core architecture with efficient resource pooling (TZ, AC, GB, PA, AKC, YL), pp. 1241–1246.
DocEng-2013-EsserMS #documentation #information management #performance #smarttech- Information extraction efficiency of business documents captured with smartphones and tablets (DE, KM, DS), pp. 111–114.
DRR-2013-NayefB13a #performance #retrieval- Efficient symbol retrieval by building a symbol index from a collection of line drawings (NN, TMB).
ICDAR-2013-ChenYL #hybrid #performance #segmentation- Hybrid Page Segmentation with Efficient Whitespace Rectangles Extraction and Grouping (KC, FY, CLL), pp. 958–962.
ICDAR-2013-ImpedovoMPBI #classification #effectiveness #performance- Voronoi Tessellation for Effective and Efficient Handwritten Digit Classification (SI, FMM, GP, DB, DI), pp. 435–439.
ICDAR-2013-NafchiAMC #performance- An Efficient Ground Truthing Tool for Binarization of Historical Manuscripts (HZN, SMA, RFM, MC), pp. 807–811.
ICDAR-2013-OliveiraLTFT #algorithm #documentation #image #performance- An Efficient Algorithm for Segmenting Warped Text-Lines in Document Images (DMO, RDL, GT, JF, MT), pp. 250–254.
ICDAR-2013-PhamDBR #consistency #geometry #locality #performance #robust- Robust Symbol Localization Based on Junction Features and Efficient Geometry Consistency Checking (TAP, MD, SB, JYR), pp. 1083–1087.
ICDAR-2013-Saabni #distance #embedded #image #performance #retrieval #using #word- Efficient Word Image Retrieval Using Earth Movers Distance Embedded to Wavelets Coefficients Domain (RS), pp. 314–318.
PODS-2013-Kejlberg-RasmussenTTTY- I/O-efficient planar range skyline and attrition priority queues (CKR, YT, KT, KT, JY), pp. 103–114.
SIGMOD-2013-BorneaDKSDUB #database #performance #rdf #relational- Building an efficient RDF store over a relational database (MAB, JD, AK, KS, PD, OU, BB), pp. 121–132.
SIGMOD-2013-ChangYQLLL #component #composition #graph- Efficiently computing k-edge connected components via graph decomposition (LC, JXY, LQ, XL, CL, WL), pp. 205–216.
SIGMOD-2013-ChenCC #performance #query- An efficient query indexing mechanism for filtering geo-textual data (LC, GC, XC), pp. 749–760.
SIGMOD-2013-FinisBK0FM #named #performance #version control- DeltaNI: an efficient labeling scheme for versioned hierarchical data (JF, RB, AK, TN, FF, NM), pp. 905–916.
SIGMOD-2013-FujiwaraNSMO #ad hoc #performance #personalisation #rank- Efficient ad-hoc search for personalized PageRank (YF, MN, HS, TM, MO), pp. 445–456.
SIGMOD-2013-KimS #algorithm #approximate #performance #string- Efficient top-k algorithms for approximate substring matching (YK, KS), pp. 385–396.
SIGMOD-2013-TsytsarauAP #correlation #performance #scalability #sentiment- Efficient sentiment correlation for large-scale demographics (MT, SAY, TP), pp. 253–264.
SIGMOD-2013-ZhangYQCL #graph #performance- I/O efficient: computing SCCs in massive graphs (ZZ, JXY, LQ, LC, XL), pp. 181–192.
SIGMOD-2013-ZhengJPL #kernel #performance #quality #scalability- Quality and efficiency for kernel density estimates in large data (YZ, JJ, JMP, FL), pp. 433–444.
SIGMOD-2013-ZhuZQ #approach #graph #mining #performance- A direct mining approach to efficient constrained graph pattern discovery (FZ, ZZ, QQ), pp. 821–832.
VLDB-2013-0001SZL #performance- Efficient Recovery of Missing Events (JW, SS, XZ, XL), pp. 841–852.
VLDB-2013-0007TR #effectiveness #graph #keyword #performance #probability #query- Probabilistic Query Rewriting for Efficient and Effective Keyword Search on Graph Data (LZ, TT, AR), pp. 1642–1653.
VLDB-2013-AchakeevS #multi #performance- Efficient Bulk Updates on Multiversion B-trees (DA, BS), pp. 1834–1845.
VLDB-2013-Bress #gpu #hybrid #performance #query #why- Why it is time for a HyPE: A Hybrid Query Processing Engine for Efficient GPU Coprocessing in DBMS (SB), pp. 1398–1403.
VLDB-2013-CaoB #implementation #performance #quantifier #query #relational- Efficient Implementation of Generalized Quantification in Relational Query Languages (BC, AB), pp. 241–252.
VLDB-2013-EldawyM #framework #performance #pipes and filters- A Demonstration of SpatialHadoop: An Efficient MapReduce Framework for Spatial Data (AE, MFM), pp. 1230–1233.
VLDB-2013-KolaitisPT #consistency #database #integer #performance #programming #query- Efficient Querying of Inconsistent Databases with Binary Integer Programming (PGK, EP, WCT), pp. 397–408.
VLDB-2013-Kozak #performance #security #similarity- Efficiency and Security in Similarity Cloud Services (SK), pp. 1450–1455.
VLDB-2013-LiC #performance #query- Efficient Indexing for Diverse Query Results (LL, CYC), pp. 745–756.
VLDB-2013-LiKHYYS #clustering #memory management #performance #string- Memory Efficient Minimum Substring Partitioning (YL, PK, FH, SY, XY, SS), pp. 169–180.
VLDB-2013-Rao0HT #keyword #named #performance- Bitlist: New Full-text Index for Low Space Cost and Efficient Keyword Search (WR, LC, PH, ST), pp. 1522–1533.
VLDB-2013-XiaoQ0ITS #performance #query- Efficient Error-tolerant Query Autocompletion (CX, JQ, WW, YI, KT, KS), pp. 373–384.
VLDB-2013-ZhangHHL #architecture #cpu #gpu #named #parallel #performance #query #towards- OmniDB: Towards Portable and Efficient Query Processing on Parallel CPU/GPU Architectures (SZ, JH, BH, ML), pp. 1374–1377.
VLDB-2013-ZhengZF0Z #graph #performance #scalability #similarity- Efficient SimRank-based Similarity Join Over Large Graphs (WZ, LZ, YF, LC, DZ), pp. 493–504.
VLDB-2014-WangDTZ13 #approximate #effectiveness #n-gram #performance #sequence- Efficient and Effective KNN Sequence Search with Approximate n-grams (XW, XD, AKHT, ZZ), pp. 1–12.
VLDB-2014-YuLZCP13 #effectiveness- More is Simpler: Effectively and Efficiently Assessing Node-Pair Similarities Based on Hyperlinks (WY, XL, WZ, LC, JP), pp. 13–24.
TACAS-2013-WijsE #performance- Efficient Property Preservation Checking of Model Refinements (AW, LE), pp. 565–579.
ICPC-2013-SharafiMSAG #comprehension #empirical #performance #requirements #visual notation- An empirical study on the efficiency of graphical vs. textual representations in requirements comprehension (ZS, AM, AS, GA, YGG), pp. 33–42.
ICSM-2013-Kwon #automation #distributed #energy #execution #fault tolerance #re-engineering- Automated S/W Reengineering for Fault-Tolerant and Energy-Efficient Distributed Execution (YWK), pp. 582–585.
ICSM-2013-QiML #automation #performance #program repair #testing- Efficient Automated Program Repair through Fault-Recorded Testing Prioritization (YQ, XM, YL), pp. 180–189.
WCRE-2013-RaoMK #debugging #framework #incremental #library #locality #performance #retrieval- An incremental update framework for efficient retrieval from software libraries for bug localization (SR, HM, ACK), pp. 62–71.
SAS-2013-FouilheMP #abstract domain #correctness #generative #performance- Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra (AF, DM, MP), pp. 345–365.
STOC-2013-Ben-SassonCGT #on the #performance #proving- On the concrete efficiency of probabilistically-checkable proofs (EBS, AC, DG, ET), pp. 585–594.
STOC-2013-FeldmanFGL #performance- Simultaneous auctions are (almost) efficient (MF, HF, NG, BL), pp. 201–210.
STOC-2013-NaorRV #commutative #difference #performance- Efficient rounding for the noncommutative grothendieck inequality (AN, OR, TV), pp. 71–80.
STOC-2013-SyrgkanisT #composition #performance- Composable and efficient mechanisms (VS, ÉT), pp. 211–220.
ICALP-v1-2013-BelovsCJKM #3d #quantum- Time-Efficient Quantum Walks for 3-Distinctness (AB, AMC, SJ, RK, FM), pp. 105–122.
ICALP-v1-2013-BringmannF #generative #geometry #graph #performance #random- Exact and Efficient Generation of Geometric Random Variates and Random Graphs (KB, TF), pp. 267–278.
ICALP-v2-2013-CzerwinskiMM #performance #regular expression #sequence- Efficient Separability of Regular Languages by Subsequences and Suffixes (WC, WM, TM), pp. 150–161.
ICALP-v2-2013-HarrisMPRS #performance- Efficient Computation of Balanced Structures (DGH, EM, GP, PR, AS), pp. 581–593.
LATA-2013-HaberHMMR #performance #regular expression- Efficient Submatch Extraction for Practical Regular Expressions (SH, WH, PKM, MM, PR), pp. 323–334.
ICFP-2013-BernardyC #context-free grammar #divide and conquer #parsing #performance- Efficient divide-and-conquer parsing of practical context-free languages (JPB, KC), pp. 111–122.
GCM-J-2012-SmolenovaKC #graph grammar #parallel #performance- Parallel Graph Grammars with Instantiation Rules Allow Efficient Structural Factorization of Virtual Vegetation (KS, WK, PHC).
CHI-2013-JansenDF #performance #physics #visualisation- Evaluating the efficiency of physical visualizations (YJ, PD, JDF), pp. 2593–2602.
DUXU-CXC-2013-MakanawalaGGL #gamification #performance- Applying Gamification in Customer Service Application to Improve Agents’ Efficiency and Satisfaction (PM, JG, EG, HL), pp. 548–557.
DUXU-NTE-2013-ParkK #performance #representation- Efficient Information Representation Method for Driver-Centered AR-HUD System (HP, KhK), pp. 393–400.
DUXU-WM-2013-BohmS #design #energy #mobile #performance #smarttech- Smart Metering with Smartphones: User-Centered Design of a Mobile Application in the Context of Energy Efficiency (SB, LS), pp. 631–640.
DUXU-WM-2013-ShenP #performance- Re-thinking Bookmark Management — Less Choice Is More Efficient (STS, SDP), pp. 304–312.
HCI-AS-2013-HelmbrechtBV #adaptation #performance- Adaptations in Driving Efficiency with Electric Vehicles (MH, KB, RV), pp. 578–585.
HCI-UC-2013-UangL #design #development #process- The Development of an Innovative Design Process for Eco-efficient Green Products (STU, CLL), pp. 475–483.
HIMI-D-2013-McCaryZ #comparison #performance #user interface- GUI Efficiency Comparison Between Windows and Mac (EM, JZ), pp. 97–106.
EDOC-2013-MullerBHKP #database #enterprise #in memory #maintenance #performance- Efficient View Maintenance for Enterprise Applications in Columnar In-Memory Databases (SM, LB, KH, SK, HP), pp. 249–258.
CIKM-2013-BastB #performance #semantics- An index for efficient semantic full-text search (HB, BB), pp. 369–378.
CIKM-2013-DerakhshanSS #data type #performance #streaming- A new operator for efficient stream-relation join processing in data streaming engines (RD, AS, BS), pp. 793–798.
CIKM-2013-FinisRABKF #detection #flexibility #named #performance- RWS-Diff: flexible and efficient change detection in hierarchical data (JPF, MR, NA, RB, AK, FF), pp. 339–348.
CIKM-2013-GilpinQD #clustering #dataset #performance #scalability- Efficient hierarchical clustering of large high dimensional datasets (SG, BQ, ID), pp. 1371–1380.
CIKM-2013-ManiuC #performance #social- Network-aware search in social tagging applications: instance optimality versus efficiency (SM, BC), pp. 939–948.
CIKM-2013-MorishimaYTSK #dependence #performance #ranking #web- Efficient filtering and ranking schemes for finding inclusion dependencies on the web (AM, EY, MT, SS, HK), pp. 763–768.
CIKM-2013-MullangiR #named #performance #query #reachability #scalability- SCISSOR: scalable and efficient reachability query processing in time-evolving hierarchies (PRM, LR), pp. 799–804.
CIKM-2013-NguyenLT #code review #performance #set #using- Using micro-reviews to select an efficient set of reviews (TSN, HWL, PT), pp. 1067–1076.
CIKM-2013-PalBP #named #query- RCached-tree: an index structure for efficiently answering popular queries (MP, AB, DP), pp. 1173–1176.
CIKM-2013-ParameswaranKA #performance- Efficient parsing-based search over structured data (AGP, RK, AA), pp. 49–58.
CIKM-2013-ParkC #algorithm #graph #performance #pipes and filters #scalability- An efficient MapReduce algorithm for counting triangles in a very large graph (HMP, CWC), pp. 539–548.
CIKM-2013-YuanWJL #clustering #graph #performance #streaming- Efficient processing of streaming graphs for evolution-aware clustering (MY, KLW, GJS, YL), pp. 319–328.
CIKM-2013-ZhangLL #performance #privacy #robust #streaming- An efficient and robust privacy protection technique for massive streaming choice-based information (JZ, XL, YL), pp. 1169–1172.
CIKM-2013-ZhongLTZ #named #network #performance- G-tree: an efficient index for KNN search on road networks (RZ, GL, KLT, LZ), pp. 39–48.
ECIR-2013-AsadiL #documentation #modelling #performance #ranking- Training Efficient Tree-Based Models for Document Ranking (NA, JL), pp. 146–157.
ICML-c1-2013-AvronBTZ #analysis #canonical #correlation #performance #reduction- Efficient Dimensionality Reduction for Canonical Correlation Analysis (HA, CB, ST, AZ), pp. 347–355.
ICML-c1-2013-BalcanBEL #learning #performance- Efficient Semi-supervised and Active Learning of Disjunctions (NB, CB, SE, YL), pp. 633–641.
ICML-c1-2013-GonenSS #approach #learning #performance- Efficient Active Learning of Halfspaces: an Aggressive Approach (AG, SS, SSS), pp. 480–488.
ICML-c1-2013-PeleTGW #classification #performance- The Pairwise Piecewise-Linear Embedding for Efficient Non-Linear Classification (OP, BT, AG, MW), pp. 205–213.
ICML-c1-2013-RuvoloE #algorithm #learning #named #performance- ELLA: An Efficient Lifelong Learning Algorithm (PR, EE), pp. 507–515.
ICML-c1-2013-XiangTY #feature model #optimisation #performance- Efficient Sparse Group Feature Selection via Nonconvex Optimization (SX, XT, JY), pp. 284–292.
ICML-c3-2013-BiK #classification #multi #performance- Efficient Multi-label Classification with Many Labels (WB, JTYK), pp. 405–413.
ICML-c3-2013-BrechtelGD #incremental #learning #performance #representation- Solving Continuous POMDPs: Value Iteration with Incremental Learning of an Efficient Space Representation (SB, TG, RD), pp. 370–378.
ICML-c3-2013-BryanM #interactive #performance- An Efficient Posterior Regularized Latent Variable Model for Interactive Sound Source Separation (NJB, GJM), pp. 208–216.
ICML-c3-2013-JoseGAV #kernel #learning #performance #predict- Local Deep Kernel Learning for Efficient Non-linear SVM Prediction (CJ, PG, PA, MV), pp. 486–494.
ICML-c3-2013-VladymyrovC #performance- Entropic Affinities: Properties and Efficient Numerical Computation (MV, MÁCP), pp. 477–485.
ICML-c3-2013-WauthierJJ #performance #ranking- Efficient Ranking from Pairwise Comparisons (FLW, MIJ, NJ), pp. 109–117.
KDD-2013-ChenTTY #analysis #kernel #modelling #performance- Model-based kernel for efficient time series analysis (HC, FT, PT, XY), pp. 392–400.
KDD-2013-JhaSP #algorithm #performance #streaming #using- A space efficient streaming algorithm for triangle counting using the birthday paradox (MJ, CS, AP), pp. 589–597.
KDD-2013-KengneFTIRWS #execution #multi #scalability #sequence- Efficiently rewriting large multimedia application execution traces with few event sequences (CKK, LCF, AT, NI, MCR, TW, MS), pp. 1348–1356.
KDD-2013-YangWFZWY #algorithm #multi #performance #problem- An efficient ADMM algorithm for multidimensional anisotropic total variation regularization problems (SY, JW, WF, XZ, PW, JY), pp. 641–649.
KDD-2013-ZhuXWL #distance #graph #performance #query #scalability- Efficient single-source shortest path and distance queries on large graphs (ADZ, XX, SW, WL), pp. 998–1006.
KDD-2013-ZimekGCS #detection #effectiveness #performance- Subsampling for efficient and effective unsupervised outlier detection ensembles (AZ, MG, RJGBC, JS), pp. 428–436.
KEOD-2013-LinnenbergMCSF #automation #energy #evaluation #lightweight #named #ontology #performance- OntoENERGY — A Lightweight Ontology for Supporting Energy-efficiency Tasks — Enabling Generic Evaluation of Energy Efficiency in the Engineering Phase of Automated Manufacturing Plants (TL, AWM, LC, CS, AF), pp. 337–344.
MLDM-2013-AllahSG #algorithm #array #dataset #mining #performance #scalability- An Efficient and Scalable Algorithm for Mining Maximal — High Confidence Rules from Microarray Dataset (WZAA, YKES, FFMG), pp. 352–366.
MLDM-2013-GaoD #data mining #distributed #mining #performance #using- Improving the Efficiency of Distributed Data Mining Using an Adjustment Work Flow (JG, JD), pp. 69–83.
MLDM-2013-PrieditisL #bound #classification #performance #problem #using- When Classification becomes a Problem: Using Branch-and-Bound to Improve Classification Efficiency (AP, ML), pp. 466–480.
RecSys-2013-Aiolli #dataset #performance #recommendation #scalability- Efficient top-n recommendation for very large scale binary rated datasets (FA), pp. 273–280.
SEKE-2013-Bouzar-BenlabiodBB #correlation #performance #process- An efficient QCL-based alert correlation process (LBB, SB, TBT), pp. 388–393.
SEKE-2013-LiuWL #analysis #detection #named #online #performance #pointer- ELCD: an efficient online cycle detection technique for pointer analysis (FL, LW, BL), pp. 606–611.
SIGIR-2013-AsadiL #architecture #effectiveness #generative #multi #performance #retrieval #trade-off- Effectiveness/efficiency tradeoffs for candidate generation in multi-stage retrieval architectures (NA, JL), pp. 997–1000.
SIGIR-2013-CambazogluB #challenge #performance #scalability #web- Scalability and efficiency challenges in commercial web search engines (BBC, RABY), p. 1124.
SIGIR-2013-DemidovaZN #performance #query #scalability- Efficient query construction for large scale data (ED, XZ, WN), pp. 573–582.
SIGIR-2013-WuF #approach #feedback #incremental #performance #pseudo- An incremental approach to efficient pseudo-relevance feedback (HW, HF), pp. 553–562.
ICMT-2013-LepperT #performance #validation- Fragmented Validation: A Simple and Efficient Contribution to XSLT Checking (Extended Abstract) (ML, BTyW), pp. 54–55.
ICMT-2013-RentschlerNHR #interactive #maintenance #model transformation #performance #visual notation- Interactive Visual Analytics for Efficient Maintenance of Model Transformations (AR, QN, LH, RHR), pp. 141–157.
OOPSLA-2013-BondKCZSBSH #dependence #named #thread- OCTET: capturing and controlling cross-thread dependences efficiently (MDB, MK, MC, MZ, MFS, SB, AS, JH), pp. 693–712.
OOPSLA-2013-Deng0L #detection #performance- Efficient concurrency-bug detection across inputs (DD, WZ, SL), pp. 785–802.
OOPSLA-2013-HuangB #analysis #context-sensitive grammar #memory management #performance- Efficient context sensitivity for dynamic analyses via calling context uptrees and customized memory management (JH, MDB), pp. 53–72.
OOPSLA-2013-KansalSBMMZ #abstraction #energy #latency #mobile #performance- The latency, accuracy, and battery (LAB) abstraction: programmer productivity and energy efficiency for continuous mobile context sensing (AK, TSS, AJBB, KSM, TM, RZ), pp. 661–676.
OOPSLA-2013-RavichandranP #distributed #multi #named- Multiverse: efficiently supporting distributed high-level speculation (KR, SP), pp. 533–552.
GPCE-2013-Richard-FoyBJ #abstraction #performance #programming #web- Efficient high-level abstractions for web programming (JRF, OB, JMJ), pp. 53–60.
PPDP-2013-PinoBV #concurrent #confluence #constraints #equivalence #performance #programming- Efficient computation of program equivalence for confluent concurrent constraint programming (LFP, FB, FDV), pp. 263–274.
PADL-2013-0004R #implementation #on the #performance- On the Efficient Implementation of Mode-Directed Tabling (JS, RR), pp. 141–156.
PADL-2013-Moura #implementation #induction #logic programming #performance- A Portable and Efficient Implementation of Coinductive Logic Programming (PM), pp. 77–92.
SAC-2013-BifetPRH #adaptation #classification #data type #performance #probability- Efficient data stream classification via probabilistic adaptive windows (AB, BP, JR, GH), pp. 801–806.
SAC-2013-JangKRLSKPC #api #comparison #performance #similarity- An efficient similarity comparison based on core API calls (MJ, JK, SR, KL, SS, AK, YP, EHC), pp. 1634–1638.
SAC-2013-LakhlefMB #algorithm #configuration management #distributed #performance #self- Distributed and efficient algorithm for self-reconfiguration of MEMS microrobots (HL, HM, JB), pp. 560–566.
SAC-2013-LeitaoC #adaptation #detection #optimisation #performance #using #xml- Efficient XML duplicate detection using an adaptive two-level optimization (LL, PC), pp. 832–837.
SAC-2013-MaiaB #modelling #network #performance #predict #query- Sensor-field modeling based on in-network data prediction: an efficient strategy for answering complex queries in wireless sensor networks (JEBM, AB), pp. 554–559.
SAC-2013-SaitoRFSG #approach #image #performance #reduction- A data reduction and organization approach for efficient image annotation (PTMS, PJdR, AXF, CTNS, JFG), pp. 53–57.
SAC-2013-SimaoV- A progress and profile-driven cloud-VM for resource-efficiency and fairness in e-science environments (JS, LV), pp. 357–362.
SAC-2013-TeodoroCF #energy #performance #scheduling- Energy efficiency management in computational grids through energy-aware scheduling (ST, ABdC, LGF), pp. 1163–1168.
SAC-2013-ZagareseCZAPB #data-driven #interactive #performance- Efficient data-intensive event-driven interaction in SOA (QZ, GC, EZ, IA, LP, FB), pp. 1907–1912.
ESEC-FSE-2013-BeyerLNSW #performance #precise #reuse #verification- Precision reuse for efficient regression verification (DB, SL, EN, AS, PW), pp. 389–399.
ESEC-FSE-2013-PetkeYCH #combinator #detection #fault #interactive #performance #testing- Efficiency and early fault detection with lower and higher strength combinatorial interaction testing (JP, SY, MBC, MH), pp. 26–36.
ICSE-2013-FeldthausSSDT #approximate #graph #ide #javascript #performance- Efficient construction of approximate call graphs for JavaScript IDE services (AF, MS, MS, JD, FT), pp. 752–761.
ICSE-2013-HeymansLC #assurance #performance #quality #variability- Efficient quality assurance of variability-intensive systems (PH, AL, MC), pp. 1496–1498.
ICSE-2013-Jonsson #machine learning #performance #scalability #using- Increasing anomaly handling efficiency in large organizations using applied machine learning (LJ), pp. 1361–1364.
ICSE-2013-LeeCJ #performance #program transformation #refactoring- Drag-and-drop refactoring: intuitive and efficient program transformation (YYL, NC, REJ), pp. 23–32.
ICSE-2013-SnipesANM #developer #performance #towards- Towards recognizing and rewarding efficient developer work patterns (WS, VA, ARN, ERMH), pp. 1277–1280.
ICSE-2013-ThummalapentaDSCGNS #automation #case study #industrial #performance #testing- Efficient and change-resilient test automation: an industrial case study (ST, PD, SS, SC, SG, DDN, SS), pp. 1002–1011.
ICSE-2013-TianD #detection #model checking- Detecting spurious counterexamples efficiently in abstract model checking (CT, ZD), pp. 202–211.
ASPLOS-2013-MittalBBS #architecture #embedded #performance- Efficient virtualization on embedded power architecture® platforms (AM, DB, SB, VS), pp. 445–458.
ASPLOS-2013-SungKA #hardware #named #nondeterminism #performance- DeNovoND: efficient hardware support for disciplined non-determinism (HS, RK, SVA), pp. 13–26.
ASPLOS-2013-WangW #hardware #named #optimisation #performance- TSO_ATOMICITY: efficient hardware primitive for TSO-preserving region optimizations (CW, YW), pp. 509–520.
CC-2013-BraunBHLMZ #performance- Simple and Efficient Construction of Static Single Assignment Form (MB, SB, SH, RL, CM, AZ), pp. 102–122.
CC-2013-KastrinisS #analysis #effectiveness #exception #java #performance #points-to- Efficient and Effective Handling of Exceptions in Java Points-to Analysis (GK, YS), pp. 41–60.
CGO-2013-BardizbanyanGWSLMS #data access #performance #using- Improving data access efficiency by using a tagless access buffer (TAB) (AB, PG, DBW, MS, PLE, SAM, PS), p. 11.
CGO-2013-JeonGT #named #performance #program analysis- Skadu: Efficient vector shadow memories for poly-scopic program analysis (DJ, SG, MBT), p. 12.
HPCA-2013-Abdel-MajeedA #performance- Warped register file: A power efficient register file for GPGPUs (MAM, MA), pp. 412–423.
HPCA-2013-CragoALP #energy #hybrid #latency #parallel #robust- Hybrid latency tolerance for robust energy-efficiency on 1000-core data parallel processors (NCC, OA, SSL, SJP), pp. 294–305.
HPCA-2013-GilaniKS #power management- Power-efficient computing for compute-intensive GPGPU applications (SZG, NSK, MJS), pp. 330–341.
HPCA-2013-HamCXL #energy #memory management- Disintegrated control for energy-efficient and heterogeneous memory systems (TJH, BKC, NX, BCL), pp. 424–435.
HPCA-2013-KarpuzcuSKT #energy #named #towards- EnergySmart: Toward energy-efficient manycores for Near-Threshold Computing (URK, AAS, NSK, JT), pp. 542–553.
HPCA-2013-QianHSQ #dependence #memory management #named #parallel #performance- Rainbow: Efficient memory dependence recording with high replay parallelism for relaxed memory model (XQ, HH, BS, DQ), pp. 554–565.
HPCA-2013-RhuE #control flow #execution #gpu #performance- The dual-path execution model for efficient GPU control flow (MR, ME), pp. 591–602.
HPCA-2013-SamihWKMTS #energy- Energy-efficient interconnect via Router Parking (AS, RW, AK, CM, TYCT, YS), pp. 508–519.
HPCA-2013-ZhuR #energy #mobile #web- High-performance and energy-efficient mobile web browsing on big/little systems (YZ, VJR), pp. 13–24.
HPDC-2013-KassaN #architecture #named #performance #retrieval- SCDA: SLA-aware cloud datacenter architecture for efficient content storage and retrieval (DFK, KN), pp. 121–122.
HPDC-2013-SajjapongseWB #clustering #multi #runtime- A preemption-based runtime to efficiently schedule multi-process applications on heterogeneous clusters with GPUs (KS, XW, MB), pp. 179–190.
HPDC-2013-YinLBGN #dataset #order #performance #pipes and filters #using- Efficient analytics on ordered datasets using MapReduce (JY, YL, MB, LG, AN), pp. 125–126.
LCTES-2013-ChenY #comparison #detection #fault #performance- Boosting efficiency of fault detection and recovery throughapplication-specific comparison and checkpointing (HC, CY), pp. 13–20.
LCTES-2013-FinlaysonDGUWST #performance #pipes and filters- Improving processor efficiency by statically pipelining instructions (IF, BD, PG, GRU, DBW, MS, GST), pp. 33–44.
PPoPP-2013-FriedleyHBLM #distributed #manycore #memory management #performance #programming- Ownership passing: efficient distributed memory programming on multi-core systems (AF, TH, GB, AL, CCM), pp. 177–186.
PPoPP-2013-LePCN #memory management #modelling #performance- Correct and efficient work-stealing for weak memory models (NML, AP, AC, FZN), pp. 69–80.
PPoPP-2013-LuZWZ0 #multi #named #performance #thread- RaceFree: an efficient multi-threading model for determinism (KL, XZ, XW, WZ, GL), pp. 297–298.
PPoPP-2013-YuB #automaton #performance #regular expression- Exploring different automata representations for efficient regular expression matching on GPUs (XY, MB), pp. 287–288.
CAV-2013-AlglaveKT #bound #concurrent #model checking #partial order #performance- Partial Orders for Efficient Bounded Model Checking of Concurrent Software (JA, DK, MT), pp. 141–157.
CAV-2013-CernyHRRT #concurrent #performance #semantics #synthesis- Efficient Synthesis for Concurrency by Semantics-Preserving Transformations (PC, TAH, AR, LR, TT), pp. 951–967.
CAV-2013-DonzeFM #monitoring #performance #robust- Efficient Robust Monitoring for STL (AD, TF, OM), pp. 264–279.
CAV-2013-VizelRN #generative #performance- Efficient Generation of Small Interpolants in CNF (YV, VR, AN), pp. 330–346.
ICST-2013-FarooqQA #effectiveness #empirical #performance #testing- A Controlled Experiment to Evaluate Effectiveness and Efficiency of Three Software Testing Methods (SUF, SMKQ, NA), pp. 493–494.
ICST-2013-MirshokraieMP #javascript #mutation testing #performance #testing- Efficient JavaScript Mutation Testing (SM, AM, KP), pp. 74–83.
ICST-2013-YuLBKK #algorithm #combinator #constraints #generative #performance #testing- An Efficient Algorithm for Constraint Handling in Combinatorial Test Generation (LY, YL, MNB, RK, DRK), pp. 242–251.
ISSTA-2013-DevakiTSS #execution #flexibility #performance #user interface- Efficient and flexible GUI test execution via test merging (PD, ST, NS, SS), pp. 34–44.
SAT-2013-LonsingEG #learning #performance #pseudo #quantifier- Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation (FL, UE, AVG), pp. 100–115.
VMCAI-2013-KhalimovJB #performance #synthesis #towards- Towards Efficient Parameterized Synthesis (AK, SJ, RB), pp. 108–127.
CASE-2012-HansenOMO #approach #energy #generative #industrial- Enhanced approach for energy-efficient trajectory generation of industrial robots (CH, JÖ, DM, TO), pp. 1–7.
CASE-2012-MeikePBVR #energy #industrial #multi #performance- Increasing the energy efficiency of multi-robot production lines in the automotive industry (DM, MP, GB, AV, LR), pp. 700–705.
CASE-2012-NazeemR #algorithm #performance #resource management- An efficient algorithm for the enumeration of the minimal unsafe states in complex resource allocation systems (AN, SAR), pp. 686–693.
CASE-2012-NilakantanP #assembly #performance #problem- An efficient PSO for type II robotic assembly line balancing problem (JMN, SGP), pp. 600–605.
CASE-2012-WangW #energy #performance- Occupancy pattern based intelligent control for improving energy efficiency in buildings (ZW, LW), pp. 804–809.
CASE-2012-ZhangLCCJ #set #simulation- An improved simulation budget allocation procedure to efficiently select the optimal subset of many alternatives (SZ, LHL, EPC, CHC, HYJ), pp. 230–236.
DAC-2012-ChangH #power management- Near-threshold operation for power-efficient computing?: it depends.. (LC, WH), pp. 1159–1163.
DAC-2012-DonohooOPA #embedded #energy #mobile- Exploiting spatiotemporal and device contexts for energy-efficient mobile embedded systems (BKD, CO, SP, CA), pp. 1278–1283.
DAC-2012-ForoutanSP #3d #interface #low cost #using- Cost-efficient buffer sizing in shared-memory 3D-MPSoCs using wide I/O interfaces (SF, AS, FP), pp. 366–375.
DAC-2012-KuoHCKC #design #monte carlo #performance- Efficient trimmed-sample Monte Carlo methodology and yield-aware design flow for analog circuits (CCK, WYH, YHC, JFK, YKC), pp. 1113–1118.
DAC-2012-LiuARVG #component #multi #performance #synthesis- Efficient multi-objective synthesis for microwave components based on computational intelligence techniques (BL, HA, SR, GAEV, GGEG), pp. 542–548.
DAC-2012-LiuCL #algorithm #multi #performance- An efficient algorithm for multi-layer obstacle-avoiding rectilinear Steiner tree construction (CHL, ICC, DTL), pp. 613–622.
DAC-2012-MeirR #analysis #biology #named #network #performance #using- BLAST: efficient computation of nonlinear delay sensitivities in electronic and biological networks using barycentric Lagrange enabled transient adjoint analysis (AM, JSR), pp. 301–310.
DAC-2012-MengKC #3d #constraints #energy #manycore #optimisation #performance- Optimizing energy efficiency of 3-D multicore systems with stacked DRAM under power and thermal constraints (JM, KK, AKC), pp. 648–655.
DAC-2012-ParkGMRR #architecture #design #energy #performance #using- Future cache design using STT MRAMs for improved energy efficiency: devices, circuits and architecture (SPP, SKG, NNM, AR, KR), pp. 492–497.
DAC-2012-SartoriK #compilation #energy #performance- Compiling for energy efficiency on timing speculative processors (JS, RK), pp. 1301–1308.
DAC-2012-SuYZ #named #order #performance #reduction- AMOR: an efficient aggregating based model order reduction method for many-terminal interconnect circuits (YS, FY, XZ), pp. 295–300.
DAC-2012-WangW #algorithm #memory management #performance- Observational wear leveling: an efficient algorithm for flash memory management (CW, WFW), pp. 235–242.
DAC-2012-ZhangWCHL #fine-grained #multi #performance- Heterogeneous multi-channel: fine-grained DRAM control for both system performance and power efficiency (GZ, HW, XC, SH, PL), pp. 876–881.
DAC-2012-ZhaoF #on the fly #performance #simulation #towards- Towards efficient SPICE-accurate nonlinear circuit simulation with on-the-fly support-circuit preconditioners (XZ, ZF), pp. 1119–1124.
DATE-2012-0002EGB #performance #using- Area efficient asynchronous SDM routers using 2-stage Clos switches (WS, DAE, JDG, WJB), pp. 1495–1500.
DATE-2012-BartoliniSFCB #energy #performance #scalability- Quantifying the impact of frequency scaling on the energy efficiency of the single-chip cloud computer (AB, MS, JNF, AKC, LB), pp. 181–186.
DATE-2012-BeniniFFM #composition #ecosystem #embedded #named #scalability- P2012: Building an ecosystem for a scalable, modular and high-efficiency embedded computing accelerator (LB, EF, DF, DM), pp. 983–987.
DATE-2012-ChenCHLLPR #configuration management #design #energy #hybrid- Dynamically reconfigurable hybrid cache: An energy-efficient last-level cache design (YTC, JC, HH, BL, CL, MP, GR), pp. 45–50.
DATE-2012-DangWTLYW #energy #named #performance- S/DC: A storage and energy efficient data prefetcher (XD, XW, DT, JL, JY, KW), pp. 461–466.
DATE-2012-DonnoFSPB #energy #performance- Mechatronic system for energy efficiency in bus transport (MD, AF, AS, PP, AB), pp. 342–343.
DATE-2012-HankendiC #energy #parallel #performance- Reducing the energy cost of computing through efficient co-scheduling of parallel workloads (CH, AKC), pp. 994–999.
DATE-2012-LiH #analysis #logic #named #performance #reliability- RAG: An efficient reliability analysis of logic circuits on graphics processing units (ML, MSH), pp. 316–319.
DATE-2012-LvKE #multi #performance #reduction #verification- Efficient Gröbner basis reductions for formal verification of galois field multipliers (JL, PK, FE), pp. 899–904.
DATE-2012-MahmoodSD #framework #linear #modelling #multi #performance- An efficient framework for passive compact dynamical modeling of multiport linear systems (ZM, RS, LD), pp. 1203–1208.
DATE-2012-MengC #3d #analysis #energy #performance #runtime- Analysis and runtime management of 3D systems with stacked DRAM for boosting energy efficiency (JM, AKC), pp. 611–616.
DATE-2012-PattiAAOCJJM #energy #middleware #network #performance- Middleware services for network interoperability in smart energy efficient buildings (EP, AA, FA, AO, AC, MJ, MJ, EM), pp. 338–339.
DATE-2012-ShafiqueZRKH #adaptation #power management- Power-efficient error-resiliency for H.264/AVC Context-Adaptive Variable Length Coding (MS, BZ, SR, FK, JH), pp. 697–702.
DATE-2012-Shahid #estimation #performance- Cross entropy minimization for efficient estimation of SRAM failure rate (MAS), pp. 230–235.
DATE-2012-SinkarWK #manycore #optimisation #performance- Workload-aware voltage regulator optimization for power efficient multi-core processors (AAS, HW, NSK), pp. 1134–1137.
DATE-2012-TabkhiS #approach #power management- Application-specific power-efficient approach for reducing register file vulnerability (HT, GS), pp. 574–577.
DATE-2012-TanLXTC #branch #energy #predict #stack- Energy-efficient branch prediction with Compiler-guided History Stack (MT, XL, ZX, DT, XC), pp. 449–454.
DATE-2012-VatajeluF #evaluation #parametricity #performance #reliability- Efficiency evaluation of parametric failure mitigation techniques for reliable SRAM operation (EIV, JF), pp. 1343–1348.
DATE-2012-WangLLZLSCY #architecture- A compression-based area-efficient recovery architecture for nonvolatile processors (YW, YL, YL, DZ, SL, BS, MFC, HY), pp. 1519–1524.
DATE-2012-WeisLBW #3d #energy #performance- An energy efficient DRAM subsystem for 3D integrated SoCs (CW, IL, LB, NW), pp. 1138–1141.
DATE-2012-XuYCJW #3d #performance- Efficient variation-aware EM-semiconductor coupled solver for the TSV structures in 3D IC (YX, WY, QC, LJ, NW), pp. 1409–1412.
DATE-2012-ZhengLGBYC #communication #configuration management #power management- Power-efficient calibration and reconfiguration for on-chip optical communication (YZ, PL, MG, JB, SY, KTC), pp. 1501–1506.
DRR-2012-ChazalonC #analysis #documentation #interactive #performance- Iterative analysis of document collections enables efficient human-initiated interaction (JC, BC).
DRR-2012-CoetzerSS #collaboration #human-computer #performance #verification- Efficient cost-sensitive human-machine collaboration for offline signature verification (JC, JPS, RS).
DRR-2012-NagyT #named #performance #verification- VeriClick: an efficient tool for table format verification (GN, MT).
HT-2012-HelicKGST #folksonomy #performance- Navigational efficiency of broad vs. narrow folksonomies (DH, CK, MG, MS, CT), pp. 63–72.
PODS-2012-BarceloLR #approximate #performance #query- Efficient approximations of conjunctive queries (PB, LL, MR), pp. 249–260.
PODS-2012-McGregorPTW #estimation #statistics- Space-efficient estimation of statistics over sub-sampled streams (AM, AP, ST, DPW), pp. 273–282.
PODS-2012-Nekrich #category theory- Space-efficient range reporting for categorical data (YN), pp. 113–120.
PODS-2012-TirthapuraW #data type- Rectangle-efficient aggregation in spatial data streams (ST, DPW), pp. 283–294.
SIGMOD-2012-AlagiannisBBIA #execution #named #performance #query- NoDB: efficient query execution on raw data files (IA, RB, MB, SI, AA), pp. 241–252.
SIGMOD-2012-ChengKCC #approach #distance #graph #performance #query #scalability- Efficient processing of distance queries in large graphs: a vertex cover approach (JC, YK, SC, CC), pp. 457–468.
SIGMOD-2012-HellingsFH #bisimulation #graph #performance- Efficient external-memory bisimulation on DAGs (JH, GHLF, HJH), pp. 553–564.
SIGMOD-2012-KimPSLDC #clustering #distributed #named #performance #ram #scalability- CloudRAMSort: fast and efficient large-scale distributed RAM sort on shared-nothing cluster (CK, JP, NS, HL, PD, JC), pp. 841–850.
SIGMOD-2012-ManiuC #collaboration #named #network #performance #personalisation- Taagle: efficient, personalized search in collaborative tagging networks (SM, BC), pp. 661–664.
SIGMOD-2012-MondalD #graph #scalability- Managing large dynamic graphs efficiently (JM, AD), pp. 145–156.
SIGMOD-2012-SarmaLGMH #performance #scalability- Efficient spatial sampling of large geographical tables (ADS, HL, HG, JM, AYH), pp. 193–204.
SIGMOD-2012-SikkaFLCPB #database #performance #transaction- Efficient transaction processing in SAP HANA database: the end of a column store myth (VS, FF, WL, SKC, TP, CB), pp. 731–742.
SIGMOD-2012-ZhuLZZY #named #similarity- TreeSpan: efficiently computing similarity all-matching (GZ, XL, KZ, WZ, JXY), pp. 529–540.
VLDB-2012-CaoCJNOPW #named #performance #retrieval #web- SWORS: A System for the Efficient Retrieval of Relevant Spatial Web Objects (XC, GC, CSJ, JJN, BCO, NTP, DW), pp. 1914–1917.
VLDB-2012-ChubakR #performance #query- Efficient Indexing and Querying over Syntactically Annotated Trees (PC, DR), pp. 1316–1327.
VLDB-2012-DittrichQ #big data #performance #pipes and filters- Efficient Big Data Processing in Hadoop MapReduce (JD, JAQR), pp. 2014–2015.
VLDB-2012-EndrullisTR #named #performance #web- WETSUIT: An Efficient Mashup Tool for Searching and Fusing Web Entities (SE, AT, ER), pp. 1970–1973.
VLDB-2012-GoodrichNOPTTL #authentication #crawling #performance #verification #web- Efficient Verification of Web-Content Searching Through Authenticated Web Crawlers (MTG, DN, OO, CP, RT, NT, CVL), pp. 920–931.
VLDB-2012-KolbTR #named #performance- Dedoop: Efficient Deduplication with Hadoop (LK, AT, ER), pp. 1878–1881.
VLDB-2012-LangHPST #clustering #database #design #energy #towards- Towards Energy-Efficient Database Cluster Design (WL, SH, JMP, MAS, DT), pp. 1684–1695.
VLDB-2012-LuSCO #nearest neighbour #performance #pipes and filters #using- Efficient Processing of k Nearest Neighbor Joins using MapReduce (WL, YS, SC, BCO), pp. 1016–1027.
VLDB-2012-Shirani-MehrKS #dataset #evaluation #performance #query #reachability #scalability- Efficient Reachability Query Evaluation in Large Spatiotemporal Contact Datasets (HSM, FBK, CS), pp. 848–859.
VLDB-2012-SunWWSL #graph #performance- Efficient Subgraph Matching on Billion Node Graphs (ZS, HW, HW, BS, JL), pp. 788–799.
VLDB-2012-YuanWCW #database #graph #performance #probability #scalability #similarity- Efficient Subgraph Similarity Search on Large Probabilistic Graph Databases (YY, GW, LC, HW), pp. 800–811.
VLDB-2012-ZhangCW #multi #performance #pipes and filters #using- Efficient Multi-way Theta-Join Processing Using MapReduce (XZ, LC, MW), pp. 1184–1195.
VLDB-2012-ZhuKA #effectiveness #framework #performance #retrieval #sequence- A Generic Framework for Efficient and Effective Subsequence Retrieval (HZ, GK, VA), pp. 1579–1590.
ESOP-2012-FajstrupGHMR #performance #reduction- Trace Spaces: An Efficient New Technique for State-Space Reduction (LF, EG, EH, SM, MR), pp. 274–294.
TACAS-2012-LengalSV #automaton #library #named #nondeterminism #performance- VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata (OL, JS, TV), pp. 79–94.
CSMR-2012-JelschenGJPW #energy #re-engineering #towards- Towards Applying Reengineering Services to Energy-Efficient Applications (JJ, MG, MJ, CP, AW), pp. 353–358.
ICSM-2012-CorazzaMM #approach #identifier #named #performance- LINSEN: An efficient approach to split identifiers and expand abbreviations (AC, SDM, VM), pp. 233–242.
ICSM-2012-QiML #automation #performance #scalability #source code #using- Making automatic repair for large-scale programs more efficient using weak recompilation (YQ, XM, YL), pp. 254–263.
WCRE-2012-AlomariCM #approach #performance #scalability #slicing- A Very Efficient and Scalable Forward Static Slicing Approach (HWA, MLC, JIM), pp. 425–434.
PLDI-2012-KuznetsovKBC #execution #performance #symbolic computation- Efficient state merging in symbolic execution (VK, JK, SB, GC), pp. 193–204.
SAS-2012-LeePMH #analysis #parallel #performance- Efficient May Happen in Parallel Analysis for Async-Finish Parallelism (JKL, JP, RM, HH), pp. 5–23.
FLOPS-2012-Uustalu #performance- Explicit Binds: Effortless Efficiency with and without Trees (TU), pp. 317–331.
CIAA-2012-LiuSGF #automaton #named #regular expression- SDFA: Series DFA for Memory-Efficient Regular Expression Matching (TL, YS, LG, BF), pp. 337–344.
ICALP-v1-2012-AzarG #constraints #linear #performance- Efficient Submodular Function Maximization under Linear Packing Constraints (YA, IG), pp. 38–50.
ICALP-v1-2012-BringmannP #performance- Efficient Sampling Methods for Discrete Distributions (KB, KP), pp. 133–144.
ICALP-v1-2012-RabinMMY #performance #strict #transaction #validation- Strictly-Black-Box Zero-Knowledge and Efficient Validation of Financial Transactions (MOR, YM, SM, MY), pp. 738–749.
ICALP-v2-2012-DiakonikolasPPS #trade-off- Efficiency-Revenue Trade-Offs in Auctions (ID, CHP, GP, YS), pp. 488–499.
LATA-2012-BolligP #algorithm #performance- An Efficient Implicit OBDD-Based Algorithm for Maximal Matchings (BB, TP), pp. 143–154.
FM-2012-BarringerFHRR #automaton #monitoring #performance #quantifier #runtime #towards- Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors (HB, YF, KH, GR, DER), pp. 68–84.
FM-2012-NedunuriSC #algorithm #performance- Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms (SN, DRS, WRC), pp. 308–325.
FM-2012-SongT #detection #model checking #performance #using- Efficient Malware Detection Using Model-Checking (FS, TT), pp. 418–433.
SEFM-2012-OuchaniMD #abstraction #diagrams #performance #probability #process- Efficient Probabilistic Abstraction for SysML Activity Diagrams (SO, OAM, MD), pp. 263–277.
ICFP-2012-LaunchburyDDA #multi #performance #protocol- Efficient lookup-table protocol in secure multiparty computation (JL, ISD, TD, AAM), pp. 189–200.
ICFP-2012-LippmeierCKLJ #higher-order #performance- Work efficient higher-order vectorisation (BL, MMTC, GK, RL, SLPJ), pp. 259–270.
ICFP-2012-Siederdissen #combinator #performance #programming- Sneaking around concatMap: efficient combinators for dynamic programming (CHzS), pp. 215–226.
GRAPHITE-2012-KantP #equation #game studies #performance- Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games (GK, JvdP), pp. 50–65.
ICGT-2012-BergmannRSTV #incremental #pattern matching #performance #transitive- Incremental Pattern Matching for the Efficient Computation of Transitive Closure (GB, IR, TS, PT, DV), pp. 386–400.
ICGT-2012-BlumeBEK #automaton #graph #implementation #invariant #performance- Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking (CB, HJSB, DE, BK), pp. 264–278.
ICGT-2012-LauderAVS #graph grammar #performance #precedence- Efficient Model Synchronization with Precedence Triple Graph Grammars (ML, AA, GV, AS), pp. 401–415.
AdaEurope-2012-PolzlbauerBB #constraints #design #performance #realtime #reliability- Efficient Constraint Handling during Designing Reliable Automotive Real-Time Systems (FP, IB, EB), pp. 207–220.
HILT-2012-Kirtchev #compilation #implementation #performance #robust- A new robust and efficient implementation of controlled types in the GNAT compiler (HHK), pp. 43–50.
CAiSE-2012-MaggiBA #declarative #modelling #performance #process- Efficient Discovery of Understandable Declarative Process Models from Event Logs (FMM, RPJCB, WMPvdA), pp. 270–285.
EDOC-2012-MohebiDC #performance #requirements- Efficient QoS-based Service Selection with Consideration of User Requirements (AM, C(D, CHC), pp. 183–190.
ICEIS-J-2012-PolasikGWKPT12a #empirical #mobile #performance- Time Efficiency of Point-of-Sale Payment Methods: Empirical Results for Cash, Cards and Mobile Payments (MP, JG, GW, JK, KP, NT), pp. 306–320.
ICEIS-v1-2012-BrzostowskiK #multi #performance #protocol- Efficient Multi-alternative Protocol for Multi-attribute Agent Negotiation (JB, RK), pp. 247–252.
ICEIS-v1-2012-RudraGA #approximate #performance #query- An Efficient Sampling Scheme for Approximate Processing of Decision Support Queries (AR, RPG, NA), pp. 16–26.
ICEIS-v3-2012-CarvalhoRACJDM #energy #network #performance #policy #towards- Towards Sustainable Networks — Energy Efficiency Policy from Business to Device Instance Levels (TCMBC, ACR, MA, CHAC, GCJ, CKD, CM), pp. 238–243.
CIKM-2012-ArvanitisDV #performance #query #research- Efficient influence-based processing of market research queries (AA, AD, YV), pp. 1193–1202.
CIKM-2012-BahmaniGS #distributed #locality #performance- Efficient distributed locality sensitive hashing (BB, AG, RS), pp. 2174–2178.
CIKM-2012-BaoKWZS #performance #query #relational- Efficient provenance storage for relational queries (ZB, HK, LW, XZ, SWS), pp. 1352–1361.
CIKM-2012-DengSZ #analysis #documentation #performance #scalability- Efficient jaccard-based diversity analysis of large document collections (FD, SS, SZ), pp. 1402–1411.
CIKM-2012-HuangLTF #keyword #performance #query- Efficient safe-region construction for moving top-K spatial keyword queries (WH, GL, KLT, JF), pp. 932–941.
CIKM-2012-KimC #approximate #composition #dependence #functional #performance- Decomposition-by-normalization (DBN): leveraging approximate functional dependencies for efficient tensor decomposition (MK, KSC), pp. 355–364.
CIKM-2012-KoenigsteinRS #framework #matrix #performance #recommendation #retrieval- Efficient retrieval of recommendations in a matrix factorization framework (NK, PR, YS), pp. 535–544.
CIKM-2012-LiangZ #classification #performance- An efficient and simple under-sampling technique for imbalanced time series classification (GL, CZ), pp. 2339–2342.
CIKM-2012-LiCLP #corpus #ontology #performance- Efficient extraction of ontologies from domain specific text corpora (TL, PC, LVSL, RP), pp. 1537–1541.
CIKM-2012-LinTCXS #effectiveness #performance #sentiment #using- Effective and efficient?: bilingual sentiment lexicon extraction using collocation alignment (ZL, ST, XC, XX, WS), pp. 1542–1546.
CIKM-2012-LinXCB #algorithm #performance #query- Efficient algorithms for generalized subgraph query processing (WL, XX, JC, SSB), pp. 325–334.
CIKM-2012-MaRHMHZCL #performance- An efficient index for massive IOT data in cloud environment (YM, JR, WH, XM, XH, YZ, YC, CL), pp. 2129–2133.
CIKM-2012-NegahbanRG #learning #multi #performance #scalability #statistics #using- Scaling multiple-source entity resolution using statistically efficient transfer learning (SN, BIPR, JG), pp. 2224–2228.
CIKM-2012-QahtanZW #detection #estimation #performance- Efficient estimation of dynamic density functions with an application to outlier detection (AAQ, XZ, SW), pp. 2159–2163.
CIKM-2012-RenLZZ #collaboration #performance- The efficient imputation method for neighborhood-based collaborative filtering (YR, GL, JZ, WZ), pp. 684–693.
CIKM-2012-TranC #named #performance #sorting- SliceSort: efficient sorting of hierarchical data (QTT, CYC), pp. 2109–2113.
CIKM-2012-WustBRBKP #database #enterprise #in memory #performance- Efficient logging for enterprise workloads on column-oriented in-memory databases (JW, JHB, FR, SB, JK, HP), pp. 2085–2089.
CIKM-2012-XieFTCMLL #approach #hybrid #performance- A hybrid approach for efficient provenance storage (YX, DF, ZT, LC, KKMR, YL, DDEL), pp. 1752–1756.
CIKM-2012-XieZSzP #data type #linear #multi #performance #representation- Efficient buffer management for piecewise linear representation of multiple data streams (QX, JZ, MAS, XZ, CP), pp. 2114–2118.
ICML-2012-AvronKKS #performance #probability- Efficient and Practical Stochastic Subgradient Descent for Nuclear Norm Regularization (HA, SK, SPK, VS), p. 46.
ICML-2012-BronsteinSS #learning #modelling #performance- Learning Efficient Structured Sparse Models (AMB, PS, GS), p. 33.
ICML-2012-Gonen #kernel #learning #multi #performance- Bayesian Efficient Multiple Kernel Learning (MG), p. 17.
ICML-2012-KrishnamurthyBXS #algorithm #clustering #performance- Efficient Active Algorithms for Hierarchical Clustering (AK, SB, MX, AS), p. 39.
ICML-2012-MerchanteGG #analysis #approach #linear #performance- An Efficient Approach to Sparse Linear Discriminant Analysis (LFSM, YG, GG), p. 168.
ICML-2012-MysoreS #markov #modelling #performance- Variational Inference in Non-negative Factorial Hidden Markov Models for Efficient Audio Source Separation (GJM, MS), p. 194.
ICML-2012-SamdaniR #learning #performance #predict- Efficient Decomposed Learning for Structured Prediction (RS, DR), p. 200.
ICML-2012-SchwingHPU #modelling #performance #predict #visual notation- Efficient Structured Prediction with Latent Variables for General Graphical Models (AGS, TH, MP, RU), p. 216.
ICML-2012-YuSL12a #performance- Efficient Euclidean Projections onto the Intersection of Norm Balls (AWY, HS, FFL), p. 203.
ICPR-2012-BakrYI #clustering #documentation #incremental #performance- Efficient incremental phrase-based document clustering (AMB, NAY, MAI), pp. 517–520.
ICPR-2012-DecrouezDGC- Extracting planar structures efficiently with revisited BetaSAC (MD, RD, FG, JLC), pp. 2100–2103.
ICPR-2012-DubrovinaKFSB #classification #image #performance #robust #user interface- Efficient and robust image descriptor for GUI object classification (AD, PK, DF, SS, RB), pp. 3594–3597.
ICPR-2012-FreytagFRD #kernel #performance #process #segmentation #semantics- Efficient semantic segmentation with Gaussian processes and histogram intersection kernels (AF, BF, ER, JD), pp. 3313–3316.
ICPR-2012-GautamSV #performance- An efficient, bolus-stage based method for motion correction in perfusion weighted MRI (RG, JS, RV), pp. 145–148.
ICPR-2012-GerogiannisNL #detection #image #performance- Fast and efficient vanishing point detection in indoor images (DG, CN, AL), pp. 3244–3247.
ICPR-2012-GuiLY #integer #novel #performance- A novel integer transform for efficient reversible watermarking (XG, XL, BY), pp. 947–950.
ICPR-2012-GujraniyaM #classification #modelling #performance #topic #using- Efficient classification using phrases generated by topic models (DG, MNM), pp. 2331–2334.
ICPR-2012-JiangES #detection #estimation #integration #performance #robust- Efficient and robust integration of face detection and head pose estimation (FJ, HKE, BES), pp. 1578–1581.
ICPR-2012-LeiLL #analysis #feature model #linear #performance #recognition- Efficient feature selection for linear discriminant analysis and its application to face recognition (ZL, SL, SZL), pp. 1136–1139.
ICPR-2012-LiuCSTN #learning #multi #performance #problem #recursion #scalability- Recursive NMF: Efficient label tree learning for large multi-class problems (LL, PMC, SS, PNT, AN), pp. 2148–2151.
ICPR-2012-LiuXL #performance #recognition- An efficient method for occluded face recognition (WL, XX, KML), pp. 2993–2996.
ICPR-2012-LoLC #assessment #performance- Assessment of photo aesthetics with efficiency (KYL, KHL, CSC), pp. 2186–2189.
ICPR-2012-SharmaHN #classification #detection #incremental #learning #performance- Efficient incremental learning of boosted classifiers for object detection (PS, CH, RN), pp. 3248–3251.
ICPR-2012-TangS #independence #learning #network #performance #testing #using- Efficient and accurate learning of Bayesian networks using chi-squared independence tests (YT, SNS), pp. 2723–2726.
ICPR-2012-ThibaultA #classification #performance #statistics- Efficient statistical/morphological cell texture characterization and classification (GT, JA), pp. 2440–2443.
ICPR-2012-TrinhLMMP #performance #summary #video- Efficient UAV video event summarization (HT, JL, SM, JM, SP), pp. 2226–2229.
ICPR-2012-WeberT #approach #documentation #performance- Symbol spotting for technical documents: An efficient template-matching approach (JW, ST), pp. 669–672.
ICPR-2012-XuLCYTWCTW #classification #image #locality #performance- Efficient optic cup localization based on superpixel classification for glaucoma diagnosis in digital fundus images (YX, JL, JC, FY, NMT, DWKW, CYC, YCT, TYW), pp. 49–52.
ICPR-2012-ZarifFR #image #multi #performance #similarity #using- Fast and efficient multichannel image completion using local similarity (SZ, IF, DR), pp. 3116–3119.
ICPR-2012-ZhuSX #performance #segmentation- An efficient r-KDE model for the segmentation of dynamic scenes (QZ, ZS, YX), pp. 198–201.
KDD-2012-AgarwalSS #named #performance- SmartDispatch: enabling efficient ticket dispatch in an IT service environment (SA, RS, BS), pp. 1393–1401.
KDD-2012-BharadwajCMNTVVY #algorithm #named #performance- SHALE: an efficient algorithm for allocation of guaranteed display advertising (VB, PC, WM, CN, JT, SV, EV, JY), pp. 1195–1203.
KDD-2012-CadonnaGB #pattern matching #performance- Efficient event pattern matching with match windows (BC, JG, MHB), pp. 471–479.
KDD-2012-FujiwaraNYSO #assurance #performance #personalisation #rank- Efficient personalized pagerank with accuracy assurance (YF, MN, TY, HS, MO), pp. 15–23.
KDD-2012-KuksaP #evaluation #kernel #performance #scalability #sequence- Efficient evaluation of large sequence kernels (PPK, VP), pp. 759–767.
KDD-2012-LappasVG #invariant #mining #performance- Efficient and domain-invariant competitor mining (TL, GV, DG), pp. 408–416.
KDD-2012-RoyTA #hardware #manycore #performance- Efficient frequent item counting in multi-core hardware (PR, JT, GA), pp. 1451–1459.
KDD-2012-WangAB #modelling #named #online #performance #social #social media #topic- TM-LDA: efficient online modeling of latent topic transitions in social media (YW, EA, MB), pp. 123–131.
KDD-2012-YinZC #algorithm #mining #named #performance- USpan: an efficient algorithm for mining high utility sequential patterns (JY, ZZ, LC), pp. 660–668.
KDIR-2012-dAciernoLSV #performance #retrieval- An Efficient Strategy for Spatio-temporal Data Indexing and Retrieval (Ad, ML, AS, MV), pp. 227–232.
KDIR-2012-FormosoFCC #performance #recommendation #using- Using Neighborhood Pre-computation to Increase Recommendation Efficiency (VF, DF, FC, VC), pp. 333–335.
KDIR-2012-GarciaGG #information management #performance #predict #validation- Predicting the Efficiency with Knowledge Discovery of a Budgeted Company: A Cuban University — Validation through Three Semesters (LIG, IG, RG), pp. 315–318.
KEOD-2012-MinhasB #development- Development of Intelligent Assistance System to Support Eco-efficient Planning (SUHM, UB), pp. 331–334.
KR-2012-CravenTCHW #performance- Efficient Argumentation for Medical Decision-Making (RC, FT, CC, AH, MW).
KR-2012-LeoneMTV #source code- Efficiently Computable Datalog∃ Programs (NL, MM, GT, PV).
MLDM-2012-BharambeDP #named #performance- BINER — BINary Search Based Efficient Regression (SB, HD, VP), pp. 76–85.
RecSys-2012-RibeiroLVZ #multi #recommendation- Pareto-efficient hybridization for multi-objective recommender systems (MTR, AL, AV, NZ), pp. 19–26.
SEKE-2012-MCRM #effectiveness #performance #usability- Measuring the Effect Of Usability Mechanisms On User Efficiency, Effectiveness and Satisfaction (MA, DMC, ADlR, AMM), pp. 599–604.
SIGIR-2012-BonchiPSVV #performance #query #recommendation- Efficient query recommendations in the long tail via center-piece subgraphs (FB, RP, FS, HV, RV), pp. 345–354.
SIGIR-2012-CulpepperPS #documentation #in memory #performance #retrieval- Efficient in-memory top-k document retrieval (JSC, MP, FS), pp. 225–234.
SIGIR-2012-LiWLF #performance #query- Supporting efficient top-k queries in type-ahead search (GL, JW, CL, JF), pp. 355–364.
SIGIR-2012-ParkerYGY #estimation #performance- Efficient estimation of aspect weights (JP, AY, NG, WGY), pp. 1057–1058.
SIGIR-2012-YuLZZL #estimation #network #performance #scalability #towards- SimFusion+: extending simfusion towards efficient estimation on large and dynamic networks (WY, XL, WZ, YZ, JL), pp. 365–374.
SIGIR-2012-ZhangSCC #keyword #named #performance #query- See-to-retrieve: efficient processing of spatio-visual keyword queries (CZ, LS, KC, GC), pp. 681–690.
SIGIR-2012-ZhangWDH #detection #learning #performance #reuse- Learning hash codes for efficient content reuse detection (QZ, YW, ZD, XH), pp. 405–414.
TOOLS-EUROPE-J-2011-LavalFVD12 #performance #ranking #retrieval #scalability- Efficient Retrieval and Ranking of Undesired Package Cycles in Large Software Systems (JL, JRF, PV, SD), pp. 1–24.
OOPSLA-2012-Anderson #fine-grained #parallel #policy #resource management #using- Efficiently combining parallel software using fine-grained, language-level, hierarchical resource management policies (ZRA), pp. 717–736.
OOPSLA-2012-HaydenSDHF #c #named #performance- Kitsune: efficient, general-purpose dynamic software updating for C (CMH, EKS, MD, MH, JSF), pp. 249–264.
OOPSLA-2012-LiuSLG #algorithm #distributed #performance- From clarity to efficiency for distributed algorithms (YAL, SDS, BL, MG), pp. 395–410.
OOPSLA-2012-SolodkyyRS #c++ #performance- Open and efficient type switch for C++ (YS, GDR, BS), pp. 963–982.
TOOLS-EUROPE-2012-BergmannHHRUV #emf #performance #query #state of the art #tool support- Integrating Efficient Model Queries in State-of-the-Art EMF Tools (GB, ÁH, ÁH, IR, ZU, DV), pp. 1–8.
TOOLS-EUROPE-2012-VranyKG #performance #smalltalk- Efficient Method Lookup Customization for Smalltalk (JV, JK, CG), pp. 124–139.
GPCE-2012-AxelsenK #java #performance #semantics #text-to-text- Package templates: a definition by semantics-preserving source-to-source transformations to efficient Java code (EWA, SK), pp. 50–59.
QAPL-2012-Giro #model checking #performance- Efficient computation of exact solutions for quantitative model checking (SG), pp. 17–32.
PADL-2012-HaveC #performance #program transformation #using- Efficient Tabling of Structured Data Using Indexing and Program Transformation (CTH, HC), pp. 93–107.
POPL-2012-ZhuMKR #approximate #performance #program transformation #random- Randomized accuracy-aware program transformations for efficient approximate computations (ZAZ, SM, JAK, MCR), pp. 441–454.
RE-2012-GreenyerSCH #consistency #performance #product line #specification- Efficient consistency checking of scenario-based product-line specifications (JG, AMS, MC, PH), pp. 161–170.
SAC-2012-AbdullahRTN #performance #using- Efficient matching of SPARQL subscriptions using rete (HA, MR, ST, EN), pp. 372–377.
SAC-2012-BlankH #information retrieval #metric #multi #performance- Inverted file-based indexing for efficient multimedia information retrieval in metric spaces (DB, AH), pp. 900–905.
SAC-2012-KimPJSCH #garbage collection #hybrid #named #performance- AAGC: an efficient associativity-aware garbage collection scheme for hybrid FTLs (BK, MP, CJ, COS, YC, JH), pp. 1785–1790.
SAC-2012-MatsubaraMYUIK #algorithm #named #performance #re-engineering- CCDR-PAID: more efficient cache-conscious PAID algorithm by data reconstruction (YM, JM, GY, YU, SI, HK), pp. 193–198.
SAC-2012-RodoperBJT #framework #mobile #performance #security- An efficient security framework for mobile WiMAX (MR, AB, EJ, WT), pp. 1494–1501.
FSE-2012-ShaikhW #diagrams #ocl #performance #slicing #uml #verification- UMLtoCSP (UOST): a tool for efficient verification of UML/OCL class diagrams through model slicing (AS, UKW), p. 37.
FSE-2012-ThummalapentaSDSCDM #testing- Efficiently scripting change-resilient tests (ST, NS, PD, SS, SC, AKD, SM), p. 41.
ICSE-2012-BalasubramaniamJKMN #approach #automation #constraints #generative #performance #theorem proving- An automated approach to generating efficient constraint solvers (DB, CJ, LK, IM, PN), pp. 661–671.
ICSE-2012-Blincoe #coordination #developer #performance #process- Timely and efficient facilitation of coordination of software developers’ activities (KB), pp. 1539–1542.
ICSE-2012-DevosPDBMA #case study #industrial #performance #reuse #smarttech- Efficient reuse of domain-specific test knowledge: An industrial case in the smart card domain (ND, CP, JCD, RB, BM, GA), pp. 1123–1132.
ICSE-2012-JinMLR #framework #monitoring #named #parametricity #performance #runtime- JavaMOP: Efficient parametric runtime monitoring framework (DJ, POM, CL, GR), pp. 1427–1430.
ICSE-2012-NistorLPGM #automation #clustering #generative #named #parallel #performance #random #testing #thread- Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code (AN, QL, MP, TRG, DM), pp. 727–737.
ICSE-2012-SongPF #interactive #named #using- iTree: Efficiently discovering high-coverage configurations using interaction trees (CS, AP, JSF), pp. 903–913.
PLEASE-2012-BaumgartFP #approach #certification #component #functional #performance #safety #towards #using- Towards efficient functional safety certification of construction machinery using a component-based approach (SB, JF, SP), pp. 1–4.
SPLC-2012-AndersenCSW #feature model #modelling #performance #synthesis- Efficient synthesis of feature models (NA, KC, SS, AW), pp. 106–115.
SPLC-2012-MohalikRMKN- Tracing SPLs precisely and efficiently (SM, SR, JVM, SNK, GKN), pp. 186–195.
ASPLOS-2012-CheritonFSSA #architecture #data access #named #performance- HICAMP: architectural support for efficient concurrency-safe shared structured data access (DRC, AF, AS, JPS, OA), pp. 287–300.
ASPLOS-2012-HongCSO #analysis #domain-specific language #graph #named #performance- Green-Marl: a DSL for easy and efficient graph analysis (SH, HC, ES, KO), pp. 349–362.
ASPLOS-2012-LeeS #architecture #scheduling #using- Region scheduling: efficiently using the cache architectures via page-level affinity (ML, KS), pp. 451–462.
ASPLOS-2012-LinNGR #consistency #performance- Efficient sequential consistency via conflict ordering (CL, VN, RG, BR), pp. 273–286.
ASPLOS-2012-ParkSPCM #architecture #performance- SIMD defragmenter: efficient ILP realization on data-parallel architectures (YP, SS, HP, HKC, SAM), pp. 363–374.
CGO-2012-MatosevicA #analysis #bottom-up #data access #performance #summary- Efficient bottom-up heap analysis for symbolic path-based data access summaries (IM, TSA), pp. 252–263.
CGO-2012-VankaT #data flow #dependence #performance #profiling #using- Efficient and accurate data dependence profiling using software signatures (RV, JT), pp. 186–195.
HPCA-2012-AwasthiSSRBS #performance- Efficient scrub mechanisms for error-prone emerging memories (MA, MS, KS, BR, RB, VS), pp. 15–26.
HPCA-2012-LinMHSC #named #performance- Parabix: Boosting the efficiency of text processing on commodity processors (DL, NM, KSH, AS, RDC), pp. 373–384.
HPCA-2012-MaJW #communication #performance- Supporting efficient collective communication in NoCs (SM, NDEJ, ZW), pp. 165–176.
HPCA-2012-MaJW12a #adaptation #algorithm #design #performance- Whole packet forwarding: Efficient design of fully adaptive routing algorithms for networks-on-chip (SM, NDEJ, ZW), pp. 467–478.
HPCA-2012-SundararajanPJTF #clustering #energy- Cooperative partitioning: Energy-efficient cache partitioning for high-performance CMPs (KTS, VP, TMJ, NPT, BF), pp. 311–322.
HPCA-2012-YanLHLGL #architecture #hybrid #manycore #named #performance- AgileRegulator: A hybrid voltage regulator scheme redeeming dark silicon for power efficiency in a multicore architecture (GY, YL, YH, XL, MG, XL), pp. 287–298.
HPDC-2012-TianKYAWPGW #data transformation #performance- A system-aware optimized data organization for efficient scientific analytics (YT, SK, WY, HA, BW, NP, RWG, MW), pp. 125–126.
ISMM-2012-Nasre #analysis #constraints #graph #performance #points-to- Exploiting the structure of the constraint graph for efficient points-to analysis (RN), pp. 121–132.
LCTES-2012-KhudiaWM #embedded #fault #performance #using- Efficient soft error protection for commodity embedded microprocessors using profile information (DSK, GW, SAM), pp. 99–108.
LCTES-2012-KyleBFLT #embedded #manycore #set #simulation #using- Efficiently parallelizing instruction set simulation of embedded multi-core processors using region-based just-in-time dynamic binary translation (SCK, IB, BF, HL, NPT), pp. 21–30.
OSDI-2012-KimCZ #performance #web- Efficient Patch-based Auditing for Web Application Vulnerabilities (TK, RC, NZ), pp. 193–206.
PPoPP-2012-BaghsorkhiGDH #evaluation #memory management #parallel #performance #thread- Efficient performance evaluation of memory hierarchy for highly multithreaded graphics processors (SSB, IG, MD, WmWH), pp. 23–34.
PPoPP-2012-BuhlerALC #concurrent #performance #streaming- Efficient deadlock avoidance for streaming computation with filtering (JDB, KA, PL, RDC), pp. 235–246.
PPoPP-2012-JimboreanCPML #adaptation #framework #parallel #performance- Adapting the polyhedral model as a framework for efficient speculative parallelization (AJ, PC, BP, LM, VL), pp. 295–296.
PPoPP-2012-KimH #code generation #kernel #performance- Efficient SIMD code generation for irregular kernels (SK, HH), pp. 55–64.
PPoPP-2012-ProkopecBBO #concurrent #performance- Concurrent tries with efficient non-blocking snapshots (AP, NGB, PB, MO), pp. 151–160.
PPoPP-2012-ZuYXWTPD #automaton #implementation #memory management #nondeterminism #performance #regular expression- GPU-based NFA implementation for memory efficient high speed regular expression matching (YZ, MY, ZX, LW, XT, KP, QD), pp. 129–140.
CAV-2012-BrazdilCKN #game studies #multi #performance #synthesis- Efficient Controller Synthesis for Consumption Games with Multiple Resource Types (TB, KC, AK, PN), pp. 23–38.
CAV-2012-FredriksonJJRPSY #abstraction #performance #policy #refinement #runtime #using- Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction Refinement (MF, RJ, SJ, TWR, PAP, HS, VY), pp. 548–563.
ICLP-2012-CattafiHGNM #constraints #health #logic programming #performance #quality- Improving Quality and Efficiency in Home Health Care: an application of Constraint Logic Programming for the Ferrara NHS unit (MC, RH, MG, MN, FM), pp. 415–424.
ICLP-J-2012-ZhouH #performance- Efficient tabling of structured data with enhanced hash-consing (NFZ, CTH), pp. 547–563.
ICST-2012-JustKS #analysis #effectiveness #mutation testing #performance #question- Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis? (RJ, GMK, FS), pp. 720–725.
ICTSS-2012-BrauerPS #modelling #performance #testing #tool support- Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools (JB, JP, US), pp. 8–23.
ISSTA-2012-KimCHKOSPMN #performance #testing- Efficient regression testing of ontology-driven systems (MK, JC, MJH, TMK, AO, JHS, ARP, KM, SBN), pp. 320–330.
SAT-2012-BelovIMM #on the #performance- On Efficient Computation of Variable MUSes (AB, AI, AM, JMS), pp. 298–311.
SAT-2012-DemirovicG #composition #performance #satisfiability- An Efficient Method for Solving UNSAT 3-SAT and Similar Instances via Static Decomposition — (Poster Presentation) (ED, HG), pp. 489–490.
SAT-2012-JarvisaloKKK #performance- Finding Efficient Circuits for Ensemble Computation (MJ, PK, MK, JHK), pp. 369–382.
SAT-2012-NadelR #performance #satisfiability- Efficient SAT Solving under Assumptions (AN, VR), pp. 242–255.
VMCAI-2012-EssenJ #performance- Synthesizing Efficient Controllers (CvE, BJ), pp. 428–444.
VMCAI-2012-GhorbalIBMG #abstract interpretation #performance- Donut Domains: Efficient Non-convex Domains for Abstract Interpretation (KG, FI, GB, NM, AG), pp. 235–250.
WICSA-2011-BalasubramaniamSJKMN #approach #architecture #constraints #generative #named #performance #theorem proving- Dominion: An Architecture-Driven Approach to Generating Efficient Constraint Solvers (DB, LdS, CJ, LK, IM, PN), pp. 228–231.
ASE-2011-BergmannHHRUV #emf #implementation #performance #tool support #validation- Implementing efficient model validation in EMF tools (GB, ÁH, ÁH, IR, ZU, DV), pp. 580–583.
ASE-2011-GanovKP #alloy #analysis #incremental #performance- A case for alloy annotations for efficient incremental analysis via domain specific solvers (SRG, SK, DEP), pp. 464–467.
ASE-2011-JustSK #analysis #compilation #java #mutation testing #named #performance- MAJOR: An efficient and extensible tool for mutation analysis in a Java compiler (RJ, FS, GMK), pp. 612–615.
ASE-2011-SurapaneniNMW #performance- Exploring caching for efficient collection operations (SS, VKSN, SKM, TW), pp. 468–471.
CASE-2011-ChenZAB #energy #feedback- Feedback control of machine startup for energy-efficient manufacturing in Bernoulli serial lines (GC, LZ, JA, SB), pp. 666–671.
CASE-2011-PerboliCT #metaheuristic #multi #performance- An efficient metaheuristic for multi-dimensional multi-container packing (GP, TGC, RT), pp. 563–568.
CASE-2011-YonezawaKZIHSIYF #approach #experience #performance- Long-term operational experience with a robot cell production system controlled by low carbon-footprint Senju (thousand-handed) Kannon Model robots and an approach to improving operating efficiency (HY, HK, MZ, KI, NH, YS, MY, TF), pp. 291–298.
DAC-2011-Borkar #3d #design #energy #integration #performance- 3D integration for energy efficient system design (SB), pp. 214–219.
DAC-2011-ChippaRRC #scalability #trade-off- Dynamic effort scaling: managing the quality-efficiency tradeoff (VKC, AR, KR, STC), pp. 603–608.
DAC-2011-CoptyKN #analysis #architecture #performance #statistics #transaction- Transaction level statistical analysis for efficient micro-architectural power and performance studies (EC, GK, SN), pp. 351–356.
DAC-2011-DongL #performance #predict- Efficient SRAM failure rate prediction via Gibbs sampling (CD, XL), pp. 200–205.
DAC-2011-KrishnamurthyMS #encryption #energy- High-performance energy-efficient encryption in the sub-45nm CMOS Era (RK, SM, FS), p. 332.
DAC-2011-KuoSR #analysis #performance #reachability #source code #using- Efficient WCRT analysis of synchronous programs using reachability (MMYK, RS, PSR), pp. 480–485.
DAC-2011-LiuYX #low cost- Re-synthesis for cost-efficient circuit-level timing speculation (YL, FY, QX), pp. 158–163.
DAC-2011-QinWLSG #memory management #named #performance- MNFTL: an efficient flash translation layer for MLC NAND flash memory storage systems (ZQ, YW, DL, ZS, YG), pp. 17–22.
DAC-2011-SaripalliMDN #energy #hybrid- An energy-efficient heterogeneous CMP based on hybrid TFET-CMOS cores (VS, AKM, SD, VN), pp. 729–734.
DAC-2011-SeokJCBS #design #energy #performance #pipes and filters- Pipeline strategy for improving optimal energy efficiency in ultra-low voltage design (MS, DJ, CC, DB, DS), pp. 990–995.
DAC-2011-SunLT #analysis #approximate #grid #incremental #performance #power management- Efficient incremental analysis of on-chip power grid via sparse approximation (PS, XL, MYT), pp. 676–681.
DAC-2011-YangBC #detection #embedded #energy #fault #using- Energy-efficient MIMO detection using unequal error protection for embedded joint decoding system (YSY, PB, GC), pp. 579–584.
DATE-2011-AbdallahLS #energy #fault #robust #statistics- Timing error statistics for energy-efficient robust DSP systems (RAA, YHL, NRS), pp. 285–288.
DATE-2011-BarceloGBS #estimation #performance #scalability- An efficient and scalable STA tool with direct path estimation and exhaustive sensitization vector exploration for optimal delay computation (SB, XG, SAB, JS), pp. 1602–1607.
DATE-2011-BruschiPRS #automaton #performance- An efficient Quantum-Dot Cellular Automata adder (FB, FP, VR, DS), pp. 1220–1223.
DATE-2011-FalkZHT #algorithm #clustering #data flow #embedded #performance #rule-based #synthesis- A rule-based static dataflow clustering algorithm for efficient embedded software synthesis (JF, CZ, CH, JT), pp. 521–526.
DATE-2011-FuWT #approach #manycore #performance #simulation- A shared-variable-based synchronization approach to efficient cache coherence simulation for multi-core systems (CYF, MHW, RST), pp. 347–352.
DATE-2011-GolaniB #multi #pipes and filters- An area-efficient multi-level single-track pipeline template (PG, PAB), pp. 1509–1512.
DATE-2011-GoyalN #grid #performance #power management #using #verification- Efficient RC power grid verification using node elimination (AG, FNN), pp. 257–260.
DATE-2011-HaronH #fault tolerance #hybrid #low cost- Cost-efficient fault-tolerant decoder for hybrid nanoelectronic memories (NZH, SH), pp. 265–268.
DATE-2011-HuXZTS #energy #hybrid #memory management #performance #towards- Towards energy efficient hybrid on-chip Scratch Pad Memory with non-volatile memory (JH, CJX, QZ, WCT, EHMS), pp. 746–751.
DATE-2011-KongYD #clustering #energy #multi #realtime #scheduling- Energy-efficient scheduling of real-time tasks on cluster-based multicores (FK, WY, QD), pp. 1135–1140.
DATE-2011-KunzGW #hardware #memory management #performance #transaction- Improving the efficiency of a hardware transactional memory on an NoC-based MPSoC (LK, GG, FRW), pp. 1168–1171.
DATE-2011-LiuS #continuation #optimisation #performance- An efficient mask optimization method based on homotopy continuation technique (FL, XS), pp. 1053–1058.
DATE-2011-LiuV #analysis #generative #performance #source code #validation- Efficient validation input generation in RTL by hybridized source code analysis (LL, SV), pp. 1596–1601.
DATE-2011-LuJTL #architecture #parametricity #performance #simulation- Efficient parameter variation sampling for architecture simulations (FL, RJ, GT, SL), pp. 1578–1583.
DATE-2011-MadaniTCCD #detection #energy #standard- An energy-efficient 64-QAM MIMO detector for emerging wireless standards (NMM, TT, JC, PC, WRD), pp. 246–251.
DATE-2011-MirhoseiniK #energy #hybrid #optimisation #performance- HypoEnergy. Hybrid supercapacitor-battery power-supply optimization for Energy efficiency (AM, FK), pp. 887–890.
DATE-2011-Niu #embedded #energy #realtime #scheduling- System-level energy-efficient scheduling for hard real-time embedded systems (LN), pp. 281–284.
DATE-2011-PandeCPMBMG #energy #performance #question- Sustainability through massively integrated computing: Are we ready to break the energy efficiency wall for single-chip platforms? (PPP, FC, DP, IM, PB, RM, AG), pp. 1656–1661.
DATE-2011-PaternaACPDB #algorithm #energy #manycore #online #performance- An efficient on-line task allocation algorithm for QoS and energy efficiency in multicore multimedia platforms (FP, AA, AC, FP, GD, LB), pp. 100–105.
DATE-2011-RinaudoGCMP #approach #design #energy #performance #power management- Moving to Green ICT: From stand-alone power-aware IC design to an integrated approach to energy efficient design for heterogeneous electronic systems (SR, GG, AC, AM, MP), pp. 1127–1128.
DATE-2011-WangWT #approach #modelling #named #performance #scheduling #simulation- DOM: A Data-dependency-Oriented Modeling approach for efficient simulation of OS preemptive scheduling (PCW, MHW, RST), pp. 335–340.
DATE-2011-ZhaoDX #3d #design #energy #fine-grained #scalability- An energy-efficient 3D CMP design with fine-grained voltage scaling (JZ, XD, YX), pp. 539–542.
DATE-2011-ZhiLZYZZ #algorithm #multi #performance #scheduling- An efficient algorithm for multi-domain clock skew scheduling (YZ, WSL, HZ, CY, HZ, XZ), pp. 1364–1369.
DocEng-2011-BohneRB #documentation #keyword #performance- Efficient keyword extraction for meaningful document perception (TB, SR, UMB), pp. 185–194.
DocEng-2011-CardosoJLRC #independence #performance- An efficient language-independent method to extract content from news webpages (ETC, IVJ, ESL, RR, PC), pp. 121–128.
HT-2011-NemotoGL #collaboration #editing #performance #social #wiki- Social capital increases efficiency of collaboration among Wikipedia editors (KN, PAG, RL), pp. 231–240.
ICDAR-2011-ChazalonCL #analysis #documentation #interactive #performance- Iterative Analysis of Pages in Document Collections for Efficient User Interaction (JC, BC, AL), pp. 503–507.
ICDAR-2011-ColuttoG #difference #performance #recognition #using #word- Efficient Word Recognition Using a Pixel-Based Dissimilarity Measure (SC, BG), pp. 1110–1114.
ICDAR-2011-GatosLS #performance #reduction- Greek Polytonic OCR Based on Efficient Character Class Number Reduction (BG, GL, NS), pp. 1155–1159.
ICDAR-2011-KesidisG #estimation #performance #word- Efficient Cut-Off Threshold Estimation for Word Spotting Applications (ALK, BG), pp. 279–283.
ICDAR-2011-NeumannM #image #locality #using- Text Localization in Real-World Images Using Efficiently Pruned Exhaustive Search (LN, JM), pp. 687–691.
ICDAR-2011-TakedaKI #database #documentation #image #memory management #performance #realtime #retrieval- Real-Time Document Image Retrieval for a 10 Million Pages Database with a Memory Efficient and Stability Improved LLAH (KT, KK, MI), pp. 1054–1058.
PODS-2011-BojanczykF #documentation #evaluation #logic #performance #xml- Efficient evaluation for a temporal logic on changing XML documents (MB, DF), pp. 259–270.
PODS-2011-OrlandiV #estimation #string- Space-efficient substring occurrence estimation (AO, RV), pp. 95–106.
SIGMOD-2011-AngelK #performance- Efficient diversity-aware search (AA, NK), pp. 781–792.
SIGMOD-2011-AthanassoulisCAGS #named #online #performance- MaSM: efficient online updates in data warehouses (MA, SC, AA, PBG, RS), pp. 865–876.
SIGMOD-2011-Bajda-PawlikowskiASP #execution #performance #query- Efficient processing of data warehousing queries in a split execution environment (KBP, DJA, AS, EP), pp. 1165–1176.
SIGMOD-2011-ChenLOW #named #performance #realtime #twitter- TI: an efficient indexing mechanism for real-time search on tweets (CC, FL, BCO, SW), pp. 649–660.
SIGMOD-2011-JinP #evaluation #performance #query- Efficient and generic evaluation of ranked queries (WJ, JMP), pp. 601–612.
SIGMOD-2011-KaushikR #performance #query #sql- Efficient auditing for complex SQL queries (RK, RR), pp. 697–708.
SIGMOD-2011-KennedyN #enterprise #named #nondeterminism #optimisation #performance- Jigsaw: efficient optimization over uncertain enterprise data (OK, SN), pp. 829–840.
SIGMOD-2011-KohlerYZ #parallel #performance #using- Efficient parallel skyline processing using hyperplane projections (HK, JY, XZ), pp. 85–96.
SIGMOD-2011-LianC #graph #performance #probability #query #rdf- Efficient query answering in probabilistic RDF graphs (XL, LC), pp. 157–168.
SIGMOD-2011-LiDF #algorithm #approximate #named #performance- Faerie: efficient filtering algorithms for approximate dictionary-based entity extraction (GL, DD, JF), pp. 529–540.
SIGMOD-2011-QinWLXL #performance #query #similarity #symmetry- Efficient exact edit similarity query processing with the asymmetric signature scheme (JQ, WW, YL, CX, XL), pp. 1033–1044.
SIGMOD-2011-RoyC #database #performance #semantics- Location-aware type ahead search on spatial databases: semantics and efficiency (SBR, KC), pp. 361–372.
SIGMOD-2011-SadoghiJ #named- BE-tree: an index structure to efficiently match boolean expressions over high-dimensional discrete space (MS, HAJ), pp. 637–648.
SIGMOD-2011-SchaikM #data type #memory management #performance #reachability- A memory efficient reachability data structure through bit vector compression (SJvS, OdM), pp. 913–924.
SIGMOD-2011-TekleL #datalog #performance #query #set- More efficient datalog queries: subsumptive tabling beats magic sets (KTT, YAL), pp. 661–672.
SIGMOD-2011-ZhangZD #corpus #estimation #mining #performance- Mining a search engine’s corpus: efficient yet unbiased sampling and aggregate estimation (MZ, NZ, GD), pp. 793–804.
VLDB-2011-AoZWSWLLL #algorithm #parallel #performance #using- Efficient Parallel Lists Intersection and Index Compression Algorithms using Graphics Processing Units (NA, FZ, DW, DSS, GW, XL, JL, SL), pp. 470–481.
VLDB-2011-BerneckerEKRZZ #nearest neighbour #nondeterminism #performance #probability #query- Efficient Probabilistic Reverse Nearest Neighbor Query Processing on Uncertain Data (TB, TE, HPK, MR, SZ, AZ), pp. 669–680.
VLDB-2011-CapanniniNPS #performance #web- Efficient Diversification of Web Search Results (GC, FMN, RP, FS), pp. 451–459.
VLDB-2011-FurcheGGSS #named #scalability #web- OXPath: A Language for Scalable, Memory-efficient Data Extraction from Web Applications (TF, GG, GG, CS, AJS), pp. 1016–1027.
VLDB-2011-Neumann #compilation #hardware #performance #query- Efficiently Compiling Efficient Query Plans for Modern Hardware (TN0), pp. 539–550.
VLDB-2011-XieLW #constraints #performance #rank- Efficient Rank Join with Aggregation Constraints (MX, LVSL, PTW), pp. 1201–1212.
VLDB-2011-YanZN #algorithm #network #performance- Efficient Algorithms for Finding Optimal Meeting Point on Road Networks (DY, ZZ, WN), pp. 968–979.
VLDB-2011-YuanWWC #graph #nondeterminism #performance #scalability- Efficient Subgraph Search over Large Uncertain Graphs (YY, GW, HW, LC), pp. 876–886.
VLDB-2012-HoobinPZ11 #performance #retrieval #web- Relative Lempel-Ziv Factorization for Efficient Storage and Retrieval of Web Collections (CH, SJP, JZ), pp. 265–273.
VLDB-2012-LinJZXL11 #performance #privacy #query- A MovingObject Index for Efficient Query Processing with Peer-Wise Location Privacy (DL, CSJ, RZ, LX, JL), pp. 37–48.
VLDB-2012-MansourASK11 #named #parallel #performance #string- ERA: Efficient Serial and Parallel Suffix Tree Construction for Very Long Strings (EM, AA, SS, PK), pp. 49–60.
ITiCSE-2011-Moy #education #performance #student #tool support- Efficient and playful tools to teach Unix to new students (MM), pp. 93–97.
TACAS-2011-BarbotCHKM #linear #model checking #performance #realtime- Efficient CTMC Model Checking of Linear Real-Time Objectives (BB, TC, TH, JPK, AM), pp. 128–142.
TACAS-2011-GriggioLS #generative #integer #linear #performance #satisfiability- Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic (AG, TTHL, RS), pp. 143–157.
ICPC-2011-CordyR #named #open source #performance #source code- DebCheck: Efficient Checking for Open Source Code Clones in Software Systems (JRC, CKR), pp. 217–218.
MSR-2011-ZeltynTCDKKKW #maintenance #performance- Improving efficiency in software maintenance (SZ, PT, MC, RD, SK, MK, APK, SW), pp. 215–218.
PLDI-2011-BestMMRFB #scheduling- Synchronization via scheduling: techniques for efficiently managing shared state (MJB, SM, CM, MR, AF, AB), pp. 640–652.
SAS-2011-HuangZ #concurrent #debugging #performance #source code- An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs (JH, CZ), pp. 163–179.
SAS-2011-MadhusudanQ #performance #using- Efficient Decision Procedures for Heaps Using STRAND (PM, XQ), pp. 43–59.
STOC-2011-FawziHS #nondeterminism #performance- From low-distortion norm embeddings to explicit uncertainty relations and efficient information locking (OF, PH, PS), pp. 773–782.
CIAA-J-2010-AllauzenRS11 #algorithm #composition #finite #performance #transducer- A Filter-Based Algorithm for Efficient Composition of Finite-State Transducers (CA, MR, JS), pp. 1781–1795.
AFL-2011-Egri-NagyMN #algorithm #composition #performance- Algorithms for the Efficient Calculation of the Holonomy Decomposition (AEN, JDM, CLN), pp. 389–390.
AFL-2011-Umeo #2d #algorithm #automaton #implementation- Recent Developments in Firing Squad Synchronization Algorithms for Two-Dimensional Cellular Automata and Their State-Efficient Implementations (HU), pp. 368–387.
ICALP-v1-2011-ChakrabortyGM #performance- Efficient Sample Extractors for Juntas with Applications (SC, DGS, AM), pp. 545–556.
ICALP-v1-2011-NgoPR #matrix- Efficiently Decodable Error-Correcting List Disjunct Matrices and Applications — (Extended Abstract) (HQN, EP, AR), pp. 557–568.
ICALP-v2-2011-ChlebusKPR #ad hoc #communication #distributed #network #performance- Efficient Distributed Communication in Ad-Hoc Radio Networks (BSC, DRK, AP, MAR), pp. 613–624.
LATA-2011-AxelsenG #performance #turing machine- A Simple and Efficient Universal Reversible Turing Machine (HBA, RG), pp. 117–128.
SEFM-2011-Boender #component #performance- Efficient Computation of Dominance in Component Systems (Short Paper) (JB), pp. 399–406.
ICFP-2011-GillF #fault #implementation #performance- Deriving an efficient FPGA implementation of a low density parity check forward error corrector (AG, AF), pp. 209–220.
ICFP-2011-UenoOO #functional #garbage collection #performance- An efficient non-moving garbage collector for functional languages (KU, AO, TO), pp. 196–208.
ICFP-2011-WangGW #bidirectional #incremental #performance- Incremental updates for efficient bidirectional transformations (MW, JG, NW), pp. 392–403.
CHI-2011-KaserAP #interactive #multi #named #performance- FingerGlass: efficient multiscale interaction on multitouch screens (DPK, MA, MP), pp. 1601–1610.
CSCW-2011-AlvesF #adaptation #chat #consistency #multi #named #performance #requirements #scalability- ReConMUC: adaptable consistency requirements for efficient large-scale multi-user chat (PA, PF), pp. 553–562.
DHM-2011-FritzscheJLBJP #editing #performance #process #simulation- Introducing ema (Editor for Manual Work Activities) — A New Tool for Enhancing Accuracy and Efficiency of Human Simulations in Digital Production Planning (LF, RJ, WL, SB, TJ, AP), pp. 272–281.
DUXU-v2-2011-ChangH #performance- Effects of Menu Types and Item Lengths on Operation Efficiency (YHC, TKPH), pp. 376–383.
HCI-MIIE-2011-ShibuyaNM #diagrams #documentation #float #mobile #performance- An Efficient Document Browsing Method with Floating Diagram Window on Mobile Device (YS, KN, KM), pp. 101–106.
HCI-MIIE-2011-XuS #performance #smarttech #web- Enabling Efficient Browsing and Manipulation of Web Tables on Smartphone (WX, YS), pp. 117–126.
HCI-UA-2011-LiuS #performance #scalability- uMeeting, an Efficient Co-located Meeting System on the Large-Scale Tabletop (JL, YS), pp. 368–374.
HIMI-v2-2011-TanerYNB #generative #performance #scalability- An Efficient and Scalable Meeting Minutes Generation and Presentation Technique (BT, CY, AON, SB), pp. 345–352.
OCSC-2011-Torrent-MorenoGEGP #ecosystem #energy #performance #social- Social Computing for Home Energy Efficiency: Technological and Stakeholder Ecosystems (MTM, RG, RE, JJG, MP), pp. 229–238.
ICEIS-v1-2011-MoreauO #performance- Efficient Indexing of Lines with the Mqr-tree (MM, WO), pp. 314–319.
ICEIS-v3-2011-Li11c #identification #performance- An Efficient Method to Identify Customer Value in Tourist Hotel Management (CL), pp. 165–169.
ICEIS-v4-2011-NguyenD #approach #information management #mobile #performance- An Efficient Cooperative Cache Approach in Mobile Information System (TTMN, TTBD), pp. 153–159.
ICEIS-v4-2011-SivasankariMKVP #energy #mobile #multi #network #performance- Multiple Mobile Synchronised Sinks (MMSS) for Energy Efficiency and Lifetime Maximization in Wireless Sensor Networks (HS, VM, KS, KRV, LMP), pp. 76–85.
ICEIS-v4-2011-WangX #empirical #multi #performance- Is Internal Capital Market of China Listed Companies Efficient? — Empirical Evidences from Listed Companies Which Have Multiple Divisions in H-stock (FW, ZX), pp. 600–605.
CIKM-2011-BrodtSM #performance #rdf #retrieval- Efficient resource attribute retrieval in RDF triple stores (AB, OS, BM), pp. 1445–1454.
CIKM-2011-CartrightA #optimisation #performance- Efficiency optimizations for interpolating subqueries (MAC, JA), pp. 297–306.
CIKM-2011-ChenloL #effectiveness #estimation #performance- Effective and efficient polarity estimation in blogs based on sentence-level evidence (JMC, DEL), pp. 365–374.
CIKM-2011-ChristoforakiHDMS #performance #query- Text vs. space: efficient geo-search query processing (MC, JH, CD, AM, TS), pp. 423–432.
CIKM-2011-ChuiKLC #algorithm #query #sequence- I/O-efficient algorithms for answering pattern-based aggregate queries in a sequence OLAP system (CKC, BK, EL, RC), pp. 1619–1628.
CIKM-2011-DongZCZZLWO #database #mining #named #performance- e-NSP: efficient negative sequential pattern mining based on identified positive patterns without database rescanning (XD, ZZ, LC, YZ, CZ, JL, WW, YO), pp. 825–830.
CIKM-2011-ElsayedLM #approximate #performance #retrieval- When close enough is good enough: approximate positional indexes for efficient ranked retrieval (TE, JJL, DM), pp. 1993–1996.
CIKM-2011-FontouraGJV #encoding- Efficiently encoding term co-occurrences in inverted indexes (MF, MG, VJ, SV), pp. 307–316.
CIKM-2011-Garcia-Alvarado0O #named #ontology #performance #using- ONTOCUBE: efficient ontology extraction using OLAP cubes (CGA, ZC, CO), pp. 2429–2432.
CIKM-2011-GollapudiINP #performance #query #web- Efficient query rewrite for structured web queries (SG, SI, AN, SP), pp. 2417–2420.
CIKM-2011-LangeN11a #composition #metric #performance #similarity- Efficient similarity search: arbitrary similarity measures, arbitrary composition (DL, FN), pp. 1679–1688.
CIKM-2011-LianLC #consistency #database #low cost #probability- Cost-efficient repair in inconsistent probabilistic databases (XL, YL, LC), pp. 1731–1736.
CIKM-2011-LiaoLCW #named #performance- KLEAP: an efficient cleaning method to remove cross-reads in RFID streams (GL, JL, LC, CW), pp. 2209–2212.
CIKM-2011-LiLSG #community #named #online #performance #privacy #recommendation #social- YANA: an efficient privacy-preserving recommender system for online social communities (DL, QL, LS, NG), pp. 2269–2272.
CIKM-2011-MagdyJ #performance #using- An efficient method for using machine translation technologies in cross-language patent search (WM, GJFJ), pp. 1925–1928.
CIKM-2011-PuWLW #incremental #named #performance #query #rdf- AWETO: efficient incremental update and querying in rdf storage system (XP, JW, PL, MW), pp. 2445–2448.
CIKM-2011-ShanZHYYL #performance #query- Efficient phrase querying with flat position index (DS, WXZ, JH, RY, HY, XL), pp. 2001–2004.
CIKM-2011-WachsmuthSE #information management #performance #pipes and filters- Constructing efficient information extraction pipelines (HW, BS, GE), pp. 2237–2240.
CIKM-2011-WangHJT #categorisation #image #learning #metric #multi #performance- Efficient lp-norm multiple feature metric learning for image categorization (SW, QH, SJ, QT), pp. 2077–2080.
CIKM-2011-WesselOVBK #3d #modelling #performance #retrieval #using- Efficient retrieval of 3D building models using embeddings of attributed subgraphs (RW, SO, RV, IB, RK), pp. 2097–2100.
CIKM-2011-XieY #graph #named #performance #scalability- CP-index: on the efficient indexing of large graphs (YX, PSY), pp. 1795–1804.
CIKM-2011-YanWN #adaptation #performance- Efficient methods for finding influential locations with adaptive grids (DY, RCWW, WN), pp. 1475–1484.
CIKM-2011-ZhouPW #constraints #graph #keyword #performance #scalability- Efficient association discovery with keyword-based constraints on large graph data (MZ, YP, YW), pp. 2441–2444.
CIKM-2011-ZhuQYKL #graph #performance #quality #scalability- High efficiency and quality: large graphs matching (YZ, LQ, JXY, YK, XL), pp. 1755–1764.
ECIR-2011-JonassenB #performance- Efficient Compressed Inverted Index Skipping for Disjunctive Text-Queries (SJ, SEB), pp. 530–542.
ICML-2011-DeisenrothR #approach #modelling #named #policy- PILCO: A Model-Based and Data-Efficient Approach to Policy Search (MPD, CER), pp. 465–472.
ICML-2011-JawanpuriaNR #kernel #learning #performance #using- Efficient Rule Ensemble Learning using Hierarchical Kernels (PJ, JSN, GR), pp. 161–168.
ICML-2011-Reyzin #predict- Boosting on a Budget: Sampling for Feature-Efficient Prediction (LR), pp. 529–536.
ICML-2011-ZhongK #automation #modelling #performance- Efficient Sparse Modeling with Automatic Feature Grouping (WZ, JTK), pp. 9–16.
KDD-2011-BoleyLPG #performance #random- Direct local pattern sampling by efficient two-step random procedures (MB, CL, DP, TG), pp. 582–590.
KDD-2011-GhaniK #detection #fault #interactive #learning- Interactive learning for efficiently detecting errors in insurance claims (RG, MK), pp. 325–333.
KDD-2011-GilpinD #algorithm #approach #clustering #flexibility #performance #satisfiability- Incorporating SAT solvers into hierarchical clustering algorithms: an efficient and flexible approach (SG, IND), pp. 1136–1144.
KDD-2011-ZhuLCX #performance #topic- Conditional topical coding: an efficient topic model conditioned on rich features (JZ, NL, NC, EPX), pp. 475–483.
MLDM-2011-LiHO #clique #correlation #performance- Contrasting Correlations by an Efficient Double-Clique Condition (AL, MH, YO), pp. 469–483.
MLDM-2011-LiTM #classification #hybrid #named #performance- ACE-Cost: Acquisition Cost Efficient Classifier by Hybrid Decision Tree with Local SVM Leaves (LL, UT, NDM), pp. 60–74.
SEKE-2011-ChiuchiSSV #guidelines #performance- Efficiency and portability: guidelines to develop websites (CAC, RCGdS, ABS, CRV), pp. 37–41.
SEKE-2011-FarahatE #fault #performance- Exploiting Computational Redundancy for Efficient Recovery from Soft Errors in Sensor Nodes (AF, AE), pp. 619–624.
SIGIR-2011-AnandBBS #performance- Temporal index sharding for space-time efficiency in archive search (AA, SJB, KB, RS), pp. 545–554.
SIGIR-2011-BroschartS #hybrid #novel #performance #retrieval- A novel hybrid index structure for efficient text retrieval (AB, RS), pp. 1175–1176.
SIGIR-2011-ChenBSCG #named #performance #personalisation #privacy #web- UPS: efficient privacy protection in personalized web search (GC, HB, LS, KC, YG), pp. 615–624.
SIGIR-2011-HeZSLY #evaluation #retrieval #web- Efficiently collecting relevance information from clickthroughs for web retrieval system evaluation (JH, WXZ, BS, XL, HY), pp. 275–284.
SIGIR-2011-Jia #effectiveness #performance- Efficient and effective solutions for search engines (XFJ), pp. 1319–1320.
SIGIR-2011-WangLM #performance #ranking #retrieval- A cascade ranking model for efficient ranked retrieval (LW, JJL, DM), pp. 105–114.
SIGIR-2011-XuBCCHLL #image #performance #ranking #retrieval- Efficient manifold ranking for image retrieval (BX, JB, CC, DC, XH, WL, JL), pp. 525–534.
SIGIR-2011-ZhouCZ #algorithm #approximate #named #performance #string #towards- SEJoin: an optimized algorithm towards efficient approximate string searches (JZ, ZC, JZ), pp. 1249–1250.
BX-2011-Voigtlaender1 #bidirectional #performance- Efficiency of Bidirectional Transformations (JV), p. 64.
OOPSLA-2011-CledatKP #programming- Efficiently speeding up sequential computation through the n-way programming model (RC, TK, SP), pp. 537–554.
TOOLS-EUROPE-2011-FalleriDLVD #performance #ranking #retrieval #scalability- Efficient Retrieval and Ranking of Undesired Package Cycles in Large Software Systems (JRF, SD, JL, PV, SD), pp. 260–275.
POPL-2011-LhotakC #analysis #performance #points-to- Points-to analysis with efficient strong updates (OL, KCAC), pp. 3–16.
SAC-2011-AhnLK #development #embedded #energy #network- Development of the wireless embedded sensor network for energy-efficient flooding (SA, YL, SK), pp. 621–622.
SAC-2011-BelcaidBHP #clustering #performance #using- Efficient clustering of populations using a minimal SNP panel (MB, KB, DH, GP), pp. 83–88.
SAC-2011-ChungPK #memory management #performance #scalability- LSTAFF*: an efficient flash translation layer for large block flash memory (TSC, DJP, JK), pp. 589–594.
SAC-2011-DabringerE #performance #query #retrieval- Efficient top-k retrieval for user preference queries (CD, JE), pp. 1045–1052.
SAC-2011-JinL #performance- Efficient traitor tracing for clone attack in content protection (HJ, JBL), pp. 1544–1549.
SAC-2011-KimKKK #energy #memory management #named #performance- FMCM: a efficient flash memory cache management scheme for energy-efficient disks (YK, TK, YK, ARK), pp. 625–626.
SAC-2011-KongGDY #energy #parallel #realtime #scheduling- Energy-efficient scheduling for parallel real-time tasks based on level-packing (FK, NG, QD, WY), pp. 635–640.
SAC-2011-LinC #query #towards- Towards communication-efficient private location dependent queries (KPL, MSC), pp. 433–438.
SAC-2011-MajchrzakJK #evaluation #open source #performance #tool support- Efficiency evaluation of open source ETL tools (TAM, TJ, HK), pp. 287–294.
SAC-2011-SteigerHS #constraints #network #performance- An efficient generic network flow constraint (RS, WJvH, RS), pp. 893–900.
ICSE-2011-FilieriGT #model checking #performance #probability #runtime- Run-time efficient probabilistic model checking (AF, CG, GT), pp. 341–350.
SPLC-2011-GhezziS #approach #model checking #non-functional #parametricity #performance #product line #towards #using #verification- Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking (CG, AMS), pp. 170–174.
ASPLOS-2011-SinghMNMM #exception #memory management #performance- Efficient processor support for DRFx, a memory model with exceptions (AS, DM, SN, TDM, MM), pp. 53–66.
CC-2011-LameedH #array #compilation #jit #matlab #semantics #staged- Staged Static Techniques to Efficiently Implement Array Copy Semantics in a MATLAB JIT Compiler (NL, LJH), pp. 22–41.
CGO-2011-JonesBMC #optimisation #performance- Link-time optimization for power efficiency in a tagless instruction cache (TMJ, SB, JM, DC), pp. 32–41.
CGO-2011-NasreG #analysis #constraints #evaluation #performance #points-to- Prioritizing constraint evaluation for efficient points-to analysis (RN, RG), pp. 267–276.
CGO-2011-WuHBW #energy #manycore #virtual machine- A HW/SW co-designed heterogeneous multi-core virtual machine for energy-efficient general purpose computing (YW, SH, EB, CW), pp. 236–245.
CGO-2011-XieX #detection #named #performance- Acculock: Accurate and efficient detection of data races (XX, JX), pp. 201–212.
HPCA-2011-BobbaLHW #memory management #performance- Safe and efficient supervised memory systems (JB, ML, MDH, DAW), pp. 369–380.
HPCA-2011-FungA #concurrent #control flow #performance #thread- Thread block compaction for efficient SIMT control flow (WWLF, TMA), pp. 25–36.
HPCA-2011-GovindarajuHS #energy #performance- Dynamically Specialized Datapaths for energy efficient computing (VG, CHH, KS), pp. 503–514.
HPCA-2011-HouZHWFGC #challenge #data type #performance #streaming- Efficient data streaming with on-chip accelerators: Opportunities and challenges (RH, LZ, MCH, KW, HF, YG, XC), pp. 312–320.
HPCA-2011-JoshiZL #energy #memory management #multi #named #performance- Mercury: A fast and energy-efficient multi-level cell based Phase Change Memory system (MJ, WZ, TL), pp. 345–356.
HPCA-2011-ManikantanRG #distance #manycore #named #performance- NUcache: An efficient multicore cache organization based on Next-Use distance (RM, KR, RG), pp. 243–253.
HPCA-2011-SampsonVGGST #performance- Efficient complex operators for irregular codes (JS, GV, NGH, SG, SS, MBT), pp. 491–502.
HPCA-2011-SmullenMNGS #energy #performance- Relaxing non-volatility for fast and energy-efficient STT-RAM caches (CWSI, VM, AN, SG, MRS), pp. 50–61.
HPDC-2011-Feng #energy- Energy-efficient E-puting everywhere (WcF), pp. 109–110.
HPDC-2011-NicolaeBKA #multi #performance- Going back and forth: efficient multideployment and multisnapshotting on clouds (BN, JB, KK, GA), pp. 147–158.
LCTES-2011-AlthausAN #analysis #parametricity #performance #precise- Precise and efficient parametric path analysis (EA, SA, RN), pp. 141–150.
LCTES-2011-GamatieG #design #embedded #multi #performance #source code #static analysis- Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systems (AG, LG), pp. 71–80.
PPoPP-2011-HassaanBP #algorithm #comparison #order #parallel- Ordered vs. unordered: a comparison of parallelism and work-efficiency in irregular algorithms (MAH, MB, KP), pp. 3–12.
PPoPP-2011-NegaraKA #message passing #performance- Inferring ownership transfer for efficient message passing (SN, RKK, GAA), pp. 81–90.
SOSP-2011-CuiWGGY #multi #performance #thread- Efficient deterministic multithreading through schedule relaxation (HC, JW, JG, HG, JY), pp. 337–351.
SOSP-2011-LimFAK #named- SILT: a memory-efficient, high-performance key-value store (HL, BF, DGA, MK), pp. 1–13.
SOSP-2011-LiuCB #multi #named #performance #thread- Dthreads: efficient deterministic multithreading (TL, CC, EDB), pp. 327–336.
CADE-2011-LiuL #morphism #performance #unification- Efficient General Unification for XOR with Homomorphism (ZL, CL), pp. 407–421.
CADE-2011-WiesMK #data type #imperative #performance- An Efficient Decision Procedure for Imperative Tree Data Structures (TW, MM, VK), pp. 476–491.
CAV-2011-BrazdilKK #analysis #bound #performance #probability #source code- Efficient Analysis of Probabilistic Programs with an Unbounded Counter (TB, SK, AK), pp. 208–224.
CAV-2011-CimattiMT #automaton #hybrid #performance #verification- Efficient Scenario Verification for Hybrid Automata (AC, SM, ST), pp. 317–332.
CAV-2011-HoderBM #constraints #fixpoint #named #performance- μZ — An Efficient Engine for Fixed Points with Constraints (KH, NB, LMdM), pp. 457–462.
ICLP-2011-Zombori #information retrieval #logic #performance #reasoning- Two Phase Description Logic Reasoning for Efficient Information Retrieval (ZZ), pp. 296–300.
ICLP-J-2011-CruzR #evaluation #logic programming #performance #retrieval #source code- Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs (FC, RR), pp. 697–712.
ICST-2011-AichernigBJK #performance- Efficient Mutation Killers in Action (BKA, HB, EJ, WK), pp. 120–129.
ICST-2011-EngstromRL #case study #industrial #performance #testing- Improving Regression Testing Transparency and Efficiency with History-Based Prioritization — An Industrial Case Study (EE, PR, AL), pp. 367–376.
ICST-2011-LuoDQ #concurrent #detection #manycore #performance- Multicore SDK: A Practical and Efficient Deadlock Detector for Real-World Applications (ZDL, RD, YQ), pp. 309–318.
ISSTA-2011-BernatRM #performance- Efficient, sensitivity resistant binary instrumentation (ARB, KAR, BPM), pp. 89–99.
ISSTA-2011-TanejaXTH #generative #named #performance #testing- eXpress: guided path exploration for efficient regression test generation (KT, TX, NT, JdH), pp. 1–11.
RTA-2011-ConchinhaBC #deduction #equivalence #named #performance- FAST: An Efficient Decision Procedure for Deduction and Static Equivalence (BC, DAB, CC), pp. 11–20.
SAT-2011-HeuleJB #graph #performance- Efficient CNF Simplification Based on Binary Implication Graphs (MH, MJ, AB), pp. 201–215.
SAT-2011-Minato #diagrams #named #performance #permutation #problem- πDD: A New Decision Diagram for Efficient Problem Solving in Permutation Space (SiM), pp. 90–104.
SAT-2011-TanjoTB #csp #encoding #finite #performance- A Compact and Efficient SAT-Encoding of Finite Domain CSP (TT, NT, MB), pp. 375–376.
CASE-2010-HametnerZS #architecture #automation #component #development #industrial #performance- Automation component architecture for the efficient development of industrial automation systems (RH, AZ, MS), pp. 156–161.
DAC-2010-ChippaMRRC #algorithm #design #energy #hardware #performance #scalability- Scalable effort hardware design: exploiting algorithmic resilience for energy efficiency (VKC, DM, AR, KR, STC), pp. 555–560.
DAC-2010-Coudert #algorithm #performance #verification- An efficient algorithm to verify generalized false paths (OC), pp. 188–193.
DAC-2010-DadgourHSB #analysis #design #energy #logic #using- Design and analysis of compact ultra energy-efficient logic gates using laterally-actuated double-electrode NEMS (HFD, MMH, CS, KB), pp. 893–896.
DAC-2010-FayyaziK #performance #simulation- Efficient simulation of oscillatory combinational loops (MF, LK), pp. 777–780.
DAC-2010-GaoYWY #analysis #correlation #estimation #performance #statistics- Efficient tail estimation for massive correlated log-normal sums: with applications in statistical leakage analysis (MG, ZY, YW, ZY), pp. 475–480.
DAC-2010-GongYSKRH #constraints #estimation #named #parametricity #performance- QuickYield: an efficient global-search based parametric yield estimation with performance constraints (FG, HY, YS, DK, JR, LH), pp. 392–397.
DAC-2010-JangP #design #performance- Application-aware NoC design for efficient SDRAM access (WJ, DZP), pp. 453–456.
DAC-2010-KaoCTC #detection #performance- An efficient phase detector connection structure for the skew synchronization system (YCK, HMC, KTT, SCC), pp. 729–734.
DAC-2010-KochteSWZ #fault #manycore #performance #simulation- Efficient fault simulation on many-core processors (MAK, MS, HJW, CGZ), pp. 380–385.
DAC-2010-LimKH #functional #generative #modelling #performance- An efficient test vector generation for checking analog/mixed-signal functional models (BL, JK, MAH), pp. 767–772.
DAC-2010-LiuYT #algorithm #analysis #performance #robust #scalability- A robust periodic arnoldi shooting algorithm for efficient analysis of large-scale RF/MM ICs (XL, HY, SXDT), pp. 573–578.
DAC-2010-ModarressiST #architecture #configuration management #network #performance- An efficient dynamically reconfigurable on-chip network architecture (MM, HSA, AT), pp. 166–169.
DAC-2010-VeetilCSB #monte carlo #performance #resource management- Efficient smart monte carlo based SSTA on graphics processing units with improved resource utilization (VV, YHC, DS, DB), pp. 793–798.
DAC-2010-XiongW #algorithm #constraints #grid #linear #performance #power management #verification- An efficient dual algorithm for vectorless power grid verification under linear current constraints (XX, JW), pp. 837–842.
DAC-2010-ZhangCTL #modelling #multi #performance #scalability #towards- Toward efficient large-scale performance modeling of integrated circuits via multi-mode/multi-corner sparse regression (WZ, THC, MYT, XL), pp. 897–902.
DAC-2010-ZitterellS #approach #energy #online #probability #realtime #scheduling- A probabilistic and energy-efficient scheduling approach for online application in real-time systems (TZ, CS), pp. 42–47.
DATE-2010-AgheraKFCR #energy #named #performance- DynAHeal: Dynamic energy efficient task assignment for wireless healthcare systems (PA, DK, DF, AKC, TR), pp. 1661–1664.
DATE-2010-BonfiettiBLM #approach #manycore #performance #scheduling- An efficient and complete approach for throughput-maximal SDF allocation and scheduling on multi-core platforms (AB, LB, ML, MM), pp. 897–902.
DATE-2010-ChenQM #generative #performance #satisfiability #testing- Efficient decision ordering techniques for SAT-based test generation (MC, XQ, PM), pp. 490–495.
DATE-2010-CoskunARBM #3d #architecture #energy- Energy-efficient variable-flow liquid cooling in 3D stacked architectures (AKC, DA, TSR, TB, BM), pp. 111–116.
DATE-2010-Fettweis #energy- The road to energy-efficient systems: From hardware-driven to software-defined (GF), p. 477.
DATE-2010-GhoshS #performance #perspective- Power efficient voltage islanding for Systems-on-chip from a floorplanning perspective (PG, AS), pp. 654–657.
DATE-2010-HatamiP #analysis #component #library #performance #representation #robust #using- Efficient representation, stratification, and compression of variational CSM library waveforms using Robust Principle Component Analysis (SH, MP), pp. 1285–1290.
DATE-2010-HuangX10a #constraints #energy #multi #reliability #scheduling- Energy-efficient task allocation and scheduling for multi-mode MPSoCs under lifetime reliability constraint (LH, QX), pp. 1584–1589.
DATE-2010-JaffariA10a #analysis #correlation #performance #variability- Correlation controlled sampling for efficient variability analysis of analog circuits (JJ, MA), pp. 1305–1308.
DATE-2010-LiuFG #optimisation #performance- An accurate and efficient yield optimization method for analog circuits based on computing budget allocation and memetic search technique (BL, FVF, GGEG), pp. 1106–1111.
DATE-2010-LiuLW #energy #fault tolerance #performance #realtime #scheduling- Scheduling for energy efficiency and fault tolerance in hard real-time systems (YL, HL, KW), pp. 1444–1449.
DATE-2010-LoiB #3d #distributed #framework #interface #manycore #memory management #performance- An efficient distributed memory interface for many-core platform with 3D stacked DRAM (IL, LB), pp. 99–104.
DATE-2010-LuPRR #energy #performance #transducer- Efficient power conversion for ultra low voltage micro scale energy transducers (CL, SPP, VR, KR), pp. 1602–1607.
DATE-2010-MarongiuRB #manycore #memory management #performance- Efficient OpenMP data mapping for multicore platforms with vertically stacked memory (AM, MR, LB), pp. 105–110.
DATE-2010-NeishaburiZ #clustering #debugging #performance- Enabling efficient post-silicon debug by clustering of hardware-assertions (MHN, ZZ), pp. 985–988.
DATE-2010-PanYZS #approach #megamodelling #order #performance #reduction- An efficient transistor-level piecewise-linear macromodeling approach for model order reduction of nonlinear circuits (XP, FY, XZ, YS), pp. 1673–1676.
DATE-2010-QaziTDSC #analysis #performance #reduction- Loop flattening & spherical sampling: Highly efficient model reduction techniques for SRAM yield analysis (MQ, MT, LD, DS, AC), pp. 801–806.
DATE-2010-Schlager #hardware #interactive #performance- Increasing the power efficiency of PCs by improving the hardware/OS interaction (CS), p. 1005.
DATE-2010-SheaSC #identifier #performance- Scoped identifiers for efficient bit aligned logging (RS, MBS, YC), pp. 1450–1455.
DATE-2010-SrinivasJ #clustering #graph #performance- Clock gating approaches by IOEX graphs and cluster efficiency plots (JS, SJ), pp. 638–641.
DATE-2010-SrivastavaSB #3d #performance- Efficient 3D high-frequency impedance extraction for general interconnects and inductors above a layered substrate (NS, RS, KB), pp. 459–464.
DATE-2010-SubramanyanSSL #execution #fault tolerance #multi #performance- Multiplexed redundant execution: A technique for efficient fault tolerance in chip multiprocessors (PS, VS, KKS, EL), pp. 1572–1577.
DATE-2010-WuLCT #abstraction #automation #generative #multi #performance- Automatic generation of software TLM in multiple abstraction layers for efficient HW/SW co-simulation (MHW, WCL, CYC, RST), pp. 1177–1182.
DATE-2010-YangCTK #energy #realtime #scheduling- Energy-efficient real-time task scheduling with temperature-dependent leakage (CYY, JJC, LT, TWK), pp. 9–14.
DATE-2010-Yu- A memory- and time-efficient on-chip TCAM minimizer for IP lookup (HY), pp. 926–931.
DATE-2010-ZebeleinFHTD #modelling #network #performance- Efficient High-Level modeling in the networking domain (CZ, JF, CH, JT, RD), pp. 1189–1194.
DATE-2010-ZhuSJ #configuration management #cpu #design #performance #streaming- Pareto efficient design for reconfigurable streaming applications on CPU/FPGAs (JZ, IS, AJ), pp. 1035–1040.
DocEng-2010-GiannettiDLSC #estimation #on-demand #performance #profiling- PDF profiling for B&W versus color pages cost estimation for efficient on-demand book printing (FG, GD, RDL, GPeS, AC), pp. 177–180.
DRR-2010-ChenMT #automation #performance #using #validation #word- Efficient automatic OCR word validation using word partial format derivation and language model (SC, DM, GRT), pp. 1–10.
SIGMOD-2010-ChenSZZX #performance- Searching trajectories by locations: an efficiency study (ZC, HTS, XZ, YZ, XX), pp. 255–266.
SIGMOD-2010-FontouraSSVVVZ- Efficiently evaluating complex boolean expressions (MF, SS, JS, SV, EV, SV, JYZ), pp. 3–14.
SIGMOD-2010-KimWS #approach #independence #memory management #performance- Page-differential logging: an efficient and DBMS-independent approach for storing data into flash memory (YRK, KYW, IYS), pp. 363–374.
SIGMOD-2010-TsirogiannisHS #database #energy #performance- Analyzing the energy efficiency of a database server (DT, SH, MAS), pp. 231–242.
SIGMOD-2010-VernicaCL #parallel #performance #pipes and filters #using- Efficient parallel set-similarity joins using MapReduce (RV, MJC, CL), pp. 495–506.
SIGMOD-2010-Wei #graph #named #performance #query- TEDI: efficient shortest path query answering on graphs (FW0), pp. 99–110.
SIGMOD-2010-ZhouSTLLM #maintenance #network #performance #query- Efficient querying and maintenance of network provenance at internet-scale (WZ, MS, TT, XL, BTL, YM), pp. 615–626.
VLDB-2010-BuHBE #clustering #named #performance #scalability- HaLoop: Efficient Iterative Data Processing on Large Clusters (YB, BH, MB, MDE), pp. 285–296.
VLDB-2010-LiuNHHC #database #evolution #named- CODS: Evolving Data Efficiently and Scalably in Column Oriented Databases (ZL, SN, BH, HIH, YC), pp. 1521–1524.
VLDB-2010-PD #metric #performance #retrieval #similarity- Efficient RkNN Retrieval with Arbitrary Non-Metric Similarity Measures (DP, PD), pp. 1243–1254.
VLDB-2010-SadoghiJLSS #algorithm #configuration management #hardware #performance- Efficient Event Processing through Reconfigurable Hardware for Algorithmic Trading (MS, HAJ, ML, WS, HS), pp. 1525–1528.
VLDB-2010-SettyBBW #identification #named- InZeit: Efficiently Identifying Insightful Time Points (VS, SJB, KB, GW), pp. 1605–1608.
VLDB-2010-SharifzadehS #diagrams #named #nearest neighbour #performance #query- VoR-Tree: R-trees with Voronoi Diagrams for Efficient Processing of Spatial Nearest Neighbor Queries (MS, CS), pp. 1231–1242.
VLDB-2010-WangLF #constraints #named #performance #similarity #string- Trie-Join: Efficient Trie-based String Similarity Joins with Edit-Distance Constraints (JW, GL, JF), pp. 1219–1230.
VLDB-2010-WuJOW #performance- Efficient B-tree Based Indexing for Cloud Data Processing (SW, DJ, BCO, KLW), pp. 1207–1218.
VLDB-2010-XuZTY #data-driven #database #distance #effectiveness #performance #probability #similarity- Efficient and Effective Similarity Search over Probabilistic Data based on Earth Mover’s Distance (JX, ZZ, AKHT, GY), pp. 758–769.
VLDB-2010-YiuUST #detection #mobile #performance #policy #proximity #self- Efficient Proximity Detection among Mobile Users via Self-Tuning Policies (MLY, LHU, SS, KT), pp. 985–996.
VLDB-2010-ZhangMKC #evaluation #order #performance- Efficient Skyline Evaluation over Partially Ordered Domains (SZ, NM, BK, DWLC), pp. 1255–1266.
VLDB-2011-KlingOD #database #execution #generative #performance #xml- Generating Efficient Execution Plans for Vertically Partitioned XML Databases (PK, MTÖ, KD), pp. 1–11.
VLDB-2011-LeeH10 #clustering #named #performance #using- QSkycube: Efficient Skycube Computation using Point-Based Space Partitioning (JL, SwH), pp. 185–196.
VLDB-2011-LiuC10 #named #performance- ZINC: Efficient Indexing for Skyline Computation (BL, CYC), pp. 197–207.
VLDB-2011-Rocha-JuniorVDN10 #performance #query- Efficient Processing of Top-k Spatial Preference Queries (JBRJ, AV, CD, KN), pp. 93–104.
FASE-2010-LehnerM #performance #runtime- Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups (HL, PM), pp. 338–352.
TACAS-2010-BallBCMQ #concurrent #performance #testing- Preemption Sealing for Efficient Concurrency Testing (TB, SB, KEC, MM, SQ), pp. 420–434.
TACAS-2010-FogartyV #automaton #performance- Efficient Büchi Universality Checking (SF, MYV), pp. 205–220.
TACAS-2010-ParizekK #component #detection #fault #java #performance #random #using- Efficient Detection of Errors in Java Components Using Random Environment and Restarts (PP, TK), pp. 451–465.
MSR-2010-LuijtenVZ #assessment #performance- Assessment of issue handling efficiency (BL, JV, AZ), pp. 94–97.
PEPM-2010-MossP #implementation #performance- Bridging the gap between symbolic and efficient AES implementations (AM, DP), pp. 101–110.
PLDI-2010-BondBG #analysis #context-sensitive grammar #debugging #detection #named #performance- Breadcrumbs: efficient context sensitivity for dynamic bug detection analyses (MDB, GZB, SZG), pp. 13–24.
PLDI-2010-ChambersRPAHBW #named #performance #pipes and filters- FlumeJava: easy, efficient data-parallel pipelines (CC, AR, FP, SA, RRH, RB, NW), pp. 363–375.
PLDI-2010-MarinoSMMN #concurrent #memory management #named #performance #programming language- DRFX: a simple and efficient memory model for concurrent programming languages (DM, AS, TDM, MM, SN), pp. 351–362.
PLDI-2010-PanHA #parallel- Composing parallel software efficiently with lithe (HP, BH, KA), pp. 376–387.
STOC-2010-HaitnerRV #generative #performance #pseudo- Efficiency improvements in constructing pseudorandom generators from one-way functions (IH, OR, SPV), pp. 437–446.
STOC-2010-KalaiMV #learning- Efficiently learning mixtures of two Gaussians (ATK, AM, GV), pp. 553–562.
CIAA-2010-AllauzenRS #composition #finite #performance #transducer- Filters for Efficient Composition of Weighted Finite-State Transducers (CA, MR, JS), pp. 28–38.
ICALP-v1-2010-ApplebaumIK #performance #verification- From Secrecy to Soundness: Efficient Verification via Secure Computation (BA, YI, EK), pp. 152–163.
ICALP-v1-2010-BojanczykP #automaton #evaluation #nondeterminism #performance #using- Efficient Evaluation of Nondeterministic Automata Using Factorization Forests (MB, PP), pp. 515–526.
ICALP-v1-2010-LibertY #encryption #performance- Efficient Completely Non-malleable Public Key Encryption (BL, MY), pp. 127–139.
ICALP-v2-2010-AlistarhGGZ #cost analysis #how #performance- How Efficient Can Gossip Be? (On the Cost of Resilient Information Exchange) (DA, SG, RG, MZ), pp. 115–126.
ICALP-v2-2010-BerenbrinkCEG #performance #random- Efficient Information Exchange in the Random Phone-Call Model (PB, JC, RE, LG), pp. 127–138.
ICALP-v2-2010-BrazdilEKL #scheduling- Space-Efficient Scheduling of Stochastically Generated Tasks (TB, JE, SK, ML), pp. 539–550.
GT-VMT-2010-HermannCEK #analysis #equivalence #graph #performance #permutation #petri net- Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets (FH, AC, HE, BK).
CHI-2010-QuinnT #effectiveness #independence #performance #usability- Attractive phones don’t have to work better: independent effects of attractiveness, effectiveness, and efficiency on perceived usability (JMQ, TQT), pp. 353–362.
AdaEurope-2010-Andersen #implementation #performance #persistent- An Efficient Implementation of Persistent Objects (JSA), pp. 265–275.
ICEIS-AIDSS-2010-AhdabG #learning #network #performance- Efficient Learning of Dynamic Bayesian Networks from Timed Data (AA, MLG), pp. 226–231.
ICEIS-DISI-2010-KetataMMH #automation #maintenance #ontology #performance- Efficient Semi-automatic Maintenance of Mapping between Ontologies in a Biomedical Environment (IK, RM, FM, AH), pp. 257–262.
ICEIS-DISI-2010-LemosCV #query #relational #sql #using #xml- Using SQL/XML for Efficiently Translating Queries over XML View of Relational Data (FCL, CC, VMPV), pp. 269–274.
CIKM-2010-AlmeidaTL #metric #named #performance #similarity- BP-tree: an efficient index for similarity search in high-dimensional metric spaces (JA, RdST, NJL), pp. 1365–1368.
CIKM-2010-AnandBBS #keyword #performance #version control- Efficient temporal keyword search over versioned text (AA, SJB, KB, RS), pp. 699–708.
CIKM-2010-BonacicGMPT #concurrent #multi #performance #thread- Building efficient multi-threaded search nodes (CB, CG, MM, MPM, FT), pp. 1249–1258.
CIKM-2010-CaiP #graph #named #query #reachability #scalability- Path-hop: efficiently indexing large graphs for reachability queries (JC, CKP), pp. 119–128.
CIKM-2010-ChenJPL #algorithm #database #mining #performance #scalability- An efficient algorithm for mining time interval-based patterns in large database (YCC, JCJ, WCP, SYL), pp. 49–58.
CIKM-2010-ChenLZY #energy #network #query- Energy-efficient top-k query processing in wireless sensor networks (BC, WL, RZ, JXY), pp. 329–338.
CIKM-2010-ChubakR #natural language- Index structures for efficiently searching natural language text (PC, DR), pp. 689–698.
CIKM-2010-DasguptaBL #clustering #performance #taxonomy #web #web service- Taxonomic clustering of web service for efficient discovery (SD, SB, YL), pp. 1617–1620.
CIKM-2010-FanWW #clustering #normalisation #performance #visual notation- Maximum normalized spacing for efficient visual clustering (ZGF, YW, BW), pp. 409–418.
CIKM-2010-GargNB #algorithm #memory management #performance #realtime- Real-time memory efficient data redundancy removal algorithm (VKG, AN, SB), pp. 1259–1268.
CIKM-2010-GuptaGNM #query #using- Efficiently querying archived data using Hadoop (RG, HG, UN, MKM), pp. 1301–1304.
CIKM-2010-KimKLB #interpreter #performance #semantics- Efficient wikipedia-based semantic interpreter by exploiting top-k processing (JWK, AK, DL, SB), pp. 1813–1816.
CIKM-2010-ParkSYRY #network #performance #query- An efficient data-centric storage scheme considering storage and query hot-spots in sensor networks (YP, DS, JY, CTR, JY), pp. 1325–1328.
CIKM-2010-SilvestriV #encoding #integer #named #performance #programming- VSEncoding: efficient coding and fast decoding of integer lists via dynamic programming (FS, RV), pp. 1219–1228.
CIKM-2010-SongC #database #performance- Efficient set-correlation operator inside databases (SS, LC), pp. 139–148.
CIKM-2010-YanSZSW #performance #proximity- Efficient term proximity search with term-pair indexes (HY, SS, FZ, TS, JRW), pp. 1229–1238.
ICML-2010-Cesa-BianchiSS #learning #performance- Efficient Learning with Partially Observed Attributes (NCB, SSS, OS), pp. 183–190.
ICML-2010-KalyanakrishnanS #multi #performance #theory and practice- Efficient Selection of Multiple Bandit Arms: Theory and Practice (SK, PS), pp. 511–518.
ICML-2010-LizotteBM #analysis #learning #multi #performance #random- Efficient Reinforcement Learning with Multiple Reward Functions for Randomized Controlled Trial Analysis (DJL, MHB, SAM), pp. 695–702.
ICML-2010-MeshiSJG #approximate #learning- Learning Efficiently with Approximate Inference via Dual Losses (OM, DS, TSJ, AG), pp. 783–790.
ICML-2010-XuJYKL #kernel #learning #multi #performance- Simple and Efficient Multiple Kernel Learning by Group Lasso (ZX, RJ, HY, IK, MRL), pp. 1175–1182.
ICPR-2010-AroraS #algorithm #learning #performance- An Efficient and Stable Algorithm for Learning Rotations (RA, WAS), pp. 2993–2996.
ICPR-2010-BaghshahS #constraints #kernel #learning #performance- Efficient Kernel Learning from Constraints and Unlabeled Data (MSB, SBS), pp. 3364–3367.
ICPR-2010-BalujaC #learning #performance #retrieval- Beyond “Near Duplicates”: Learning Hash Codes for Efficient Similar-Image Retrieval (SB, MC), pp. 543–547.
ICPR-2010-BeecksWS #multi #performance- Improving the Efficiency of Content-Based Multimedia Exploration (CB, SW, TS), pp. 3163–3166.
ICPR-2010-BrezovanBGSS #adaptation #detection #image #performance #visual notation- An Adaptive Method for Efficient Detection of Salient Visual Object from Color Images (MB, DDB, EG, LS, CSS), pp. 2346–2349.
ICPR-2010-ChenJ #3d #performance #self- Efficient 3D Upper Body Tracking with Self-Occlusions (JC, QJ), pp. 3636–3639.
ICPR-2010-CohenP #learning #performance #robust- Reinforcement Learning for Robust and Efficient Real-World Tracking (AC, VP), pp. 2989–2992.
ICPR-2010-Demirci #performance #retrieval- Efficient Shape Retrieval Under Partial Matching (MFD), pp. 3057–3060.
ICPR-2010-DornaikaC #classification #detection #performance #using- Efficient Object Detection and Matching Using Feature Classification (FD, FC), pp. 3073–3076.
ICPR-2010-DuttaPFL #approach #documentation #performance- An Efficient Staff Removal Approach from Printed Musical Documents (AD, UP, AF, JL), pp. 1965–1968.
ICPR-2010-FoureyB #combinator #encoding #performance- Efficient Encoding of n-D Combinatorial Pyramids (SF, LB), pp. 1036–1039.
ICPR-2010-GhiasiS #identification #independence #performance- An Efficient Method for Offline Text Independent Writer Identification (GG, RS), pp. 1245–1248.
ICPR-2010-IjiriLHM #performance #recognition- Efficient Facial Attribute Recognition with a Spatial Codebook (YI, SL, TXH, HM), pp. 1461–1464.
ICPR-2010-JiaCLW #image #learning #performance- Efficient Learning to Label Images (KJ, LC, NL, LW), pp. 942–945.
ICPR-2010-KenmochiBT- Efficiently Computing Optimal Consensus of Digital Line Fitting (YK, LB, HT), pp. 1064–1067.
ICPR-2010-KimuraKSNMSI #canonical #correlation #learning #named #performance- SemiCCA: Efficient Semi-supervised Learning of Canonical Correlations (AK, HK, MS, TN, EM, HS, KI), pp. 2933–2936.
ICPR-2010-KuksaP #classification #performance #representation #sequence- Spatial Representation for Efficient Sequence Classification (PPK, VP), pp. 3320–3323.
ICPR-2010-MangalampalliCS #classification #fuzzy #image #named #performance- I-FAC: Efficient Fuzzy Associative Classifier for Object Classes in Images (AM, VC, SS), pp. 4388–4391.
ICPR-2010-MaramisD #image #information management #performance- Efficient Quantitative Information Extraction from PCR-RFLP Gel Electrophoresis Images (CM, AD), pp. 2560–2563.
ICPR-2010-PullaKJ #image #performance #retrieval #semantics- Efficient Semantic Indexing for Image Retrieval (CP, PSK, CVJ), pp. 3276–3279.
ICPR-2010-RathgebU #performance #recognition- Attacking Iris Recognition: An Efficient Hill-Climbing Technique (CR, AU), pp. 1217–1220.
ICPR-2010-ReinbacherRB #estimation #performance- Pose Estimation of Known Objects by Efficient Silhouette Matching (CR, MR, HB), pp. 1080–1083.
ICPR-2010-RevaudLAB #graph #learning #performance #recognition #robust- Learning an Efficient and Robust Graph Matching Procedure for Specific Object Recognition (JR, GL, YA, AB), pp. 754–757.
ICPR-2010-SemenovichS #higher-order #performance- Tensor Power Method for Efficient MAP Inference in Higher-order MRFs (DS, AS), pp. 734–737.
ICPR-2010-VillamizarMAS #category theory #detection #multi #performance #random- Shared Random Ferns for Efficient Detection of Multiple Categories (MV, FMN, JAC, AS), pp. 388–391.
ICPR-2010-VuLB #algorithm #clustering #constraints #performance- An Efficient Active Constraint Selection Algorithm for Clustering (VVV, NL, BBM), pp. 2969–2972.
ICPR-2010-YangL #locality #performance #recognition- Efficient Finger Vein Localization and Recognition (JY, XL), pp. 1148–1151.
ICPR-2010-ZhouL #approximate #monte carlo #optimisation #performance- Efficient Polygonal Approximation of Digital Curves via Monte Carlo Optimization (XZ, YL), pp. 3513–3516.
KDD-2010-GaoLFWSH #community #detection #network #on the #performance- On community outliers and their efficient detection in information networks (JG, FL, WF, CW, YS, JH), pp. 813–822.
KDD-2010-GeXTXGP #energy #mobile #recommendation- An energy-efficient mobile recommender system (YG, HX, AT, KX, MG, MJP), pp. 899–908.
KDD-2010-LiuYY #algorithm #performance #problem- An efficient algorithm for a class of fused lasso problems (JL, LY, JY), pp. 323–332.
KDD-2010-RaykarKY #classification #design #performance #trade-off- Designing efficient cascaded classifiers: tradeoff between accuracy and cost (VCR, BK, SY), pp. 853–860.
KDD-2010-TsengWSY #algorithm #mining #named #performance- UP-Growth: an efficient algorithm for high utility itemset mining (VST, CWW, BES, PSY), pp. 253–262.
KDD-2010-WangC #algorithm #linear #modelling #performance- An efficient causal discovery algorithm for linear models (ZW, LC), pp. 1109–1118.
KDIR-2010-DesaiSP #named #performance #robust #scalability- SEAR — Scalable, Efficient, Accurate, Robust kNN-based Regression (AD, HS, VP), pp. 392–395.
KDIR-2010-OlsonL #clustering #performance- Simple and Efficient Projective Clustering (CFO, HJL), pp. 45–55.
KDIR-2010-TsaiHYC #algorithm #clustering #performance- An Efficient PSO-based Clustering Algorithm (CWT, KWH, CSY, MCC), pp. 150–155.
KMIS-2010-KadhemAK #database #encryption #order #performance #relational- A Secure and Efficient Order Preserving Encryption Scheme for Relational Databases (HK, TA, HK), pp. 25–35.
KR-2010-LiVK #approach #performance- An Efficient Majority-Rule-Based Approach for Collective Decision Making with CP-Nets (ML, QBV, RK).
KR-2010-SanthanamBH #performance #testing- Efficient Dominance Testing for Unconditional Preferences (GRS, SB, VH).
RecSys-2010-LipczakM #learning #performance #recommendation- Learning in efficient tag recommendation (ML, EEM), pp. 167–174.
SEKE-2010-WangWLX #developer- Assisting Developers to Read Code Help-Documents Efficiently through Discovering Document-section Relationships (LW, LW, GL, BX), pp. 367–373.
SIGIR-2010-KeM #effectiveness #information retrieval #network #performance #scalability- Scalability of findability: effective and efficient IR operations in large information networks (WK, JM), pp. 74–81.
SIGIR-2010-WangLM #learning #rank- Learning to efficiently rank (LW, JJL, DM), pp. 138–145.
SIGIR-2010-ZhangZYH #detection #performance #sequence- Efficient partial-duplicate detection based on sequence matching (QZ, YZ, HY, XH), pp. 675–682.
OOPSLA-2010-ReichenbachISAG #garbage collection #what- What can the GC compute efficiently?: a language for heap assertions at GC time (CR, NI, YS, EA, SZG), pp. 256–269.
OOPSLA-2010-RobersonB #composition #model checking #performance- Efficient modular glass box software model checking (MR, CB), pp. 4–21.
GPCE-2010-KriegerKW #automation #contract #performance #simulation- Automatic and efficient simulation of operation contracts (MPK, AK, BW), pp. 53–62.
GPCE-2010-SinceroTLS #analysis #performance #variability- Efficient extraction and analysis of preprocessor-based variability (JS, RT, DL, WSP), pp. 33–42.
PPDP-2010-DemeyerALV #declarative #flexibility #process #workflow- Declarative workflows to efficiently manage flexible and advanced business processes (RD, MVA, LL, WV), pp. 209–218.
PPDP-2010-TekleL #analysis #complexity #datalog #performance #precise #query- Precise complexity analysis for efficient datalog queries (KTT, YAL), pp. 35–44.
PADL-2010-AreiasR #implementation #linear #order #performance- An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives (MA, RR), pp. 279–293.
PADL-2010-LeoneRRT #integration #performance #programming #set- Efficient Application of Answer Set Programming for Advanced Data Integration (NL, FR, LAR, GT), pp. 10–24.
PADL-2010-MarquesSC #concurrent #implementation #performance- A Simple and Efficient Implementation of Concurrent Local Tabling (RM, TS, JCC), pp. 264–278.
SAC-OOPS-J-2008-LogozzoF10 #abstract domain #array #named #performance #relational #validation- Pentagons: A weakly relational abstract domain for the efficient validation of array accesses (FL, MF), pp. 796–807.
SAC-2010-AminBJ #framework #interactive #performance- A cytoscape based framework for efficient sub-graph isomorphic protein-protein interaction motif lookup (MSA, AB, HMJ), pp. 1572–1576.
SAC-2010-BaeAVNB #algorithm #performance #search-based- Convex onion peeling genetic algorithm: an efficient solution to map labeling of point-feature (WDB, SA, PV, SN, KYB), pp. 892–899.
SAC-2010-BaralisCC #dataset #mining #persistent #scalability- A persistent HY-Tree to efficiently support itemset mining on large datasets (EB, TC, SC), pp. 1060–1064.
SAC-2010-BayerKK #analysis #performance- Improving the efficiency of dynamic malware analysis (UB, EK, CK), pp. 1871–1878.
SAC-2010-Brunthaler #performance- Efficient inline caching without dynamic translation (SB), pp. 2155–2156.
SAC-2010-ChenT #energy #multi #scheduling- Energy-efficient scheduling on homogeneous multiprocessor platforms (JJC, LT), pp. 542–549.
SAC-2010-GhoshS #constraints #design #energy #performance- Efficient mapping and voltage islanding technique for energy minimization in NoC under design constraints (PG, AS), pp. 535–541.
SAC-2010-HeoGEKJ #energy #memory management #performance- Energy efficient program updating for sensor nodes with flash memory (JH, BG, SIE, PK, GJ), pp. 194–200.
SAC-2010-JungCKK #adaptation #named #performance #reliability- ASTRAL: an adaptive, efficient, and reliable flooding mechanism for MANET (JJ, YC, YK, IK), pp. 731–732.
SAC-2010-LeeST #algorithm #database #incremental #performance- An incremental algorithm for efficient unique signature discoveries on DNA databases (HPL, TFS, CYT), pp. 1506–1510.
SAC-2010-LiuCGT #energy #mobile #performance- Energy efficient management scheme for heterogeneous secondary storage system in mobile computers (SL, XC, XG, DT), pp. 251–257.
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.
SAC-2010-ParkKCKH #named #peer-to-peer #performance #replication- Chordet: an efficient and transparent replication for improving availability of peer-to-peer networked systems (GP, SK, YC, JK, JH), pp. 221–225.
SAC-2010-RibeiroS #data type #named #network #performance- g-tries: an efficient data structure for discovering network motifs (PMPR, FMAS), pp. 1559–1566.
SAC-2010-RosswogG #clustering #detection #mobile- Efficiently detecting clusters of mobile objects in the presence of dense noise (JR, KG), pp. 1095–1102.
SAC-2010-ShinLKLI #database #nearest neighbour #network #performance- Efficient shortest path finding of k-nearest neighbor objects in road network databases (SHS, SCL, SWK, JL, EGI), pp. 1661–1665.
SAC-2010-VogelsJP #generative #performance #proving #verification- A machine-checked soundness proof for an efficient verification condition generator (FV, BJ, FP), pp. 2517–2522.
SAC-2010-WeiYKHC #energy #manycore #realtime #scheduling- Energy-efficient real-time scheduling of multimedia tasks on multi-core processors (YHW, CYY, TWK, SHH, YHC), pp. 258–262.
SAC-2010-ZhouS #ad hoc #energy #network #performance #throughput #towards- Towards higher throughput and energy efficiency in dense wireless ad hoc and sensor networks (WZ, RS), pp. 749–755.
FSE-2010-BirdBRB #named #performance- LINKSTER: enabling efficient manual inspection and annotation of mined data (CB, AB, FR, AB), pp. 369–370.
ICSE-2010-Bodden #analysis #hybrid #performance #type system- Efficient hybrid typestate analysis by determining continuation-equivalent states (EB), pp. 5–14.
ICSE-2010-ClassenHSLR #model checking #performance #product line #verification- Model checking lots of systems: efficient verification of temporal properties in software product lines (AC, PH, PYS, AL, JFR), pp. 335–344.
ICSE-2010-Padua #complexity #effectiveness #performance- Measuring complexity, effectiveness and efficiency in software course projects (WP), pp. 545–554.
LDTA-2009-JimM10 #earley #parsing #performance- Efficient Earley Parsing with Regular Right-hand Sides (TJ, YM), pp. 135–148.
SPLC-2010-LinYT #approach #performance #product line- An Approach to Efficient Product Configuration in Software Product Lines (YL, HY, JT), pp. 435–439.
ASPLOS-2010-HuangDS #multi #named #performance- Orthrus: efficient software integrity protection on multi-cores (RCH, DYD, GES), pp. 371–384.
ASPLOS-2010-KirmanM #power management #using- A power-efficient all-optical on-chip interconnect using wavelength-based oblivious routing (NK, JFM), pp. 15–28.
ASPLOS-2010-LeeWVNCF #multi #named #online #performance- Respec: efficient online multiprocessor replayvia speculation and external determinism (DL, BW, KV, SN, PMC, JF), pp. 77–90.
ASPLOS-2010-SudanCNABD #named #performance- Micro-pages: increasing DRAM efficiency with locality-aware data placement (KS, NC, DWN, MA, RB, AD), pp. 219–230.
CGO-2010-GottschlichVS #memory management #performance #transaction #using- An efficient software transactional memory using commit-time invalidation (JEG, MV, JGS), pp. 101–110.
CGO-2010-StrattonGMAMHH #compilation #fine-grained #manycore #performance #source code #thread- Efficient compilation of fine-grained SPMD-threaded programs for multicore CPUs (JAS, VG, JM, BA, MM, ZH, WmWH), pp. 111–119.
CGO-2010-ZhaoBA #memory management #named #performance #scalability- Umbra: efficient and scalable memory shadowing (QZ, DB, SPA), pp. 22–31.
HPCA-2010-HiltonR #energy #execution #named- BOLT: Energy-efficient Out-of-Order Latency-Tolerant execution (ADH, AR), pp. 1–12.
HPCA-2010-PanKM #energy #named- FlexiShare: Channel sharing for an energy-efficient nanophotonic crossbar (YP, JK, GM), pp. 1–12.
HPCA-2010-UdipiMB #energy #network #scalability #towards- Towards scalable, energy-efficient, bus-based on-chip networks (ANU, NM, RB), pp. 1–12.
HPDC-2010-GehaniK #multi #named #trust #verification- Mendel: efficiently verifying the lineage of data modified in multiple trust domains (AG, MK), pp. 227–239.
HPDC-2010-GehaniKM #distributed #performance #query- Efficient querying of distributed provenance stores (AG, MK, TM), pp. 613–621.
HPDC-2010-JonesDD #clustering #performance- Impact of sub-optimal checkpoint intervals on application efficiency in computational clusters (WMJ, JTD, ND), pp. 276–279.
HPDC-2010-PovznerSB #distributed #named #performance- Horizon: efficient deadline-driven disk I/O management for distributed storage systems (AP, DS, SAB), pp. 1–12.
HPDC-2010-TurcuFN #performance- Reshaping text data for efficient processing on Amazon EC2 (GT, ITF, SN), pp. 435–444.
ISMM-2010-ZhaoBA #architecture #memory management #performance- Efficient memory shadowing for 64-bit architectures (QZ, DB, SPA), pp. 93–102.
LCTES-2010-LiZ #embedded #mobile #performance- An efficient code update scheme for DSP applications in mobile embedded systems (WL, YZ), pp. 105–114.
OSDI-2010-AviramWHF #parallel #performance- Efficient System-Enforced Deterministic Parallelism (AA, SCW, SH, BF), pp. 193–206.
PPoPP-2010-UpadhyayaMP #data type #generative #performance #using- Using data structure knowledge for efficient lock generation and strong atomicity (GU, SPM, VSP), pp. 281–292.
CAV-2010-HerbreteauSW #automaton #performance- Efficient Emptiness Check for Timed Büchi Automata (FH, BS, IW), pp. 148–161.
CAV-2010-LiXBL #analysis #automaton #hardware #performance #reachability- Efficient Reachability Analysis of Büchi Pushdown Systems for Hardware/Software Co-verification (JL, FX, TB, VL), pp. 339–353.
CSL-2010-BaganDFG #performance #query- Efficient Enumeration for Conjunctive Queries over X-underbar Structures (GB, AD, EF, OG), pp. 80–94.
ICLP-2010-FayruzovJVCC10 #performance #set #source code- Efficient Solving of Time-dependent Answer Set Programs (TF, JJ, DV, CC, MDC), pp. 64–73.
ICLP-2010-Fierens10 #logic #modelling #performance #probability- Improving the Efficiency of Gibbs Sampling for Probabilistic Logical Models by Means of Program Specialization (DF), pp. 74–83.
ICST-2010-GligoricJM #mutation testing #named #parallel #performance #testing #thread- MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code (MG, VJ, DM), pp. 55–64.
ICTSS-2010-AlmeidaMSTV #architecture #distributed #performance #scalability- Efficient Distributed Test Architectures for Large-Scale Systems (ECdA, JEM, GS, YLT, PV), pp. 174–187.
ISSTA-2010-GaleottiRPF #analysis #bound #invariant #performance #verification- Analysis of invariants for efficient bounded verification (JPG, NR, CLP, MFF), pp. 25–36.
RTA-2010-LevyV #algorithm #performance #unification- An Efficient Nominal Unification Algorithm (JL, MV), pp. 209–226.
WICSA-ECSA-2009-KuhnMKSBT #aspect-oriented #performance- Introducing Aspect-oriented Space Containers for efficient publish/subscribe scenarios in Intelligent Transportation Systems (EK, RM, LK, CS, SB, ST), pp. 313–316.
ASE-2009-BarnatBS #clustering #ltl #model checking- Cluster-Based I/O-Efficient LTL Model Checking (JB, LB, PS), pp. 635–639.
ASE-2009-ChenMJR #independence #monitoring #parametricity #performance- Efficient Formalism-Independent Monitoring of Parametric Properties (FC, POM, DJ, GR), pp. 383–394.
ASE-2009-SiddiquiMK #constraints #optimisation #performance #theorem proving- Optimizing a Structural Constraint Solver for Efficient Software Checking (JHS, DM, SK), pp. 615–619.
ASE-2009-WongC #analysis #dependence #logic #modelling #performance- Improving the Efficiency of Dependency Analysis in Logical Decision Models (SW, YC), pp. 173–184.
CASE-2009-MysoreNUMR #algorithm #performance- An efficient algorithm for RFID reader positioning for coverage of irregularly-shaped areas (NM, PN, RSU, RM, SR), pp. 233–240.
CASE-2009-WangLCM #optimisation #performance #social- Efficient optimization of building emergency evacuation considering social bond of evacuees (PW, PBL, SCC, KLM), pp. 250–255.
DAC-2009-ArfaeeILFK #linear #multi #named #performance- Xquasher: a tool for efficient computation of multiple linear expressions (AA, AI, NL, FF, RK), pp. 254–257.
DAC-2009-ChenJ #manycore #performance #scheduling- Efficient program scheduling for heterogeneous multi-core processors (JC, LKJ), pp. 927–930.
DAC-2009-DongL #integration #performance #simulation- Parallelizable stable explicit numerical integration for efficient circuit simulation (WD, PL), pp. 382–385.
DAC-2009-El-MoselhyED #algorithm #performance- An efficient resistance sensitivity extraction algorithm for conductors of arbitrary shapes (TAEM, IME, BD), pp. 770–775.
DAC-2009-FengZYTZ #algorithm #performance- Provably good and practically efficient algorithms for CMP dummy fill (CF, HZ, CY, JT, XZ), pp. 539–544.
DAC-2009-JainC #graph #performance #satisfiability #using- Efficient SAT solving for non-clausal formulas using DPLL, graphs, and watched cuts (HJ, EMC), pp. 563–568.
DAC-2009-KimM #array #configuration management #embedded #performance- Hierarchical reconfigurable computing arrays for efficient CGRA-based embedded systems (YK, RNM), pp. 826–831.
DAC-2009-LaiYKH #performance #realtime- A trace-capable instruction cache for cost efficient real-time program trace compression in SoC (CHL, FCY, CFK, IJH), pp. 136–141.
DAC-2009-MehrotraS #performance #robust #using- A robust and efficient harmonic balance (HB) using direct solution of HB Jacobian (AM, AS), pp. 370–375.
DAC-2009-SiegelMP #debugging #performance- Untwist your brain: efficient debugging and diagnosis of complex assertions (MS, AM, CP), pp. 644–647.
DAC-2009-VeetilSBSR #analysis #dependence #performance- Efficient smart sampling based full-chip leakage analysis for intra-die variation considering state dependence (VV, DS, DB, SS, SR), pp. 154–159.
DAC-2009-WalravensVD #analysis #modelling #named #performance- ActivaSC: a highly efficient and non-intrusive extension for activity-based analysis of SystemC models (CW, YV, WD), pp. 172–177.
DAC-2009-WangH #approach #embedded #performance #simulation- An efficient approach for system-level timing simulation of compiler-optimized embedded software (ZW, AH), pp. 220–225.
DAC-2009-Wong #canonical #performance- An efficient passivity test for descriptor systems via canonical projector techniques (NW), pp. 957–962.
DAC-2009-YooYC #design #memory management #multi #performance- Multiprocessor System-on-Chip designs with active memory processors for higher memory efficiency (JhY, SY, KC), pp. 806–811.
DAC-2009-ZhangCTL #performance #worst-case- Efficient design-specific worst-case corner extraction for integrated circuits (HZ, THC, MYT, XL), pp. 386–389.
DATE-2009-BardineCFGP #migration #power management- A power-efficient migration mechanism for D-NUCA caches (AB, MC, PF, GG, CAP), pp. 598–601.
DATE-2009-CongG #energy #multi #performance #scheduling- Energy efficient multiprocessor task scheduling under input-dependent variation (JC, KG), pp. 411–416.
DATE-2009-GregertsenS #ada #multi #performance #runtime- An efficient and deterministic multi-tasking run-time environment for Ada and the Ravenscar profile on the Atmel AVR®32 UC3 microcontroller (KNG, AS), pp. 1572–1575.
DATE-2009-HatamiFAP #library #performance- Efficient compression and handling of current source model library waveforms (SH, PF, SA, MP), pp. 1178–1183.
DATE-2009-HeH #algorithm #encoding #performance #verification- An efficient path-oriented bitvector encoding width computation algorithm for bit-precise verification (NH, MSH), pp. 1602–1607.
DATE-2009-IqbalH #performance- Efficient constant-time entropy decoding for H.264 (NI, JH), pp. 1440–1445.
DATE-2009-LadharMB #fault #performance- Efficient and accurate method for intra-gate defect diagnoses in nanometer technology and volume data (AL, MM, LB), pp. 988–993.
DATE-2009-LongLFDY #adaptation #clustering #energy #network- Energy-efficient spatially-adaptive clustering and routing in wireless sensor networks (HL, YL, XF, RPD, HY), pp. 1267–1272.
DATE-2009-MadlenerMH #named #performance- SC-DEVS: An efficient SystemC extension for the DEVS model of computation (FM, HGM, SAH), pp. 1518–1523.
DATE-2009-MaricauG #performance #reliability #simulation #variability- Efficient reliability simulation of analog ICs including variability and time-varying stress (EM, GGEG), pp. 1238–1241.
DATE-2009-MarongiuB #memory management #performance- Efficient OpenMP support and extensions for MPSoCs with explicitly managed memory hierarchy (AM, LB), pp. 809–814.
DATE-2009-VillenaCIS #modelling #on the #parametricity #performance #reduction- On the efficient reduction of complete EM based parametric models (JFV, GC, DI, LMS), pp. 1172–1177.
DATE-2009-WangCTHR #modelling #optimisation #performance #polynomial #using- An efficient decoupling capacitance optimization using piecewise polynomial models (XW, YC, SXDT, XH, JR), pp. 1190–1195.
DATE-2009-YangCKT #approximate #energy #multi #realtime #scheduling- An approximation scheme for energy-efficient scheduling of real-time tasks in heterogeneous multiprocessor systems (CYY, JJC, TWK, LT), pp. 694–699.
DocEng-2009-KuttyNL #approach #clustering #documentation #hybrid #named #performance #xml- HCX: an efficient hybrid clustering approach for XML documents (SK, RN, YL), pp. 94–97.
DocEng-2009-RonnauPB #documentation #performance #xml- Efficient change control of XML documents (SR, GP, UMB), pp. 3–12.
DRR-2009-Obafemi-AjayiAF #classification #documentation #image #performance- Efficient shape-LUT classification for document image restoration (TOA, GA, OF), pp. 1–10.
HT-2009-DenoueACG #named #performance #web- WebNC: efficient sharing of web applications (LD, JA, SC, GG), pp. 365–366.
ICDAR-2009-SaabniE09a #database #generative #online #performance #recognition- Efficient Generation of Comprehensive Database for Online Arabic Script Recognition (RS, JES), pp. 1231–1235.
PODS-2009-Arge #performance #tutorial #worst-case- Worst-case efficient range search indexing: invited tutorial (LA), pp. 175–176.
PODS-2009-KirschMPPUV #approach #identification #performance #statistics- An efficient rigorous approach for identifying statistically significant frequent itemsets (AK, MM, AP, GP, EU, FV), pp. 117–126.
SIGMOD-2009-ChaiVDN #feedback #information management #integration #source code- Efficiently incorporating user feedback into information extraction and integration programs (XC, BQV, AD, JFN), pp. 87–100.
SIGMOD-2009-FingerP #algorithm #evaluation #performance #rank #robust- Robust and efficient algorithms for rank join evaluation (JF, NP), pp. 415–428.
SIGMOD-2009-GhotingM #parallel #performance- Serial and parallel methods for i/o efficient suffix tree construction (AG, KM), pp. 827–840.
SIGMOD-2009-KimC #documentation #named #performance #query #retrieval- Skip-and-prune: cosine-based top-k query processing for efficient context-sensitive document retrieval (JWK, KSC), pp. 115–126.
SIGMOD-2009-LiJLF #approach #performance #relational- Efficient type-ahead search on relational data: a TASTIER approach (GL, SJ, CL, JF), pp. 695–706.
SIGMOD-2009-TaoYSK #nearest neighbour #performance #quality- Quality and efficiency in high dimensional nearest neighbor search (YT, KY, CS, PK), pp. 563–576.
SIGMOD-2009-WangXLZ #approximate #constraints #distance #edit distance #performance- Efficient approximate entity extraction with edit distance constraints (WW, CX, XL, CZ), pp. 759–770.
VLDB-2009-Amer-YahiaRCDY #performance #recommendation #semantics- Group Recommendation: Semantics and Efficiency (SAY, SBR, AC, GD, CY), pp. 754–765.
VLDB-2009-AssentWKKS #database #performance #similarity- Anticipatory DTW for Efficient Similarity Search in Time Series Databases (IA, MW, RK, HK, TS), pp. 826–837.
VLDB-2009-BhattacharjeeLMMRLMTS #performance- Efficient Index Compression in DB2 LUW (BB, LL, TM, GAM, KAR, SL, CM, ZT, RS), pp. 1462–1473.
VLDB-2009-CautisDOV #performance #query #set #specification #using #xpath- Efficient Rewriting of XPath Queries Using Query Set Specifications (BC, AD, NO, VV), pp. 301–312.
VLDB-2009-CheemaLZWZ #lazy evaluation #monitoring #performance- Lazy Updates: An Efficient Technique to Continuously Monitoring Reverse kNN (MAC, XL, YZ, WW, WZ), pp. 1138–1149.
VLDB-2009-ChenBN #evolution #maintenance #mining #named #performance #web- NEAR-Miner: Mining Evolution Associations of Web Site Directories for Efficient Maintenance of Web Archives (LC, SSB, WN), pp. 1150–1161.
VLDB-2009-ChenLFCYH #graph #mining #random #summary- Mining Graph Patterns Efficiently via Randomized Summaries (CC, CXL, MF, MC, XY, JH), pp. 742–753.
VLDB-2009-CongJW #performance #retrieval #web- Efficient Retrieval of the Top-k Most Relevant Spatial Web Objects (GC, CSJ, DW), pp. 337–348.
VLDB-2009-CruzAS #named #ontology #performance #scalability- AgreementMaker: Efficient Matching for Large Real-World Schemas and Ontologies (IFC, FPA, CS), pp. 1586–1589.
VLDB-2009-HadjieleftheriouL #approximate #performance #string- Efficient Approximate Search on String Collections (MH, CL), pp. 1660–1661.
VLDB-2009-SternBB #performance #quality- A Wavelet Transform for Efficient Consolidation of Sensor Relations with Quality Guarantees (MS, EB, KB), pp. 157–168.
VLDB-2009-WongOYFL #nearest neighbour #performance- Efficient Method for Maximizing Bichromatic Reverse Nearest Neighbor (RCWW, MTÖ, PSY, AWCF, LL), pp. 1126–1137.
VLDB-2009-XuK #parallel #performance- Efficient Outer Join Data Skew Handling in Parallel DBMS (YX, PK), pp. 1390–1396.
ITiCSE-2009-RosslingK09a #analysis #performance- A system for integral efficiency analysis of sustainable technologies (GR, YK), p. 395.
ESOP-2009-YuanE #algorithm #performance #problem #reachability- An Efficient Algorithm for Solving the Dyck-CFL Reachability Problem on Trees (HY, PTE), pp. 175–189.
FASE-2009-NguyenNPAN #clone detection #detection #feature model #performance- Accurate and Efficient Structural Characteristic Feature Extraction for Clone Detection (HAN, TTN, NHP, JMAK, TNN), pp. 440–455.
TACAS-2009-BrummayerB #array #named #performance #smt- Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays (RB, AB), pp. 174–177.
ICSM-2009-JeffreyGG #effectiveness #fault #locality #multi #performance #using- Effective and efficient localization of multiple faults using value replacement (DJ, NG, RG), pp. 221–230.
PLDI-2009-FlanaganF #concurrent #detection #named #performance #precise- FastTrack: efficient and precise dynamic race detection (CF, SNF), pp. 121–133.
PLDI-2009-NovarkBZ #memory management- Efficiently and precisely locating memory leaks and bloat (GN, EDB, BGZ), pp. 397–407.
STOC-2009-CardinalFJJM #algorithm #partial order #performance- An efficient algorithm for partial order production (JC, SF, GJ, RMJ, JIM), pp. 93–100.
STOC-2009-CleveGMSY #algorithm #performance #quantum #query #simulation- Efficient discrete-time simulations of continuous-time quantum query algorithms (RC, DG, MM, RDS, DLYM), pp. 409–416.
STOC-2009-DworkNRRV #algorithm #complexity #on the #performance- On the complexity of differentially private data release: efficient algorithms and hardness results (CD, MN, OR, GNR, SPV), pp. 381–390.
STOC-2009-NguyenDT #algorithm #approximate #matrix #performance #rank- A fast and efficient algorithm for low-rank approximation of a matrix (NHN, TTD, TDT), pp. 215–224.
CIAA-J-2008-ChamparnaudDJ09 #algorithm #geometry #performance #regular expression- An Efficient Algorithm to Test Whether a Binary and Prolongeable Regular Language is Geometrical (JMC, JPD, HJ), pp. 763–774.
CIAA-J-2008-MatsumotoHT09 #automaton #implementation #pattern matching #performance #runtime- A Run-Time Efficient Implementation of Compressed Pattern Matching Automata (TM, KH, MT), pp. 717–733.
CIAA-2009-Sastre-Martinez #network #parsing #performance #recursion #using- Efficient Parsing Using Filtered-Popping Recursive Transition Networks (JMSM), pp. 241–244.
ICALP-v1-2009-KayalN- Factoring Groups Efficiently (NK, TN), pp. 585–596.
ICALP-v2-2009-FotakisKS #design #network #performance- Efficient Methods for Selfish Network Design (DF, ACK, PGS), pp. 459–471.
ICALP-v2-2009-KuhtzF #ltl- LTL Path Checking Is Efficiently Parallelizable (LK, BF), pp. 235–246.
ICALP-v2-2009-Mosk-AoyamaR #analysis #performance #worst-case- Worst-Case Efficiency Analysis of Queueing Disciplines (DMA, TR), pp. 546–557.
LATA-2009-MatobaNT #bias #performance #symmetry- Efficiency of the Symmetry Bias in Grammar Acquisition (RM, MN, ST), pp. 566–577.
LATA-2009-VerwerWW #automaton- One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit (SV, MdW, CW), pp. 740–751.
ICFP-2009-GazagnaireH #database #functional #named #performance #programming #transaction #using- OXenstored: an efficient hierarchical and transactional database using functional programming with reference cell comparisons (TG, VH), pp. 203–214.
HCD-2009-LewisB #performance- Animated Demonstrations: Evidence of Improved Performance Efficiency and the Worked Example Effect (DL, AB), pp. 247–255.
HCD-2009-Nishiguchi #people #user interface- Support Method for Improving the Ability of People with Cerebral Palsy to Efficiently Point a Mouse at Objects on a GUI Screen (HN), pp. 531–537.
HCI-AUII-2009-DuvalHC #interactive #performance #smarttech- Considering Personal Profiles for Comfortable and Efficient Interactions with Smart Clothes (SD, CH, GC), pp. 731–740.
HCI-NT-2009-AkasakaO #performance- Providing an Efficient Way to Make Desktop Icons Visible (TA, YO), pp. 569–578.
HIMI-DIE-2009-LimAC #case study #grid #performance- A Study on Computing Resource Partition for Increasing Efficiency of Grid System (CL, SJA, JC), pp. 563–569.
HIMI-DIE-2009-SrinivasSPK #classification #feature model #performance #using- Efficient Text Classification Using Best Feature Selection and Combination of Methods (MS, KPS, EVP, SAK), pp. 437–446.
HIMI-II-2009-FujiokaAO #evaluation #performance #user interface- Evaluation of Pointing Efficiency on Small Screen Touch User Interfaces (RF, TA, HO), pp. 375–384.
HIMI-II-2009-KimMPH #performance #using #visualisation- Efficient Annotation Visualization Using Distinctive Features (SKK, SHM, JP, SYH), pp. 295–303.
HIMI-II-2009-MarcoMFG #effectiveness #image #performance- Evaluating the Effectiveness and the Efficiency of a Vector Image Search Tool (PDM, TDM, DF, MG), pp. 259–268.
HIMI-II-2009-ParkLKC #network #performance- Freeze TCPv2: An Enhancement of Freeze TCP for Efficient Handoff in Heterogeneous Networks (MP, JL, JK, HC), pp. 448–457.
CAiSE-2009-HaoCZ #performance #web #web service- Efficient IR-Style Search over Web Services (YH, JC, YZ), pp. 305–318.
ICEIS-DISI-2009-GorawskiD #algorithm #distributed #execution #performance #query- Algorithms for Efficient Top-K Spatial Preference Query Execution in a Heterogeneous Distributed Environment (MG, KD), pp. 43–48.
ICEIS-DISI-2009-MoserMBM #approach #integration #modelling #performance #requirements #semantics #using- Efficient System Integration using Semantic Requirements and Capability Models — An Approach for Integrating Heterogeneous Business Services (TM, RM, SB, AM), pp. 56–63.
ICEIS-DISI-2009-VroomKJ #community #design #distributed #industrial #performance #wiki- Efficient Community Management in an Industrial Design Engineering Wiki — Distributed Leadership (RWV, AK, RJ), pp. 190–195.
ICEIS-ISAS-2009-HidalgoGT #consistency #data type #detection #nondeterminism #performance- Efficient Data Structures for Local Inconsistency Detection in Firewall ACL Updates (SPH, RMG, FTdlR), pp. 176–181.
CIKM-2009-ChenCSLZ #information retrieval #mobile #network #peer-to-peer #performance- Efficient information retrieval in mobile peer-to-peer networks (LC