BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
base (314)
algorithm (313)
use (284)
data (283)
system (281)

Stem effici$ (all stems)

3664 papers:

ECSAECSA-2015-StierKGR #analysis #architecture #energy #modelling #performance
Model-Based Energy Efficiency Analysis of Software Architectures (CS, AK, HG, RHR), pp. 221–238.
ECSAECSA-2015-WangC #architecture #network #performance #social
A Specialised Social Network Software Architecture for Efficient Household Water Use Management (ZW, AC), pp. 146–153.
QoSAQoSA-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.
CASECASE-2015-AndersenDBH #architecture #flexibility #performance #reuse
An architecture for efficient reuse in flexible production scenarios (RHA, LD, ABB, JH), pp. 151–157.
CASECASE-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.
CASECASE-2015-HandokoL #order #performance #privacy
Efficient order sharing with privacy preservation via double auction with split delivery (SDH, HCL), pp. 69–74.
CASECASE-2015-HuangHCC #performance #synthesis
Efficient grasp synthesis and control strategy for robot hand-arm system (MBH, HPH, CCC, CAC), pp. 1256–1257.
CASECASE-2015-PellicciariBBG #energy #performance
Increasing position accuracy and energy efficiency of servo-actuated mechanisms (MP, GB, FB, MG), pp. 1339–1344.
CASECASE-2015-ZhangWZZ #automaton #learning #optimisation #performance
Incorporation of ordinal optimization into learning automata for high learning efficiency (JZ, CW, DZ, MZ), pp. 1206–1211.
DACDAC-2015-ChungRPG #energy #memory management
Domain wall memory based digital signal processors for area and energy-efficiency (JC, KR, JP, SG), p. 6.
DACDAC-2015-DingCZ #algorithm #invariant #performance
An efficient shift invariant rasterization algorithm for all-angle mask patterns in ILT (YD, CCNC, XZ), p. 6.
DACDAC-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.
DACDAC-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.
DACDAC-2015-JangKGY0 #design
Bandwidth-efficient on-chip interconnect designs for GPGPUs (HJ, JK, PG, KHY, EJK), p. 6.
DACDAC-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.
DACDAC-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.
DACDAC-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.
DACDAC-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.
DACDAC-2015-LiBTO #communication #energy #performance
Complementary communication path for energy efficient on-chip optical interconnects (HL, SLB, YT, IO), p. 6.
DACDAC-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.
DACDAC-2015-LiuZ #configuration management #performance
A reconfigurable analog substrate for highly efficient maximum flow computation (GL, ZZ), p. 6.
DACDAC-2015-LiZHLHX #automation #compilation #performance #stack
Compiler directed automatic stack trimming for efficient non-volatile processors (QL, MZ, JH, YL, YH, CJX), p. 6.
DACDAC-2015-LukasiewyczSS #design #embedded #performance
Efficient design space exploration of embedded platforms (ML, FS, SS), p. 6.
DACDAC-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.
DACDAC-2015-RamprasathV #algorithm #optimisation #performance #statistics
An efficient algorithm for statistical timing yield optimization (SR, VV), p. 6.
DACDAC-2015-RanjanVFRR #approximate #energy #performance
Approximate storage for energy efficient spintronic memories (AR, SV, XF, KR, AR), p. 6.
DACDAC-2015-RozicYDV #generative #performance #random
Highly efficient entropy extraction for true random number generators on FPGAs (VR, BY, WD, IV), p. 6.
DACDAC-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.
DACDAC-2015-ShafiqueKTH #anti #energy #named #video
EnAAM: energy-efficient anti-aging for on-chip video memories (MS, MUKK, AOT, JH), p. 6.
DACDAC-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.
DACDAC-2015-VasudevanR #algorithm #performance
An efficient algorithm for frequency-weighted balanced truncation of VLSI interconnects in descriptor form (VV, MR), p. 6.
DACDAC-2015-VenkataramaniCR #approximate #performance
Approximate computing and the quest for computing efficiency (SV, STC, KR, AR), p. 6.
DACDAC-2015-VenkataramaniRL #classification #energy #machine learning
Scalable-effort classifiers for energy-efficient machine learning (SV, AR, JL, MS), p. 6.
DACDAC-2015-WangJZWY #energy #performance
Selective restore: an energy efficient read disturbance mitigation scheme for future STT-MRAM (RW, LJ, YZ, LW, JY), p. 6.
DACDAC-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.
DACDAC-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.
DACDAC-2015-ZhaoTDZ #pipes and filters #synthesis
Area-efficient pipelining for FPGA-targeted high-level synthesis (RZ, MT, SD, ZZ), p. 6.
DACDAC-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2015-ClercqRVV #encryption #implementation #performance
Efficient software implementation of ring-LWE encryption (RdC, SSR, FV, IV), pp. 339–344.
DATEDATE-2015-CourbonLFT #detection #hardware #performance
A high efficiency hardware trojan detection technique based on fast SEM imaging (FC, PLM, JJAF, AT), pp. 788–793.
DATEDATE-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.
DATEDATE-2015-DoustiP #distributed #power management
Power-efficient control of thermoelectric coolers considering distributed hot spots (MJD, MP), pp. 966–971.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2015-KhanSH #adaptation #manycore #power management
Power-efficient accelerator allocation in adaptive dark silicon many-core systems (MUKK, MS, JH), pp. 916–919.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2015-MirhosseiniSFMS #energy #network
An energy-efficient virtual channel power-gating mechanism for on-chip networks (AM, MS, AF, MM, HSA), pp. 1527–1532.
DATEDATE-2015-MirkhaniMCA #design #estimation #fault #performance
Efficient soft error vulnerability estimation of complex designs (SM, SM, CYC, JA), pp. 103–108.
DATEDATE-2015-NguyenSCM #performance #robust #set
Efficient attacks on robust ring oscillator PUF with enhanced challenge-response set (PHN, DPS, RSC, DM), pp. 641–646.
DATEDATE-2015-PaganiCSH #modelling #named #performance
MatEx: efficient transient and peak temperature computation for compact thermal models (SP, JJC, MS, JH), pp. 1515–1520.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2015-ParkTNII #performance
Platform-aware dynamic configuration support for efficient text processing on heterogeneous system (MSP, OT, VN, MJI, RI), pp. 1503–1508.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2015-RahimiGCBG #approximate #energy #memory management
Approximate associative memristive memory for energy-efficient GPUs (AR, AG, KTC, LB, RKG), pp. 1497–1502.
DATEDATE-2015-VenkataramaniCR #approximate
Computing approximately, and efficiently (SV, STC, KR, AR), pp. 748–751.
DATEDATE-2015-VenkataramanKSE #design #heuristic #using
Designing inexact systems efficiently using elimination heuristics (SV, AK, JS, CCE), pp. 758–763.
DATEDATE-2015-VenkatesanVFRR #energy #logic #named
Spintastic: spin-based stochastic logic for energy-efficient computing (RV, SV, XF, KR, AR), pp. 1575–1578.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2015-YanF #design #energy #mobile #optimisation
Energy-efficient cache design in emerging mobile platforms: the implications and optimizations (KY, XF), pp. 375–380.
DocEngDocEng-2015-MeiKYRIMM #performance #word
Efficient Computation of Co-occurrence Based Word Relatedness (JM, XK, ZY, ARC, AI, AM, EEM), pp. 43–46.
PODSPODS-2015-BarceloPS #approximate #evaluation #performance
Efficient Evaluation and Approximation of Well-designed Pattern Trees (PB, RP, SS), pp. 131–144.
SIGMODSIGMOD-2015-0002SLLF #sorting
Cache-Efficient Aggregation: Hashing Is Sorting (IM, PS, AL, WL, FF), pp. 1123–1136.
SIGMODSIGMOD-2015-Anagnostopoulos #crowdsourcing #performance
The Importance of Being Expert: Efficient Max-Finding in Crowdsourcing (AA, LB, AF, IM, MR), pp. 983–998.
SIGMODSIGMOD-2015-BerlowitzCK #performance
Efficient Enumeration of Maximal k-Plexes (DB, SC, BK), pp. 431–444.
SIGMODSIGMOD-2015-ChevalierSGL #incremental #named #performance
Slider: An Efficient Incremental Reasoner (JC, JS, CG, FL), pp. 1081–1086.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2015-GuoCC #algorithm #keyword #performance #query
Efficient Algorithms for Answering the m-Closest Keywords Query (TG, XC, GC), pp. 405–418.
SIGMODSIGMOD-2015-LiHDL #multi #performance #similarity
Efficient Similarity Join and Search on Multi-Attribute Data (GL, JH, DD, JL), pp. 1137–1151.
SIGMODSIGMOD-2015-OktayMKK #hybrid #named #performance #pipes and filters
SEMROD: Secure and Efficient MapReduce Over HybriD Clouds (KYO, SM, VK, MK), pp. 153–166.
SIGMODSIGMOD-2015-PaparrizosG #clustering #named #performance
k-Shape: Efficient and Accurate Clustering of Time Series (JP, LG), pp. 1855–1870.
SIGMODSIGMOD-2015-SunFSKHX #graph #named #performance
SQLGraph: An Efficient Relational-Based Property Graph Store (WS, AF, KS, AK, GH, GTX), pp. 1887–1901.
SIGMODSIGMOD-2015-WangLYXZ #approach #network #performance
Efficient Route Planning on Public Transportation Networks: A Labelling Approach (SW, WL, YY, XX, SZ), pp. 967–982.
SIGMODSIGMOD-2015-YuSC #dependence #distributed #matrix #performance
Exploiting Matrix Dependency for Efficient Distributed Matrix Computation (LY, YS, BC), pp. 93–105.
SIGMODSIGMOD-2015-ZhangYQS #performance
Divide & Conquer: I/O Efficient Depth-First Search (ZZ, JXY, LQ, ZS), pp. 445–458.
VLDBVLDB-2015-BoghCA #gpu #parallel
Work-Efficient Parallel Skyline Computation for the GPU (KSB, SC, IA), pp. 962–973.
VLDBVLDB-2015-ChangLZYZQ #performance
Optimal Enumeration: Efficient Top-k Tree Matching (LC, XL, WZ, JXY, YZ, LQ), pp. 533–544.
VLDBVLDB-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.
VLDBVLDB-2015-KhayyatLSOPQ0K #difference #performance
Lightning Fast and Space Efficient Inequality Joins (ZK, WL, MS, MO, PP, JAQR, NT, PK), pp. 2074–2085.
VLDBVLDB-2015-LeisKK0 #performance #query #sql
Efficient Processing of Window Functions in Analytical SQL Queries (VL, KK, AK, TN), pp. 1058–1069.
VLDBVLDB-2015-Liroz-GistauAV #execution #named #parallel #performance
FP-Hadoop: Efficient Execution of Parallel Jobs Over Skewed Data (MLG, RA, PV), pp. 1856–1867.
VLDBVLDB-2015-NagarkarCB #query
Compressed Spatial Hierarchical Bitmap (cSHB) Indexes for Efficiently Processing Spatial Range Query Workloads (PN, KSC, AB), pp. 1382–1393.
VLDBVLDB-2015-NaidanBN #performance #permutation
Permutation Search Methods are Efficient, Yet Faster Search is Possible (BN, LB, EN), pp. 1618–1629.
VLDBVLDB-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.
VLDBVLDB-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.
VLDBVLDB-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.
VLDBVLDB-2015-WuHYY #evaluation #performance #query #visualisation
Efficient Evaluation of Object-Centric Exploration Queries for Visualization (YW, BH, JY, CY), pp. 1752–1763.
VLDBVLDB-2015-YuM #network #performance #scalability
Efficient Partial-Pairs SimRank Search for Large Networks (WY, JAM), pp. 569–580.
ESOPESOP-2015-AbdullaAP #performance
The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO (PAA, MFA, NTP), pp. 308–332.
ESOPESOP-2015-SiekVCTG #performance #type system
Monotonic References for Efficient Gradual Typing (JGS, MMV, MC, STH, RG), pp. 432–456.
FASEFASE-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.
ICSMEICSME-2015-EkelundE #evaluation #industrial #performance #testing
Efficient regression testing based on test history: An industrial evaluation (EDE, EE), pp. 449–457.
SANERSANER-2015-InfanteB #identification
Efficiently identifying object production sites (AI, AB), pp. 575–579.
PLDIPLDI-2015-McClurgHCF #network #performance #synthesis
Efficient synthesis of network updates (JM, HH, PC, NF), pp. 196–207.
PLDIPLDI-2015-NoriORV #performance #probability #source code #synthesis
Efficient synthesis of probabilistic programs (AVN, SO, SKR, DV), pp. 208–217.
PLDIPLDI-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.
STOCSTOC-2015-BassilyS #performance #protocol
Local, Private, Efficient Protocols for Succinct Histograms (RB, ADS), pp. 127–135.
STOCSTOC-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.
STOCSTOC-2015-Bresler #graph #learning #modelling
Efficiently Learning Ising Models on Arbitrary Graphs (GB), pp. 771–782.
STOCSTOC-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.
LATALATA-2015-BjorklundDZ #algorithm #automaton #performance
An Efficient Best-Trees Algorithm for Weighted Tree Automata over the Tropical Semiring (JB, FD, NZ), pp. 97–108.
SEFMSEFM-2015-HusterBELRKR #performance #testing
Efficient Testing of Different Loop Paths (SH, SB, HE, JL, JR, TK, WR), pp. 117–131.
SEFMSEFM-2015-RockaiSB #c #c++ #model checking
Techniques for Memory-Efficient Model Checking of C and C++ Code (PR, VS, JB), pp. 268–282.
ICFPICFP-2015-YangCAEKN #communication #normalisation #performance
Efficient communication and collection with compact normal forms (EZY, GC, ÖSA, AEH, AK, RRN), pp. 362–374.
CHICHI-2015-LeeHL #performance
Investigating the Information Transfer Efficiency of a 3x3 Watch-back Tactile Display (JL, JH, GL), pp. 1229–1232.
HCIHCI-IT-2015-WalkerSJ #interactive #performance
Interactive Sonification Markup Language (ISML) for Efficient Motion-Sound Mappings (JWW, MTS, MJ), pp. 385–394.
HCIHCI-UC-2015-JeongJ #on the #performance #personalisation
On Time: Efficient and Personalized Hospital Service (SYJ, DYJ), pp. 190–197.
AdaEuropeAdaEurope-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.
ICEISICEIS-v1-2015-AbakumovK #performance
Approaches to Enhancing Efficiency of Production Management on Shop Floor Level (EMA, SBK), pp. 559–564.
ICEISICEIS-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.
ICEISICEIS-v1-2015-GruppiMAFL #heuristic #performance
An Efficient and Topologically Correct Map Generalization Heuristic (MGG, SVGM, MVAA, WRF, WL), pp. 516–525.
ICEISICEIS-v2-2015-KamalKVB #performance
Efficient Use of Voice as a Channel for Delivering Public Services (KKK, MK, BV, KB), pp. 626–631.
ICEISICEIS-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.
ICMLICML-2015-KuklianskyS #linear #performance
Attribute Efficient Linear Regression with Distribution-Dependent Sampling (DK, OS), pp. 153–161.
ICMLICML-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.
ICMLICML-2015-TristanTS #estimation #gpu #performance
Efficient Training of LDA on a GPU by Mean-for-Mode Estimation (JBT, JT, GLSJ), pp. 59–68.
ICMLICML-2015-WenKA #combinator #learning #performance #scalability
Efficient Learning in Large-Scale Combinatorial Semi-Bandits (ZW, BK, AA), pp. 1113–1122.
ICMLICML-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.
KDDKDD-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.
KDDKDD-2015-ChierichettiEKL #algorithm #network #performance #social
Efficient Algorithms for Public-Private Social Networks (FC, AE, RK, SL, VSM), pp. 139–148.
KDDKDD-2015-LimK #graph #named
MASCOT: Memory-efficient and Accurate Sampling for Counting Local Triangles in Graph Streams (YL, UK), pp. 685–694.
KDDKDD-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.
KDDKDD-2015-OhsakaMK #evolution #network #performance #rank
Efficient PageRank Tracking in Evolving Networks (NO, TM, KiK), pp. 875–884.
KDDKDD-2015-SongMT #network #performance #recommendation
Efficient Latent Link Recommendation in Signed Networks (DS, DAM, DT), pp. 1105–1114.
KDDKDD-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.
KDDKDD-2015-Yi0YLW #algorithm #clustering #constraints #performance
An Efficient Semi-Supervised Clustering Algorithm with Sequential Constraints (JY, LZ, TY, WL, JW), pp. 1405–1414.
KDDKDD-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.
MLDMMLDM-2015-ZidaFWLT #mining #performance
Efficient Mining of High-Utility Sequential Rules (SZ, PFV, CWW, JCWL, VST), pp. 157–171.
RecSysRecSys-2015-ForsatiBMER #algorithm #named #performance #recommendation #trust
PushTrust: An Efficient Recommendation Algorithm by Leveraging Trust and Distrust Relations (RF, IB, FM, AHE, HR), pp. 51–58.
RecSysRecSys-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.
SEKESEKE-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.
SEKESEKE-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.
SEKESEKE-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.
SIGIRSIGIR-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.
SIGIRSIGIR-2015-MalherbeCB #categorisation #order #performance
Bringing Order to the Job Market: Efficient Job Offer Categorization in E-Recruitment (EM, MC, AB), pp. 1101–1104.
MoDELSMoDELS-2015-Moawad0FNKT #modelling #performance
Beyond discrete modeling: A continuous and efficient model for IoT (AM, TH, FF, GN, JK, YLT), pp. 90–99.
OnwardOnward-2015-GreweEWM #performance #proving #type system
Type systems for the masses: deriving soundness proofs and efficient checkers (SG, SE, PW, MM), pp. 137–150.
OOPSLAOOPSLA-2015-BiswasZBL #exception #named #performance
Valor: efficient, software-only region conflict exceptions (SB, MZ, MDB, BL), pp. 241–259.
QAPLQAPL-2015-BortolussiH #markov #modelling #performance
Efficient Checking of Individual Rewards Properties in Markov Population Models (LB, JH), pp. 32–47.
POPLPOPL-2015-AlurDR #declarative #named #string
DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations (RA, LD, MR), pp. 125–137.
POPLPOPL-2015-Greenberg #contract
Space-Efficient Manifest Contracts (MG), pp. 181–194.
POPLPOPL-2015-RastogiSFBV #performance #type system #typescript
Safe & Efficient Gradual Typing for TypeScript (AR, NS, CF, GMB, PV), pp. 167–180.
REFSQREFSQ-2015-LiHT #case study #formal method #performance #requirements #towards
Towards More Efficient Requirements Formalization: A Study (WL, JHH, MT), pp. 181–197.
SACSAC-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.
SACSAC-2015-BritoE #branch #named #performance #query
BranchGuide: an indexing technique for efficient, lossless processing of branching path queries (TBV, GEdS), pp. 1086–1092.
SACSAC-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.
SACSAC-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.
SACSAC-2015-GonzalezRP #classification #image
Computationally-efficient classification of HEp-2 cell patterns in IIF images (LFPG, DDAR, MSP), pp. 825–830.
SACSAC-2015-HendersonGE #clustering #empirical #named #parametricity #performance #probability
EP-MEANS: an efficient nonparametric clustering of empirical probability distributions (KH, BG, TER), pp. 893–900.
SACSAC-2015-HsiehNKC #approximate #performance #query #recommendation
Efficient approximate thompson sampling for search query recommendation (CCH, JN, TK, JC), pp. 740–746.
SACSAC-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.
SACSAC-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.
SACSAC-2015-TodaT #performance #satisfiability
BDD construction for all solutions SAT and efficient caching mechanism (TT, KT), pp. 1880–1886.
SACSAC-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-FSEESEC-FSE-2015-BellKMD #dependence #detection #java #performance
Efficient dependency detection for safe Java test acceleration (JB, GEK, EM, MD), pp. 770–781.
ESEC-FSEESEC-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-FSEESEC-FSE-2015-WestNM #concurrent #object-oriented #performance
Efficient and reasonable object-oriented concurrency (SW, SN, BM), pp. 734–744.
ESEC-FSEESEC-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.
ICSEICSE-v1-2015-BaresiKR #ltl #performance #scalability #specification #verification
Efficient Scalable Verification of LTL Specifications (LB, MMPK, MR), pp. 711–721.
ICSEICSE-v1-2015-BocicB #performance #verification
Coexecutability for Efficient Verification of Data Model Updates (IB, TB), pp. 744–754.
ICSEICSE-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.
ICSEICSE-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.
ICSEICSE-v2-2015-ProcacciantiLVF #energy #performance
The Green Lab: Experimentation in Software Energy Efficiency (GP, PL, AV, DMF, RW), pp. 941–942.
SLESLE-2015-BousseCCGB #debugging #performance
Supporting efficient and advanced omniscient debugging for xDSMLs (EB, JC, BC, JGG, BB), pp. 137–148.
ASPLOSASPLOS-2015-HosekC #execution #framework #performance
VARAN the Unbelievable: An Efficient N-version Execution Framework (PH, CC), pp. 339–353.
ASPLOSASPLOS-2015-MalkaABT #named #performance
rIOMMU: Efficient IOMMU for I/O Devices that Employ Ring Buffers (MM, NA, MBY, DT), pp. 355–368.
ASPLOSASPLOS-2015-SungA #named #performance
DeNovoSync: Efficient Support for Arbitrary Synchronization without Writer-Initiated Invalidations (HS, SVA), pp. 545–559.
ASPLOSASPLOS-2015-YoungNQ #encryption #named
DEUCE: Write-Efficient Encryption for Non-Volatile Memories (VY, PJN, MKQ), pp. 33–44.
CGOCGO-2015-JiaoLHM #concurrent #energy #execution #kernel
Improving GPGPU energy-efficiency through concurrent kernel execution and DVFS (QJ, ML, HPH, TM), pp. 1–11.
HPCAHPCA-2015-JimenezBBOCV #manycore #performance
Increasing multicore system efficiency through intelligent bandwidth shifting (VJ, AB, PB, FPO, FJC, MV), pp. 39–50.
HPCAHPCA-2015-OzsoyDGAP #detection #framework #online #performance
Malware-aware processors: A framework for efficient online malware detection (MO, CD, IG, NBAG, DVP), pp. 651–661.
HPCAHPCA-2015-PalframanKL #energy #fault #named #performance
iPatch: Intelligent fault patching to improve energy efficiency (DJP, NSK, MHL), pp. 428–438.
HPCAHPCA-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.
HPCAHPCA-2015-ZhuHR #energy #mobile #scheduling #web
Event-based scheduling for energy-efficient QoS (eQoS) in mobile Web applications (YZ, MH, VJR), pp. 137–149.
HPDCHPDC-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.
HPDCHPDC-2015-SuWA #data analysis #generative #performance
In-Situ Bitmaps Generation and Efficient Data Analysis based on Bitmaps (YS, YW, GA), pp. 61–72.
ISMMISMM-2015-MirandaB #object-oriented #performance #programming
A partial read barrier for efficient support of live object-oriented programming (EM, CB), pp. 93–104.
ISMMISMM-2015-StancuWBLF #hybrid #java #memory management #performance
Safe and efficient hybrid memory management for Java (CS, CW, SB, PL, MF), pp. 81–92.
LCTESLCTES-2015-BardizbanyanSWL #data access #performance #using
Improving Data Access Efficiency by Using Context-Aware Loads and Stores (AB, MS, DBW, PLE), p. 10.
LCTESLCTES-2015-GhoshPR #alias #performance
Enabling Efficient Alias Speculation (SG, YP, AR), p. 10.
PPoPPPPoPP-2015-AlSaberK #multi #performance #semantics
SemCache++: semantics-aware caching for efficient multi-GPU offloading (NA, MK), pp. 255–256.
PPoPPPPoPP-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.
PPoPPPPoPP-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.
PPoPPPPoPP-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.
PPoPPPPoPP-2015-WestNM #concurrent #object-oriented #performance
Efficient and reasonable object-oriented concurrency (SW, SN, BM), pp. 273–274.
CAVCAV-2015-BozzanoCGM #analysis #modelling #performance #safety
Efficient Anytime Techniques for Model-Based Safety Analysis (MB, AC, AG, CM), pp. 603–621.
CAVCAV-2015-BacchusK #satisfiability #set #using
Using Minimal Correction Sets to More Efficiently Compute Minimal Unsatisfiable Sets (FB, GK), pp. 70–86.
ICLPICLP-2015-Zaniolo #algorithm #logic programming #source code
Expressing and Supporting Efficiently Greedy Algorithms as Locally Stratified Logic Programs (CZ).
ICSTICST-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.
ISSTAISSTA-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.
ISSTAISSTA-2015-Narayanaswamy #concurrent #performance
When truth is efficient: analysing concurrency (GN), pp. 141–152.
LICSLICS-2015-FigueiraL #graph #logic #performance #query
Path Logics for Querying Graphs: Combining Expressiveness and Efficiency (DF, LL), pp. 329–340.
RTARTA-2015-LepperW #performance #towards
A Simple and Efficient Step Towards Type-Correct XSLT Transformations (ML, BTyW), pp. 350–364.
ICSTSAT-2015-ArifMM #axiom #performance
Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing (MFA, CM, JMS), pp. 324–342.
QoSAQoSA-2014-JohnsonC #architecture #evolution #performance #smt #specification
Efficient re-resolution of SMT specifications for evolving software architectures (KJ, RC), pp. 93–102.
WICSAWICSA-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.
ASEASE-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.
CASECASE-2014-KhodabakhshianFW #performance #predict
Predictive control of the engine cooling system for fuel efficiency improvement (MK, LF, JW), pp. 61–66.
CASECASE-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.
CASECASE-2014-MaiorR #distributed #internet #self
A self-governing, decentralized, extensible Internet of Things to share electrical power efficiently (HAM, SR), pp. 37–43.
CASECASE-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.
CASECASE-2014-YanLBSDG #clustering #energy
Energy-efficient building clusters (BY, PBL, MAB, CS, CD, ZG), pp. 966–971.
DACDAC-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.
DACDAC-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.
DACDAC-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.
DACDAC-2014-DengBZW #performance
An Efficient Two-level DC Operating Points Finder for Transistor Circuits (JD, KB, YZ, NW), p. 6.
DACDAC-2014-DongZC #algorithm #online #performance #reduction
A Cost Efficient Online Algorithm for Automotive Idling Reduction (CD, HZ, MC), p. 6.
DACDAC-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.
DACDAC-2014-KuanCHL #database #embedded #multi
Space-Efficient Multiversion Index Scheme for PCM-based Embedded Database Systems (YHK, YHC, PCH, KyL), p. 6.
DACDAC-2014-LeeL #embedded #runtime
Area-Efficient Event Stream Ordering for Runtime Observability of Embedded Systems (JCL, RL), p. 6.
DACDAC-2014-LinLCLH #algorithm #performance
An Efficient Bi-criteria Flow Channel Routing Algorithm For Flow-based Microfluidic Biochips (CXL, CHL, ICC, DTL, TYH), p. 6.
DACDAC-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.
DACDAC-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.
DACDAC-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.
DACDAC-2014-RaoJDBDM #named #performance
VIX: Virtual Input Crossbar for Efficient Switch Allocation (SR, SJ, RD, DB, RGD, TNM), p. 6.
DACDAC-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.
DACDAC-2014-SamavatianAAS #architecture #performance
An Efficient STT-RAM Last Level Cache Architecture for GPUs (MHS, HA, MA, HSA), p. 6.
DACDAC-2014-TsengHPK #energy #manycore #mobile #scheduling
User-Centric Energy-Efficient Scheduling on Multi-Core Mobile Devices (PHT, PCH, CCP, TWK), p. 6.
DACDAC-2014-WangOC #optimisation #performance #polynomial #synthesis
Enabling Efficient Analog Synthesis by Coupling Sparse Regression and Polynomial Optimization (YW, MO, CC), p. 6.
DACDAC-2014-WeiKPZTCUM #energy
Battery Management and Application for Energy-Efficient Buildings (TW, TK, SP, QZ, SXDT, NC, SU, MM), p. 6.
DACDAC-2014-WietfeldID #mobile #performance
Resource Efficient Mobile Communications for Crowd-Sensing (CW, CI, BD), p. 6.
DATEDATE-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.
DATEDATE-2014-AghaeePE #3d #performance
An efficient temperature-gradient based burn-in technique for 3D stacked ICs (NA, ZP, PE), pp. 1–4.
DATEDATE-2014-AhariAKT #architecture #configuration management #power management #using
A power-efficient reconfigurable architecture using PCM configuration technology (AA, HA, BK, MBT), pp. 1–6.
DATEDATE-2014-AmaruGM #diagrams #performance
An efficient manipulation package for Biconditional Binary Decision Diagrams (LGA, PEG, GDM), pp. 1–6.
DATEDATE-2014-AminifarBEP #co-evolution #design
Bandwidth-efficient controller-server co-design with stability guarantees (AA, EB, PE, ZP), pp. 1–6.
DATEDATE-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.
DATEDATE-2014-BeuxLOCLTN #named #performance
Chameleon: Channel efficient Optical Network-on-Chip (SLB, HL, IO, KC, XL, JT, GN), pp. 1–6.
DATEDATE-2014-BhargavaM #encryption #generative #performance #reliability
An efficient reliable PUF-based cryptographic key generator in 65nm CMOS (MB, KM), pp. 1–6.
DATEDATE-2014-ChenCT #performance #simulation
An activity-sensitive contention delay model for highly efficient deterministic full-system simulations (SYC, CHC, RST), pp. 1–6.
DATEDATE-2014-ErbSSB #fault #performance #smt
Efficient SMT-based ATPG for interconnect open defects (DE, KS, MS, BB), pp. 1–6.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2014-Guan0 #analysis #performance #scheduling
General and efficient Response Time Analysis for EDF scheduling (NG, WY), pp. 1–6.
DATEDATE-2014-HillerS #performance
Increasing the efficiency of syndrome coding for PUFs with helper data compression (MH, GS), pp. 1–6.
DATEDATE-2014-Huang14a #manycore #network #performance #predict
Leveraging on-chip networks for efficient prediction on multicore coherence (LH), pp. 1–4.
DATEDATE-2014-KamalGAP #approximate #performance #using
Improving efficiency of extensible processors by using approximate custom instructions (MK, AG, AAK, MP), pp. 1–4.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2014-LuCC #correlation #memory management #performance
Achieving efficient packet-based memory system by exploiting correlation of memory requests (TL, LC, MC), pp. 1–6.
DATEDATE-2014-MineoPAC #adaptation #energy #performance
An adaptive transmitting power technique for energy efficient mm-wave wireless NoCs (AM, MP, GA, VC), pp. 1–6.
DATEDATE-2014-MoralesHBHV #energy #implementation #using
Energy-efficient FPGA implementation for binomial option pricing using OpenCL (VMM, PHH, AB, EH, SV), pp. 1–6.
DATEDATE-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.
DATEDATE-2014-PalominoSASH #named #performance #video
hevcDTM: Application-driven Dynamic Thermal Management for High Efficiency Video Coding (DP, MS, HA, AAS, JH), pp. 1–4.
DATEDATE-2014-PaulKBP #energy #hardware #memory management
Energy-efficient hardware acceleration through computing in the memory (SP, RK, SB, RP), pp. 1–6.
DATEDATE-2014-QiZ #modelling #performance #simulation
Efficient simulation and modelling of non-rectangular NoC topologies (JQ, MZ), pp. 1–4.
DATEDATE-2014-RahimiBG #energy #fault
Temporal memoization for energy-efficient timing error recovery in GPGPUs (AR, LB, RKG), pp. 1–6.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2014-SongLKSCR #energy #scheduling
Energy-efficient scheduling for memory-intensive GPGPU workloads (SS, ML, JK, WS, YGC, SR), pp. 1–6.
DATEDATE-2014-Stenstrom #effectiveness #performance #resource management #towards
Effective resource management towards efficient computing (PS), p. 1.
DATEDATE-2014-Torrellas #architecture #energy #performance
Extreme-scale computer architecture: Energy efficiency from the ground up‡ (JT), pp. 1–5.
DATEDATE-2014-VillenaS #analysis #network #performance #variability
Efficient analysis of variability impact on interconnect lines and resistor networks (JFV, LMS), pp. 1–6.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2014-ZhangYW #analysis #performance #problem
Efficient high-sigma yield analysis for high dimensional problems (MZ, ZY, YW), pp. 1–6.
DATEDATE-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.
PODSPODS-2014-Tao
A dynamic I/O-efficient structure for one-dimensional top-k range reporting (YT), pp. 256–265.
SIGMODSIGMOD-2014-CheneyLW #evaluation #multi #performance #query #relational
Query shredding: efficient relational evaluation of queries over nested multisets (JC, SL, PW), pp. 1027–1038.
SIGMODSIGMOD-2014-ChenLWXML #algorithm #network #performance #query
Efficient algorithms for optimal location queries in road networks (ZC, YL, RCWW, JX, GM, CL), pp. 123–134.
SIGMODSIGMOD-2014-KarnagelHLHLHM #performance #query
Demonstrating efficient query processing in heterogeneous environments (TK, MH, ML, DH, WL, MH, VM), pp. 693–696.
SIGMODSIGMOD-2014-LiCFTL #performance
Efficient location-aware influence maximization (GL, SC, JF, KLT, WSL), pp. 87–98.
SIGMODSIGMOD-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.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2014-ShaoCC #detection #parallel #performance
Efficient cohesive subgraphs detection in parallel (YS, LC, BC), pp. 613–624.
SIGMODSIGMOD-2014-TangXS #complexity #performance
Influence maximization: near-optimal time complexity meets practical efficiency (YT, XX, YS), pp. 75–86.
SIGMODSIGMOD-2014-TaoL #performance #similarity
Efficient top-K SimRank-based similarity join (WT, GL), pp. 1603–1604.
SIGMODSIGMOD-2014-XuKM #framework #multi #nondeterminism #performance #summary
Efficient summarization framework for multi-attribute uncertain data (JX, DVK, SM), pp. 421–432.
SIGMODSIGMOD-2014-ZaschkeZN #multi
The PH-tree: a space-efficient storage structure and multi-dimensional index (TZ, CZ, MCN), pp. 397–408.
VLDBVLDB-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.
VLDBVLDB-2014-ChenCCC #named #performance
SOPS: A System for Efficient Processing of Spatial-Keyword Publish/Subscribe (LC, YC, GC, XC), pp. 1601–1604.
VLDBVLDB-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.
VLDBVLDB-2014-KlonatosKRC #performance #query
Building Efficient Query Engines in a High-Level Language (YK, CK, TR, HC), pp. 853–864.
VLDBVLDB-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.
VLDBVLDB-2014-KorulaL #algorithm #network #performance #social
An efficient reconciliation algorithm for social networks (NK, SL), pp. 377–388.
VLDBVLDB-2014-LiagourisT #identification #knowledge base #owl #performance
Efficient Identification of Implicit Facts in Incomplete OWL2-EL Knowledge Bases (JL, MT), pp. 1993–2004.
VLDBVLDB-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.
VLDBVLDB-2014-NagelBV #code generation #performance #query
Code Generation for Efficient Query Processing in Managed Runtimes (FN, GMB, SDV), pp. 1095–1106.
VLDBVLDB-2014-ZhangCT #database #performance
An Efficient Publish/Subscribe Index for ECommerce Databases (DZ, CYC, KLT), pp. 613–624.
VLDBVLDB-2014-ZhangTCO #analysis #data transformation #in memory #performance
Efficient In-memory Data Management: An Analysis (HZ, BMT, GC, BCO), pp. 833–836.
VLDBVLDB-2015-BarberLPRSACLS14
Memory-Efficient Hash Joins (RB, GML, IP, VR, RS, GKA, NC, SL, DS), pp. 353–364.
VLDBVLDB-2015-TaoYL14 #performance #similarity
Efficient Top-K SimRank-based Similarity Join (WT, MY, GL), pp. 317–328.
VLDBVLDB-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.
FASEFASE-2014-MudduluruR #abstraction #incremental #performance #static analysis #using
Efficient Incremental Static Analysis Using Path Abstraction (RM, MKR), pp. 125–139.
TACASTACAS-2014-BaierKKM #markov #modelling
Computing Conditional Probabilities in Markovian Models Efficiently (CB, JK, SK, SM), pp. 515–530.
WRLAWRLA-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.
ICPCICPC-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.
ICSMEICSME-2014-AsaduzzamanRSH #code completion #named #performance
CSCC: Simple, Efficient, Context Sensitive Code Completion (MA, CKR, KAS, DH), pp. 71–80.
SCAMSCAM-2014-KargenS #performance #scalability #slicing
Efficient Utilization of Secondary Storage for Scalable Dynamic Slicing (UK, NS), pp. 155–164.
PEPMPEPM-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.
PLDIPLDI-2014-BiswasHSB #named #performance #precise
DoubleChecker: efficient sound and precise atomicity checking (SB, JH, AS, MDB), p. 6.
PLDIPLDI-2014-SridharanGS #adaptation #execution #parallel #performance #source code
Adaptive, efficient, parallel execution of parallel programs (SS, GG, GSS), p. 21.
STOCSTOC-2014-AwasthiBL #learning #linear #locality #power of
The power of localization for efficiently learning linear separators with noise (PA, MFB, PML), pp. 449–458.
STOCSTOC-2014-ChanDSS #approximate #estimation #performance #polynomial
Efficient density estimation via piecewise polynomial approximation (SoC, ID, RAS, XS), pp. 604–613.
STOCSTOC-2014-DeS #approximate #performance #polynomial
Efficient deterministic approximate counting for low-degree polynomial threshold functions (AD, RAS), pp. 832–841.
STOCSTOC-2014-DobzinskiNO #interactive #performance
Economic efficiency requires interaction (SD, NN, SO), pp. 233–242.
STOCSTOC-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.
STOCSTOC-2014-PengS #linear #parallel #performance
An efficient parallel solver for SDD linear systems (RP, DAS), pp. 333–342.
ICALPICALP-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.
ICALPICALP-v1-2014-DobzinskiL #performance
Efficiency Guarantees in Auctions with Budgets (SD, RPL), pp. 392–404.
ICALPICALP-v1-2014-KoppartyKS #finite #performance
Efficient Indexing of Necklaces and Irreducible Polynomials over Finite Fields (SK, MK, MES), pp. 726–737.
LATALATA-2014-BellaouarCZ #kernel #performance #sequence #string
Efficient List-Based Computation of the String Subsequence Kernel (SB, HC, DZ), pp. 138–148.
FMFM-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.
FMFM-2014-PonzioRAF #bound #performance
Efficient Tight Field Bounds Computation Based on Shape Predicates (PP, NR, NA, MFF), pp. 531–546.
FMFM-2014-SchebenS #calculus #composition #performance #self
Efficient Self-composition for Weakest Precondition Calculi (CS, PHS), pp. 579–594.
ICFPICFP-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.
IFLIFL-2014-AdsitF #analysis #control flow #performance #system f
An Efficient Type- and Control-Flow Analysis for System F (CA, MF), p. 3.
LISPILC-2014-SmithP #finite #lisp #performance #permutation
Efficient Finite Permutation Groups and Homomesy Computation in Common Lisp (RS, BP), p. 60.
ICGTICGT-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.
CHICHI-2014-HalfakerGT #design #named #performance
Snuggle: designing for efficient socialization and ideological critique (AH, RSG, LGT), pp. 311–320.
CHICHI-2014-NguyenK #matter #multi #performance
Orientation matters: efficiency of translation-rotation multitouch tasks (QN, MK), pp. 2013–2016.
CSCWCSCW-2014-QuinnB #named #performance #spreadsheet
AskSheet: efficient human computation for decision making with spreadsheets (AJQ, BBB), pp. 1456–1466.
HCIDUXU-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.
HCIHCI-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.
HCIHIMI-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.
CAiSECAiSE-2014-PolyvyanyyRH #modelling #performance #process #retrieval #using
Indexing and Efficient Instance-Based Retrieval of Process Models Using Untanglings (AP, MLR, AHMtH), pp. 439–456.
ICEISICEIS-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.
CIKMCIKM-2014-AbedjanSN #dependence #functional #named #performance
DFD: Efficient Functional Dependency Discovery (ZA, PS, FN), pp. 949–958.
CIKMCIKM-2014-BoghCSA #data type #named
Hashcube: A Data Structure for Space- and Query-Efficient Skycube Compression (KSB, SC, DS, IA), pp. 1767–1770.
CIKMCIKM-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.
CIKMCIKM-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.
CIKMCIKM-2014-KimC #array #performance
Efficient Static and Dynamic In-Database Tensor Decompositions on Chunk-Based Array Stores (MK, KSC), pp. 969–978.
CIKMCIKM-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.
CIKMCIKM-2014-LiZZW #keyword #named #performance
INK: A Cloud-Based System for Efficient Top-k Interval Keyword Search (RL, XZ, XZ, SW), pp. 2003–2005.
CIKMCIKM-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.
CIKMCIKM-2014-TongZC0 #graph #nondeterminism #performance #probability #scalability
Efficient Probabilistic Supergraph Search Over Large Uncertain Graphs (YT, XZ, CCC, LC), pp. 809–818.
CIKMCIKM-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.
CIKMCIKM-2014-WangSZS #performance #scalability #semantics #similarity
Sparse Semantic Hashing for Efficient Large Scale Similarity Search (QW, BS, ZZ, LS), pp. 1899–1902.
CIKMCIKM-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.
CIKMCIKM-2014-ZhengZLHZ #graph #performance #scalability
Efficient Subgraph Skyline Search Over Large Graphs (WZ, LZ, XL, LH, DZ), pp. 1529–1538.
ECIRECIR-2014-CatenaMO #on the #performance
On Inverted Index Compression for Search Engine Efficiency (MC, CM, IO), pp. 359–371.
ECIRECIR-2014-KazaiS #difference #evaluation #information retrieval #performance #query
Dissimilarity Based Query Selection for Efficient Preference Based IR Evaluation (GK, HS), pp. 172–183.
ECIRECIR-2014-WilkieA14a #bias
Efficiently Estimating Retrievability Bias (CW, LA), pp. 720–726.
ICMLICML-c1-2014-HajiaghayiKWB #estimation #markov #performance
Efficient Continuous-Time Markov Chain Estimation (MH, BK, LW, ABC), pp. 638–646.
ICMLICML-c1-2014-HutterHL #approach #performance
An Efficient Approach for Assessing Hyperparameter Importance (FH, HH, KLB), pp. 754–762.
ICMLICML-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.
ICMLICML-c1-2014-SiHD #approximate #kernel #memory management #performance
Memory Efficient Kernel Approximation (SS, CJH, ISD), pp. 701–709.
ICMLICML-c1-2014-SomaKIK #algorithm #performance
Optimal Budget Allocation: Theoretical Guarantee and Efficient Algorithm (TS, NK, KI, KiK), pp. 351–359.
ICMLICML-c1-2014-ZhangHL #heuristic #performance
Covering Number for Efficient Heuristic-based POMDP Planning (ZZ, DH, WSL), pp. 28–36.
ICMLICML-c2-2014-0005YJ #algorithm #performance #robust
Efficient Algorithms for Robust One-bit Compressive Sensing (LZ, JY, RJ), pp. 820–828.
ICMLICML-c2-2014-AnarakiH #memory management #performance #random
Memory and Computation Efficient PCA via Very Sparse Random Projections (FPA, SMH), pp. 1341–1349.
ICMLICML-c2-2014-CelikLL #estimation #network #performance #reduction
Efficient Dimensionality Reduction for High-Dimensional Network Estimation (SC, BAL, SIL), pp. 1953–1961.
ICMLICML-c2-2014-FujiwaraI #performance
Efficient Label Propagation (YF, GI), pp. 784–792.
ICMLICML-c2-2014-GiesenLW #kernel #performance #robust
Robust and Efficient Kernel Hyperparameter Paths with Guarantees (JG, SL, PW), pp. 1296–1304.
ICMLICML-c2-2014-GrandeWH #learning #performance #process
Sample Efficient Reinforcement Learning with Gaussian Processes (RCG, TJW, JPH), pp. 1332–1340.
ICMLICML-c2-2014-JunB #memory management #monte carlo #performance
Memory (and Time) Efficient Sequential Monte Carlo (SHJ, ABC), pp. 514–522.
ICMLICML-c2-2014-KingmaW #performance
Efficient Gradient-Based Inference through Transformations between Bayes Nets and Neural Nets (DPK, MW), pp. 1782–1790.
ICMLICML-c2-2014-LimL #learning #metric #performance #ranking
Efficient Learning of Mahalanobis Metrics for Ranking (DL, GRGL), pp. 1980–1988.
ICMLICML-c2-2014-LinK #constraints #learning #performance #representation
Stable and Efficient Representation Learning with Nonnegativity Constraints (THL, HTK), pp. 1323–1331.
ICMLICML-c2-2014-ShamirS0 #approximate #distributed #optimisation #using
Communication-Efficient Distributed Optimization using an Approximate Newton-type Method (OS, NS, TZ), pp. 1000–1008.
ICMLICML-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.
ICPRICPR-2014-AhmetovicBGM #locality #named #performance #precise
ZebraRecognizer: Efficient and Precise Localization of Pedestrian Crossings (DA, CB, AG, SM), pp. 2566–2571.
ICPRICPR-2014-BorgiLEA #named #performance #recognition
ShearFace: Efficient Extraction of Anisotropic Features for Face Recognition (MAB, DL, ME, CBA), pp. 1806–1811.
ICPRICPR-2014-BougueliaBB #classification #data type #detection #novel #performance
Efficient Active Novel Class Detection for Data Stream Classification (MRB, YB, AB), pp. 2826–2831.
ICPRICPR-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.
ICPRICPR-2014-HavaeiJL #classification #interactive #performance #segmentation
Efficient Interactive Brain Tumor Segmentation as Within-Brain kNN Classification (MH, PMJ, HL), pp. 556–561.
ICPRICPR-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.
ICPRICPR-2014-HtikeH #adaptation #detection #performance #video
Efficient Non-iterative Domain Adaptation of Pedestrian Detectors to Video Scenes (KKH, DCH), pp. 654–659.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-2014-MoyouIP #3d #estimation #performance #retrieval #using
LBO-Shape Densities: Efficient 3D Shape Retrieval Using Wavelet Density Estimation (MM, KEI, AMP), pp. 52–57.
ICPRICPR-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.
ICPRICPR-2014-RavalTJ #classification #encoding #evaluation #fault #performance #using
Efficient Evaluation of SVM Classifiers Using Error Space Encoding (NR, RVT, CVJ), pp. 4411–4416.
ICPRICPR-2014-SongLZC #adaptation #performance #using
Scale Adaptive Tracking Using Mean Shift and Efficient Feature Matching (YS, SL, JZ, HC), pp. 2233–2238.
KDDKDD-2014-Cohen #distance #performance #query
Distance queries from sampled data: accurate and efficient (EC), pp. 681–690.
KDDKDD-2014-GongZFY #learning #multi #performance
Efficient multi-task feature learning with calibration (PG, JZ, WF, JY), pp. 761–770.
KDDKDD-2014-LiuWY #algorithm #performance
An efficient algorithm for weak hierarchical lasso (YL, JW, JY), pp. 283–292.
KDDKDD-2014-LiZCS #optimisation #performance #probability
Efficient mini-batch training for stochastic optimization (ML, TZ, YC, AJS), pp. 661–670.
KDDKDD-2014-MaeharaKK #performance
Efficient SimRank computation via linearizationPublication of this article pending inquiry (TM, MK, KiK), pp. 1426–1435.
KDDKDD-2014-TongCC #named #performance #topic
TCS: efficient topic discovery over crowd-oriented service data (YT, CCC, LC), pp. 861–870.
KDDKDD-2014-ZhaoLC #performance
Safe and efficient screening for sparse support vector machine (ZZ, JL, JC), pp. 542–551.
KMISKMIS-2014-ToureAD #approach #enterprise #named #performance
AM2O — An Efficient Approach for Managing Training in Enterprise (FT, EA, KD), pp. 405–412.
MLDMMLDM-2014-FuMD #classification #multi #network #performance #towards
Towards the Efficient Recovery of General Multi-Dimensional Bayesian Network Classifier (SF, SM, MCD), pp. 16–30.
MLDMMLDM-2014-ShahamSB #fault #performance
Efficient Error Setting for Subspace Miners (ES, DS, BBM), pp. 1–15.
SEKESEKE-2014-WanZWS #analysis #graph #performance #points-to
Efficient Points-To Analysis for Partial Call Graph Construction (ZW, BZ, YW, YS), pp. 416–421.
SIGIRSIGIR-2014-CambazogluB #challenge #performance #scalability #web
Scalability and efficiency challenges in large-scale web search engines (BBC, RABY), p. 1285.
SIGIRSIGIR-2014-LourencoVPMFP #analysis #sentiment
Economically-efficient sentiment stream analysis (RLdOJ, AV, AMP, WMJ, RF, SP), pp. 637–646.
SIGIRSIGIR-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.
SIGIRSIGIR-2014-ZhangWRS #performance #recommendation
Preference preserving hashing for efficient recommendation (ZZ, QW, LR, LS), pp. 183–192.
ECMFAECMFA-2014-AnjorinRDS #graph grammar #performance
Efficient Model Synchronization with View Triple Graph Grammars (AA, SR, FD, AS), pp. 1–17.
MODELSMoDELS-2014-EnriciAP #approach #communication #modelling #uml
A UML Model-Driven Approach to Efficiently Allocate Complex Communication Schemes (AE, LA, RP), pp. 370–385.
MODELSMoDELS-2014-EnriciAP #approach #communication #modelling #uml
A UML Model-Driven Approach to Efficiently Allocate Complex Communication Schemes (AE, LA, RP), pp. 370–385.
ECOOPECOOP-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.
OOPSLAOOPSLA-2014-JonnalageddaCSRO #combinator #parsing #performance #staged
Staged parser combinators for efficient data processing (MJ, TC, SS, TR, MO), pp. 637–653.
OOPSLAOOPSLA-2014-ZhangXZYS #alias #analysis #c #performance
Efficient subcubic alias analysis for C (QZ, XX, CZ, HY, ZS), pp. 829–845.
OOPSLAOOPSLA-2014-ZhouSGY #adaptation #multi #optimisation
Space-efficient multi-versioning for input-adaptive feedback-driven program optimizations (MZ, XS, YG, GY), pp. 763–776.
GPCEGPCE-2014-MaAZS #performance #product line #testing
Efficient testing of software product lines via centralization (short paper) (LM, CA, CZ, HS), pp. 49–52.
GPCEGPCE-2014-SteindorferV #memory management #performance
Code specialization for memory efficient hash tries (short paper) (MJS, JJV), pp. 11–14.
PPDPPPDP-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.
PADLPADL-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.
RERE-2014-LaueHBN #communication #performance #visual notation
Efficient visual notations for efficient stakeholder communication (RL, FH, BB, MN), pp. 329–330.
REFSQREFSQ-2014-RiegelD #analysis #elicitation #heuristic #optimisation #performance
An Analysis of Priority-Based Decision Heuristics for Optimizing Elicitation Efficiency (NR, JD), pp. 268–284.
SACSAC-2014-AhmedWK #clustering #energy #named #performance
EENC — energy efficient nested clustering in UASN (SHA, AW, DK), pp. 706–710.
SACSAC-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.
SACSAC-2014-CostaTT #image #named #performance
MFS-Map: efficient context and content combination to annotate images (AFC, AJMT, CTJ), pp. 945–950.
SACSAC-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.
SACSAC-2014-NabeezathP #algorithm #detection #performance
Global value numbering for redundancy detection: a simple and efficient algorithm (SN, VP), pp. 1609–1611.
SACSAC-2014-WenD #performance #protocol
Efficient protocols for private record linkage (ZW, CD), pp. 1688–1694.
FSEFSE-2014-BohmeP #automation #on the #performance #testing
On the efficiency of automated testing (MB, SP), pp. 632–642.
FSEFSE-2014-JoinerRJDG #performance #policy #weaving
Efficient runtime-enforcement techniques for policy weaving (RJ, TWR, SJ, MD, VG), pp. 224–234.
FSEFSE-2014-LerchHBM #analysis #named #performance #scalability
FlowTwist: efficient context-sensitive inside-out taint analysis for large codebases (JL, BH, EB, MM), pp. 98–108.
ICSEICSE-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.
ICSEICSE-2014-IgnatievJM #optimisation #performance #towards
Towards efficient optimization in package management systems (AI, MJ, JMS), pp. 745–755.
ICSEICSE-2014-LiTH #energy #performance #smarttech #web
Making web applications more energy efficient for OLED smartphones (DL, AHT, WGJH), pp. 527–538.
ICSEICSE-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.
SLESLE-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.
ASPLOSASPLOS-2014-DelimitrouK #clustering #named
Quasar: resource-efficient and QoS-aware cluster management (CD, CK), pp. 127–144.
ASPLOSASPLOS-2014-KastureS #named #performance #strict
Ubik: efficient cache sharing with strict qos for latency-critical workloads (HK, DS), pp. 729–742.
ASPLOSASPLOS-2014-RibicY #energy
Energy-efficient work-stealing language runtimes (HR, YDL), pp. 513–528.
CCCC-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.
CGOCGO-2014-BarikKMLSHNA #c++ #performance
Efficient Mapping of Irregular C++ Applications to Integrated GPUs (RB, RK, DM, BTL, TS, CH, YN, ARAT), p. 33.
HPCAHPCA-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.
HPCAHPCA-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.
HPCAHPCA-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.
HPCAHPCA-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.
HPCAHPCA-2014-HayengaNL #architecture #execution #named #performance
Revolver: Processor architecture for power efficient loop execution (MH, VRKN, MHL), pp. 591–602.
HPDCHPDC-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.
HPDCHPDC-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.
HPDCHPDC-2014-LeeV #compilation #named #performance #research
OpenARC: open accelerator research compiler for directive-based, efficient heterogeneous computing (SL, JSV), pp. 115–120.
HPDCHPDC-2014-MittalVL #embedded #energy #performance
Improving energy efficiency of embedded DRAM caches for high-end computing systems (SM, JSV, DL), pp. 99–110.
HPDCHPDC-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.
HPDCHPDC-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.
ISMMISMM-2014-RatnakarN #analysis #constraints #graph #performance #points-to
Push-pull constraint graph for efficient points-to analysis (BR, RN), pp. 25–33.
LCTESLCTES-2014-Guo #co-evolution #data access #design #energy #performance
Energy efficient data access and storage through HW/SW co-design (MG), p. 83.
LCTESLCTES-2014-SpinkWFT #code generation #performance
Efficient code generation in a region-based dynamic binary translator (TS, HW, BF, NPT), pp. 3–12.
LCTESLCTES-2014-Whalley #data access #energy #performance
Energy efficient data access techniques (DBW), p. 1.
OSDIOSDI-2014-ChilimbiSAK #learning #performance #scalability
Project Adam: Building an Efficient and Scalable Deep Learning Training System (TMC, YS, JA, KK), pp. 571–582.
PPoPPPPoPP-2014-ChiangGRS #fault #float #performance
Efficient search for inputs causing high floating-point errors (WFC, GG, ZR, AS), pp. 43–52.
PPoPPPPoPP-2014-CunninghamGHIKMSTT #performance #programming
Resilient X10: efficient failure-aware programming (DC, DG, BH, AI, KK, HM, VAS, MT, OT), pp. 67–80.
PPoPPPPoPP-2014-LuZBW #multi #performance #thread
Efficient deterministic multithreading without global barriers (KL, XZ, TB, XW), pp. 287–300.
PPoPPPPoPP-2014-PetrovicRS #concurrent #hardware #message passing #performance #thread
Leveraging hardware message passing for efficient thread synchronization (DP, TR, AS), pp. 143–154.
PPoPPPPoPP-2014-RaoZ #performance #scheduling #towards #virtual machine
Towards fair and efficient SMP virtual machine scheduling (JR, XZ), pp. 273–286.
ICLPICLP-J-2014-TachmazidisAF #big data #performance #semantics
Efficient Computation of the Well-Founded Semantics over Big Data (IT, GA, WF), pp. 445–459.
ICSTICST-2014-BardinKC #execution #performance #symbolic computation #test coverage
Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria (SB, NK, FC), pp. 173–182.
ISSTAISSTA-2014-Just #analysis #framework #java #mutation testing #performance #scalability
The major mutation framework: efficient and scalable mutation analysis for Java (RJ), pp. 433–436.
ISSTAISSTA-2014-JustEF #analysis #clustering #execution #mutation testing #performance
Efficient mutation analysis by propagating and partitioning infected execution states (RJ, MDE, GF), pp. 315–326.
ISSTAISSTA-2014-Zuo #debugging #performance #statistics
Efficient statistical debugging via hierarchical instrumentation (ZZ), pp. 457–460.
ISSTAISSTA-2014-ZuoKS #debugging #mining #performance
Efficient predicated bug signature mining via hierarchical instrumentation (ZZ, SCK, CS), pp. 215–224.
ICSTSAT-2014-WetzlerHH #named #performance #proving #using
DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs (NW, MH, WAHJ), pp. 422–429.
CBSECBSE-2013-DruilheAPDS #component #energy #performance
Components mobility for energy efficiency of digital home (RD, MA, JP, LD, LS), pp. 153–158.
ASEASE-2013-Ganai #incremental #performance #predict #reasoning
Efficient data race prediction with incremental reasoning on time-stamped lock history (MKG), pp. 37–47.
ASEASE-2013-MeredithR #parametricity #performance #runtime #string #verification
Efficient parametric runtime verification with deterministic string rewriting (POM, GR), pp. 70–80.
ASEASE-2013-PalepuXJ #dependence #dynamic analysis #performance #summary
Improving efficiency of dynamic analysis with dynamic dependence summaries (VKP, G(X, JAJ), pp. 59–69.
CASECASE-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.
CASECASE-2013-BrundageCLXA #energy #performance
Energy efficiency management of an integrated serial production line and HVAC system (MB, QC, YL, GX, JA), pp. 634–639.
CASECASE-2013-HuMW #automation #energy
Energy-efficient dispatching solution in an automated air cargo terminal (WH, JM, KW), pp. 144–149.
CASECASE-2013-IordacheWZA #design #performance #petri net #specification
Efficient design of Petri-net supervisors with disjunctive specifications (MVI, PW, FZ, PJA), pp. 936–941.
CASECASE-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.
CASECASE-2013-LiFZS #adaptation #named #performance #smarttech
DEPEND: Density adaptive power efficient neighbor discovery for wearable body sensors (BL, WF, LZ, CJS), pp. 581–586.
CASECASE-2013-LiYY #energy #novel #performance
A novel parabolic trough solar lighting and thermal system for building energy efficiency (TL, FY, CY), pp. 657–662.
CASECASE-2013-PanahiASG #algorithm #performance #proximity
An efficient proximity probing algorithm for metrology (FP, AA, AFvdS, KG), pp. 342–349.
CASECASE-2013-YanLSSDGM #energy
Energy-efficient management of eco-communities (BY, PBL, BS, CS, CD, ZG, LDM), pp. 106–111.
DACDAC-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.
DACDAC-2013-CalhounC #energy #flexibility #performance #power management
Flexible on-chip power delivery for energy efficient heterogeneous systems (BHC, KC), p. 6.
DACDAC-2013-ChakrabortyCRA #pipes and filters
Efficiently tolerating timing violations in pipelined microprocessors (KC, BC, SR, DMA), p. 8.
DACDAC-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.
DACDAC-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.
DACDAC-2013-KarakostasTUNC #energy #performance
Improving the energy efficiency of hardware-assisted watchpoint systems (VK, ST, OSÜ, MN, AC), p. 6.
DACDAC-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.
DACDAC-2013-KuangY #approach #composition #layout #performance
An efficient layout decomposition approach for triple patterning lithography (JK, EFYY), p. 6.
DACDAC-2013-LinBC #effectiveness #performance
An efficient and effective analytical placer for FPGAs (THL, PB, YWC), p. 6.
DACDAC-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.
DACDAC-2013-RamasubramanianVPR #design #energy #named
Relax-and-retime: a methodology for energy-efficient recovery based design (SGR, SV, AP, AR), p. 6.
DACDAC-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.
DACDAC-2013-WuergesOS #energy #performance #realtime
Reconciling real-time guarantees and energy efficiency through unlocked-cache prefetching (EW, RSdO, LCVdS), p. 9.
DACDAC-2013-YangCTH #performance
New ERA: new efficient reliability-aware wear leveling for endurance enhancement of flash storage devices (MCY, YHC, CWT, PCH), p. 6.
DACDAC-2013-ZhangGQ #embedded #energy #performance #scheduling
Improving charging efficiency with workload scheduling in energy harvesting embedded systems (YZ, YG, QQ), p. 8.
DACDAC-2013-ZhanR #energy
Techniques for energy-efficient power budgeting in data centers (XZ, SR), p. 7.
DACDAC-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2013-AyadAMSL #energy #integration #variability
HW-SW integration for energy-efficient/variability-aware computing (GA, AA, EM, BS, RL), pp. 607–611.
DATEDATE-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.
DATEDATE-2013-CilardoGMM #design #performance #scalability
Efficient and scalable OpenMP-based system-level design (AC, LG, AM, NM), pp. 988–991.
DATEDATE-2013-DutoitGP #3d #integration #power management
3D integration for power-efficient computing (DD, EG, IMP), pp. 779–784.
DATEDATE-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.
DATEDATE-2013-KimRAL #energy #virtual machine
Correlation-aware virtual machine allocation for energy-efficient datacenters (JK, MR, DA, ML), pp. 1345–1350.
DATEDATE-2013-Kozyrakis #performance
Resource efficient computing for warehouse-scale datacenters (CK), pp. 1351–1356.
DATEDATE-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.
DATEDATE-2013-Lehner #database #energy #in memory
Energy-efficient in-memory database computing (WL), pp. 470–474.
DATEDATE-2013-LivramentoGGJ #performance
Fast and efficient lagrangian relaxation-based discrete gate sizing (VSL, CG, JLG, MOJ), pp. 1855–1860.
DATEDATE-2013-MagarshackFC #design #energy #process
UTBB FD-SOI: a process/design symbiosis for breakthrough energy-efficiency (PM, PF, GC), pp. 952–957.
DATEDATE-2013-MaricAV #architecture #hybrid #performance #reliability #using
Efficient cache architectures for reliable hybrid voltage operation using EDC codes (BM, JA, MV), pp. 917–920.
DATEDATE-2013-MurugappaBJ #multi #standard
Parameterized area-efficient multi-standard turbo decoder (PM, AB, MJ), pp. 109–114.
DATEDATE-2013-MushtaqAB #approach #fault tolerance #manycore #performance
Efficient software-based fault tolerance approach on multicore platforms (HM, ZAA, KB), pp. 921–926.
DATEDATE-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.
DATEDATE-2013-ParkCA #energy
Non-speculative double-sampling technique to increase energy-efficiency in a high-performance processor (JP, AC, JAA), pp. 254–257.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2013-RayB #performance
An efficient wirelength model for analytical placement (BNBR, SB), pp. 1711–1714.
DATEDATE-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.
DATEDATE-2013-RuchBPMM #roadmap #towards
Roadmap towards ultimately-efficient zeta-scale datacenters (PR, TB, SP, GIM, BM), pp. 1339–1344.
DATEDATE-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.
DATEDATE-2013-SauerRSPB #performance #satisfiability
Efficient SAT-based dynamic compaction and relaxation for longest sensitizable paths (MS, SR, TS, IP, BB), pp. 448–453.
DATEDATE-2013-ShenQ #energy #performance #smarttech #streaming #video
User-aware energy efficient streaming strategy for smartphone based video playback applications (HS, QQ), pp. 258–261.
DATEDATE-2013-SparsoKS #interface #network
An area-efficient network interface for a TDM-based network-on-chip (JS, EK, MS), pp. 1044–1047.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2013-WagnerW #analysis #performance #statistics
Efficient variation-aware statistical dynamic timing analysis for delay test applications (MW, HJW), pp. 276–281.
DATEDATE-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.
DATEDATE-2013-WangW #named #performance #ram
TreeFTL: efficient RAM management for high performance of NAND flash-based storage systems (CW, WFW), pp. 374–379.
DATEDATE-2013-WettinMPSG #approach #design #energy #manycore
Energy-efficient multicore chip design through cross-layer approach (PW, JM, PPP, BS, AG), pp. 725–730.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DocEngDocEng-2013-EsserMS #documentation #information management #performance #smarttech
Information extraction efficiency of business documents captured with smartphones and tablets (DE, KM, DS), pp. 111–114.
DRRDRR-2013-NayefB13a #performance #retrieval
Efficient symbol retrieval by building a symbol index from a collection of line drawings (NN, TMB).
ICDARICDAR-2013-ChenYL #hybrid #performance #segmentation
Hybrid Page Segmentation with Efficient Whitespace Rectangles Extraction and Grouping (KC, FY, CLL), pp. 958–962.
ICDARICDAR-2013-ImpedovoMPBI #classification #effectiveness #performance
Voronoi Tessellation for Effective and Efficient Handwritten Digit Classification (SI, FMM, GP, DB, DI), pp. 435–439.
ICDARICDAR-2013-NafchiAMC #performance
An Efficient Ground Truthing Tool for Binarization of Historical Manuscripts (HZN, SMA, RFM, MC), pp. 807–811.
ICDARICDAR-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.
ICDARICDAR-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.
ICDARICDAR-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.
PODSPODS-2013-Kejlberg-RasmussenTTTY
I/O-efficient planar range skyline and attrition priority queues (CKR, YT, KT, KT, JY), pp. 103–114.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2013-ChangYQLLL #component #composition #graph
Efficiently computing k-edge connected components via graph decomposition (LC, JXY, LQ, XL, CL, WL), pp. 205–216.
SIGMODSIGMOD-2013-ChenCC #performance #query
An efficient query indexing mechanism for filtering geo-textual data (LC, GC, XC), pp. 749–760.
SIGMODSIGMOD-2013-FinisBK0FM #named #performance #version control
DeltaNI: an efficient labeling scheme for versioned hierarchical data (JF, RB, AK, TN, FF, NM), pp. 905–916.
SIGMODSIGMOD-2013-FujiwaraNSMO #ad hoc #performance #personalisation #rank
Efficient ad-hoc search for personalized PageRank (YF, MN, HS, TM, MO), pp. 445–456.
SIGMODSIGMOD-2013-KimS #algorithm #approximate #performance #string
Efficient top-k algorithms for approximate substring matching (YK, KS), pp. 385–396.
SIGMODSIGMOD-2013-TsytsarauAP #correlation #performance #scalability #sentiment
Efficient sentiment correlation for large-scale demographics (MT, SAY, TP), pp. 253–264.
SIGMODSIGMOD-2013-ZhangYQCL #graph #performance
I/O efficient: computing SCCs in massive graphs (ZZ, JXY, LQ, LC, XL), pp. 181–192.
SIGMODSIGMOD-2013-ZhengJPL #kernel #performance #quality #scalability
Quality and efficiency for kernel density estimates in large data (YZ, JJ, JMP, FL), pp. 433–444.
SIGMODSIGMOD-2013-ZhuZQ #approach #graph #mining #performance
A direct mining approach to efficient constrained graph pattern discovery (FZ, ZZ, QQ), pp. 821–832.
VLDBVLDB-2013-0001SZL #performance
Efficient Recovery of Missing Events (JW, SS, XZ, XL), pp. 841–852.
VLDBVLDB-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.
VLDBVLDB-2013-AchakeevS #multi #performance
Efficient Bulk Updates on Multiversion B-trees (DA, BS), pp. 1834–1845.
VLDBVLDB-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.
VLDBVLDB-2013-CaoB #implementation #performance #quantifier #query #relational
Efficient Implementation of Generalized Quantification in Relational Query Languages (BC, AB), pp. 241–252.
VLDBVLDB-2013-EldawyM #framework #performance #pipes and filters
A Demonstration of SpatialHadoop: An Efficient MapReduce Framework for Spatial Data (AE, MFM), pp. 1230–1233.
VLDBVLDB-2013-KolaitisPT #consistency #database #integer #performance #programming #query
Efficient Querying of Inconsistent Databases with Binary Integer Programming (PGK, EP, WCT), pp. 397–408.
VLDBVLDB-2013-Kozak #performance #security #similarity
Efficiency and Security in Similarity Cloud Services (SK), pp. 1450–1455.
VLDBVLDB-2013-LiC #performance #query
Efficient Indexing for Diverse Query Results (LL, CYC), pp. 745–756.
VLDBVLDB-2013-LiKHYYS #clustering #memory management #performance #string
Memory Efficient Minimum Substring Partitioning (YL, PK, FH, SY, XY, SS), pp. 169–180.
VLDBVLDB-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.
VLDBVLDB-2013-XiaoQ0ITS #performance #query
Efficient Error-tolerant Query Autocompletion (CX, JQ, WW, YI, KT, KS), pp. 373–384.
VLDBVLDB-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.
VLDBVLDB-2013-ZhengZF0Z #graph #performance #scalability #similarity
Efficient SimRank-based Similarity Join Over Large Graphs (WZ, LZ, YF, LC, DZ), pp. 493–504.
VLDBVLDB-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.
VLDBVLDB-2014-YuLZCP13 #effectiveness
More is Simpler: Effectively and Efficiently Assessing Node-Pair Similarities Based on Hyperlinks (WY, XL, WZ, LC, JP), pp. 13–24.
TACASTACAS-2013-WijsE #performance
Efficient Property Preservation Checking of Model Refinements (AW, LE), pp. 565–579.
ICPCICPC-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.
ICSMEICSM-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.
ICSMEICSM-2013-QiML #automation #performance #program repair #testing
Efficient Automated Program Repair through Fault-Recorded Testing Prioritization (YQ, XM, YL), pp. 180–189.
WCREWCRE-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.
SASSAS-2013-FouilheMP #abstract domain #correctness #generative #performance
Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra (AF, DM, MP), pp. 345–365.
STOCSTOC-2013-Ben-SassonCGT #on the #performance #proving
On the concrete efficiency of probabilistically-checkable proofs (EBS, AC, DG, ET), pp. 585–594.
STOCSTOC-2013-FeldmanFGL #performance
Simultaneous auctions are (almost) efficient (MF, HF, NG, BL), pp. 201–210.
STOCSTOC-2013-NaorRV #commutative #difference #performance
Efficient rounding for the noncommutative grothendieck inequality (AN, OR, TV), pp. 71–80.
STOCSTOC-2013-SyrgkanisT #composition #performance
Composable and efficient mechanisms (VS, ÉT), pp. 211–220.
ICALPICALP-v1-2013-BelovsCJKM #3d #quantum
Time-Efficient Quantum Walks for 3-Distinctness (AB, AMC, SJ, RK, FM), pp. 105–122.
ICALPICALP-v1-2013-BringmannF #generative #geometry #graph #performance #random
Exact and Efficient Generation of Geometric Random Variates and Random Graphs (KB, TF), pp. 267–278.
ICALPICALP-v2-2013-CzerwinskiMM #performance #regular expression #sequence
Efficient Separability of Regular Languages by Subsequences and Suffixes (WC, WM, TM), pp. 150–161.
ICALPICALP-v2-2013-HarrisMPRS #performance
Efficient Computation of Balanced Structures (DGH, EM, GP, PR, AS), pp. 581–593.
LATALATA-2013-HaberHMMR #performance #regular expression
Efficient Submatch Extraction for Practical Regular Expressions (SH, WH, PKM, MM, PR), pp. 323–334.
ICFPICFP-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.
GCMGCM-J-2012-SmolenovaKC #graph grammar #parallel #performance
Parallel Graph Grammars with Instantiation Rules Allow Efficient Structural Factorization of Virtual Vegetation (KS, WK, PHC).
CHICHI-2013-JansenDF #performance #physics #visualisation
Evaluating the efficiency of physical visualizations (YJ, PD, JDF), pp. 2593–2602.
HCIDUXU-CXC-2013-MakanawalaGGL #gamification #performance
Applying Gamification in Customer Service Application to Improve Agents’ Efficiency and Satisfaction (PM, JG, EG, HL), pp. 548–557.
HCIDUXU-NTE-2013-ParkK #performance #representation
Efficient Information Representation Method for Driver-Centered AR-HUD System (HP, KhK), pp. 393–400.
HCIDUXU-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.
HCIDUXU-WM-2013-ShenP #performance
Re-thinking Bookmark Management — Less Choice Is More Efficient (STS, SDP), pp. 304–312.
HCIHCI-AS-2013-HelmbrechtBV #adaptation #performance
Adaptations in Driving Efficiency with Electric Vehicles (MH, KB, RV), pp. 578–585.
HCIHCI-UC-2013-UangL #design #development #process
The Development of an Innovative Design Process for Eco-efficient Green Products (STU, CLL), pp. 475–483.
HCIHIMI-D-2013-McCaryZ #comparison #performance #user interface
GUI Efficiency Comparison Between Windows and Mac (EM, JZ), pp. 97–106.
EDOCEDOC-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.
CIKMCIKM-2013-BastB #performance #semantics
An index for efficient semantic full-text search (HB, BB), pp. 369–378.
CIKMCIKM-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.
CIKMCIKM-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.
CIKMCIKM-2013-GilpinQD #clustering #dataset #performance #scalability
Efficient hierarchical clustering of large high dimensional datasets (SG, BQ, ID), pp. 1371–1380.
CIKMCIKM-2013-ManiuC #performance #social
Network-aware search in social tagging applications: instance optimality versus efficiency (SM, BC), pp. 939–948.
CIKMCIKM-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.
CIKMCIKM-2013-MullangiR #named #performance #query #reachability #scalability
SCISSOR: scalable and efficient reachability query processing in time-evolving hierarchies (PRM, LR), pp. 799–804.
CIKMCIKM-2013-NguyenLT #code review #performance #set #using
Using micro-reviews to select an efficient set of reviews (TSN, HWL, PT), pp. 1067–1076.
CIKMCIKM-2013-PalBP #named #query
RCached-tree: an index structure for efficiently answering popular queries (MP, AB, DP), pp. 1173–1176.
CIKMCIKM-2013-ParameswaranKA #performance
Efficient parsing-based search over structured data (AGP, RK, AA), pp. 49–58.
CIKMCIKM-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.
CIKMCIKM-2013-YuanWJL #clustering #graph #performance #streaming
Efficient processing of streaming graphs for evolution-aware clustering (MY, KLW, GJS, YL), pp. 319–328.
CIKMCIKM-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.
CIKMCIKM-2013-ZhongLTZ #named #network #performance
G-tree: an efficient index for KNN search on road networks (RZ, GL, KLT, LZ), pp. 39–48.
ECIRECIR-2013-AsadiL #documentation #modelling #performance #ranking
Training Efficient Tree-Based Models for Document Ranking (NA, JL), pp. 146–157.
ICMLICML-c1-2013-AvronBTZ #analysis #canonical #correlation #performance #reduction
Efficient Dimensionality Reduction for Canonical Correlation Analysis (HA, CB, ST, AZ), pp. 347–355.
ICMLICML-c1-2013-BalcanBEL #learning #performance
Efficient Semi-supervised and Active Learning of Disjunctions (NB, CB, SE, YL), pp. 633–641.
ICMLICML-c1-2013-GonenSS #approach #learning #performance
Efficient Active Learning of Halfspaces: an Aggressive Approach (AG, SS, SSS), pp. 480–488.
ICMLICML-c1-2013-PeleTGW #classification #performance
The Pairwise Piecewise-Linear Embedding for Efficient Non-Linear Classification (OP, BT, AG, MW), pp. 205–213.
ICMLICML-c1-2013-RuvoloE #algorithm #learning #named #performance
ELLA: An Efficient Lifelong Learning Algorithm (PR, EE), pp. 507–515.
ICMLICML-c1-2013-XiangTY #feature model #optimisation #performance
Efficient Sparse Group Feature Selection via Nonconvex Optimization (SX, XT, JY), pp. 284–292.
ICMLICML-c3-2013-BiK #classification #multi #performance
Efficient Multi-label Classification with Many Labels (WB, JTYK), pp. 405–413.
ICMLICML-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.
ICMLICML-c3-2013-BryanM #interactive #performance
An Efficient Posterior Regularized Latent Variable Model for Interactive Sound Source Separation (NJB, GJM), pp. 208–216.
ICMLICML-c3-2013-JoseGAV #kernel #learning #performance #predict
Local Deep Kernel Learning for Efficient Non-linear SVM Prediction (CJ, PG, PA, MV), pp. 486–494.
ICMLICML-c3-2013-VladymyrovC #performance
Entropic Affinities: Properties and Efficient Numerical Computation (MV, MÁCP), pp. 477–485.
ICMLICML-c3-2013-WauthierJJ #performance #ranking
Efficient Ranking from Pairwise Comparisons (FLW, MIJ, NJ), pp. 109–117.
KDDKDD-2013-ChenTTY #analysis #kernel #modelling #performance
Model-based kernel for efficient time series analysis (HC, FT, PT, XY), pp. 392–400.
KDDKDD-2013-JhaSP #algorithm #performance #streaming #using
A space efficient streaming algorithm for triangle counting using the birthday paradox (MJ, CS, AP), pp. 589–597.
KDDKDD-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.
KDDKDD-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.
KDDKDD-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.
KDDKDD-2013-ZimekGCS #detection #effectiveness #performance
Subsampling for efficient and effective unsupervised outlier detection ensembles (AZ, MG, RJGBC, JS), pp. 428–436.
KEODKEOD-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.
MLDMMLDM-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.
MLDMMLDM-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.
MLDMMLDM-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.
RecSysRecSys-2013-Aiolli #dataset #performance #recommendation #scalability
Efficient top-n recommendation for very large scale binary rated datasets (FA), pp. 273–280.
SEKESEKE-2013-Bouzar-BenlabiodBB #correlation #performance #process
An efficient QCL-based alert correlation process (LBB, SB, TBT), pp. 388–393.
SEKESEKE-2013-LiuWL #analysis #detection #named #online #performance #pointer
ELCD: an efficient online cycle detection technique for pointer analysis (FL, LW, BL), pp. 606–611.
SIGIRSIGIR-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.
SIGIRSIGIR-2013-CambazogluB #challenge #performance #scalability #web
Scalability and efficiency challenges in commercial web search engines (BBC, RABY), p. 1124.
SIGIRSIGIR-2013-DemidovaZN #performance #query #scalability
Efficient query construction for large scale data (ED, XZ, WN), pp. 573–582.
SIGIRSIGIR-2013-WuF #approach #feedback #incremental #performance #pseudo
An incremental approach to efficient pseudo-relevance feedback (HW, HF), pp. 553–562.
ICMTICMT-2013-LepperT #performance #validation
Fragmented Validation: A Simple and Efficient Contribution to XSLT Checking (Extended Abstract) (ML, BTyW), pp. 54–55.
ICMTICMT-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.
OOPSLAOOPSLA-2013-BondKCZSBSH #dependence #named #thread
OCTET: capturing and controlling cross-thread dependences efficiently (MDB, MK, MC, MZ, MFS, SB, AS, JH), pp. 693–712.
OOPSLAOOPSLA-2013-Deng0L #detection #performance
Efficient concurrency-bug detection across inputs (DD, WZ, SL), pp. 785–802.
OOPSLAOOPSLA-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.
OOPSLAOOPSLA-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.
OOPSLAOOPSLA-2013-RavichandranP #distributed #multi #named
Multiverse: efficiently supporting distributed high-level speculation (KR, SP), pp. 533–552.
GPCEGPCE-2013-Richard-FoyBJ #abstraction #performance #programming #web
Efficient high-level abstractions for web programming (JRF, OB, JMJ), pp. 53–60.
PPDPPPDP-2013-PinoBV #concurrent #confluence #constraints #equivalence #performance #programming
Efficient computation of program equivalence for confluent concurrent constraint programming (LFP, FB, FDV), pp. 263–274.
PADLPADL-2013-0004R #implementation #on the #performance
On the Efficient Implementation of Mode-Directed Tabling (JS, RR), pp. 141–156.
PADLPADL-2013-Moura #implementation #induction #logic programming #performance
A Portable and Efficient Implementation of Coinductive Logic Programming (PM), pp. 77–92.
SACSAC-2013-BifetPRH #adaptation #classification #data type #performance #probability
Efficient data stream classification via probabilistic adaptive windows (AB, BP, JR, GH), pp. 801–806.
SACSAC-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.
SACSAC-2013-LakhlefMB #algorithm #configuration management #distributed #performance #self
Distributed and efficient algorithm for self-reconfiguration of MEMS microrobots (HL, HM, JB), pp. 560–566.
SACSAC-2013-LeitaoC #adaptation #detection #optimisation #performance #using #xml
Efficient XML duplicate detection using an adaptive two-level optimization (LL, PC), pp. 832–837.
SACSAC-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.
SACSAC-2013-SaitoRFSG #approach #image #performance #reduction
A data reduction and organization approach for efficient image annotation (PTMS, PJdR, AXF, CTNS, JFG), pp. 53–57.
SACSAC-2013-SimaoV
A progress and profile-driven cloud-VM for resource-efficiency and fairness in e-science environments (JS, LV), pp. 357–362.
SACSAC-2013-TeodoroCF #energy #performance #scheduling
Energy efficiency management in computational grids through energy-aware scheduling (ST, ABdC, LGF), pp. 1163–1168.
SACSAC-2013-ZagareseCZAPB #data-driven #interactive #performance
Efficient data-intensive event-driven interaction in SOA (QZ, GC, EZ, IA, LP, FB), pp. 1907–1912.
ESEC-FSEESEC-FSE-2013-BeyerLNSW #performance #precise #reuse #verification
Precision reuse for efficient regression verification (DB, SL, EN, AS, PW), pp. 389–399.
ESEC-FSEESEC-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.
ICSEICSE-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.
ICSEICSE-2013-HeymansLC #assurance #performance #quality #variability
Efficient quality assurance of variability-intensive systems (PH, AL, MC), pp. 1496–1498.
ICSEICSE-2013-Jonsson #machine learning #performance #scalability #using
Increasing anomaly handling efficiency in large organizations using applied machine learning (LJ), pp. 1361–1364.
ICSEICSE-2013-LeeCJ #performance #program transformation #refactoring
Drag-and-drop refactoring: intuitive and efficient program transformation (YYL, NC, REJ), pp. 23–32.
ICSEICSE-2013-SnipesANM #developer #performance #towards
Towards recognizing and rewarding efficient developer work patterns (WS, VA, ARN, ERMH), pp. 1277–1280.
ICSEICSE-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.
ICSEICSE-2013-TianD #detection #model checking
Detecting spurious counterexamples efficiently in abstract model checking (CT, ZD), pp. 202–211.
ASPLOSASPLOS-2013-MittalBBS #architecture #embedded #performance
Efficient virtualization on embedded power architecture® platforms (AM, DB, SB, VS), pp. 445–458.
ASPLOSASPLOS-2013-SungKA #hardware #named #nondeterminism #performance
DeNovoND: efficient hardware support for disciplined non-determinism (HS, RK, SVA), pp. 13–26.
ASPLOSASPLOS-2013-WangW #hardware #named #optimisation #performance
TSO_ATOMICITY: efficient hardware primitive for TSO-preserving region optimizations (CW, YW), pp. 509–520.
CCCC-2013-BraunBHLMZ #performance
Simple and Efficient Construction of Static Single Assignment Form (MB, SB, SH, RL, CM, AZ), pp. 102–122.
CCCC-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.
CGOCGO-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.
CGOCGO-2013-JeonGT #named #performance #program analysis
Skadu: Efficient vector shadow memories for poly-scopic program analysis (DJ, SG, MBT), p. 12.
HPCAHPCA-2013-Abdel-MajeedA #performance
Warped register file: A power efficient register file for GPGPUs (MAM, MA), pp. 412–423.
HPCAHPCA-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.
HPCAHPCA-2013-GilaniKS #power management
Power-efficient computing for compute-intensive GPGPU applications (SZG, NSK, MJS), pp. 330–341.
HPCAHPCA-2013-HamCXL #energy #memory management
Disintegrated control for energy-efficient and heterogeneous memory systems (TJH, BKC, NX, BCL), pp. 424–435.
HPCAHPCA-2013-KarpuzcuSKT #energy #named #towards
EnergySmart: Toward energy-efficient manycores for Near-Threshold Computing (URK, AAS, NSK, JT), pp. 542–553.
HPCAHPCA-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.
HPCAHPCA-2013-RhuE #control flow #execution #gpu #performance
The dual-path execution model for efficient GPU control flow (MR, ME), pp. 591–602.
HPCAHPCA-2013-SamihWKMTS #energy
Energy-efficient interconnect via Router Parking (AS, RW, AK, CM, TYCT, YS), pp. 508–519.
HPCAHPCA-2013-ZhuR #energy #mobile #web
High-performance and energy-efficient mobile web browsing on big/little systems (YZ, VJR), pp. 13–24.
HPDCHPDC-2013-KassaN #architecture #named #performance #retrieval
SCDA: SLA-aware cloud datacenter architecture for efficient content storage and retrieval (DFK, KN), pp. 121–122.
HPDCHPDC-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.
HPDCHPDC-2013-YinLBGN #dataset #order #performance #pipes and filters #using
Efficient analytics on ordered datasets using MapReduce (JY, YL, MB, LG, AN), pp. 125–126.
LCTESLCTES-2013-ChenY #comparison #detection #fault #performance
Boosting efficiency of fault detection and recovery throughapplication-specific comparison and checkpointing (HC, CY), pp. 13–20.
LCTESLCTES-2013-FinlaysonDGUWST #performance #pipes and filters
Improving processor efficiency by statically pipelining instructions (IF, BD, PG, GRU, DBW, MS, GST), pp. 33–44.
PPoPPPPoPP-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.
PPoPPPPoPP-2013-LePCN #memory management #modelling #performance
Correct and efficient work-stealing for weak memory models (NML, AP, AC, FZN), pp. 69–80.
PPoPPPPoPP-2013-LuZWZ0 #multi #named #performance #thread
RaceFree: an efficient multi-threading model for determinism (KL, XZ, XW, WZ, GL), pp. 297–298.
PPoPPPPoPP-2013-YuB #automaton #performance #regular expression
Exploring different automata representations for efficient regular expression matching on GPUs (XY, MB), pp. 287–288.
CAVCAV-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.
CAVCAV-2013-CernyHRRT #concurrent #performance #semantics #synthesis
Efficient Synthesis for Concurrency by Semantics-Preserving Transformations (PC, TAH, AR, LR, TT), pp. 951–967.
CAVCAV-2013-DonzeFM #monitoring #performance #robust
Efficient Robust Monitoring for STL (AD, TF, OM), pp. 264–279.
CAVCAV-2013-VizelRN #generative #performance
Efficient Generation of Small Interpolants in CNF (YV, VR, AN), pp. 330–346.
ICSTICST-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.
ICSTICST-2013-MirshokraieMP #javascript #mutation testing #performance #testing
Efficient JavaScript Mutation Testing (SM, AM, KP), pp. 74–83.
ICSTICST-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.
ISSTAISSTA-2013-DevakiTSS #execution #flexibility #performance #user interface
Efficient and flexible GUI test execution via test merging (PD, ST, NS, SS), pp. 34–44.
ICSTSAT-2013-LonsingEG #learning #performance #pseudo #quantifier
Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation (FL, UE, AVG), pp. 100–115.
VMCAIVMCAI-2013-KhalimovJB #performance #synthesis #towards
Towards Efficient Parameterized Synthesis (AK, SJ, RB), pp. 108–127.
CASECASE-2012-HansenOMO #approach #energy #generative #industrial
Enhanced approach for energy-efficient trajectory generation of industrial robots (CH, , DM, TO), pp. 1–7.
CASECASE-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.
CASECASE-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.
CASECASE-2012-NilakantanP #assembly #performance #problem
An efficient PSO for type II robotic assembly line balancing problem (JMN, SGP), pp. 600–605.
CASECASE-2012-WangW #energy #performance
Occupancy pattern based intelligent control for improving energy efficiency in buildings (ZW, LW), pp. 804–809.
CASECASE-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.
DACDAC-2012-ChangH #power management
Near-threshold operation for power-efficient computing?: it depends.. (LC, WH), pp. 1159–1163.
DACDAC-2012-DonohooOPA #embedded #energy #mobile
Exploiting spatiotemporal and device contexts for energy-efficient mobile embedded systems (BKD, CO, SP, CA), pp. 1278–1283.
DACDAC-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.
DACDAC-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.
DACDAC-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.
DACDAC-2012-LiuCL #algorithm #multi #performance
An efficient algorithm for multi-layer obstacle-avoiding rectilinear Steiner tree construction (CHL, ICC, DTL), pp. 613–622.
DACDAC-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.
DACDAC-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.
DACDAC-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.
DACDAC-2012-SartoriK #compilation #energy #performance
Compiling for energy efficiency on timing speculative processors (JS, RK), pp. 1301–1308.
DACDAC-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.
DACDAC-2012-WangW #algorithm #memory management #performance
Observational wear leveling: an efficient algorithm for flash memory management (CW, WFW), pp. 235–242.
DACDAC-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.
DACDAC-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.
DATEDATE-2012-0002EGB #performance #using
Area efficient asynchronous SDM routers using 2-stage Clos switches (WS, DAE, JDG, WJB), pp. 1495–1500.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2012-DangWTLYW #energy #named #performance
S/DC: A storage and energy efficient data prefetcher (XD, XW, DT, JL, JY, KW), pp. 461–466.
DATEDATE-2012-DonnoFSPB #energy #performance
Mechatronic system for energy efficiency in bus transport (MD, AF, AS, PP, AB), pp. 342–343.
DATEDATE-2012-HankendiC #energy #parallel #performance
Reducing the energy cost of computing through efficient co-scheduling of parallel workloads (CH, AKC), pp. 994–999.
DATEDATE-2012-LiH #analysis #logic #named #performance #reliability
RAG: An efficient reliability analysis of logic circuits on graphics processing units (ML, MSH), pp. 316–319.
DATEDATE-2012-LvKE #multi #performance #reduction #verification
Efficient Gröbner basis reductions for formal verification of galois field multipliers (JL, PK, FE), pp. 899–904.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2012-Shahid #estimation #performance
Cross entropy minimization for efficient estimation of SRAM failure rate (MAS), pp. 230–235.
DATEDATE-2012-SinkarWK #manycore #optimisation #performance
Workload-aware voltage regulator optimization for power efficient multi-core processors (AAS, HW, NSK), pp. 1134–1137.
DATEDATE-2012-TabkhiS #approach #power management
Application-specific power-efficient approach for reducing register file vulnerability (HT, GS), pp. 574–577.
DATEDATE-2012-TanLXTC #branch #energy #predict #stack
Energy-efficient branch prediction with Compiler-guided History Stack (MT, XL, ZX, DT, XC), pp. 449–454.
DATEDATE-2012-VatajeluF #evaluation #parametricity #performance #reliability
Efficiency evaluation of parametric failure mitigation techniques for reliable SRAM operation (EIV, JF), pp. 1343–1348.
DATEDATE-2012-WangLLZLSCY #architecture
A compression-based area-efficient recovery architecture for nonvolatile processors (YW, YL, YL, DZ, SL, BS, MFC, HY), pp. 1519–1524.
DATEDATE-2012-WeisLBW #3d #energy #performance
An energy efficient DRAM subsystem for 3D integrated SoCs (CW, IL, LB, NW), pp. 1138–1141.
DATEDATE-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.
DATEDATE-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.
DRRDRR-2012-ChazalonC #analysis #documentation #interactive #performance
Iterative analysis of document collections enables efficient human-initiated interaction (JC, BC).
DRRDRR-2012-CoetzerSS #collaboration #human-computer #performance #verification
Efficient cost-sensitive human-machine collaboration for offline signature verification (JC, JPS, RS).
DRRDRR-2012-NagyT #named #performance #verification
VeriClick: an efficient tool for table format verification (GN, MT).
HTHT-2012-HelicKGST #folksonomy #performance
Navigational efficiency of broad vs. narrow folksonomies (DH, CK, MG, MS, CT), pp. 63–72.
PODSPODS-2012-BarceloLR #approximate #performance #query
Efficient approximations of conjunctive queries (PB, LL, MR), pp. 249–260.
PODSPODS-2012-McGregorPTW #estimation #statistics
Space-efficient estimation of statistics over sub-sampled streams (AM, AP, ST, DPW), pp. 273–282.
PODSPODS-2012-Nekrich #category theory
Space-efficient range reporting for categorical data (YN), pp. 113–120.
PODSPODS-2012-TirthapuraW #data type
Rectangle-efficient aggregation in spatial data streams (ST, DPW), pp. 283–294.
SIGMODSIGMOD-2012-AlagiannisBBIA #execution #named #performance #query
NoDB: efficient query execution on raw data files (IA, RB, MB, SI, AA), pp. 241–252.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2012-HellingsFH #bisimulation #graph #performance
Efficient external-memory bisimulation on DAGs (JH, GHLF, HJH), pp. 553–564.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2012-ManiuC #collaboration #named #network #performance #personalisation
Taagle: efficient, personalized search in collaborative tagging networks (SM, BC), pp. 661–664.
SIGMODSIGMOD-2012-MondalD #graph #scalability
Managing large dynamic graphs efficiently (JM, AD), pp. 145–156.
SIGMODSIGMOD-2012-SarmaLGMH #performance #scalability
Efficient spatial sampling of large geographical tables (ADS, HL, HG, JM, AYH), pp. 193–204.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2012-ZhuLZZY #named #similarity
TreeSpan: efficiently computing similarity all-matching (GZ, XL, KZ, WZ, JXY), pp. 529–540.
VLDBVLDB-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.
VLDBVLDB-2012-ChubakR #performance #query
Efficient Indexing and Querying over Syntactically Annotated Trees (PC, DR), pp. 1316–1327.
VLDBVLDB-2012-DittrichQ #big data #performance #pipes and filters
Efficient Big Data Processing in Hadoop MapReduce (JD, JAQR), pp. 2014–2015.
VLDBVLDB-2012-EndrullisTR #named #performance #web
WETSUIT: An Efficient Mashup Tool for Searching and Fusing Web Entities (SE, AT, ER), pp. 1970–1973.
VLDBVLDB-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.
VLDBVLDB-2012-KolbTR #named #performance
Dedoop: Efficient Deduplication with Hadoop (LK, AT, ER), pp. 1878–1881.
VLDBVLDB-2012-LangHPST #clustering #database #design #energy #towards
Towards Energy-Efficient Database Cluster Design (WL, SH, JMP, MAS, DT), pp. 1684–1695.
VLDBVLDB-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.
VLDBVLDB-2012-Shirani-MehrKS #dataset #evaluation #performance #query #reachability #scalability
Efficient Reachability Query Evaluation in Large Spatiotemporal Contact Datasets (HSM, FBK, CS), pp. 848–859.
VLDBVLDB-2012-SunWWSL #graph #performance
Efficient Subgraph Matching on Billion Node Graphs (ZS, HW, HW, BS, JL), pp. 788–799.
VLDBVLDB-2012-YuanWCW #database #graph #performance #probability #scalability #similarity
Efficient Subgraph Similarity Search on Large Probabilistic Graph Databases (YY, GW, LC, HW), pp. 800–811.
VLDBVLDB-2012-ZhangCW #multi #performance #pipes and filters #using
Efficient Multi-way Theta-Join Processing Using MapReduce (XZ, LC, MW), pp. 1184–1195.
VLDBVLDB-2012-ZhuKA #effectiveness #framework #performance #retrieval #sequence
A Generic Framework for Efficient and Effective Subsequence Retrieval (HZ, GK, VA), pp. 1579–1590.
ESOPESOP-2012-FajstrupGHMR #performance #reduction
Trace Spaces: An Efficient New Technique for State-Space Reduction (LF, EG, EH, SM, MR), pp. 274–294.
TACASTACAS-2012-LengalSV #automaton #library #named #nondeterminism #performance
VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata (OL, JS, TV), pp. 79–94.
CSMRCSMR-2012-JelschenGJPW #energy #re-engineering #towards
Towards Applying Reengineering Services to Energy-Efficient Applications (JJ, MG, MJ, CP, AW), pp. 353–358.
ICSMEICSM-2012-CorazzaMM #approach #identifier #named #performance
LINSEN: An efficient approach to split identifiers and expand abbreviations (AC, SDM, VM), pp. 233–242.
ICSMEICSM-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.
WCREWCRE-2012-AlomariCM #approach #performance #scalability #slicing
A Very Efficient and Scalable Forward Static Slicing Approach (HWA, MLC, JIM), pp. 425–434.
PLDIPLDI-2012-KuznetsovKBC #execution #performance #symbolic computation
Efficient state merging in symbolic execution (VK, JK, SB, GC), pp. 193–204.
SASSAS-2012-LeePMH #analysis #parallel #performance
Efficient May Happen in Parallel Analysis for Async-Finish Parallelism (JKL, JP, RM, HH), pp. 5–23.
FLOPSFLOPS-2012-Uustalu #performance
Explicit Binds: Effortless Efficiency with and without Trees (TU), pp. 317–331.
CIAACIAA-2012-LiuSGF #automaton #named #regular expression
SDFA: Series DFA for Memory-Efficient Regular Expression Matching (TL, YS, LG, BF), pp. 337–344.
ICALPICALP-v1-2012-AzarG #constraints #linear #performance
Efficient Submodular Function Maximization under Linear Packing Constraints (YA, IG), pp. 38–50.
ICALPICALP-v1-2012-BringmannP #performance
Efficient Sampling Methods for Discrete Distributions (KB, KP), pp. 133–144.
ICALPICALP-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.
ICALPICALP-v2-2012-DiakonikolasPPS #trade-off
Efficiency-Revenue Trade-Offs in Auctions (ID, CHP, GP, YS), pp. 488–499.
LATALATA-2012-BolligP #algorithm #performance
An Efficient Implicit OBDD-Based Algorithm for Maximal Matchings (BB, TP), pp. 143–154.
FMFM-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.
FMFM-2012-NedunuriSC #algorithm #performance
Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms (SN, DRS, WRC), pp. 308–325.
FMFM-2012-SongT #detection #model checking #performance #using
Efficient Malware Detection Using Model-Checking (FS, TT), pp. 418–433.
SEFMSEFM-2012-OuchaniMD #abstraction #diagrams #performance #probability #process
Efficient Probabilistic Abstraction for SysML Activity Diagrams (SO, OAM, MD), pp. 263–277.
ICFPICFP-2012-LaunchburyDDA #multi #performance #protocol
Efficient lookup-table protocol in secure multiparty computation (JL, ISD, TD, AAM), pp. 189–200.
ICFPICFP-2012-LippmeierCKLJ #higher-order #performance
Work efficient higher-order vectorisation (BL, MMTC, GK, RL, SLPJ), pp. 259–270.
ICFPICFP-2012-Siederdissen #combinator #performance #programming
Sneaking around concatMap: efficient combinators for dynamic programming (CHzS), pp. 215–226.
GRAPHITEGRAPHITE-2012-KantP #equation #game studies #performance
Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games (GK, JvdP), pp. 50–65.
ICGTICGT-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.
ICGTICGT-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.
ICGTICGT-2012-LauderAVS #graph grammar #performance #precedence
Efficient Model Synchronization with Precedence Triple Graph Grammars (ML, AA, GV, AS), pp. 401–415.
AdaEuropeAdaEurope-2012-PolzlbauerBB #constraints #design #performance #realtime #reliability
Efficient Constraint Handling during Designing Reliable Automotive Real-Time Systems (FP, IB, EB), pp. 207–220.
HILTHILT-2012-Kirtchev #compilation #implementation #performance #robust
A new robust and efficient implementation of controlled types in the GNAT compiler (HHK), pp. 43–50.
CAiSECAiSE-2012-MaggiBA #declarative #modelling #performance #process
Efficient Discovery of Understandable Declarative Process Models from Event Logs (FMM, RPJCB, WMPvdA), pp. 270–285.
EDOCEDOC-2012-MohebiDC #performance #requirements
Efficient QoS-based Service Selection with Consideration of User Requirements (AM, C(D, CHC), pp. 183–190.
ICEISICEIS-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.
ICEISICEIS-v1-2012-BrzostowskiK #multi #performance #protocol
Efficient Multi-alternative Protocol for Multi-attribute Agent Negotiation (JB, RK), pp. 247–252.
ICEISICEIS-v1-2012-RudraGA #approximate #performance #query
An Efficient Sampling Scheme for Approximate Processing of Decision Support Queries (AR, RPG, NA), pp. 16–26.
ICEISICEIS-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.
CIKMCIKM-2012-ArvanitisDV #performance #query #research
Efficient influence-based processing of market research queries (AA, AD, YV), pp. 1193–1202.
CIKMCIKM-2012-BahmaniGS #distributed #locality #performance
Efficient distributed locality sensitive hashing (BB, AG, RS), pp. 2174–2178.
CIKMCIKM-2012-BaoKWZS #performance #query #relational
Efficient provenance storage for relational queries (ZB, HK, LW, XZ, SWS), pp. 1352–1361.
CIKMCIKM-2012-DengSZ #analysis #documentation #performance #scalability
Efficient jaccard-based diversity analysis of large document collections (FD, SS, SZ), pp. 1402–1411.
CIKMCIKM-2012-HuangLTF #keyword #performance #query
Efficient safe-region construction for moving top-K spatial keyword queries (WH, GL, KLT, JF), pp. 932–941.
CIKMCIKM-2012-KimC #approximate #composition #dependence #functional #performance
Decomposition-by-normalization (DBN): leveraging approximate functional dependencies for efficient tensor decomposition (MK, KSC), pp. 355–364.
CIKMCIKM-2012-KoenigsteinRS #framework #matrix #performance #recommendation #retrieval
Efficient retrieval of recommendations in a matrix factorization framework (NK, PR, YS), pp. 535–544.
CIKMCIKM-2012-LiangZ #classification #performance
An efficient and simple under-sampling technique for imbalanced time series classification (GL, CZ), pp. 2339–2342.
CIKMCIKM-2012-LiCLP #corpus #ontology #performance
Efficient extraction of ontologies from domain specific text corpora (TL, PC, LVSL, RP), pp. 1537–1541.
CIKMCIKM-2012-LinTCXS #effectiveness #performance #sentiment #using
Effective and efficient?: bilingual sentiment lexicon extraction using collocation alignment (ZL, ST, XC, XX, WS), pp. 1542–1546.
CIKMCIKM-2012-LinXCB #algorithm #performance #query
Efficient algorithms for generalized subgraph query processing (WL, XX, JC, SSB), pp. 325–334.
CIKMCIKM-2012-MaRHMHZCL #performance
An efficient index for massive IOT data in cloud environment (YM, JR, WH, XM, XH, YZ, YC, CL), pp. 2129–2133.
CIKMCIKM-2012-NegahbanRG #learning #multi #performance #scalability #statistics #using
Scaling multiple-source entity resolution using statistically efficient transfer learning (SN, BIPR, JG), pp. 2224–2228.
CIKMCIKM-2012-QahtanZW #detection #estimation #performance
Efficient estimation of dynamic density functions with an application to outlier detection (AAQ, XZ, SW), pp. 2159–2163.
CIKMCIKM-2012-RenLZZ #collaboration #performance
The efficient imputation method for neighborhood-based collaborative filtering (YR, GL, JZ, WZ), pp. 684–693.
CIKMCIKM-2012-TranC #named #performance #sorting
SliceSort: efficient sorting of hierarchical data (QTT, CYC), pp. 2109–2113.
CIKMCIKM-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.
CIKMCIKM-2012-XieFTCMLL #approach #hybrid #performance
A hybrid approach for efficient provenance storage (YX, DF, ZT, LC, KKMR, YL, DDEL), pp. 1752–1756.
CIKMCIKM-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.
ICMLICML-2012-AvronKKS #performance #probability
Efficient and Practical Stochastic Subgradient Descent for Nuclear Norm Regularization (HA, SK, SPK, VS), p. 46.
ICMLICML-2012-BronsteinSS #learning #modelling #performance
Learning Efficient Structured Sparse Models (AMB, PS, GS), p. 33.
ICMLICML-2012-Gonen #kernel #learning #multi #performance
Bayesian Efficient Multiple Kernel Learning (MG), p. 17.
ICMLICML-2012-KrishnamurthyBXS #algorithm #clustering #performance
Efficient Active Algorithms for Hierarchical Clustering (AK, SB, MX, AS), p. 39.
ICMLICML-2012-MerchanteGG #analysis #approach #linear #performance
An Efficient Approach to Sparse Linear Discriminant Analysis (LFSM, YG, GG), p. 168.
ICMLICML-2012-MysoreS #markov #modelling #performance
Variational Inference in Non-negative Factorial Hidden Markov Models for Efficient Audio Source Separation (GJM, MS), p. 194.
ICMLICML-2012-SamdaniR #learning #performance #predict
Efficient Decomposed Learning for Structured Prediction (RS, DR), p. 200.
ICMLICML-2012-SchwingHPU #modelling #performance #predict #visual notation
Efficient Structured Prediction with Latent Variables for General Graphical Models (AGS, TH, MP, RU), p. 216.
ICMLICML-2012-YuSL12a #performance
Efficient Euclidean Projections onto the Intersection of Norm Balls (AWY, HS, FFL), p. 203.
ICPRICPR-2012-BakrYI #clustering #documentation #incremental #performance
Efficient incremental phrase-based document clustering (AMB, NAY, MAI), pp. 517–520.
ICPRICPR-2012-DecrouezDGC
Extracting planar structures efficiently with revisited BetaSAC (MD, RD, FG, JLC), pp. 2100–2103.
ICPRICPR-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.
ICPRICPR-2012-FreytagFRD #kernel #performance #process #segmentation #semantics
Efficient semantic segmentation with Gaussian processes and histogram intersection kernels (AF, BF, ER, JD), pp. 3313–3316.
ICPRICPR-2012-GautamSV #performance
An efficient, bolus-stage based method for motion correction in perfusion weighted MRI (RG, JS, RV), pp. 145–148.
ICPRICPR-2012-GerogiannisNL #detection #image #performance
Fast and efficient vanishing point detection in indoor images (DG, CN, AL), pp. 3244–3247.
ICPRICPR-2012-GuiLY #integer #novel #performance
A novel integer transform for efficient reversible watermarking (XG, XL, BY), pp. 947–950.
ICPRICPR-2012-GujraniyaM #classification #modelling #performance #topic #using
Efficient classification using phrases generated by topic models (DG, MNM), pp. 2331–2334.
ICPRICPR-2012-JiangES #detection #estimation #integration #performance #robust
Efficient and robust integration of face detection and head pose estimation (FJ, HKE, BES), pp. 1578–1581.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-2012-LiuXL #performance #recognition
An efficient method for occluded face recognition (WL, XX, KML), pp. 2993–2996.
ICPRICPR-2012-LoLC #assessment #performance
Assessment of photo aesthetics with efficiency (KYL, KHL, CSC), pp. 2186–2189.
ICPRICPR-2012-SharmaHN #classification #detection #incremental #learning #performance
Efficient incremental learning of boosted classifiers for object detection (PS, CH, RN), pp. 3248–3251.
ICPRICPR-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.
ICPRICPR-2012-ThibaultA #classification #performance #statistics
Efficient statistical/morphological cell texture characterization and classification (GT, JA), pp. 2440–2443.
ICPRICPR-2012-TrinhLMMP #performance #summary #video
Efficient UAV video event summarization (HT, JL, SM, JM, SP), pp. 2226–2229.
ICPRICPR-2012-WeberT #approach #documentation #performance
Symbol spotting for technical documents: An efficient template-matching approach (JW, ST), pp. 669–672.
ICPRICPR-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.
ICPRICPR-2012-ZarifFR #image #multi #performance #similarity #using
Fast and efficient multichannel image completion using local similarity (SZ, IF, DR), pp. 3116–3119.
ICPRICPR-2012-ZhuSX #performance #segmentation
An efficient r-KDE model for the segmentation of dynamic scenes (QZ, ZS, YX), pp. 198–201.
KDDKDD-2012-AgarwalSS #named #performance
SmartDispatch: enabling efficient ticket dispatch in an IT service environment (SA, RS, BS), pp. 1393–1401.
KDDKDD-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.
KDDKDD-2012-CadonnaGB #pattern matching #performance
Efficient event pattern matching with match windows (BC, JG, MHB), pp. 471–479.
KDDKDD-2012-FujiwaraNYSO #assurance #performance #personalisation #rank
Efficient personalized pagerank with accuracy assurance (YF, MN, TY, HS, MO), pp. 15–23.
KDDKDD-2012-KuksaP #evaluation #kernel #performance #scalability #sequence
Efficient evaluation of large sequence kernels (PPK, VP), pp. 759–767.
KDDKDD-2012-LappasVG #invariant #mining #performance
Efficient and domain-invariant competitor mining (TL, GV, DG), pp. 408–416.
KDDKDD-2012-RoyTA #hardware #manycore #performance
Efficient frequent item counting in multi-core hardware (PR, JT, GA), pp. 1451–1459.
KDDKDD-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.
KDDKDD-2012-YinZC #algorithm #mining #named #performance
USpan: an efficient algorithm for mining high utility sequential patterns (JY, ZZ, LC), pp. 660–668.
KDIRKDIR-2012-dAciernoLSV #performance #retrieval
An Efficient Strategy for Spatio-temporal Data Indexing and Retrieval (Ad, ML, AS, MV), pp. 227–232.
KDIRKDIR-2012-FormosoFCC #performance #recommendation #using
Using Neighborhood Pre-computation to Increase Recommendation Efficiency (VF, DF, FC, VC), pp. 333–335.
KDIRKDIR-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.
KEODKEOD-2012-MinhasB #development
Development of Intelligent Assistance System to Support Eco-efficient Planning (SUHM, UB), pp. 331–334.
KRKR-2012-CravenTCHW #performance
Efficient Argumentation for Medical Decision-Making (RC, FT, CC, AH, MW).
KRKR-2012-LeoneMTV #source code
Efficiently Computable Datalog∃ Programs (NL, MM, GT, PV).
MLDMMLDM-2012-BharambeDP #named #performance
BINER — BINary Search Based Efficient Regression (SB, HD, VP), pp. 76–85.
RecSysRecSys-2012-RibeiroLVZ #multi #recommendation
Pareto-efficient hybridization for multi-objective recommender systems (MTR, AL, AV, NZ), pp. 19–26.
SEKESEKE-2012-MCRM #effectiveness #performance #usability
Measuring the Effect Of Usability Mechanisms On User Efficiency, Effectiveness and Satisfaction (MA, DMC, ADlR, AMM), pp. 599–604.
SIGIRSIGIR-2012-BonchiPSVV #performance #query #recommendation
Efficient query recommendations in the long tail via center-piece subgraphs (FB, RP, FS, HV, RV), pp. 345–354.
SIGIRSIGIR-2012-CulpepperPS #documentation #in memory #performance #retrieval
Efficient in-memory top-k document retrieval (JSC, MP, FS), pp. 225–234.
SIGIRSIGIR-2012-LiWLF #performance #query
Supporting efficient top-k queries in type-ahead search (GL, JW, CL, JF), pp. 355–364.
SIGIRSIGIR-2012-ParkerYGY #estimation #performance
Efficient estimation of aspect weights (JP, AY, NG, WGY), pp. 1057–1058.
SIGIRSIGIR-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.
SIGIRSIGIR-2012-ZhangSCC #keyword #named #performance #query
See-to-retrieve: efficient processing of spatio-visual keyword queries (CZ, LS, KC, GC), pp. 681–690.
SIGIRSIGIR-2012-ZhangWDH #detection #learning #performance #reuse
Learning hash codes for efficient content reuse detection (QZ, YW, ZD, XH), pp. 405–414.
TOOLSTOOLS-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.
OOPSLAOOPSLA-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.
OOPSLAOOPSLA-2012-HaydenSDHF #c #named #performance
Kitsune: efficient, general-purpose dynamic software updating for C (CMH, EKS, MD, MH, JSF), pp. 249–264.
OOPSLAOOPSLA-2012-LiuSLG #algorithm #distributed #performance
From clarity to efficiency for distributed algorithms (YAL, SDS, BL, MG), pp. 395–410.
OOPSLAOOPSLA-2012-SolodkyyRS #c++ #performance
Open and efficient type switch for C++ (YS, GDR, BS), pp. 963–982.
TOOLSTOOLS-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.
TOOLSTOOLS-EUROPE-2012-VranyKG #performance #smalltalk
Efficient Method Lookup Customization for Smalltalk (JV, JK, CG), pp. 124–139.
GPCEGPCE-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.
QAPLQAPL-2012-Giro #model checking #performance
Efficient computation of exact solutions for quantitative model checking (SG), pp. 17–32.
PADLPADL-2012-HaveC #performance #program transformation #using
Efficient Tabling of Structured Data Using Indexing and Program Transformation (CTH, HC), pp. 93–107.
POPLPOPL-2012-ZhuMKR #approximate #performance #program transformation #random
Randomized accuracy-aware program transformations for efficient approximate computations (ZAZ, SM, JAK, MCR), pp. 441–454.
RERE-2012-GreenyerSCH #consistency #performance #product line #specification
Efficient consistency checking of scenario-based product-line specifications (JG, AMS, MC, PH), pp. 161–170.
SACSAC-2012-AbdullahRTN #performance #using
Efficient matching of SPARQL subscriptions using rete (HA, MR, ST, EN), pp. 372–377.
SACSAC-2012-BlankH #information retrieval #metric #multi #performance
Inverted file-based indexing for efficient multimedia information retrieval in metric spaces (DB, AH), pp. 900–905.
SACSAC-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.
SACSAC-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.
SACSAC-2012-RodoperBJT #framework #mobile #performance #security
An efficient security framework for mobile WiMAX (MR, AB, EJ, WT), pp. 1494–1501.
FSEFSE-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.
FSEFSE-2012-ThummalapentaSDSCDM #testing
Efficiently scripting change-resilient tests (ST, NS, PD, SS, SC, AKD, SM), p. 41.
ICSEICSE-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.
ICSEICSE-2012-Blincoe #coordination #developer #performance #process
Timely and efficient facilitation of coordination of software developers’ activities (KB), pp. 1539–1542.
ICSEICSE-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.
ICSEICSE-2012-JinMLR #framework #monitoring #named #parametricity #performance #runtime
JavaMOP: Efficient parametric runtime monitoring framework (DJ, POM, CL, GR), pp. 1427–1430.
ICSEICSE-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.
ICSEICSE-2012-SongPF #interactive #named #using
iTree: Efficiently discovering high-coverage configurations using interaction trees (CS, AP, JSF), pp. 903–913.
PLEASEPLEASE-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.
SPLCSPLC-2012-AndersenCSW #feature model #modelling #performance #synthesis
Efficient synthesis of feature models (NA, KC, SS, AW), pp. 106–115.
SPLCSPLC-2012-MohalikRMKN
Tracing SPLs precisely and efficiently (SM, SR, JVM, SNK, GKN), pp. 186–195.
ASPLOSASPLOS-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.
ASPLOSASPLOS-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.
ASPLOSASPLOS-2012-LeeS #architecture #scheduling #using
Region scheduling: efficiently using the cache architectures via page-level affinity (ML, KS), pp. 451–462.
ASPLOSASPLOS-2012-LinNGR #consistency #performance
Efficient sequential consistency via conflict ordering (CL, VN, RG, BR), pp. 273–286.
ASPLOSASPLOS-2012-ParkSPCM #architecture #performance
SIMD defragmenter: efficient ILP realization on data-parallel architectures (YP, SS, HP, HKC, SAM), pp. 363–374.
CGOCGO-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.
CGOCGO-2012-VankaT #data flow #dependence #performance #profiling #using
Efficient and accurate data dependence profiling using software signatures (RV, JT), pp. 186–195.
HPCAHPCA-2012-AwasthiSSRBS #performance
Efficient scrub mechanisms for error-prone emerging memories (MA, MS, KS, BR, RB, VS), pp. 15–26.
HPCAHPCA-2012-LinMHSC #named #performance
Parabix: Boosting the efficiency of text processing on commodity processors (DL, NM, KSH, AS, RDC), pp. 373–384.
HPCAHPCA-2012-MaJW #communication #performance
Supporting efficient collective communication in NoCs (SM, NDEJ, ZW), pp. 165–176.
HPCAHPCA-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.
HPCAHPCA-2012-SundararajanPJTF #clustering #energy
Cooperative partitioning: Energy-efficient cache partitioning for high-performance CMPs (KTS, VP, TMJ, NPT, BF), pp. 311–322.
HPCAHPCA-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.
HPDCHPDC-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.
ISMMISMM-2012-Nasre #analysis #constraints #graph #performance #points-to
Exploiting the structure of the constraint graph for efficient points-to analysis (RN), pp. 121–132.
LCTESLCTES-2012-KhudiaWM #embedded #fault #performance #using
Efficient soft error protection for commodity embedded microprocessors using profile information (DSK, GW, SAM), pp. 99–108.
LCTESLCTES-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.
OSDIOSDI-2012-KimCZ #performance #web
Efficient Patch-based Auditing for Web Application Vulnerabilities (TK, RC, NZ), pp. 193–206.
PPoPPPPoPP-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.
PPoPPPPoPP-2012-BuhlerALC #concurrent #performance #streaming
Efficient deadlock avoidance for streaming computation with filtering (JDB, KA, PL, RDC), pp. 235–246.
PPoPPPPoPP-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.
PPoPPPPoPP-2012-KimH #code generation #kernel #performance
Efficient SIMD code generation for irregular kernels (SK, HH), pp. 55–64.
PPoPPPPoPP-2012-ProkopecBBO #concurrent #performance
Concurrent tries with efficient non-blocking snapshots (AP, NGB, PB, MO), pp. 151–160.
PPoPPPPoPP-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.
CAVCAV-2012-BrazdilCKN #game studies #multi #performance #synthesis
Efficient Controller Synthesis for Consumption Games with Multiple Resource Types (TB, KC, AK, PN), pp. 23–38.
CAVCAV-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.
ICLPICLP-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.
ICLPICLP-J-2012-ZhouH #performance
Efficient tabling of structured data with enhanced hash-consing (NFZ, CTH), pp. 547–563.
ICSTICST-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.
ICTSSICTSS-2012-BrauerPS #modelling #performance #testing #tool support
Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools (JB, JP, US), pp. 8–23.
ISSTAISSTA-2012-KimCHKOSPMN #performance #testing
Efficient regression testing of ontology-driven systems (MK, JC, MJH, TMK, AO, JHS, ARP, KM, SBN), pp. 320–330.
ICSTSAT-2012-BelovIMM #on the #performance
On Efficient Computation of Variable MUSes (AB, AI, AM, JMS), pp. 298–311.
ICSTSAT-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.
ICSTSAT-2012-JarvisaloKKK #performance
Finding Efficient Circuits for Ensemble Computation (MJ, PK, MK, JHK), pp. 369–382.
ICSTSAT-2012-NadelR #performance #satisfiability
Efficient SAT Solving under Assumptions (AN, VR), pp. 242–255.
VMCAIVMCAI-2012-EssenJ #performance
Synthesizing Efficient Controllers (CvE, BJ), pp. 428–444.
VMCAIVMCAI-2012-GhorbalIBMG #abstract interpretation #performance
Donut Domains: Efficient Non-convex Domains for Abstract Interpretation (KG, FI, GB, NM, AG), pp. 235–250.
WICSAWICSA-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.
ASEASE-2011-BergmannHHRUV #emf #implementation #performance #tool support #validation
Implementing efficient model validation in EMF tools (GB, ÁH, ÁH, IR, ZU, DV), pp. 580–583.
ASEASE-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.
ASEASE-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.
ASEASE-2011-SurapaneniNMW #performance
Exploring caching for efficient collection operations (SS, VKSN, SKM, TW), pp. 468–471.
CASECASE-2011-ChenZAB #energy #feedback
Feedback control of machine startup for energy-efficient manufacturing in Bernoulli serial lines (GC, LZ, JA, SB), pp. 666–671.
CASECASE-2011-PerboliCT #metaheuristic #multi #performance
An efficient metaheuristic for multi-dimensional multi-container packing (GP, TGC, RT), pp. 563–568.
CASECASE-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.
DACDAC-2011-Borkar #3d #design #energy #integration #performance
3D integration for energy efficient system design (SB), pp. 214–219.
DACDAC-2011-ChippaRRC #scalability #trade-off
Dynamic effort scaling: managing the quality-efficiency tradeoff (VKC, AR, KR, STC), pp. 603–608.
DACDAC-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.
DACDAC-2011-DongL #performance #predict
Efficient SRAM failure rate prediction via Gibbs sampling (CD, XL), pp. 200–205.
DACDAC-2011-KrishnamurthyMS #encryption #energy
High-performance energy-efficient encryption in the sub-45nm CMOS Era (RK, SM, FS), p. 332.
DACDAC-2011-KuoSR #analysis #performance #reachability #source code #using
Efficient WCRT analysis of synchronous programs using reachability (MMYK, RS, PSR), pp. 480–485.
DACDAC-2011-LiuYX #low cost
Re-synthesis for cost-efficient circuit-level timing speculation (YL, FY, QX), pp. 158–163.
DACDAC-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.
DACDAC-2011-SaripalliMDN #energy #hybrid
An energy-efficient heterogeneous CMP based on hybrid TFET-CMOS cores (VS, AKM, SD, VN), pp. 729–734.
DACDAC-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.
DACDAC-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.
DACDAC-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.
DATEDATE-2011-AbdallahLS #energy #fault #robust #statistics
Timing error statistics for energy-efficient robust DSP systems (RAA, YHL, NRS), pp. 285–288.
DATEDATE-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.
DATEDATE-2011-BruschiPRS #automaton #performance
An efficient Quantum-Dot Cellular Automata adder (FB, FP, VR, DS), pp. 1220–1223.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2011-GolaniB #multi #pipes and filters
An area-efficient multi-level single-track pipeline template (PG, PAB), pp. 1509–1512.
DATEDATE-2011-GoyalN #grid #performance #power management #using #verification
Efficient RC power grid verification using node elimination (AG, FNN), pp. 257–260.
DATEDATE-2011-HaronH #fault tolerance #hybrid #low cost
Cost-efficient fault-tolerant decoder for hybrid nanoelectronic memories (NZH, SH), pp. 265–268.
DATEDATE-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.
DATEDATE-2011-KongYD #clustering #energy #multi #realtime #scheduling
Energy-efficient scheduling of real-time tasks on cluster-based multicores (FK, WY, QD), pp. 1135–1140.
DATEDATE-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.
DATEDATE-2011-LiuS #continuation #optimisation #performance
An efficient mask optimization method based on homotopy continuation technique (FL, XS), pp. 1053–1058.
DATEDATE-2011-LiuV #analysis #generative #performance #source code #validation
Efficient validation input generation in RTL by hybridized source code analysis (LL, SV), pp. 1596–1601.
DATEDATE-2011-LuJTL #architecture #parametricity #performance #simulation
Efficient parameter variation sampling for architecture simulations (FL, RJ, GT, SL), pp. 1578–1583.
DATEDATE-2011-MadaniTCCD #detection #energy #standard
An energy-efficient 64-QAM MIMO detector for emerging wireless standards (NMM, TT, JC, PC, WRD), pp. 246–251.
DATEDATE-2011-MirhoseiniK #energy #hybrid #optimisation #performance
HypoEnergy. Hybrid supercapacitor-battery power-supply optimization for Energy efficiency (AM, FK), pp. 887–890.
DATEDATE-2011-Niu #embedded #energy #realtime #scheduling
System-level energy-efficient scheduling for hard real-time embedded systems (LN), pp. 281–284.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2011-ZhiLZYZZ #algorithm #multi #performance #scheduling
An efficient algorithm for multi-domain clock skew scheduling (YZ, WSL, HZ, CY, HZ, XZ), pp. 1364–1369.
DocEngDocEng-2011-BohneRB #documentation #keyword #performance
Efficient keyword extraction for meaningful document perception (TB, SR, UMB), pp. 185–194.
DocEngDocEng-2011-CardosoJLRC #independence #performance
An efficient language-independent method to extract content from news webpages (ETC, IVJ, ESL, RR, PC), pp. 121–128.
HTHT-2011-NemotoGL #collaboration #editing #performance #social #wiki
Social capital increases efficiency of collaboration among Wikipedia editors (KN, PAG, RL), pp. 231–240.
ICDARICDAR-2011-ChazalonCL #analysis #documentation #interactive #performance
Iterative Analysis of Pages in Document Collections for Efficient User Interaction (JC, BC, AL), pp. 503–507.
ICDARICDAR-2011-ColuttoG #difference #performance #recognition #using #word
Efficient Word Recognition Using a Pixel-Based Dissimilarity Measure (SC, BG), pp. 1110–1114.
ICDARICDAR-2011-GatosLS #performance #reduction
Greek Polytonic OCR Based on Efficient Character Class Number Reduction (BG, GL, NS), pp. 1155–1159.
ICDARICDAR-2011-KesidisG #estimation #performance #word
Efficient Cut-Off Threshold Estimation for Word Spotting Applications (ALK, BG), pp. 279–283.
ICDARICDAR-2011-NeumannM #image #locality #using
Text Localization in Real-World Images Using Efficiently Pruned Exhaustive Search (LN, JM), pp. 687–691.
ICDARICDAR-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.
PODSPODS-2011-BojanczykF #documentation #evaluation #logic #performance #xml
Efficient evaluation for a temporal logic on changing XML documents (MB, DF), pp. 259–270.
PODSPODS-2011-OrlandiV #estimation #string
Space-efficient substring occurrence estimation (AO, RV), pp. 95–106.
SIGMODSIGMOD-2011-AngelK #performance
Efficient diversity-aware search (AA, NK), pp. 781–792.
SIGMODSIGMOD-2011-AthanassoulisCAGS #named #online #performance
MaSM: efficient online updates in data warehouses (MA, SC, AA, PBG, RS), pp. 865–876.
SIGMODSIGMOD-2011-Bajda-PawlikowskiASP #execution #performance #query
Efficient processing of data warehousing queries in a split execution environment (KBP, DJA, AS, EP), pp. 1165–1176.
SIGMODSIGMOD-2011-ChenLOW #named #performance #realtime #twitter
TI: an efficient indexing mechanism for real-time search on tweets (CC, FL, BCO, SW), pp. 649–660.
SIGMODSIGMOD-2011-JinP #evaluation #performance #query
Efficient and generic evaluation of ranked queries (WJ, JMP), pp. 601–612.
SIGMODSIGMOD-2011-KaushikR #performance #query #sql
Efficient auditing for complex SQL queries (RK, RR), pp. 697–708.
SIGMODSIGMOD-2011-KennedyN #enterprise #named #nondeterminism #optimisation #performance
Jigsaw: efficient optimization over uncertain enterprise data (OK, SN), pp. 829–840.
SIGMODSIGMOD-2011-KohlerYZ #parallel #performance #using
Efficient parallel skyline processing using hyperplane projections (HK, JY, XZ), pp. 85–96.
SIGMODSIGMOD-2011-LianC #graph #performance #probability #query #rdf
Efficient query answering in probabilistic RDF graphs (XL, LC), pp. 157–168.
SIGMODSIGMOD-2011-LiDF #algorithm #approximate #named #performance
Faerie: efficient filtering algorithms for approximate dictionary-based entity extraction (GL, DD, JF), pp. 529–540.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2011-RoyC #database #performance #semantics
Location-aware type ahead search on spatial databases: semantics and efficiency (SBR, KC), pp. 361–372.
SIGMODSIGMOD-2011-SadoghiJ #named
BE-tree: an index structure to efficiently match boolean expressions over high-dimensional discrete space (MS, HAJ), pp. 637–648.
SIGMODSIGMOD-2011-SchaikM #data type #memory management #performance #reachability
A memory efficient reachability data structure through bit vector compression (SJvS, OdM), pp. 913–924.
SIGMODSIGMOD-2011-TekleL #datalog #performance #query #set
More efficient datalog queries: subsumptive tabling beats magic sets (KTT, YAL), pp. 661–672.
SIGMODSIGMOD-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.
VLDBVLDB-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.
VLDBVLDB-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.
VLDBVLDB-2011-CapanniniNPS #performance #web
Efficient Diversification of Web Search Results (GC, FMN, RP, FS), pp. 451–459.
VLDBVLDB-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.
VLDBVLDB-2011-Neumann #compilation #hardware #performance #query
Efficiently Compiling Efficient Query Plans for Modern Hardware (TN0), pp. 539–550.
VLDBVLDB-2011-XieLW #constraints #performance #rank
Efficient Rank Join with Aggregation Constraints (MX, LVSL, PTW), pp. 1201–1212.
VLDBVLDB-2011-YanZN #algorithm #network #performance
Efficient Algorithms for Finding Optimal Meeting Point on Road Networks (DY, ZZ, WN), pp. 968–979.
VLDBVLDB-2011-YuanWWC #graph #nondeterminism #performance #scalability
Efficient Subgraph Search over Large Uncertain Graphs (YY, GW, HW, LC), pp. 876–886.
VLDBVLDB-2012-HoobinPZ11 #performance #retrieval #web
Relative Lempel-Ziv Factorization for Efficient Storage and Retrieval of Web Collections (CH, SJP, JZ), pp. 265–273.
VLDBVLDB-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.
VLDBVLDB-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.
ITiCSEITiCSE-2011-Moy #education #performance #student #tool support
Efficient and playful tools to teach Unix to new students (MM), pp. 93–97.
TACASTACAS-2011-BarbotCHKM #linear #model checking #performance #realtime
Efficient CTMC Model Checking of Linear Real-Time Objectives (BB, TC, TH, JPK, AM), pp. 128–142.
TACASTACAS-2011-GriggioLS #generative #integer #linear #performance #satisfiability
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic (AG, TTHL, RS), pp. 143–157.
ICPCICPC-2011-CordyR #named #open source #performance #source code
DebCheck: Efficient Checking for Open Source Code Clones in Software Systems (JRC, CKR), pp. 217–218.
MSRMSR-2011-ZeltynTCDKKKW #maintenance #performance
Improving efficiency in software maintenance (SZ, PT, MC, RD, SK, MK, APK, SW), pp. 215–218.
PLDIPLDI-2011-BestMMRFB #scheduling
Synchronization via scheduling: techniques for efficiently managing shared state (MJB, SM, CM, MR, AF, AB), pp. 640–652.
SASSAS-2011-HuangZ #concurrent #debugging #performance #source code
An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs (JH, CZ), pp. 163–179.
SASSAS-2011-MadhusudanQ #performance #using
Efficient Decision Procedures for Heaps Using STRAND (PM, XQ), pp. 43–59.
STOCSTOC-2011-FawziHS #nondeterminism #performance
From low-distortion norm embeddings to explicit uncertainty relations and efficient information locking (OF, PH, PS), pp. 773–782.
CIAACIAA-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.
AFLAFL-2011-Egri-NagyMN #algorithm #composition #performance
Algorithms for the Efficient Calculation of the Holonomy Decomposition (AEN, JDM, CLN), pp. 389–390.
AFLAFL-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.
ICALPICALP-v1-2011-ChakrabortyGM #performance
Efficient Sample Extractors for Juntas with Applications (SC, DGS, AM), pp. 545–556.
ICALPICALP-v1-2011-NgoPR #matrix
Efficiently Decodable Error-Correcting List Disjunct Matrices and Applications — (Extended Abstract) (HQN, EP, AR), pp. 557–568.
ICALPICALP-v2-2011-ChlebusKPR #ad hoc #communication #distributed #network #performance
Efficient Distributed Communication in Ad-Hoc Radio Networks (BSC, DRK, AP, MAR), pp. 613–624.
LATALATA-2011-AxelsenG #performance #turing machine
A Simple and Efficient Universal Reversible Turing Machine (HBA, RG), pp. 117–128.
SEFMSEFM-2011-Boender #component #performance
Efficient Computation of Dominance in Component Systems (Short Paper) (JB), pp. 399–406.
ICFPICFP-2011-GillF #fault #implementation #performance
Deriving an efficient FPGA implementation of a low density parity check forward error corrector (AG, AF), pp. 209–220.
ICFPICFP-2011-UenoOO #functional #garbage collection #performance
An efficient non-moving garbage collector for functional languages (KU, AO, TO), pp. 196–208.
ICFPICFP-2011-WangGW #bidirectional #incremental #performance
Incremental updates for efficient bidirectional transformations (MW, JG, NW), pp. 392–403.
CHICHI-2011-KaserAP #interactive #multi #named #performance
FingerGlass: efficient multiscale interaction on multitouch screens (DPK, MA, MP), pp. 1601–1610.
CSCWCSCW-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.
HCIDHM-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.
HCIDUXU-v2-2011-ChangH #performance
Effects of Menu Types and Item Lengths on Operation Efficiency (YHC, TKPH), pp. 376–383.
HCIHCI-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.
HCIHCI-MIIE-2011-XuS #performance #smarttech #web
Enabling Efficient Browsing and Manipulation of Web Tables on Smartphone (WX, YS), pp. 117–126.
HCIHCI-UA-2011-LiuS #performance #scalability
uMeeting, an Efficient Co-located Meeting System on the Large-Scale Tabletop (JL, YS), pp. 368–374.
HCIHIMI-v2-2011-TanerYNB #generative #performance #scalability
An Efficient and Scalable Meeting Minutes Generation and Presentation Technique (BT, CY, AON, SB), pp. 345–352.
HCIOCSC-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.
ICEISICEIS-v1-2011-MoreauO #performance
Efficient Indexing of Lines with the Mqr-tree (MM, WO), pp. 314–319.
ICEISICEIS-v3-2011-Li11c #identification #performance
An Efficient Method to Identify Customer Value in Tourist Hotel Management (CL), pp. 165–169.
ICEISICEIS-v4-2011-NguyenD #approach #information management #mobile #performance
An Efficient Cooperative Cache Approach in Mobile Information System (TTMN, TTBD), pp. 153–159.
ICEISICEIS-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.
ICEISICEIS-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.
CIKMCIKM-2011-BrodtSM #performance #rdf #retrieval
Efficient resource attribute retrieval in RDF triple stores (AB, OS, BM), pp. 1445–1454.
CIKMCIKM-2011-CartrightA #optimisation #performance
Efficiency optimizations for interpolating subqueries (MAC, JA), pp. 297–306.
CIKMCIKM-2011-ChenloL #effectiveness #estimation #performance
Effective and efficient polarity estimation in blogs based on sentence-level evidence (JMC, DEL), pp. 365–374.
CIKMCIKM-2011-ChristoforakiHDMS #performance #query
Text vs. space: efficient geo-search query processing (MC, JH, CD, AM, TS), pp. 423–432.
CIKMCIKM-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.
CIKMCIKM-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.
CIKMCIKM-2011-ElsayedLM #approximate #performance #retrieval
When close enough is good enough: approximate positional indexes for efficient ranked retrieval (TE, JJL, DM), pp. 1993–1996.
CIKMCIKM-2011-FontouraGJV #encoding
Efficiently encoding term co-occurrences in inverted indexes (MF, MG, VJ, SV), pp. 307–316.
CIKMCIKM-2011-Garcia-Alvarado0O #named #ontology #performance #using
ONTOCUBE: efficient ontology extraction using OLAP cubes (CGA, ZC, CO), pp. 2429–2432.
CIKMCIKM-2011-GollapudiINP #performance #query #web
Efficient query rewrite for structured web queries (SG, SI, AN, SP), pp. 2417–2420.
CIKMCIKM-2011-LangeN11a #composition #metric #performance #similarity
Efficient similarity search: arbitrary similarity measures, arbitrary composition (DL, FN), pp. 1679–1688.
CIKMCIKM-2011-LianLC #consistency #database #low cost #probability
Cost-efficient repair in inconsistent probabilistic databases (XL, YL, LC), pp. 1731–1736.
CIKMCIKM-2011-LiaoLCW #named #performance
KLEAP: an efficient cleaning method to remove cross-reads in RFID streams (GL, JL, LC, CW), pp. 2209–2212.
CIKMCIKM-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.
CIKMCIKM-2011-MagdyJ #performance #using
An efficient method for using machine translation technologies in cross-language patent search (WM, GJFJ), pp. 1925–1928.
CIKMCIKM-2011-PuWLW #incremental #named #performance #query #rdf
AWETO: efficient incremental update and querying in rdf storage system (XP, JW, PL, MW), pp. 2445–2448.
CIKMCIKM-2011-ShanZHYYL #performance #query
Efficient phrase querying with flat position index (DS, WXZ, JH, RY, HY, XL), pp. 2001–2004.
CIKMCIKM-2011-WachsmuthSE #information management #performance #pipes and filters
Constructing efficient information extraction pipelines (HW, BS, GE), pp. 2237–2240.
CIKMCIKM-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.
CIKMCIKM-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.
CIKMCIKM-2011-XieY #graph #named #performance #scalability
CP-index: on the efficient indexing of large graphs (YX, PSY), pp. 1795–1804.
CIKMCIKM-2011-YanWN #adaptation #performance
Efficient methods for finding influential locations with adaptive grids (DY, RCWW, WN), pp. 1475–1484.
CIKMCIKM-2011-ZhouPW #constraints #graph #keyword #performance #scalability
Efficient association discovery with keyword-based constraints on large graph data (MZ, YP, YW), pp. 2441–2444.
CIKMCIKM-2011-ZhuQYKL #graph #performance #quality #scalability
High efficiency and quality: large graphs matching (YZ, LQ, JXY, YK, XL), pp. 1755–1764.
ECIRECIR-2011-JonassenB #performance
Efficient Compressed Inverted Index Skipping for Disjunctive Text-Queries (SJ, SEB), pp. 530–542.
ICMLICML-2011-DeisenrothR #approach #modelling #named #policy
PILCO: A Model-Based and Data-Efficient Approach to Policy Search (MPD, CER), pp. 465–472.
ICMLICML-2011-JawanpuriaNR #kernel #learning #performance #using
Efficient Rule Ensemble Learning using Hierarchical Kernels (PJ, JSN, GR), pp. 161–168.
ICMLICML-2011-Reyzin #predict
Boosting on a Budget: Sampling for Feature-Efficient Prediction (LR), pp. 529–536.
ICMLICML-2011-ZhongK #automation #modelling #performance
Efficient Sparse Modeling with Automatic Feature Grouping (WZ, JTK), pp. 9–16.
KDDKDD-2011-BoleyLPG #performance #random
Direct local pattern sampling by efficient two-step random procedures (MB, CL, DP, TG), pp. 582–590.
KDDKDD-2011-GhaniK #detection #fault #interactive #learning
Interactive learning for efficiently detecting errors in insurance claims (RG, MK), pp. 325–333.
KDDKDD-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.
KDDKDD-2011-ZhuLCX #performance #topic
Conditional topical coding: an efficient topic model conditioned on rich features (JZ, NL, NC, EPX), pp. 475–483.
MLDMMLDM-2011-LiHO #clique #correlation #performance
Contrasting Correlations by an Efficient Double-Clique Condition (AL, MH, YO), pp. 469–483.
MLDMMLDM-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.
SEKESEKE-2011-ChiuchiSSV #guidelines #performance
Efficiency and portability: guidelines to develop websites (CAC, RCGdS, ABS, CRV), pp. 37–41.
SEKESEKE-2011-FarahatE #fault #performance
Exploiting Computational Redundancy for Efficient Recovery from Soft Errors in Sensor Nodes (AF, AE), pp. 619–624.
SIGIRSIGIR-2011-AnandBBS #performance
Temporal index sharding for space-time efficiency in archive search (AA, SJB, KB, RS), pp. 545–554.
SIGIRSIGIR-2011-BroschartS #hybrid #novel #performance #retrieval
A novel hybrid index structure for efficient text retrieval (AB, RS), pp. 1175–1176.
SIGIRSIGIR-2011-ChenBSCG #named #performance #personalisation #privacy #web
UPS: efficient privacy protection in personalized web search (GC, HB, LS, KC, YG), pp. 615–624.
SIGIRSIGIR-2011-HeZSLY #evaluation #retrieval #web
Efficiently collecting relevance information from clickthroughs for web retrieval system evaluation (JH, WXZ, BS, XL, HY), pp. 275–284.
SIGIRSIGIR-2011-Jia #effectiveness #performance
Efficient and effective solutions for search engines (XFJ), pp. 1319–1320.
SIGIRSIGIR-2011-WangLM #performance #ranking #retrieval
A cascade ranking model for efficient ranked retrieval (LW, JJL, DM), pp. 105–114.
SIGIRSIGIR-2011-XuBCCHLL #image #performance #ranking #retrieval
Efficient manifold ranking for image retrieval (BX, JB, CC, DC, XH, WL, JL), pp. 525–534.
SIGIRSIGIR-2011-ZhouCZ #algorithm #approximate #named #performance #string #towards
SEJoin: an optimized algorithm towards efficient approximate string searches (JZ, ZC, JZ), pp. 1249–1250.
BXBX-2011-Voigtlaender1 #bidirectional #performance
Efficiency of Bidirectional Transformations (JV), p. 64.
OOPSLAOOPSLA-2011-CledatKP #programming
Efficiently speeding up sequential computation through the n-way programming model (RC, TK, SP), pp. 537–554.
TOOLSTOOLS-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.
POPLPOPL-2011-LhotakC #analysis #performance #points-to
Points-to analysis with efficient strong updates (OL, KCAC), pp. 3–16.
SACSAC-2011-AhnLK #development #embedded #energy #network
Development of the wireless embedded sensor network for energy-efficient flooding (SA, YL, SK), pp. 621–622.
SACSAC-2011-BelcaidBHP #clustering #performance #using
Efficient clustering of populations using a minimal SNP panel (MB, KB, DH, GP), pp. 83–88.
SACSAC-2011-ChungPK #memory management #performance #scalability
LSTAFF*: an efficient flash translation layer for large block flash memory (TSC, DJP, JK), pp. 589–594.
SACSAC-2011-DabringerE #performance #query #retrieval
Efficient top-k retrieval for user preference queries (CD, JE), pp. 1045–1052.
SACSAC-2011-JinL #performance
Efficient traitor tracing for clone attack in content protection (HJ, JBL), pp. 1544–1549.
SACSAC-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.
SACSAC-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.
SACSAC-2011-LinC #query #towards
Towards communication-efficient private location dependent queries (KPL, MSC), pp. 433–438.
SACSAC-2011-MajchrzakJK #evaluation #open source #performance #tool support
Efficiency evaluation of open source ETL tools (TAM, TJ, HK), pp. 287–294.
SACSAC-2011-SteigerHS #constraints #network #performance
An efficient generic network flow constraint (RS, WJvH, RS), pp. 893–900.
ICSEICSE-2011-FilieriGT #model checking #performance #probability #runtime
Run-time efficient probabilistic model checking (AF, CG, GT), pp. 341–350.
SPLCSPLC-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.
ASPLOSASPLOS-2011-SinghMNMM #exception #memory management #performance
Efficient processor support for DRFx, a memory model with exceptions (AS, DM, SN, TDM, MM), pp. 53–66.
CCCC-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.
CGOCGO-2011-JonesBMC #optimisation #performance
Link-time optimization for power efficiency in a tagless instruction cache (TMJ, SB, JM, DC), pp. 32–41.
CGOCGO-2011-NasreG #analysis #constraints #evaluation #performance #points-to
Prioritizing constraint evaluation for efficient points-to analysis (RN, RG), pp. 267–276.
CGOCGO-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.
CGOCGO-2011-XieX #detection #named #performance
Acculock: Accurate and efficient detection of data races (XX, JX), pp. 201–212.
HPCAHPCA-2011-BobbaLHW #memory management #performance
Safe and efficient supervised memory systems (JB, ML, MDH, DAW), pp. 369–380.
HPCAHPCA-2011-FungA #concurrent #control flow #performance #thread
Thread block compaction for efficient SIMT control flow (WWLF, TMA), pp. 25–36.
HPCAHPCA-2011-GovindarajuHS #energy #performance
Dynamically Specialized Datapaths for energy efficient computing (VG, CHH, KS), pp. 503–514.
HPCAHPCA-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.
HPCAHPCA-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.
HPCAHPCA-2011-ManikantanRG #distance #manycore #named #performance
NUcache: An efficient multicore cache organization based on Next-Use distance (RM, KR, RG), pp. 243–253.
HPCAHPCA-2011-SampsonVGGST #performance
Efficient complex operators for irregular codes (JS, GV, NGH, SG, SS, MBT), pp. 491–502.
HPCAHPCA-2011-SmullenMNGS #energy #performance
Relaxing non-volatility for fast and energy-efficient STT-RAM caches (CWSI, VM, AN, SG, MRS), pp. 50–61.
HPDCHPDC-2011-Feng #energy
Energy-efficient E-puting everywhere (WcF), pp. 109–110.
HPDCHPDC-2011-NicolaeBKA #multi #performance
Going back and forth: efficient multideployment and multisnapshotting on clouds (BN, JB, KK, GA), pp. 147–158.
LCTESLCTES-2011-AlthausAN #analysis #parametricity #performance #precise
Precise and efficient parametric path analysis (EA, SA, RN), pp. 141–150.
LCTESLCTES-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.
PPoPPPPoPP-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.
PPoPPPPoPP-2011-NegaraKA #message passing #performance
Inferring ownership transfer for efficient message passing (SN, RKK, GAA), pp. 81–90.
SOSPSOSP-2011-CuiWGGY #multi #performance #thread
Efficient deterministic multithreading through schedule relaxation (HC, JW, JG, HG, JY), pp. 337–351.
SOSPSOSP-2011-LimFAK #named
SILT: a memory-efficient, high-performance key-value store (HL, BF, DGA, MK), pp. 1–13.
SOSPSOSP-2011-LiuCB #multi #named #performance #thread
Dthreads: efficient deterministic multithreading (TL, CC, EDB), pp. 327–336.
CADECADE-2011-LiuL #morphism #performance #unification
Efficient General Unification for XOR with Homomorphism (ZL, CL), pp. 407–421.
CADECADE-2011-WiesMK #data type #imperative #performance
An Efficient Decision Procedure for Imperative Tree Data Structures (TW, MM, VK), pp. 476–491.
CAVCAV-2011-BrazdilKK #analysis #bound #performance #probability #source code
Efficient Analysis of Probabilistic Programs with an Unbounded Counter (TB, SK, AK), pp. 208–224.
CAVCAV-2011-CimattiMT #automaton #hybrid #performance #verification
Efficient Scenario Verification for Hybrid Automata (AC, SM, ST), pp. 317–332.
CAVCAV-2011-HoderBM #constraints #fixpoint #named #performance
μZ — An Efficient Engine for Fixed Points with Constraints (KH, NB, LMdM), pp. 457–462.
ICLPICLP-2011-Zombori #information retrieval #logic #performance #reasoning
Two Phase Description Logic Reasoning for Efficient Information Retrieval (ZZ), pp. 296–300.
ICLPICLP-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.
ICSTICST-2011-AichernigBJK #performance
Efficient Mutation Killers in Action (BKA, HB, EJ, WK), pp. 120–129.
ICSTICST-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.
ICSTICST-2011-LuoDQ #concurrent #detection #manycore #performance
Multicore SDK: A Practical and Efficient Deadlock Detector for Real-World Applications (ZDL, RD, YQ), pp. 309–318.
ISSTAISSTA-2011-BernatRM #performance
Efficient, sensitivity resistant binary instrumentation (ARB, KAR, BPM), pp. 89–99.
ISSTAISSTA-2011-TanejaXTH #generative #named #performance #testing
eXpress: guided path exploration for efficient regression test generation (KT, TX, NT, JdH), pp. 1–11.
RTARTA-2011-ConchinhaBC #deduction #equivalence #named #performance
FAST: An Efficient Decision Procedure for Deduction and Static Equivalence (BC, DAB, CC), pp. 11–20.
ICSTSAT-2011-HeuleJB #graph #performance
Efficient CNF Simplification Based on Binary Implication Graphs (MH, MJ, AB), pp. 201–215.
ICSTSAT-2011-Minato #diagrams #named #performance #permutation #problem
πDD: A New Decision Diagram for Efficient Problem Solving in Permutation Space (SiM), pp. 90–104.
ICSTSAT-2011-TanjoTB #csp #encoding #finite #performance
A Compact and Efficient SAT-Encoding of Finite Domain CSP (TT, NT, MB), pp. 375–376.
CASECASE-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.
DACDAC-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.
DACDAC-2010-Coudert #algorithm #performance #verification
An efficient algorithm to verify generalized false paths (OC), pp. 188–193.
DACDAC-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.
DACDAC-2010-FayyaziK #performance #simulation
Efficient simulation of oscillatory combinational loops (MF, LK), pp. 777–780.
DACDAC-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.
DACDAC-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.
DACDAC-2010-JangP #design #performance
Application-aware NoC design for efficient SDRAM access (WJ, DZP), pp. 453–456.
DACDAC-2010-KaoCTC #detection #performance
An efficient phase detector connection structure for the skew synchronization system (YCK, HMC, KTT, SCC), pp. 729–734.
DACDAC-2010-KochteSWZ #fault #manycore #performance #simulation
Efficient fault simulation on many-core processors (MAK, MS, HJW, CGZ), pp. 380–385.
DACDAC-2010-LimKH #functional #generative #modelling #performance
An efficient test vector generation for checking analog/mixed-signal functional models (BL, JK, MAH), pp. 767–772.
DACDAC-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.
DACDAC-2010-ModarressiST #architecture #configuration management #network #performance
An efficient dynamically reconfigurable on-chip network architecture (MM, HSA, AT), pp. 166–169.
DACDAC-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.
DACDAC-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.
DACDAC-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.
DACDAC-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.
DATEDATE-2010-AgheraKFCR #energy #named #performance
DynAHeal: Dynamic energy efficient task assignment for wireless healthcare systems (PA, DK, DF, AKC, TR), pp. 1661–1664.
DATEDATE-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.
DATEDATE-2010-ChenQM #generative #performance #satisfiability #testing
Efficient decision ordering techniques for SAT-based test generation (MC, XQ, PM), pp. 490–495.
DATEDATE-2010-CoskunARBM #3d #architecture #energy
Energy-efficient variable-flow liquid cooling in 3D stacked architectures (AKC, DA, TSR, TB, BM), pp. 111–116.
DATEDATE-2010-Fettweis #energy
The road to energy-efficient systems: From hardware-driven to software-defined (GF), p. 477.
DATEDATE-2010-GhoshS #performance #perspective
Power efficient voltage islanding for Systems-on-chip from a floorplanning perspective (PG, AS), pp. 654–657.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2010-JaffariA10a #analysis #correlation #performance #variability
Correlation controlled sampling for efficient variability analysis of analog circuits (JJ, MA), pp. 1305–1308.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2010-LuPRR #energy #performance #transducer
Efficient power conversion for ultra low voltage micro scale energy transducers (CL, SPP, VR, KR), pp. 1602–1607.
DATEDATE-2010-MarongiuRB #manycore #memory management #performance
Efficient OpenMP data mapping for multicore platforms with vertically stacked memory (AM, MR, LB), pp. 105–110.
DATEDATE-2010-NeishaburiZ #clustering #debugging #performance
Enabling efficient post-silicon debug by clustering of hardware-assertions (MHN, ZZ), pp. 985–988.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2010-Schlager #hardware #interactive #performance
Increasing the power efficiency of PCs by improving the hardware/OS interaction (CS), p. 1005.
DATEDATE-2010-SheaSC #identifier #performance
Scoped identifiers for efficient bit aligned logging (RS, MBS, YC), pp. 1450–1455.
DATEDATE-2010-SrinivasJ #clustering #graph #performance
Clock gating approaches by IOEX graphs and cluster efficiency plots (JS, SJ), pp. 638–641.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2010-YangCTK #energy #realtime #scheduling
Energy-efficient real-time task scheduling with temperature-dependent leakage (CYY, JJC, LT, TWK), pp. 9–14.
DATEDATE-2010-Yu
A memory- and time-efficient on-chip TCAM minimizer for IP lookup (HY), pp. 926–931.
DATEDATE-2010-ZebeleinFHTD #modelling #network #performance
Efficient High-Level modeling in the networking domain (CZ, JF, CH, JT, RD), pp. 1189–1194.
DATEDATE-2010-ZhuSJ #configuration management #cpu #design #performance #streaming
Pareto efficient design for reconfigurable streaming applications on CPU/FPGAs (JZ, IS, AJ), pp. 1035–1040.
DocEngDocEng-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.
DRRDRR-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.
SIGMODSIGMOD-2010-ChenSZZX #performance
Searching trajectories by locations: an efficiency study (ZC, HTS, XZ, YZ, XX), pp. 255–266.
SIGMODSIGMOD-2010-FontouraSSVVVZ
Efficiently evaluating complex boolean expressions (MF, SS, JS, SV, EV, SV, JYZ), pp. 3–14.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2010-TsirogiannisHS #database #energy #performance
Analyzing the energy efficiency of a database server (DT, SH, MAS), pp. 231–242.
SIGMODSIGMOD-2010-VernicaCL #parallel #performance #pipes and filters #using
Efficient parallel set-similarity joins using MapReduce (RV, MJC, CL), pp. 495–506.
SIGMODSIGMOD-2010-Wei #graph #named #performance #query
TEDI: efficient shortest path query answering on graphs (FW0), pp. 99–110.
SIGMODSIGMOD-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.
VLDBVLDB-2010-BuHBE #clustering #named #performance #scalability
HaLoop: Efficient Iterative Data Processing on Large Clusters (YB, BH, MB, MDE), pp. 285–296.
VLDBVLDB-2010-LiuNHHC #database #evolution #named
CODS: Evolving Data Efficiently and Scalably in Column Oriented Databases (ZL, SN, BH, HIH, YC), pp. 1521–1524.
VLDBVLDB-2010-PD #metric #performance #retrieval #similarity
Efficient RkNN Retrieval with Arbitrary Non-Metric Similarity Measures (DP, PD), pp. 1243–1254.
VLDBVLDB-2010-SadoghiJLSS #algorithm #configuration management #hardware #performance
Efficient Event Processing through Reconfigurable Hardware for Algorithmic Trading (MS, HAJ, ML, WS, HS), pp. 1525–1528.
VLDBVLDB-2010-SettyBBW #identification #named
InZeit: Efficiently Identifying Insightful Time Points (VS, SJB, KB, GW), pp. 1605–1608.
VLDBVLDB-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.
VLDBVLDB-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.
VLDBVLDB-2010-WuJOW #performance
Efficient B-tree Based Indexing for Cloud Data Processing (SW, DJ, BCO, KLW), pp. 1207–1218.
VLDBVLDB-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.
VLDBVLDB-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.
VLDBVLDB-2010-ZhangMKC #evaluation #order #performance
Efficient Skyline Evaluation over Partially Ordered Domains (SZ, NM, BK, DWLC), pp. 1255–1266.
VLDBVLDB-2011-KlingOD #database #execution #generative #performance #xml
Generating Efficient Execution Plans for Vertically Partitioned XML Databases (PK, MTÖ, KD), pp. 1–11.
VLDBVLDB-2011-LeeH10 #clustering #named #performance #using
QSkycube: Efficient Skycube Computation using Point-Based Space Partitioning (JL, SwH), pp. 185–196.
VLDBVLDB-2011-LiuC10 #named #performance
ZINC: Efficient Indexing for Skyline Computation (BL, CYC), pp. 197–207.
VLDBVLDB-2011-Rocha-JuniorVDN10 #performance #query
Efficient Processing of Top-k Spatial Preference Queries (JBRJ, AV, CD, KN), pp. 93–104.
FASEFASE-2010-LehnerM #performance #runtime
Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups (HL, PM), pp. 338–352.
TACASTACAS-2010-BallBCMQ #concurrent #performance #testing
Preemption Sealing for Efficient Concurrency Testing (TB, SB, KEC, MM, SQ), pp. 420–434.
TACASTACAS-2010-FogartyV #automaton #performance
Efficient Büchi Universality Checking (SF, MYV), pp. 205–220.
TACASTACAS-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.
MSRMSR-2010-LuijtenVZ #assessment #performance
Assessment of issue handling efficiency (BL, JV, AZ), pp. 94–97.
PEPMPEPM-2010-MossP #implementation #performance
Bridging the gap between symbolic and efficient AES implementations (AM, DP), pp. 101–110.
PLDIPLDI-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.
PLDIPLDI-2010-ChambersRPAHBW #named #performance #pipes and filters
FlumeJava: easy, efficient data-parallel pipelines (CC, AR, FP, SA, RRH, RB, NW), pp. 363–375.
PLDIPLDI-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.
PLDIPLDI-2010-PanHA #parallel
Composing parallel software efficiently with lithe (HP, BH, KA), pp. 376–387.
STOCSTOC-2010-HaitnerRV #generative #performance #pseudo
Efficiency improvements in constructing pseudorandom generators from one-way functions (IH, OR, SPV), pp. 437–446.
STOCSTOC-2010-KalaiMV #learning
Efficiently learning mixtures of two Gaussians (ATK, AM, GV), pp. 553–562.
CIAACIAA-2010-AllauzenRS #composition #finite #performance #transducer
Filters for Efficient Composition of Weighted Finite-State Transducers (CA, MR, JS), pp. 28–38.
ICALPICALP-v1-2010-ApplebaumIK #performance #verification
From Secrecy to Soundness: Efficient Verification via Secure Computation (BA, YI, EK), pp. 152–163.
ICALPICALP-v1-2010-BojanczykP #automaton #evaluation #nondeterminism #performance #using
Efficient Evaluation of Nondeterministic Automata Using Factorization Forests (MB, PP), pp. 515–526.
ICALPICALP-v1-2010-LibertY #encryption #performance
Efficient Completely Non-malleable Public Key Encryption (BL, MY), pp. 127–139.
ICALPICALP-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.
ICALPICALP-v2-2010-BerenbrinkCEG #performance #random
Efficient Information Exchange in the Random Phone-Call Model (PB, JC, RE, LG), pp. 127–138.
ICALPICALP-v2-2010-BrazdilEKL #scheduling
Space-Efficient Scheduling of Stochastically Generated Tasks (TB, JE, SK, ML), pp. 539–550.
GT-VMTGT-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).
CHICHI-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.
AdaEuropeAdaEurope-2010-Andersen #implementation #performance #persistent
An Efficient Implementation of Persistent Objects (JSA), pp. 265–275.
ICEISICEIS-AIDSS-2010-AhdabG #learning #network #performance
Efficient Learning of Dynamic Bayesian Networks from Timed Data (AA, MLG), pp. 226–231.
ICEISICEIS-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.
ICEISICEIS-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.
CIKMCIKM-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.
CIKMCIKM-2010-AnandBBS #keyword #performance #version control
Efficient temporal keyword search over versioned text (AA, SJB, KB, RS), pp. 699–708.
CIKMCIKM-2010-BonacicGMPT #concurrent #multi #performance #thread
Building efficient multi-threaded search nodes (CB, CG, MM, MPM, FT), pp. 1249–1258.
CIKMCIKM-2010-CaiP #graph #named #query #reachability #scalability
Path-hop: efficiently indexing large graphs for reachability queries (JC, CKP), pp. 119–128.
CIKMCIKM-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.
CIKMCIKM-2010-ChenLZY #energy #network #query
Energy-efficient top-k query processing in wireless sensor networks (BC, WL, RZ, JXY), pp. 329–338.
CIKMCIKM-2010-ChubakR #natural language
Index structures for efficiently searching natural language text (PC, DR), pp. 689–698.
CIKMCIKM-2010-DasguptaBL #clustering #performance #taxonomy #web #web service
Taxonomic clustering of web service for efficient discovery (SD, SB, YL), pp. 1617–1620.
CIKMCIKM-2010-FanWW #clustering #normalisation #performance #visual notation
Maximum normalized spacing for efficient visual clustering (ZGF, YW, BW), pp. 409–418.
CIKMCIKM-2010-GargNB #algorithm #memory management #performance #realtime
Real-time memory efficient data redundancy removal algorithm (VKG, AN, SB), pp. 1259–1268.
CIKMCIKM-2010-GuptaGNM #query #using
Efficiently querying archived data using Hadoop (RG, HG, UN, MKM), pp. 1301–1304.
CIKMCIKM-2010-KimKLB #interpreter #performance #semantics
Efficient wikipedia-based semantic interpreter by exploiting top-k processing (JWK, AK, DL, SB), pp. 1813–1816.
CIKMCIKM-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.
CIKMCIKM-2010-SilvestriV #encoding #integer #named #performance #programming
VSEncoding: efficient coding and fast decoding of integer lists via dynamic programming (FS, RV), pp. 1219–1228.
CIKMCIKM-2010-SongC #database #performance
Efficient set-correlation operator inside databases (SS, LC), pp. 139–148.
CIKMCIKM-2010-YanSZSW #performance #proximity
Efficient term proximity search with term-pair indexes (HY, SS, FZ, TS, JRW), pp. 1229–1238.
ICMLICML-2010-Cesa-BianchiSS #learning #performance
Efficient Learning with Partially Observed Attributes (NCB, SSS, OS), pp. 183–190.
ICMLICML-2010-KalyanakrishnanS #multi #performance #theory and practice
Efficient Selection of Multiple Bandit Arms: Theory and Practice (SK, PS), pp. 511–518.
ICMLICML-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.
ICMLICML-2010-MeshiSJG #approximate #learning
Learning Efficiently with Approximate Inference via Dual Losses (OM, DS, TSJ, AG), pp. 783–790.
ICMLICML-2010-XuJYKL #kernel #learning #multi #performance
Simple and Efficient Multiple Kernel Learning by Group Lasso (ZX, RJ, HY, IK, MRL), pp. 1175–1182.
ICPRICPR-2010-AroraS #algorithm #learning #performance
An Efficient and Stable Algorithm for Learning Rotations (RA, WAS), pp. 2993–2996.
ICPRICPR-2010-BaghshahS #constraints #kernel #learning #performance
Efficient Kernel Learning from Constraints and Unlabeled Data (MSB, SBS), pp. 3364–3367.
ICPRICPR-2010-BalujaC #learning #performance #retrieval
Beyond “Near Duplicates”: Learning Hash Codes for Efficient Similar-Image Retrieval (SB, MC), pp. 543–547.
ICPRICPR-2010-BeecksWS #multi #performance
Improving the Efficiency of Content-Based Multimedia Exploration (CB, SW, TS), pp. 3163–3166.
ICPRICPR-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.
ICPRICPR-2010-ChenJ #3d #performance #self
Efficient 3D Upper Body Tracking with Self-Occlusions (JC, QJ), pp. 3636–3639.
ICPRICPR-2010-CohenP #learning #performance #robust
Reinforcement Learning for Robust and Efficient Real-World Tracking (AC, VP), pp. 2989–2992.
ICPRICPR-2010-Demirci #performance #retrieval
Efficient Shape Retrieval Under Partial Matching (MFD), pp. 3057–3060.
ICPRICPR-2010-DornaikaC #classification #detection #performance #using
Efficient Object Detection and Matching Using Feature Classification (FD, FC), pp. 3073–3076.
ICPRICPR-2010-DuttaPFL #approach #documentation #performance
An Efficient Staff Removal Approach from Printed Musical Documents (AD, UP, AF, JL), pp. 1965–1968.
ICPRICPR-2010-FoureyB #combinator #encoding #performance
Efficient Encoding of n-D Combinatorial Pyramids (SF, LB), pp. 1036–1039.
ICPRICPR-2010-GhiasiS #identification #independence #performance
An Efficient Method for Offline Text Independent Writer Identification (GG, RS), pp. 1245–1248.
ICPRICPR-2010-IjiriLHM #performance #recognition
Efficient Facial Attribute Recognition with a Spatial Codebook (YI, SL, TXH, HM), pp. 1461–1464.
ICPRICPR-2010-JiaCLW #image #learning #performance
Efficient Learning to Label Images (KJ, LC, NL, LW), pp. 942–945.
ICPRICPR-2010-KenmochiBT
Efficiently Computing Optimal Consensus of Digital Line Fitting (YK, LB, HT), pp. 1064–1067.
ICPRICPR-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.
ICPRICPR-2010-KuksaP #classification #performance #representation #sequence
Spatial Representation for Efficient Sequence Classification (PPK, VP), pp. 3320–3323.
ICPRICPR-2010-MangalampalliCS #classification #fuzzy #image #named #performance
I-FAC: Efficient Fuzzy Associative Classifier for Object Classes in Images (AM, VC, SS), pp. 4388–4391.
ICPRICPR-2010-MaramisD #image #information management #performance
Efficient Quantitative Information Extraction from PCR-RFLP Gel Electrophoresis Images (CM, AD), pp. 2560–2563.
ICPRICPR-2010-PullaKJ #image #performance #retrieval #semantics
Efficient Semantic Indexing for Image Retrieval (CP, PSK, CVJ), pp. 3276–3279.
ICPRICPR-2010-RathgebU #performance #recognition
Attacking Iris Recognition: An Efficient Hill-Climbing Technique (CR, AU), pp. 1217–1220.
ICPRICPR-2010-ReinbacherRB #estimation #performance
Pose Estimation of Known Objects by Efficient Silhouette Matching (CR, MR, HB), pp. 1080–1083.
ICPRICPR-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.
ICPRICPR-2010-SemenovichS #higher-order #performance
Tensor Power Method for Efficient MAP Inference in Higher-order MRFs (DS, AS), pp. 734–737.
ICPRICPR-2010-VillamizarMAS #category theory #detection #multi #performance #random
Shared Random Ferns for Efficient Detection of Multiple Categories (MV, FMN, JAC, AS), pp. 388–391.
ICPRICPR-2010-VuLB #algorithm #clustering #constraints #performance
An Efficient Active Constraint Selection Algorithm for Clustering (VVV, NL, BBM), pp. 2969–2972.
ICPRICPR-2010-YangL #locality #performance #recognition
Efficient Finger Vein Localization and Recognition (JY, XL), pp. 1148–1151.
ICPRICPR-2010-ZhouL #approximate #monte carlo #optimisation #performance
Efficient Polygonal Approximation of Digital Curves via Monte Carlo Optimization (XZ, YL), pp. 3513–3516.
KDDKDD-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.
KDDKDD-2010-GeXTXGP #energy #mobile #recommendation
An energy-efficient mobile recommender system (YG, HX, AT, KX, MG, MJP), pp. 899–908.
KDDKDD-2010-LiuYY #algorithm #performance #problem
An efficient algorithm for a class of fused lasso problems (JL, LY, JY), pp. 323–332.
KDDKDD-2010-RaykarKY #classification #design #performance #trade-off
Designing efficient cascaded classifiers: tradeoff between accuracy and cost (VCR, BK, SY), pp. 853–860.
KDDKDD-2010-TsengWSY #algorithm #mining #named #performance
UP-Growth: an efficient algorithm for high utility itemset mining (VST, CWW, BES, PSY), pp. 253–262.
KDDKDD-2010-WangC #algorithm #linear #modelling #performance
An efficient causal discovery algorithm for linear models (ZW, LC), pp. 1109–1118.
KDIRKDIR-2010-DesaiSP #named #performance #robust #scalability
SEAR — Scalable, Efficient, Accurate, Robust kNN-based Regression (AD, HS, VP), pp. 392–395.
KDIRKDIR-2010-OlsonL #clustering #performance
Simple and Efficient Projective Clustering (CFO, HJL), pp. 45–55.
KDIRKDIR-2010-TsaiHYC #algorithm #clustering #performance
An Efficient PSO-based Clustering Algorithm (CWT, KWH, CSY, MCC), pp. 150–155.
KMISKMIS-2010-KadhemAK #database #encryption #order #performance #relational
A Secure and Efficient Order Preserving Encryption Scheme for Relational Databases (HK, TA, HK), pp. 25–35.
KRKR-2010-LiVK #approach #performance
An Efficient Majority-Rule-Based Approach for Collective Decision Making with CP-Nets (ML, QBV, RK).
KRKR-2010-SanthanamBH #performance #testing
Efficient Dominance Testing for Unconditional Preferences (GRS, SB, VH).
RecSysRecSys-2010-LipczakM #learning #performance #recommendation
Learning in efficient tag recommendation (ML, EEM), pp. 167–174.
SEKESEKE-2010-WangWLX #developer
Assisting Developers to Read Code Help-Documents Efficiently through Discovering Document-section Relationships (LW, LW, GL, BX), pp. 367–373.
SIGIRSIGIR-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.
SIGIRSIGIR-2010-WangLM #learning #rank
Learning to efficiently rank (LW, JJL, DM), pp. 138–145.
SIGIRSIGIR-2010-ZhangZYH #detection #performance #sequence
Efficient partial-duplicate detection based on sequence matching (QZ, YZ, HY, XH), pp. 675–682.
OOPSLAOOPSLA-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.
OOPSLAOOPSLA-2010-RobersonB #composition #model checking #performance
Efficient modular glass box software model checking (MR, CB), pp. 4–21.
GPCEGPCE-2010-KriegerKW #automation #contract #performance #simulation
Automatic and efficient simulation of operation contracts (MPK, AK, BW), pp. 53–62.
GPCEGPCE-2010-SinceroTLS #analysis #performance #variability
Efficient extraction and analysis of preprocessor-based variability (JS, RT, DL, WSP), pp. 33–42.
PPDPPPDP-2010-DemeyerALV #declarative #flexibility #process #workflow
Declarative workflows to efficiently manage flexible and advanced business processes (RD, MVA, LL, WV), pp. 209–218.
PPDPPPDP-2010-TekleL #analysis #complexity #datalog #performance #precise #query
Precise complexity analysis for efficient datalog queries (KTT, YAL), pp. 35–44.
PADLPADL-2010-AreiasR #implementation #linear #order #performance
An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives (MA, RR), pp. 279–293.
PADLPADL-2010-LeoneRRT #integration #performance #programming #set
Efficient Application of Answer Set Programming for Advanced Data Integration (NL, FR, LAR, GT), pp. 10–24.
PADLPADL-2010-MarquesSC #concurrent #implementation #performance
A Simple and Efficient Implementation of Concurrent Local Tabling (RM, TS, JCC), pp. 264–278.
SACSAC-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.
SACSAC-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.
SACSAC-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.
SACSAC-2010-BaralisCC #dataset #mining #persistent #scalability
A persistent HY-Tree to efficiently support itemset mining on large datasets (EB, TC, SC), pp. 1060–1064.
SACSAC-2010-BayerKK #analysis #performance
Improving the efficiency of dynamic malware analysis (UB, EK, CK), pp. 1871–1878.
SACSAC-2010-Brunthaler #performance
Efficient inline caching without dynamic translation (SB), pp. 2155–2156.
SACSAC-2010-ChenT #energy #multi #scheduling
Energy-efficient scheduling on homogeneous multiprocessor platforms (JJC, LT), pp. 542–549.
SACSAC-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.
SACSAC-2010-HeoGEKJ #energy #memory management #performance
Energy efficient program updating for sensor nodes with flash memory (JH, BG, SIE, PK, GJ), pp. 194–200.
SACSAC-2010-JungCKK #adaptation #named #performance #reliability
ASTRAL: an adaptive, efficient, and reliable flooding mechanism for MANET (JJ, YC, YK, IK), pp. 731–732.
SACSAC-2010-LeeST #algorithm #database #incremental #performance
An incremental algorithm for efficient unique signature discoveries on DNA databases (HPL, TFS, CYT), pp. 1506–1510.
SACSAC-2010-LiuCGT #energy #mobile #performance
Energy efficient management scheme for heterogeneous secondary storage system in mobile computers (SL, XC, XG, DT), pp. 251–257.
SACSAC-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.
SACSAC-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.
SACSAC-2010-RibeiroS #data type #named #network #performance
g-tries: an efficient data structure for discovering network motifs (PMPR, FMAS), pp. 1559–1566.
SACSAC-2010-RosswogG #clustering #detection #mobile
Efficiently detecting clusters of mobile objects in the presence of dense noise (JR, KG), pp. 1095–1102.
SACSAC-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.
SACSAC-2010-VogelsJP #generative #performance #proving #verification
A machine-checked soundness proof for an efficient verification condition generator (FV, BJ, FP), pp. 2517–2522.
SACSAC-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.
SACSAC-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.
FSEFSE-2010-BirdBRB #named #performance
LINKSTER: enabling efficient manual inspection and annotation of mined data (CB, AB, FR, AB), pp. 369–370.
ICSEICSE-2010-Bodden #analysis #hybrid #performance #type system
Efficient hybrid typestate analysis by determining continuation-equivalent states (EB), pp. 5–14.
ICSEICSE-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.
ICSEICSE-2010-Padua #complexity #effectiveness #performance
Measuring complexity, effectiveness and efficiency in software course projects (WP), pp. 545–554.
LDTALDTA-2009-JimM10 #earley #parsing #performance
Efficient Earley Parsing with Regular Right-hand Sides (TJ, YM), pp. 135–148.
SPLCSPLC-2010-LinYT #approach #performance #product line
An Approach to Efficient Product Configuration in Software Product Lines (YL, HY, JT), pp. 435–439.
ASPLOSASPLOS-2010-HuangDS #multi #named #performance
Orthrus: efficient software integrity protection on multi-cores (RCH, DYD, GES), pp. 371–384.
ASPLOSASPLOS-2010-KirmanM #power management #using
A power-efficient all-optical on-chip interconnect using wavelength-based oblivious routing (NK, JFM), pp. 15–28.
ASPLOSASPLOS-2010-LeeWVNCF #multi #named #online #performance
Respec: efficient online multiprocessor replayvia speculation and external determinism (DL, BW, KV, SN, PMC, JF), pp. 77–90.
ASPLOSASPLOS-2010-SudanCNABD #named #performance
Micro-pages: increasing DRAM efficiency with locality-aware data placement (KS, NC, DWN, MA, RB, AD), pp. 219–230.
CGOCGO-2010-GottschlichVS #memory management #performance #transaction #using
An efficient software transactional memory using commit-time invalidation (JEG, MV, JGS), pp. 101–110.
CGOCGO-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.
CGOCGO-2010-ZhaoBA #memory management #named #performance #scalability
Umbra: efficient and scalable memory shadowing (QZ, DB, SPA), pp. 22–31.
HPCAHPCA-2010-HiltonR #energy #execution #named
BOLT: Energy-efficient Out-of-Order Latency-Tolerant execution (ADH, AR), pp. 1–12.
HPCAHPCA-2010-PanKM #energy #named
FlexiShare: Channel sharing for an energy-efficient nanophotonic crossbar (YP, JK, GM), pp. 1–12.
HPCAHPCA-2010-UdipiMB #energy #network #scalability #towards
Towards scalable, energy-efficient, bus-based on-chip networks (ANU, NM, RB), pp. 1–12.
HPDCHPDC-2010-GehaniK #multi #named #trust #verification
Mendel: efficiently verifying the lineage of data modified in multiple trust domains (AG, MK), pp. 227–239.
HPDCHPDC-2010-GehaniKM #distributed #performance #query
Efficient querying of distributed provenance stores (AG, MK, TM), pp. 613–621.
HPDCHPDC-2010-JonesDD #clustering #performance
Impact of sub-optimal checkpoint intervals on application efficiency in computational clusters (WMJ, JTD, ND), pp. 276–279.
HPDCHPDC-2010-PovznerSB #distributed #named #performance
Horizon: efficient deadline-driven disk I/O management for distributed storage systems (AP, DS, SAB), pp. 1–12.
HPDCHPDC-2010-TurcuFN #performance
Reshaping text data for efficient processing on Amazon EC2 (GT, ITF, SN), pp. 435–444.
ISMMISMM-2010-ZhaoBA #architecture #memory management #performance
Efficient memory shadowing for 64-bit architectures (QZ, DB, SPA), pp. 93–102.
LCTESLCTES-2010-LiZ #embedded #mobile #performance
An efficient code update scheme for DSP applications in mobile embedded systems (WL, YZ), pp. 105–114.
OSDIOSDI-2010-AviramWHF #parallel #performance
Efficient System-Enforced Deterministic Parallelism (AA, SCW, SH, BF), pp. 193–206.
PPoPPPPoPP-2010-UpadhyayaMP #data type #generative #performance #using
Using data structure knowledge for efficient lock generation and strong atomicity (GU, SPM, VSP), pp. 281–292.
CAVCAV-2010-HerbreteauSW #automaton #performance
Efficient Emptiness Check for Timed Büchi Automata (FH, BS, IW), pp. 148–161.
CAVCAV-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.
CSLCSL-2010-BaganDFG #performance #query
Efficient Enumeration for Conjunctive Queries over X-underbar Structures (GB, AD, EF, OG), pp. 80–94.
ICLPICLP-2010-FayruzovJVCC10 #performance #set #source code
Efficient Solving of Time-dependent Answer Set Programs (TF, JJ, DV, CC, MDC), pp. 64–73.
ICLPICLP-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.
ICSTICST-2010-GligoricJM #mutation testing #named #parallel #performance #testing #thread
MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code (MG, VJ, DM), pp. 55–64.
ICTSSICTSS-2010-AlmeidaMSTV #architecture #distributed #performance #scalability
Efficient Distributed Test Architectures for Large-Scale Systems (ECdA, JEM, GS, YLT, PV), pp. 174–187.
ISSTAISSTA-2010-GaleottiRPF #analysis #bound #invariant #performance #verification
Analysis of invariants for efficient bounded verification (JPG, NR, CLP, MFF), pp. 25–36.
RTARTA-2010-LevyV #algorithm #performance #unification
An Efficient Nominal Unification Algorithm (JL, MV), pp. 209–226.
WICSA-ECSAWICSA-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.
ASEASE-2009-BarnatBS #clustering #ltl #model checking
Cluster-Based I/O-Efficient LTL Model Checking (JB, LB, PS), pp. 635–639.
ASEASE-2009-ChenMJR #independence #monitoring #parametricity #performance
Efficient Formalism-Independent Monitoring of Parametric Properties (FC, POM, DJ, GR), pp. 383–394.
ASEASE-2009-SiddiquiMK #constraints #optimisation #performance #theorem proving
Optimizing a Structural Constraint Solver for Efficient Software Checking (JHS, DM, SK), pp. 615–619.
ASEASE-2009-WongC #analysis #dependence #logic #modelling #performance
Improving the Efficiency of Dependency Analysis in Logical Decision Models (SW, YC), pp. 173–184.
CASECASE-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.
CASECASE-2009-WangLCM #optimisation #performance #social
Efficient optimization of building emergency evacuation considering social bond of evacuees (PW, PBL, SCC, KLM), pp. 250–255.
DACDAC-2009-ArfaeeILFK #linear #multi #named #performance
Xquasher: a tool for efficient computation of multiple linear expressions (AA, AI, NL, FF, RK), pp. 254–257.
DACDAC-2009-ChenJ #manycore #performance #scheduling
Efficient program scheduling for heterogeneous multi-core processors (JC, LKJ), pp. 927–930.
DACDAC-2009-DongL #integration #performance #simulation
Parallelizable stable explicit numerical integration for efficient circuit simulation (WD, PL), pp. 382–385.
DACDAC-2009-El-MoselhyED #algorithm #performance
An efficient resistance sensitivity extraction algorithm for conductors of arbitrary shapes (TAEM, IME, BD), pp. 770–775.
DACDAC-2009-FengZYTZ #algorithm #performance
Provably good and practically efficient algorithms for CMP dummy fill (CF, HZ, CY, JT, XZ), pp. 539–544.
DACDAC-2009-JainC #graph #performance #satisfiability #using
Efficient SAT solving for non-clausal formulas using DPLL, graphs, and watched cuts (HJ, EMC), pp. 563–568.
DACDAC-2009-KimM #array #configuration management #embedded #performance
Hierarchical reconfigurable computing arrays for efficient CGRA-based embedded systems (YK, RNM), pp. 826–831.
DACDAC-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.
DACDAC-2009-MehrotraS #performance #robust #using
A robust and efficient harmonic balance (HB) using direct solution of HB Jacobian (AM, AS), pp. 370–375.
DACDAC-2009-SiegelMP #debugging #performance
Untwist your brain: efficient debugging and diagnosis of complex assertions (MS, AM, CP), pp. 644–647.
DACDAC-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.
DACDAC-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.
DACDAC-2009-WangH #approach #embedded #performance #simulation
An efficient approach for system-level timing simulation of compiler-optimized embedded software (ZW, AH), pp. 220–225.
DACDAC-2009-Wong #canonical #performance
An efficient passivity test for descriptor systems via canonical projector techniques (NW), pp. 957–962.
DACDAC-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.
DACDAC-2009-ZhangCTL #performance #worst-case
Efficient design-specific worst-case corner extraction for integrated circuits (HZ, THC, MYT, XL), pp. 386–389.
DATEDATE-2009-BardineCFGP #migration #power management
A power-efficient migration mechanism for D-NUCA caches (AB, MC, PF, GG, CAP), pp. 598–601.
DATEDATE-2009-CongG #energy #multi #performance #scheduling
Energy efficient multiprocessor task scheduling under input-dependent variation (JC, KG), pp. 411–416.
DATEDATE-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.
DATEDATE-2009-HatamiFAP #library #performance
Efficient compression and handling of current source model library waveforms (SH, PF, SA, MP), pp. 1178–1183.
DATEDATE-2009-HeH #algorithm #encoding #performance #verification
An efficient path-oriented bitvector encoding width computation algorithm for bit-precise verification (NH, MSH), pp. 1602–1607.
DATEDATE-2009-IqbalH #performance
Efficient constant-time entropy decoding for H.264 (NI, JH), pp. 1440–1445.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2009-MadlenerMH #named #performance
SC-DEVS: An efficient SystemC extension for the DEVS model of computation (FM, HGM, SAH), pp. 1518–1523.
DATEDATE-2009-MaricauG #performance #reliability #simulation #variability
Efficient reliability simulation of analog ICs including variability and time-varying stress (EM, GGEG), pp. 1238–1241.
DATEDATE-2009-MarongiuB #memory management #performance
Efficient OpenMP support and extensions for MPSoCs with explicitly managed memory hierarchy (AM, LB), pp. 809–814.
DATEDATE-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.
DATEDATE-2009-WangCTHR #modelling #optimisation #performance #polynomial #using
An efficient decoupling capacitance optimization using piecewise polynomial models (XW, YC, SXDT, XH, JR), pp. 1190–1195.
DATEDATE-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.
DocEngDocEng-2009-KuttyNL #approach #clustering #documentation #hybrid #named #performance #xml
HCX: an efficient hybrid clustering approach for XML documents (SK, RN, YL), pp. 94–97.
DocEngDocEng-2009-RonnauPB #documentation #performance #xml
Efficient change control of XML documents (SR, GP, UMB), pp. 3–12.
DRRDRR-2009-Obafemi-AjayiAF #classification #documentation #image #performance
Efficient shape-LUT classification for document image restoration (TOA, GA, OF), pp. 1–10.
HTHT-2009-DenoueACG #named #performance #web
WebNC: efficient sharing of web applications (LD, JA, SC, GG), pp. 365–366.
ICDARICDAR-2009-SaabniE09a #database #generative #online #performance #recognition
Efficient Generation of Comprehensive Database for Online Arabic Script Recognition (RS, JES), pp. 1231–1235.
PODSPODS-2009-Arge #performance #tutorial #worst-case
Worst-case efficient range search indexing: invited tutorial (LA), pp. 175–176.
PODSPODS-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.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2009-FingerP #algorithm #evaluation #performance #rank #robust
Robust and efficient algorithms for rank join evaluation (JF, NP), pp. 415–428.
SIGMODSIGMOD-2009-GhotingM #parallel #performance
Serial and parallel methods for i/o efficient suffix tree construction (AG, KM), pp. 827–840.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2009-LiJLF #approach #performance #relational
Efficient type-ahead search on relational data: a TASTIER approach (GL, SJ, CL, JF), pp. 695–706.
SIGMODSIGMOD-2009-TaoYSK #nearest neighbour #performance #quality
Quality and efficiency in high dimensional nearest neighbor search (YT, KY, CS, PK), pp. 563–576.
SIGMODSIGMOD-2009-WangXLZ #approximate #constraints #distance #edit distance #performance
Efficient approximate entity extraction with edit distance constraints (WW, CX, XL, CZ), pp. 759–770.
VLDBVLDB-2009-Amer-YahiaRCDY #performance #recommendation #semantics
Group Recommendation: Semantics and Efficiency (SAY, SBR, AC, GD, CY), pp. 754–765.
VLDBVLDB-2009-AssentWKKS #database #performance #similarity
Anticipatory DTW for Efficient Similarity Search in Time Series Databases (IA, MW, RK, HK, TS), pp. 826–837.
VLDBVLDB-2009-BhattacharjeeLMMRLMTS #performance
Efficient Index Compression in DB2 LUW (BB, LL, TM, GAM, KAR, SL, CM, ZT, RS), pp. 1462–1473.
VLDBVLDB-2009-CautisDOV #performance #query #set #specification #using #xpath
Efficient Rewriting of XPath Queries Using Query Set Specifications (BC, AD, NO, VV), pp. 301–312.
VLDBVLDB-2009-CheemaLZWZ #lazy evaluation #monitoring #performance
Lazy Updates: An Efficient Technique to Continuously Monitoring Reverse kNN (MAC, XL, YZ, WW, WZ), pp. 1138–1149.
VLDBVLDB-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.
VLDBVLDB-2009-ChenLFCYH #graph #mining #random #summary
Mining Graph Patterns Efficiently via Randomized Summaries (CC, CXL, MF, MC, XY, JH), pp. 742–753.
VLDBVLDB-2009-CongJW #performance #retrieval #web
Efficient Retrieval of the Top-k Most Relevant Spatial Web Objects (GC, CSJ, DW), pp. 337–348.
VLDBVLDB-2009-CruzAS #named #ontology #performance #scalability
AgreementMaker: Efficient Matching for Large Real-World Schemas and Ontologies (IFC, FPA, CS), pp. 1586–1589.
VLDBVLDB-2009-HadjieleftheriouL #approximate #performance #string
Efficient Approximate Search on String Collections (MH, CL), pp. 1660–1661.
VLDBVLDB-2009-SternBB #performance #quality
A Wavelet Transform for Efficient Consolidation of Sensor Relations with Quality Guarantees (MS, EB, KB), pp. 157–168.
VLDBVLDB-2009-WongOYFL #nearest neighbour #performance
Efficient Method for Maximizing Bichromatic Reverse Nearest Neighbor (RCWW, MTÖ, PSY, AWCF, LL), pp. 1126–1137.
VLDBVLDB-2009-XuK #parallel #performance
Efficient Outer Join Data Skew Handling in Parallel DBMS (YX, PK), pp. 1390–1396.
ITiCSEITiCSE-2009-RosslingK09a #analysis #performance
A system for integral efficiency analysis of sustainable technologies (GR, YK), p. 395.
ESOPESOP-2009-YuanE #algorithm #performance #problem #reachability
An Efficient Algorithm for Solving the Dyck-CFL Reachability Problem on Trees (HY, PTE), pp. 175–189.
FASEFASE-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.
TACASTACAS-2009-BrummayerB #array #named #performance #smt
Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays (RB, AB), pp. 174–177.
ICSMEICSM-2009-JeffreyGG #effectiveness #fault #locality #multi #performance #using
Effective and efficient localization of multiple faults using value replacement (DJ, NG, RG), pp. 221–230.
PLDIPLDI-2009-FlanaganF #concurrent #detection #named #performance #precise
FastTrack: efficient and precise dynamic race detection (CF, SNF), pp. 121–133.
PLDIPLDI-2009-NovarkBZ #memory management
Efficiently and precisely locating memory leaks and bloat (GN, EDB, BGZ), pp. 397–407.
STOCSTOC-2009-CardinalFJJM #algorithm #partial order #performance
An efficient algorithm for partial order production (JC, SF, GJ, RMJ, JIM), pp. 93–100.
STOCSTOC-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.
STOCSTOC-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.
STOCSTOC-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.
CIAACIAA-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.
CIAACIAA-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.
CIAACIAA-2009-Sastre-Martinez #network #parsing #performance #recursion #using
Efficient Parsing Using Filtered-Popping Recursive Transition Networks (JMSM), pp. 241–244.
ICALPICALP-v1-2009-KayalN
Factoring Groups Efficiently (NK, TN), pp. 585–596.
ICALPICALP-v2-2009-FotakisKS #design #network #performance
Efficient Methods for Selfish Network Design (DF, ACK, PGS), pp. 459–471.
ICALPICALP-v2-2009-KuhtzF #ltl
LTL Path Checking Is Efficiently Parallelizable (LK, BF), pp. 235–246.
ICALPICALP-v2-2009-Mosk-AoyamaR #analysis #performance #worst-case
Worst-Case Efficiency Analysis of Queueing Disciplines (DMA, TR), pp. 546–557.
LATALATA-2009-MatobaNT #bias #performance #symmetry
Efficiency of the Symmetry Bias in Grammar Acquisition (RM, MN, ST), pp. 566–577.
LATALATA-2009-VerwerWW #automaton
One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit (SV, MdW, CW), pp. 740–751.
ICFPICFP-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.
HCIHCD-2009-LewisB #performance
Animated Demonstrations: Evidence of Improved Performance Efficiency and the Worked Example Effect (DL, AB), pp. 247–255.
HCIHCD-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.
HCIHCI-AUII-2009-DuvalHC #interactive #performance #smarttech
Considering Personal Profiles for Comfortable and Efficient Interactions with Smart Clothes (SD, CH, GC), pp. 731–740.
HCIHCI-NT-2009-AkasakaO #performance
Providing an Efficient Way to Make Desktop Icons Visible (TA, YO), pp. 569–578.
HCIHIMI-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.
HCIHIMI-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.
HCIHIMI-II-2009-FujiokaAO #evaluation #performance #user interface
Evaluation of Pointing Efficiency on Small Screen Touch User Interfaces (RF, TA, HO), pp. 375–384.
HCIHIMI-II-2009-KimMPH #performance #using #visualisation
Efficient Annotation Visualization Using Distinctive Features (SKK, SHM, JP, SYH), pp. 295–303.
HCIHIMI-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.
HCIHIMI-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.
CAiSECAiSE-2009-HaoCZ #performance #web #web service
Efficient IR-Style Search over Web Services (YH, JC, YZ), pp. 305–318.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
CIKMCIKM-2009-ChenCSLZ #information retrieval #mobile #network #peer-to-peer #performance
Efficient information retrieval in mobile peer-to-peer networks (LC