BibSLEIGH — performance tag

performance

performance

Tag #performance

8018 papers:

POPL-2020-Pavlogiannis #effectiveness #predict: Fast, sound, and effectively complete dynamic race prediction (AP), p. 29.
ASPLOS-2020-0002PJ #how #why: Why GPUs are Slow at Executing NFAs and How to Make them Faster (HL0, SP, AJ), pp. 251–265.
ASPLOS-2020-AbeydeeraS #named #parallel: Chronos: Efficient Speculative Parallelism for Accelerators (MA, DS0), pp. 1247–1262.
ASPLOS-2020-ChenLYWWS #memory management #named #persistent: FlatStore: An Efficient Log-Structured Key-Value Storage Engine for Persistent Memory (YC, YL, FY, QW, YW, JS), pp. 1077–1091.
ASPLOS-2020-GhasemazarNL #clustering #named: Thesaurus: Efficient Cache Compression via Dynamic Clustering (AG, PN, ML), pp. 527–540.
ASPLOS-2020-HyunKCKR #architecture #named: NeuMMU: Architectural Support for Efficient Address Translations in Neural Processing Units (BH, YK, YC, JK, MR), pp. 1109–1124.
ASPLOS-2020-KarandikarOAMKN #co-evolution #design #hardware #named #profiling: FirePerf: FPGA-Accelerated Full-System Hardware/Software Performance Profiling and Co-Design (SK, AJO, AA, HM, RHK, BN, KA), pp. 715–731.
ASPLOS-2020-KatsarakisGKJDG #fault tolerance #named #protocol #replication: Hermes: A Fast, Fault-Tolerant and Linearizable Replication Protocol (AK, VG, MRSK, AJ, AD, BG, VN), pp. 201–217.
ASPLOS-2020-KimPCKOMK #architecture #named: Evanesco: Architectural Support for Efficient Data Sanitization in Modern Flash-Based Storage Systems (MK, JP, GC, YK, LO, OM, JK), pp. 1311–1326.
ASPLOS-2020-LiD0 #architecture #design #quantum #towards: Towards Efficient Superconducting Quantum Processor Architecture Design (GL, YD, YX0), pp. 1031–1045.
ASPLOS-2020-LiHNGGPZBGB #named: LeapIO: Efficient and Portable Virtual NVMe Storage on ARM SoCs (HL, MH, SN, VG, SG, DRKP, IZ, RB, HSG, AB), pp. 591–605.
ASPLOS-2020-LimN #hardware #optimisation #using: Optimizing Nested Virtualization Performance Using Direct Virtual Hardware (JTL, JN), pp. 557–574.
ASPLOS-2020-MaZCSWQ #architecture #data type #framework #implementation #named #persistent #symmetry: AsymNVM: An Efficient Framework for Implementing Persistent Data Structures on Asymmetric NVM Architecture (TM, MZ, KC, ZS, YW, XQ), pp. 757–773.
ASPLOS-2020-MemaripourIS #data type #named #persistent: Pronto: Easy and Fast Persistence for Volatile Data Structures (AM, JI, SS), pp. 789–806.
ASPLOS-2020-MinBLNK #architecture #effectiveness #named #scalability: CryoCache: A Fast, Large, and Cost-Effective Cache Architecture for Cryogenic Computing (DM, IB, GhL, SN, JK), pp. 449–464.
ASPLOS-2020-SadrediniRLSS #adaptation #automaton #named: FlexAmata: A Universal and Efficient Adaption of Applications to Spatial Automata Processing Accelerators (ES, RR, ML, MS, KS), pp. 219–234.
ASPLOS-2020-ShenTCCWXXY #multi #named: Occlum: Secure and Efficient Multitasking Inside a Single Enclave of Intel SGX (YS, HT, YC, KC, RW, YX, YX, SY), pp. 955–970.
ASPLOS-2020-XuSS #memory management #named #persistent #reduction #security: MERR: Improving Security of Persistent Memory Objects via Efficient Memory Exposure Reduction and Randomization (YX, YS, XS), pp. 987–1000.
ASPLOS-2020-ZhangSYZS0 #execution #named #obfuscation: Klotski: Efficient Obfuscated Execution against Controlled-Channel Attacks (PZ, CS, HY, DZ, ES, HJ0), pp. 1263–1276.
CC-2020-ChenKKVH #automation #database #query: Improving database query performance with automatic fusion (HC, AK, BK, CV, LJH), pp. 63–73.
CC-2020-GorgovanCL #case study #development #tool support: Balancing performance and productivity for the development of dynamic binary instrumentation tools: a case study on Arm systems (CG, GC, ML), pp. 132–142.
CC-2020-PizzutiSD #functional #generative #information retrieval #matrix #multi: Generating fast sparse matrix vector multiplication from a high level generic functional IR (FP, MS, CD), pp. 85–95.
CC-2020-SerranoF #javascript #towards: Dynamic property caches: a step towards faster JavaScript proxy objects (MS, RBF), pp. 108–118.
CGO-2020-DamaniJSKYMG: Speculative reconvergence for improved SIMT efficiency (SD, DRJ, MS, SWK, EY, MM, OG), pp. 121–132.
CGO-2020-IsmailS #manycore: Efficient nursery sizing for managed languages on multi-core processors with shared caches (MI, GES), pp. 1–15.
CGO-2020-KangCP #framework #named #precise #scalability: PreScaler: an efficient system-aware precision scaling framework on heterogeneous systems (SK, KC, YP), pp. 280–292.
CGO-2020-WangYZM #hardware #memory management #scalability #transaction: Efficient and scalable cross-ISA virtualization of hardware transactional memory (WW, PCY, AZ, SM), pp. 107–120.
ECSA-2019-Yasaweerasinghelage #architecture #optimisation #security: Optimising Architectures for Performance, Cost, and Security (RY, MS, HYP, IW), pp. 161–177.
ICSA-2019-ArcelliCPET #architecture #modelling #runtime #traceability: Exploiting Architecture/Runtime Model-Driven Traceability for Performance Improvement (DA, VC, DDP, RE, MT0), pp. 81–90.
ICSA-2019-EismannGWKK #architecture #modelling #statistics: Integrating Statistical Response Time Models in Architectural Performance Models (SE, JG, JW, JvK, SK), pp. 71–80.
EDM-2019-BoumiV #markov #modelling #student: Application of Hidden Markov Models to quantify the impact of enrollment patterns on student performance (SB, AV).
EDM-2019-CaoPB #analysis #learning: Incorporating Prior Practice Difficulty into Performance Factor Analysis to Model Mandarin Tone Learning (MC, PIPJ, GMB).
EDM-2019-DoanS #predict #student: Rank-Based Tensor Factorization for Student Performance Prediction (TND, SS).
EDM-2019-EmondV #3d #learning #predict #visualisation: Visualizing Learning Performance Data and Model Predictions as Objects in a 3D Space (BE, JJV).
EDM-2019-FlemmingSMCS #evaluation #game studies: A generalizable performance evaluation model of driving games via risk-weighted trajectories (RF, ES, DM, PCL, PS).
EDM-2019-HuR #estimation #graph #network: Academic Performance Estimation with Attention-based Graph Convolutional Networks (QH, HR).
EDM-2019-KarumbaiahOB #behaviour #metric #student: The Influence of School Demographics on the Relationship Between Students' Help-Seeking Behavior and Performance and Motivational Measures (SK, JO, RSB).
EDM-2019-OliveiraM #bias #identification #student: Identifying bias and underlying knowledge structures in Brazilian National Exam of Students Performance (MSO, CEM).
EDM-2019-Unal #composition #modelling #student #using: Modeling Student Performance and Disengagement Using Decomposition of Response Time Data (DSU).
ICSME-2019-Alshoaibi: Characterizing Performance Regression Introducing Code Changes (DA), pp. 634–638.
ICSME-2019-Gallaba #deployment #integration #robust: Improving the Robustness and Efficiency of Continuous Integration and Deployment (KG), pp. 619–623.
ICSME-2019-Khalil #debugging #policy: Studying the Impact of Policy Changes on Bug Handling Performance (ZAK), pp. 590–594.
ICSME-2019-LyuAH #mobile #sql: Quantifying the Performance Impact of SQL Antipatterns on Mobile Applications (YL, AA, WGJH), pp. 53–64.
ICSME-2019-Shah #analysis #data type #framework: Lib Metamorphosis: A Performance Analysis Framework for Exchanging Data Structures in Performance Sensitive Applications (MDS), pp. 379–381.
SANER-2019-ArcelliCP #automation #detection #modelling #refactoring #uml: Automating Performance Antipattern Detection and Software Refactoring in UML Models (DA, VC, DDP), pp. 639–643.
IFM-2019-Benoit0 #alias #embedded #programming: Uniqueness Types for Efficient and Verifiable Aliasing-Free Embedded Systems Programming (TB, BJ0), pp. 46–64.
IFM-2019-CoullonJL #design #distributed #model checking: Integrated Model-Checking for the Design of Safe and Efficient Distributed Software Commissioning (HC, CJ, DL), pp. 120–137.
SEFM-2019-OliveiraCO #kernel #linux #verification: Efficient Formal Verification for the Linux Kernel (DBdO, TC, RSdO), pp. 315–332.
Haskell-2019-DownenSAJ: Making a faster Curry with extensional types (PD, ZS, ZMA, SPJ), pp. 58–70.
ICFP-2019-MiraldoS #algorithm #difference #type safety: An efficient algorithm for type-safe structural diffing (VCM, WS), p. 29.
ICFP-2019-ShaikhhaFVJ #functional #programming: Efficient differentiable programming in a functional array-processing language (AS, AF, DV, SPJ), p. 30.
ICFP-2019-WaliaNCTS #algorithm: From high-level inference algorithms to efficient code (RW, PN, JC, STH, CcS), p. 30.
AIIDE-2019-Schiffer #game studies #how: How Actors Can Animate Game Characters: Integrating Performance Theory in the Emotion Model of a Game Character (SS), pp. 227–229.
CoG-2019-Eidelberg0D #game studies #using: Using Active Probing by a Game Management AI to Faster Classify Players (AE, CJ0, JD), pp. 1–8.
CoG-2019-LiuR0S #heuristic #using: Using Restart Heuristics to Improve Agent Performance in Angry Birds (TL, JR, PZ0, MS), pp. 1–8.
CoG-2019-RatcliffeHD #optimisation #policy: Win or Learn Fast Proximal Policy Optimisation (DSR, KH, SD), pp. 1–4.
DiGRA-2019-BryanT #adaptation #game studies: Adapting the Empty Orchestra: the Performance of Play in Karaoke (JSB, TJT).
DiGRA-2019-Ho #experience: Exploring the Effects of VR Gameplay Videos on Performance and Experience (JCFH).
FDG-2019-KaoS #game studies #how: Exploring how preference and perceived performance vary in different game genres across time of day (DK, JJDS), p. 5.
FDG-2019-RobertsonJY #design: Efficient choice enumeration for narrative world design (JR, AJ, RMY), p. 10.
VS-Games-2019-BornAM #game studies #motivation: Exergaming in VR: The Impact of Immersive Embodiment on Motivation, Performance, and Perceived Exertion (FB, SA, MM), pp. 1–8.
VS-Games-2019-Jercic #game studies #metric #predict #set #what: What could the baseline measurements predict about decision-making performance in serious games set in the financial context (PJ), pp. 1–4.
CIKM-2019-0002LG #data type #semistructured data: Efficient Join Processing Over Incomplete Data Streams (WR0, XL, KG), pp. 209–218.
CIKM-2019-ChekolS #graph: Leveraging Graph Neighborhoods for Efficient Inference (MWC, HS), pp. 1893–1902.
CIKM-2019-ChenSTCS #network #random: Fast and Accurate Network Embeddings via Very Sparse Random Projection (HC, SFS, YT, MC, SS), pp. 399–408.
CIKM-2019-DongSLLQZD: Forecasting Pavement Performance with a Feature Fusion LSTM-BPNN Model (YD, YS, XL, SL, LQ, WZ0, JD), pp. 1953–1962.
CIKM-2019-DongZ #algorithm #set: Faster Algorithms for k-Regret Minimizing Sets via Monotonicity and Sampling (QD, JZ), pp. 2213–2216.
CIKM-2019-FujiwaraIKKAU #algorithm #bound #incremental #random: Fast Random Forest Algorithm via Incremental Upper Bound (YF, YI, SK, AK, JA, NU), pp. 2205–2208.
CIKM-2019-GaoLL0 #effectiveness #retrieval: A Lossy Compression Method on Positional Index for Efficient and Effective Retrieval (SG, JL, XL, GW0), pp. 2317–2320.
CIKM-2019-MauryaLM #approximate #graph #network: Fast Approximations of Betweenness Centrality with Graph Neural Networks (SKM, XL0, TM), pp. 2149–2152.
CIKM-2019-RekatsinasDP #adaptation #crowdsourcing #named #query: CRUX: Adaptive Querying for Efficient Crowdsourced Data Extraction (TR, AD, AGP), pp. 841–850.
CIKM-2019-Wang0CRR #algorithm #higher-order #parallel: Efficient Sequential and Parallel Algorithms for Estimating Higher Order Spectra (ZW, AAM0, XC, NR, SR), pp. 1743–1752.
CIKM-2019-WuWZJ #effectiveness #learning #recommendation: Learning to Effectively Estimate the Travel Time for Fastest Route Recommendation (NW, JW, WXZ, YJ), pp. 1923–1932.
CIKM-2019-YafayA #query: Caching Scores for Faster Query Processing with Dynamic Pruning in Search Engines (EY, ISA), pp. 2457–2460.
ECIR-p1-2019-MalliaP: Faster BlockMax WAND with Longer Skipping (AM, EP), pp. 771–778.
ECIR-p2-2019-PenhaCCGS #automation #classification #documentation #predict: Document Performance Prediction for Automatic Text Classification (GP, RRC, SDC, MAG, RLTS), pp. 132–139.
ECIR-p2-2019-Zlabinger #effectiveness: Improving the Annotation Efficiency and Effectiveness in the Text Domain (MZ), pp. 343–347.
ICML-2019-0001PRW #algorithm #matrix: Faster Algorithms for Binary Matrix Factorization (RK0, RP, AR, DPW), pp. 3551–3559.
ICML-2019-0002VBB #learning: Provably Efficient Imitation Learning from Observation Alone (WS0, AV, BB, DB), pp. 6036–6045.
ICML-2019-AgarwalBCHSZZ #adaptation: Efficient Full-Matrix Adaptive Regularization (NA, BB, XC, EH, KS, CZ, YZ), pp. 102–110.
ICML-2019-AgrawalTHB #interactive #kernel: The Kernel Interaction Trick: Fast Bayesian Discovery of Pairwise Interactions in High Dimensions (RA, BLT, JHH, TB), pp. 141–150.
ICML-2019-BeatsonA #optimisation #random: Efficient optimization of loops and limits with randomized telescoping sums (AB, RPA), pp. 534–543.
ICML-2019-BeygelzimerPSTW #algorithm #classification #linear #multi: Bandit Multiclass Linear Classification: Efficient Algorithms for the Separable Case (AB, DP, BS, DT, CYW, CZ), pp. 624–633.
ICML-2019-BibautMVL #evaluation #learning: More Efficient Off-Policy Evaluation through Regularized Targeted Learning (AB, IM, NV, MJvdL), pp. 654–663.
ICML-2019-ChenW0R #algorithm #graph #incremental: Fast Incremental von Neumann Graph Entropy Computation: Theory, Algorithm, and Applications (PYC, LW, SL0, IR), pp. 1091–1101.
ICML-2019-CohenB #analysis #empirical #modelling #sequence: Empirical Analysis of Beam Search Performance Degradation in Neural Sequence Models (EC, JCB), pp. 1290–1299.
ICML-2019-DaoGERR #algorithm #learning #linear #using: Learning Fast Algorithms for Linear Transforms Using Butterfly Factorizations (TD, AG, ME, AR, CR), pp. 1517–1527.
ICML-2019-DuKJAD0: Provably efficient RL with Rich Observations via Latent State Decoding (SSD, AK, NJ, AA, MD, JL0), pp. 1665–1674.
ICML-2019-FrognerP #flexibility: Fast and Flexible Inference of Joint Distributions from their Marginals (CF, TAP), pp. 2002–2011.
ICML-2019-GilboaB0 #learning #taxonomy: Efficient Dictionary Learning with Gradient Descent (DG, SB, JW0), pp. 2252–2259.
ICML-2019-GillenwaterKMV #process: A Tree-Based Method for Fast Repeated Sampling of Determinantal Point Processes (JG, AK, ZM, SV), pp. 2260–2268.
ICML-2019-GongHLQWL: Efficient Training of BERT by Progressively Stacking (LG, DH, ZL, TQ, LW0, TYL), pp. 2337–2346.
ICML-2019-GuY #algorithm #modelling #multi #ranking: Fast Algorithm for Generalized Multinomial Models with Ranking Data (JG, GY), pp. 2445–2453.
ICML-2019-HarshawFWK #algorithm: Submodular Maximization beyond Non-negativity: Guarantees, Fast Algorithms, and Applications (CH, MF, JW, AK), pp. 2634–2643.
ICML-2019-HazanKSS: Provably Efficient Maximum Entropy Exploration (EH, SMK, KS, AVS), pp. 2681–2691.
ICML-2019-HoLCSA #learning #policy: Population Based Augmentation: Efficient Learning of Augmentation Policy Schedules (DH, EL, XC0, IS, PA), pp. 2731–2741.
ICML-2019-HuangCH #multi #optimisation #probability: Faster Stochastic Alternating Direction Method of Multipliers for Nonconvex Optimization (FH, SC, HH), pp. 2839–2848.
ICML-2019-JangJ #clustering #scalability #towards: DBSCAN++: Towards fast and scalable density clustering (JJ, HJ), pp. 3019–3029.
ICML-2019-JeongKKN #graph #modelling #music #network: Graph Neural Network for Music Score Data and Modeling Expressive Piano Performance (DJ, TK, YK, JN), pp. 3060–3070.
ICML-2019-KleimanP #machine learning #metric #modelling #multi #named: AUCμ: A Performance Metric for Multi-Class Machine Learning Models (RK, DP), pp. 3439–3447.
ICML-2019-LeeW #algorithm #first-order #problem: First-Order Algorithms Converge Faster than $O(1/k)$ on Convex Problems (CPL, SW), pp. 3754–3762.
ICML-2019-LinHJ #algorithm #analysis #on the: On Efficient Optimal Transport: An Analysis of Greedy and Accelerated Mirror Descent Algorithms (TL, NH, MIJ), pp. 3982–3991.
ICML-2019-LinKS #approximate: Fast and Simple Natural-Gradient Variational Inference with Mixture of Exponential-family Approximations (WL, MEK, MWS), pp. 3992–4002.
ICML-2019-LiuSX #learning: Taming MAML: Efficient unbiased meta-reinforcement learning (HL, RS, CX), pp. 4061–4071.
ICML-2019-MakkuvaVKO #algorithm #consistency: Breaking the gridlock in Mixture-of-Experts: Consistent and Efficient Algorithms (AVM, PV, SK, SO), pp. 4304–4313.
ICML-2019-MaTPHNZ #named: EDDI: Efficient Dynamic Discovery of High-Value Information with Partial VAE (CM, ST, KP, JMHL, SN, CZ), pp. 4234–4243.
ICML-2019-MavrinYKWY #learning: Distributional Reinforcement Learning for Efficient Exploration (BM, HY, LK, KW, YY), pp. 4424–4434.
ICML-2019-MendisRAC #estimation #named #network #throughput #using: Ithemal: Accurate, Portable and Fast Basic Block Throughput Estimation using Deep Neural Networks (CM, AR, SPA, MC), pp. 4505–4515.
ICML-2019-MeyerH #classification #kernel #statistics: Optimality Implies Kernel Sum Classifiers are Statistically Efficient (RAM, JH), pp. 4566–4574.
ICML-2019-MoonAS #black box #combinator #optimisation: Parsimonious Black-Box Adversarial Attacks via Efficient Combinatorial Optimization (SM, GA, HOS), pp. 4636–4645.
ICML-2019-MostafaW #network #parametricity: Parameter efficient training of deep convolutional neural networks by dynamic sparse reparameterization (HM, XW), pp. 4646–4655.
ICML-2019-PerraultPV #nondeterminism: Exploiting structure of uncertainty for efficient matroid semi-bandits (PP, VP, MV), pp. 5123–5132.
ICML-2019-RakellyZFLQ #learning #probability: Efficient Off-Policy Meta-Reinforcement Learning via Probabilistic Context Variables (KR, AZ, CF, SL, DQ), pp. 5331–5340.
ICML-2019-Ravi #modelling #using: Efficient On-Device Models using Neural Projections (SR), pp. 5370–5379.
ICML-2019-ReeveK #classification #robust #symmetry: Fast Rates for a kNN Classifier Robust to Unknown Asymmetric Label Noise (HWJR, AK), pp. 5401–5409.
ICML-2019-RoederGPDM: Efficient Amortised Bayesian Inference for Hierarchical and Nonlinear Dynamical Systems (GR, PKG, AP, ND, EM), pp. 4445–4455.
ICML-2019-RollandKISC #learning #probability #testing: Efficient learning of smooth probability functions from Bernoulli tests with guarantees (PR, AK, AI, AS, VC), pp. 5459–5467.
ICML-2019-SharanTBV #rank: Compressed Factorization: Fast and Accurate Low-Rank Factorization of Compressively-Sensed Data (VS, KST, PB, GV), pp. 5690–5700.
ICML-2019-Shi0 #learning #multi: Fast Direct Search in an Optimally Compressed Continuous Target Space for Efficient Multi-Label Active Learning (WS, QY0), pp. 5769–5778.
ICML-2019-StelznerPK #modelling #probability: Faster Attend-Infer-Repeat with Tractable Probabilistic Models (KS, RP, KK), pp. 5966–5975.
ICML-2019-Stickland0 #adaptation #learning #multi: BERT and PALs: Projected Attention Layers for Efficient Adaptation in Multi-Task Learning (ACS, IM0), pp. 5986–5995.
ICML-2019-XieCJZZ #on the #scalability: On Scalable and Efficient Computation of Large Scale Optimal Transport (YX, MC, HJ, TZ, HZ), pp. 6882–6892.
ICML-2019-YangWLCXS0X #named #network: LegoNet: Efficient Convolutional Neural Networks with Lego Filters (ZY, YW, CL, HC, CX, BS, CX0, CX0), pp. 7005–7014.
ICML-2019-YaoK0: Efficient Nonconvex Regularized Tensor Completion with Structure-aware Proximal Iterations (QY, JTYK, BH0), pp. 7035–7044.
ICML-2019-YuJY #analysis #communication #distributed #linear #on the #optimisation: On the Linear Speedup Analysis of Communication Efficient Momentum SGD for Distributed Non-Convex Optimization (HY, RJ, SY), pp. 7184–7193.
ICML-2019-ZhangHY #learning #named #recognition #visual notation: LatentGNN: Learning Efficient Non-local Relations for Visual Recognition (SZ, XH, SY), pp. 7374–7383.
ICML-2019-ZhangY #estimation #modelling #multi: Fast and Stable Maximum Likelihood Estimation for Incomplete Multinomial Models (CZ, GY), pp. 7463–7471.
ICML-2019-ZintgrafSKHW #adaptation: Fast Context Adaptation via Meta-Learning (LMZ, KS, VK, KH, SW), pp. 7693–7702.
KDD-2019-Chang #clique #graph #scalability: Efficient Maximum Clique Computation over Large Sparse Graphs (LC), pp. 529–538.
KDD-2019-ChengSHZ #analysis #modelling: Incorporating Interpretability into Latent Factor Models via Fast Influence Analysis (WC, YS, LH, YZ), pp. 885–893.
KDD-2019-ChenSJ0Z0 #behaviour #effectiveness #recommendation #reuse #using: Effective and Efficient Reuse of Past Travel Behavior for Route Recommendation (LC, SS, CSJ, BY0, ZZ, LS0), pp. 488–498.
KDD-2019-ChiangLSLBH #algorithm #clustering #graph #named #network #scalability: Cluster-GCN: An Efficient Algorithm for Training Deep and Large Graph Convolutional Networks (WLC, XL, SS, YL0, SB, CJH), pp. 257–266.
KDD-2019-FuZCR #gpu #named #optimisation #robust #visualisation: AtSNE: Efficient and Robust Visualization on GPU through Hierarchical Optimization (CF, YZ, DC, XR), pp. 176–186.
KDD-2019-JinSH #architecture #named: Auto-Keras: An Efficient Neural Architecture Search System (HJ, QS, XH), pp. 1946–1956.
KDD-2019-LiZY #effectiveness #learning: Efficient and Effective Express via Contextual Cooperative Reinforcement Learning (YL, YZ, QY), pp. 510–519.
KDD-2019-WangD #approximate #empirical: Fast Approximation of Empirical Entropy via Subsampling (CW, BD), pp. 658–667.
KDD-2019-WangLCJ #effectiveness #game studies #learning #representation #retrieval: Effective and Efficient Sports Play Retrieval with Deep Representation Learning (ZW, CL, GC, CJ), pp. 499–509.
KDD-2019-WangYCZ #convergence #learning: ADMM for Efficient Deep Learning with Global Convergence (JW, FY, XC0, LZ0), pp. 111–119.
KDD-2019-WengZBT #named: OCC: A Smart Reply System for Efficient In-App Communications (YW, HZ, FB, GT), pp. 2596–2603.
KDD-2019-WuYHZX0JA #kernel #random #string: Efficient Global String Kernel with Random Features: Beyond Counting Substructures (LW, IEHY, SH, LZ0, KX, LM0, SJ, CCA), pp. 520–528.
KDD-2019-YangWZK #named: ET-Lasso: A New Efficient Tuning of Lasso-type Regularization for High-Dimensional Data (SY, JW, XZ, DK), pp. 607–616.
KDD-2019-YoonHSF #approach #detection #graph: Fast and Accurate Anomaly Detection in Dynamic Graphs with a Two-Pronged Approach (MY, BH, KS, CF), pp. 647–657.
KDD-2019-Zhang0 #named #similarity: MinJoin: Efficient Edit Similarity Joins via Local Hash Minima (HZ, QZ0), pp. 1093–1103.
ECOOP-2019-ChungNV #algorithm #tuple #type system: Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples (Pearl) (BC, FZN, JV), p. 15.
ECOOP-2019-SpringerM #memory management #named #object-oriented #parallel #programming: DynaSOAr: A Parallel Memory Allocator for Object-Oriented Programming on GPUs with Efficient Memory Access (MS, HM), p. 37.
OOPSLA-2019-BastianKN #reliability #stack: Reliable and fast DWARF-based stack unwinding (TB, SK, FZN), p. 24.
OOPSLA-2019-LuX #analysis #context-sensitive grammar #pointer: Precision-preserving yet fast object-sensitive pointer analysis with partial context sensitivity (JL, JX), p. 29.
OOPSLA-2019-WangHZTT #named #polymorphism #type system: IVT: an efficient method for sharing subtype polymorphic objects (YPW, XQH, ZXZ, WT, GT), p. 22.
OOPSLA-2019-WeiCR #composition #metaprogramming #program analysis #staged: Staged abstract interpreters: fast and modular whole-program analysis via meta-programming (GW, YC, TR), p. 32.
OOPSLA-2019-WimmerSHJWKPW: Initialize once, start fast: application initialization at build time (CW, CS, PH, VJ, PW, PBK, OP, TW), p. 29.
OOPSLA-2019-ZurielFSCP #set: Efficient lock-free durable sets (YZ, MF, GS, NC, EP), p. 26.
PADL-2019-PietersS #pipes and filters #re-engineering: Faster Coroutine Pipelines: A Reconstruction (RPP, TS), pp. 133–149.
PLDI-2019-ChoiST #javascript #reuse: Reusable inline caching for JavaScript performance (JC, TS, JT), pp. 889–901.
PLDI-2019-GuanSL #framework #named: Wootz: a compiler-based framework for fast CNN pruning via composability (HG, XS, SHL), pp. 717–730.
PLDI-2019-GysiGBH: A fast analytical model of fully associative caches (TG, TG, LB, TH), pp. 816–829.
PLDI-2019-KuhlenschmidtAS #towards #type system: Toward efficient gradual typing for structural types via coercions (AK, DA, JGS), pp. 517–532.
PLDI-2019-MohammadiYCDHDN #data flow #dependence: Sparse computation data dependence simplification for efficient compiler-generated inspectors (MSM, TY, KC, ECD, MWH, MMD, PN, CO, AV, MMS), pp. 594–609.
PLDI-2019-PultePKLH #concurrent #named: Promising-ARM/RISC-V: a simpler and faster operational concurrency model (CP, JPP, JK, SHL, CKH), pp. 1–15.
POPL-2019-ChatterjeeGOP #algorithm: Efficient parameterized algorithms for data packing (KC, AKG, NO, AP), p. 28.
POPL-2019-FromherzGHPRS #assembly: A verified, efficient embedding of a verifiable assembly language (AF, NG, CH, BP, AR, NS), p. 30.
POPL-2019-GorinovaGS #flexibility #probability #programming: Probabilistic programming with densities in SlicStan: efficient, flexible, and deterministic (MIG, ADG, CAS), p. 30.
POPL-2019-TouzeauMMR #analysis: Fast and exact analysis for LRU caches (VT, CM, DM, JR), p. 29.
POPL-2019-YiCMJ #automation #fault #float #library: Efficient automated repair of high floating-point errors in numerical libraries (XY, LC, XM, TJ), p. 29.
SAS-2019-LeiS #analysis #pointer #precise: Fast and Precise Handling of Positive Weight Cycles for Field-Sensitive Pointer Analysis (YL, YS), pp. 27–47.
SAS-2019-LiLYCHZ #network #precise #towards #verification: Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification (JL, JL, PY, LC, XH0, LZ0), pp. 296–319.
SAS-2019-YuM #linear #parametricity #programming: An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection (HY, DM), pp. 203–224.
ASE-2019-GodioBPAF #generative #test coverage #testing: Efficient Test Generation Guided by Field Coverage Criteria (AG, VSB, PP, NA, MFF), pp. 91–101.
ASE-2019-HortonP #detection #named #python: V2: Fast Detection of Configuration Drift in Python (EH, CP), pp. 477–488.
ASE-2019-LiuFXLGGY #automation #evaluation #named #simulation #tool support #workflow: FogWorkflowSim: An Automated Simulation Toolkit for Workflow Performance Evaluation in Fog Computing (XL, LF, JX, XL, LG, JCG, YY), pp. 1114–1117.
ASE-2019-MuGCCGXMS #alias #analysis #execution #named: RENN: Efficient Reverse Execution with Neural-Network-Assisted Alias Analysis (DM, WG, AC, YC, JG, XX, BM, CS), pp. 924–935.
ASE-2019-MuhlbauerAS #evolution #modelling: Accurate Modeling of Performance Histories for Evolving Software Systems (SM, SA, NS), pp. 640–652.
ASE-2019-PobeeMC #concurrent #multi #source code #thread #transaction: Efficient Transaction-Based Deterministic Replay for Multi-threaded Programs (EBP, XM, WKC), pp. 760–771.
ASE-2019-ReicheltKH #identification #named: PeASS: A Tool for Identifying Performance Changes at Code Level (DGR, SK, WH), pp. 1146–1149.
ASE-2019-TangZZLXZY #android #library: Demystifying Application Performance Management Libraries for Android (YT, XZ, HZ, XL, ZX, YZ, QY), pp. 682–685.
ASE-2019-TaoTLXQ #api #data analysis #how #question #runtime: How Do API Selections Affect the Runtime Performance of Data Analytics Tasks? (YT, ST, YL, ZX, SQ), pp. 665–668.
ASE-2019-WuLZYZ0 #analysis #mobile #named: MalScan: Fast Market-Wide Mobile Malware Scanning by Social-Network Centrality Analysis (YW, XL, DZ, WY0, XZ, HJ0), pp. 139–150.
ASE-2019-Zhou #collaboration #development: Improving Collaboration Efficiency in Fork-Based Development (SZ), pp. 1218–1221.
ESEC-FSE-2019-He19a #comprehension #debugging #detection #fault: Tuning backfired? not (always) your fault: understanding and detecting configuration-related performance bugs (HH), pp. 1229–1231.
ESEC-FSE-2019-HeMS0PS #statistics #testing: A statistics-based performance testing methodology for cloud applications (SH, GM, JS, WW0, LLP, MLS), pp. 188–199.
ESEC-FSE-2019-KulaRHDG #case study: Releasing fast and slow: an exploratory case study at ING (EK, AR, HH, AvD, GG), pp. 785–795.
ESEC-FSE-2019-LiM0CX0 #testing: Boosting operational DNN testing efficiency through conditioning (ZL, XM, CX0, CC, JX0, JL0), pp. 499–509.
ESEC-FSE-2019-LinCLLZ #algorithm #combinator #generative #metaheuristic #testing #towards: Towards more efficient meta-heuristic algorithms for combinatorial test generation (JL, SC, CL, QL, HZ0), pp. 212–222.
ESEC-FSE-2019-Loukeris: Efficient computing in a safe environment (ML), pp. 1208–1210.
ESEC-FSE-2019-Moghadam #machine learning #testing: Machine learning-assisted performance testing (MHM), pp. 1187–1189.
ESEC-FSE-2019-PobeeC #concurrent #multi #named #source code #thread: AggrePlay: efficient record and replay of multi-threaded programs (EBP, WKC), pp. 567–577.
ESEC-FSE-2019-SuWC0 #java: Pinpointing performance inefficiencies in Java (PS, QW, MC, XL0), pp. 818–829.
ESEC-FSE-2019-ZhouVK #case study #social #what: What the fork: a study of inefficient and efficient forking practices in social coding (SZ, BV, CK), pp. 350–361.
ICSE-2019-CitoLRG #feedback #ide #interactive: Interactive production performance feedback in the IDE (JC, PL, MR, HCG), pp. 971–981.
ICSE-2019-HaZ #configuration management #named #network #predict: DeepPerf: performance prediction for configurable software with deep sparse neural network (HH, HZ0), pp. 1095–1106.
ICSE-2019-YangYWLC #optimisation #web: View-centric performance optimization for database-backed web applications (JY, CY, CW, SL, AC), pp. 994–1004.
SLE-2019-SchutzeC #composition: Efficient late binding of dynamic function compositions (LS, JC), pp. 141–151.
ASPLOS-2019-0001WZKK #flexibility #framework #memory management #named #persistent #source code #testing: PMTest: A Fast and Flexible Testing Framework for Persistent Memory Programs (SL0, YW, JZ, AK, SMK), pp. 411–425.
ASPLOS-2019-GanZHCHPD #big data #complexity #debugging #named: Seer: Leveraging Big Data to Navigate the Complexity of Performance Debugging in Cloud Microservices (YG0, YZ, KH, DC, YH, MP, CD), pp. 19–33.
ASPLOS-2019-KondguliH #hardware #named #smt #thread #using: Bootstrapping: Using SMT Hardware to Improve Single-Thread Performance (SK, MH), pp. 687–700.
ASPLOS-2019-KungMZ #array #implementation #network #optimisation: Packing Sparse Convolutional Neural Networks for Efficient Systolic Array Implementations: Column Combining Under Joint Optimization (HTK, BM, SQZ), pp. 821–834.
ASPLOS-2019-MerrifieldRDE #lazy evaluation #multi #thread: Lazy Determinism for Faster Deterministic Multithreading (TM, SR, JD, JE), pp. 879–891.
ASPLOS-2019-PanwarBG #fine-grained #named: HawkEye: Efficient Fine-grained OS Support for Huge Pages (AP, SB, KG), pp. 347–360.
ASPLOS-2019-PellauerSCCHVKF #composition #distributed #named: Buffets: An Efficient and Composable Storage Idiom for Explicit Decoupled Data Orchestration (MP, YSS, JC, NCC, KH, RV, SWK, CWF, JSE), pp. 137–151.
ASPLOS-2019-ShenSSBDRW #named: X-Containers: Breaking Down Barriers to Improve Performance and Isolation of Cloud-Native Containers (ZS, ZS, GES, EB, CD, RvR, HW), pp. 121–135.
ASPLOS-2019-TangZQC #architecture #message passing #named: pLock: A Fast Lock for Architectures with Explicit Inter-core Message Passing (XT, JZ, XQ, WC), pp. 765–778.
ASPLOS-2019-WangFL #fine-grained: Fast Fine-Grained Global Synchronization on GPUs (KW, DF, CL), pp. 793–806.
ASPLOS-2019-XuKMS #memory management #persistent: Finding and Fixing Performance Pathologies in Persistent Memory Software Stacks (JX0, JK, AM, SS), pp. 427–439.
ASPLOS-2019-ZhangL0HLG #graph #multi #named: DiGraph: An Efficient Path-based Iterative Directed Graph Processing System on Multiple GPUs (YZ0, XL, HJ0, BH, HL, LG0), pp. 601–614.
ASPLOS-2019-ZhangZWLFZS #framework #scalability: Fast and Scalable VMM Live Upgrade in Large Cloud Infrastructure (XZ, XZ, ZW0, QL0, JF, YZ, YS), pp. 93–105.
ASPLOS-2019-ZhengOZSYC #framework #named #pipes and filters: HiWayLib: A Software Framework for Enabling High Performance Communications for Heterogeneous Pipeline Computations (ZZ, CO, JZ, XS, YY, WC), pp. 153–166.
CASE-2019-BaiTYZD #algorithm #evaluation #exponential #finite #robust: An Accurate and Robust Algorithm for Performance Evaluation of Exponential Serial Lines with Finite Buffers (YB, JT, MY, LZ, PD), pp. 42–47.
CASE-2019-BaltaTB #detection #framework #modelling #monitoring: A Digital Twin Framework for Performance Monitoring and Anomaly Detection in Fused Deposition Modeling (ECB, DMT, KB), pp. 823–829.
CASE-2019-ChenJD #analysis #flexibility #geometry #realtime: Real-Time Performance Analysis of Batch-Based Serial Flexible Production Lines With Geometric Machines (JC, ZJ, YD), pp. 97–102.
CASE-2019-GildertPT #communication: Comparing The Performance of Explicit and Implicit Communication in Simple Object Manipulation Tasks (NG, AP, JT), pp. 1456–1462.
CASE-2019-HagelskjaerSKB #constraints #estimation #industrial #precise #using: Using spatial constraints for fast set-up of precise pose estimation in an industrial setting (FH, TRS, NK, AGB), pp. 1308–1314.
CASE-2019-HaltPTPS #assembly: A Transferable Force Controller based on Prescribed Performance for Contact Establishment in Robotic Assembly Tasks (LH, FP, PT, AP, TS), pp. 830–835.
CASE-2019-MarzanoFM #energy #policy #tool support: Energy Efficient State Control of Machine Tools: a Time-Based Dynamic Control Policy (LM, NF, AM), pp. 596–601.
CASE-2019-Niu0JM #3d #visual notation: Efficient 3D Visual Perception for Robotic Rock Breaking (LN, KC0, KJ, JM), pp. 1124–1130.
CASE-2019-PerdomoPMMKP #2d #detection #named: c-M2DP: A Fast Point Cloud Descriptor with Color Information to Perform Loop Closure Detection (LP, DP, MM, RM, MLK, EP), pp. 1145–1150.
CASE-2019-PotluriD #detection #injection #learning #process: Deep Learning based Efficient Anomaly Detection for Securing Process Control Systems against Injection Attacks (SP, CD), pp. 854–860.
CASE-2019-QianAX0 #learning: Improved Production Performance Through Manufacturing System Learning (YQ, JA, GX, QC0), pp. 517–522.
CASE-2019-SartoriZY #3d #approach #design #multi: An efficient approach to near-optimal 3D trajectory design in cluttered environments for multirotor UAVs (DS, DZ, WY), pp. 1016–1022.
CASE-2019-WangMWNWL #reliability: Dynamic Pricing for Autonomous Vehicle E-hailing Services Reliability and Performance Improvement (QW, FM, JW, YN, CW, NEL), pp. 948–953.
CASE-2019-XuLWZCQ #approach #learning: An Improved GA-KRR Nested Learning Approach for Refrigeration Compressor Performance Forecasting* (CX, XL, JW, JZ, JC, WQ), pp. 622–627.
CASE-2019-Yan #energy #optimisation: Energy Consumption optimization in Two-Machine Bernoulli Serial Lines with Limits on Machine Efficiency (CBY), pp. 85–90.
CC-2019-AloorN: Efficiency and expressiveness in UW-OpenMP (RA, VKN), pp. 182–192.
CC-2019-BlassP #algorithm #analysis #compilation #fixpoint: GPU-accelerated fixpoint algorithms for faster compiler analyses (TB, MP), pp. 122–134.
CC-2019-LiC0 #testing: Efficient concolic testing of MPI applications (HL, ZC, RG0), pp. 193–204.
CGO-2019-BaghdadiRRSAZSK #compilation #named: Tiramisu: A Polyhedral Compiler for Expressing Fast and Portable Code (RB, JR, MBR, EDS, AA, YZ, PS, SK, SPA), pp. 193–205.
CGO-2019-GonzaloHGHMH #automation #generative #parallel #reduction: Automatic Generation of Warp-Level Primitives and Atomic Instructions for Fast and Portable Parallel Reduction on GPUs (SGDG, SH, JGL, SDH, OM, WMH), pp. 73–84.
CGO-2019-ZhouM #analysis: A Tool for Performance Analysis of GPU-Accelerated Applications (KZ, JMMC), p. 282.
FASE-2019-FritscheKST #automation #process: Efficient Model Synchronization by Automatically Constructed Repair Processes (LF, JK, AS, GT), pp. 116–133.
CADE-2019-0001CV: Faster, Higher, Stronger: E 2.3 (SS0, SC, PV), pp. 495–507.
CADE-2019-ChvalovskyJ0U #named: ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E (KC, JJ, MS0, JU), pp. 197–215.
CAV-2019-DrewsAD #constraints #probability #synthesis: Efficient Synthesis with Probabilistic Constraints (SD, AA, LD), pp. 278–296.
CAV-2019-Gastin0S #algorithm #automaton #constraints: Fast Algorithms for Handling Diagonal Constraints in Timed Automata (PG, SM0, BS), pp. 41–59.
CAV-2019-GiannarakisBMW #fault tolerance #network #refinement #verification: Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement (NG, RB, RM, DW), pp. 305–323.
CAV-2019-JonasS #named #quantifier #smt: Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors (MJ, JS), pp. 64–73.
CAV-2019-ReynoldsBNBT #named #synthesis: cvc4sy: Smart and Fast Term Enumeration for Syntax-Guided Synthesis (AR, HB, AN, CWB, CT), pp. 74–83.
ICST-2019-JendeleSCJR #automation #composition #scalability: Efficient Automated Decomposition of Build Targets at Large-Scale (LJ, MS, DC, IJ, MR), pp. 457–464.
ICTSS-2019-Huerta-GuevaraA #adaptation #testing #towards: Towards an Efficient Performance Testing Through Dynamic Workload Adaptation (OHG, VAR, LM0, AOPD), pp. 215–233.
ICTSS-2019-Huerta-GuevaraA19a #adaptation #named #testing #using: DYNAMOJM: A JMeter Tool for Performance Testing Using Dynamic Workload Adaptation (OHG, VAR, LM0, AOPD), pp. 234–241.
ICTSS-2019-KluckZWN #comparison #search-based #testing #validation: Performance Comparison of Two Search-Based Testing Strategies for ADAS System Validation (FK, MZ, FW, MN), pp. 140–156.
TAP-2019-LavillonniereMC #algorithm #automation #formal method #generative #search-based #testing: Fast, Automatic, and Nearly Complete Structural Unit-Test Generation Combining Genetic Algorithms and Formal Methods (EL, DM, DC0), pp. 55–63.
VMCAI-2019-LopesR #scalability #simulation: Fast BGP Simulation of Large Datacenters (NPL, AR), pp. 386–408.
ECSA-2018-AvritzerFJRSH #approach #architecture #assessment #automation #deployment #testing: A Quantitative Approach for the Assessment of Microservice Architecture Deployment Alternatives by Automated Performance Testing (AA, VF, AJ, BR, HS, AvH), pp. 159–174.
ICSA-2018-EismannWKK #component #dependence #modelling #parametricity #predict #runtime: Modeling of Parametric Dependencies for Performance Prediction of Component-Based Software Systems at Run-Time (SE, JW, JvK, SK), pp. 135–144.
ICSA-2018-Yasaweerasinghelage #architecture #data analysis #modelling #predict #privacy #simulation #using: Predicting the Performance of Privacy-Preserving Data Analytics Using Architecture Modelling and Simulation (RY, MS, IW, HYP), pp. 166–175.
JCDL-2018-MaiGS #learning #semantics #using: Using Deep Learning for Title-Based Semantic Subject Indexing to Reach Competitive Performance to Full-Text (FM, LG, AS), pp. 169–178.
EDM-2018-KimVG #learning #named #predict #student: GritNet: Student Performance Prediction with Deep Learning (BHK, EV, VG).
EDM-2018-PolyzouK #feature model #student: Feature extraction for classifying students based on their academic performance (AP, GK).
EDM-2018-SahebiB #predict #student: Student Performance Prediction by Discovering Inter-Activity Relations (SS, PB).
EDM-2018-SheshadriGLBH #case study #online #predict #student: Predicting Student Performance Based on Online Study Habits: A Study of Blended Courses (AS, NG, CL, TB, SH).
ICSME-2018-BagheriWAM #analysis #android #security: Efficient, Evolutionary Security Analysis of Interacting Android Apps (HB, JW, JA, SM), pp. 357–368.
ICSME-2018-GuoMYW #automation #empirical #program repair #slicing: An Empirical Study on the Effect of Dynamic Slicing on Automated Program Repair Efficiency (AG, XM, DY, SW), pp. 554–558.
MSR-2018-CaiJ #analysis #android #precise: Leveraging historical versions of Android apps for efficient and precise taint analysis (HC, JJ), pp. 265–269.
MSR-2018-JinS #code completion #comprehension #recommendation: The hidden cost of code completion: understanding the impact of the recommendation-list length on its efficiency (XJ, FS), pp. 70–73.
MSR-2018-LaaberL #assessment #benchmark #evaluation #open source: An evaluation of open-source software microbenchmark suites for continuous performance assessment (CL, PL), pp. 119–130.
MSR-2018-MajumderBBFM08 #case study #learning #mining #stack overflow: 500+ times faster than deep learning: a case study exploring faster methods for text mining stackoverflow (SM, NB, KB, WF0, TM), pp. 554–563.
MSR-2018-RodriguezTK #developer #empirical: Empirical study on the relationship between developer's working habits and efficiency (AR, FT, YK), pp. 74–77.
SANER-2018-KaramitasK #bytecode: Efficient features for function matching between binary executables (CK, AK), pp. 335–345.
Haskell-2018-HandleyH #haskell #named #source code: AutoBench: comparing the time performance of Haskell programs (MATH, GH), pp. 26–37.
Haskell-2018-SunF #maintenance: Autobahn 2.0: minimizing bangs while maintaining performance (system demonstration) (MS, KF), pp. 38–40.
ICFP-2018-Campora0W #safety #type system: Casts and costs: harmonizing safety and performance in gradual typing (JPCI, SC0, EW), p. 30.
ICFP-2018-GreenmanF: A spectrum of type soundness and performance (BG, MF), p. 32.
CHI-PLAY-2018-FrommelS0 #adaptation #game studies #recognition #towards: Towards Emotion-based Adaptive Games: Emotion Recognition Via Input and Performance Features (JF, CS, MW0), pp. 173–185.
CHI-PLAY-2018-LongG #experience #game studies #latency #modelling: Characterizing and Modeling the Effects of Local Latency on Game Performance and Experience (ML, CG), pp. 285–297.
CIG-2018-ChenANCSE #game studies #named #recommendation: Q-DeckRec: A Fast Deck Recommendation System for Collectible Card Games (ZC, CA, THDN, SC, YS, MSEN), pp. 1–8.
CIG-2018-Cutumisu #assessment #feedback #game studies #student: The Influence of Feedback Choice on University Students' Revision Choices and Performance in a Digital Assessment Game (MC), pp. 1–7.
CIG-2018-Lucas #game studies #research: Game AI Research with Fast Planet Wars Variants (SML), pp. 1–4.
DiGRA-2018-SeulaAF #case study #game studies: Play to Win, Profit & Entertain: a Study of Double Performance as Athlete and Streamer (RS, MA, SF).
VS-Games-2018-SpyridonisDO #collaboration #communication #game studies #multi #online: Efficient In-Game Communication in Collaborative Online Multiplayer Games (FS, DDZ, MPO), pp. 1–4.
CIKM-2018-CatenaFT #distributed #energy #web: Efficient Energy Management in Distributed Web Search (MC, OF, NT), pp. 1555–1558.
CIKM-2018-CazzolatoTB #estimation #reliability: Efficient and Reliable Estimation of Cell Positions (MTC, AJMT, KB), pp. 1043–1052.
CIKM-2018-GaikwadMA #data type #query: Data Structure for Efficient Line of Sight Queries (SG, MM, DCA), pp. 1535–1538.
CIKM-2018-HuNY #framework #linear #predict: A Fast Linear Computational Framework for User Action Prediction in Tencent MyApp (YH, DN, JY), pp. 2047–2055.
CIKM-2018-JangCJK #memory management #named: Zoom-SVD: Fast and Memory Efficient Method for Extracting Key Patterns in an Arbitrary Time Range (JGJ, DC, JJ, UK), pp. 1083–1092.
CIKM-2018-KrishnanSSS #approach #collaboration: An Adversarial Approach to Improve Long-Tail Performance in Neural Collaborative Filtering (AK, AS, AS, HS), pp. 1491–1494.
CIKM-2018-KuralenokSKS #data analysis #taxonomy: Construction of Efficient V-Gram Dictionary for Sequential Data Analysis (IK, NS, AK, JS), pp. 1343–1352.
CIKM-2018-LuccheseN0TV #effectiveness #query #web: Efficient and Effective Query Expansion for Web Search (CL, FMN, RP0, RT, RV), pp. 1551–1554.
CIKM-2018-MizusawaTMAM #crowdsourcing #pipes and filters #workflow: Efficient Pipeline Processing of Crowdsourcing Workflows (KM, KT, MM, TA, AM), pp. 1559–1562.
CIKM-2018-NagarkarC #execution #named #query #set: PSLSH: An Index Structure for Efficient Execution of Set Queries in High-Dimensional Spaces (PN, KSC), pp. 477–486.
CIKM-2018-RoyGBBM #how #information retrieval #normalisation #using #word: Using Word Embeddings for Information Retrieval: How Collection and Term Normalization Choices Affect Performance (DR, DG, SB, SB, MM), pp. 1835–1838.
CIKM-2018-ShaabaniM #dependence #detection: Improving the Efficiency of Inclusion Dependency Detection (NS, CM), pp. 207–216.
CIKM-2018-XuL #adaptation #constraints #similarity #taxonomy: Efficient Taxonomic Similarity Joins with Adaptive Overlap Constraint (PX0, JL), pp. 1563–1566.
CIKM-2018-YangS #learning #multi #named: FALCON: A Fast Drop-In Replacement of Citation KNN for Multiple Instance Learning (SY, XS), pp. 67–76.
CIKM-2018-ZhangWFSL #mobile #named: FastInput: Improving Input Efficiency on Mobile Devices (JZ, XW, YF, MS, PL0), pp. 2057–2065.
ECIR-2018-ChehreghaniC #nearest neighbour: Efficient Context-Aware K-Nearest Neighbor Search (MHC, MHC), pp. 466–478.
ECIR-2018-JiaS #approach #recommendation: Local Is Good: A Fast Citation Recommendation Approach (HJ, ES), pp. 758–764.
ICML-2018-ArenzZN #policy #using: Efficient Gradient-Free Variational Inference using Policy Search (OA, MZ, GN), pp. 234–243.
ICML-2018-BajgarKK #architecture: A Boo(n) for Evaluating Architecture Performance (OB, RK, JK), pp. 344–352.
ICML-2018-BravermanCKLWY #data type #matrix #multi: Matrix Norms in Data Streams: Faster, Multi-Pass and Row-Order (VB, SRC, RK, YL0, DPW, LFY), pp. 648–657.
ICML-2018-CaiYZHY #architecture #network: Path-Level Network Transformation for Efficient Architecture Search (HC, JY, WZ0, SH, YY0), pp. 677–686.
ICML-2018-ChenLCWPC #estimation: Continuous-Time Flows for Efficient Inference and Density Estimation (CC, CL, LC, WW, YP, LC), pp. 823–832.
ICML-2018-CorneilGB #learning: Efficient ModelBased Deep Reinforcement Learning with Variational State Tabulation (DSC, WG, JB), pp. 1057–1066.
ICML-2018-DepewegHDU #composition #learning #nondeterminism: Decomposition of Uncertainty in Bayesian Deep Learning for Efficient and Risk-sensitive Learning (SD, JMHL, FDV, SU), pp. 1192–1201.
ICML-2018-FalknerKH #named #optimisation #robust #scalability: BOHB: Robust and Efficient Hyperparameter Optimization at Scale (SF, AK, FH), pp. 1436–1445.
ICML-2018-FathonyBZZ #consistency: Efficient and Consistent Adversarial Bipartite Matching (RF, SB, XZ, BDZ), pp. 1456–1465.
ICML-2018-FruitPLO #learning: Efficient Bias-Span-Constrained Exploration-Exploitation in Reinforcement Learning (RF, MP, AL, RO), pp. 1573–1581.
ICML-2018-GuHDH #algorithm #memory management #probability: Faster Derivative-Free Stochastic Algorithm for Shared Memory Machines (BG, ZH, CD, HH), pp. 1807–1816.
ICML-2018-HammN #learning #optimisation: K-Beam Minimax: Efficient Optimization for Deep Adversarial Learning (JH, YKN), pp. 1876–1884.
ICML-2018-HoPW #robust: Fast Bellman Updates for Robust MDPs (CPH, MP, WW), pp. 1984–1993.
ICML-2018-ImaniW: Improving Regression Performance with Distributional Losses (EI, MW), pp. 2162–2171.
ICML-2018-JeongS #learning: Efficient end-to-end learning for quantizable representations (YJ, HOS), pp. 2269–2278.
ICML-2018-JinYXYJFY #named #network: WSNet: Compact and Efficient Networks Through Weight Sampling (XJ, YY, NX0, JY, NJ, JF, SY), pp. 2357–2366.
ICML-2018-KaiserBRVPUS #modelling #sequence #using: Fast Decoding in Sequence Models Using Discrete Latent Variables (LK, SB, AR, AV, NP, JU, NS), pp. 2395–2404.
ICML-2018-KalchbrennerESN #synthesis: Efficient Neural Audio Synthesis (NK, EE, KS, SN, NC, EL, FS, AvdO, SD, KK), pp. 2415–2424.
ICML-2018-KhanNTLGS #learning #scalability: Fast and Scalable Bayesian Deep Learning by Weight-Perturbation in Adam (MEK, DN, VT, WL, YG, AS), pp. 2616–2625.
ICML-2018-KolarijaniEK #exponential #framework #hybrid: Fast Gradient-Based Methods with Exponential Rate: A Hybrid Control Framework (ASK, PME, TK), pp. 2733–2741.
ICML-2018-KuhnleSCT #integer: Fast Maximization of Non-Submodular, Monotonic Functions on the Integer Lattice (AK, JDS, VGC, MTT), pp. 2791–2800.
ICML-2018-LangeKA #bound #clustering #correlation: Partial Optimality and Fast Lower Bounds for Weighted Correlation Clustering (JHL, AK, BA), pp. 2898–2907.
ICML-2018-LiuH #probability #reduction: Fast Variance Reduction Method with Stochastic Batch Size (XL, CJH), pp. 3185–3194.
ICML-2018-LiuZCWY #probability: Fast Stochastic AUC Maximization with O(1/n)-Convergence Rate (ML, XZ, ZC, XW, TY), pp. 3195–3203.
ICML-2018-MalikPFHRD #learning: An Efficient, Generalized Bellman Update For Cooperative Inverse Reinforcement Learning (DM, MP, JFF, DHM, SJR, ADD), pp. 3391–3399.
ICML-2018-MartinLV #approximate #clustering #network: Fast Approximate Spectral Clustering for Dynamic Networks (LM, AL, PV), pp. 3420–3429.
ICML-2018-MassiasSG #named: Celer: a Fast Solver for the Lasso with Dual Extrapolation (MM, JS, AG), pp. 3321–3330.
ICML-2018-McLeodRO #optimisation: Optimization, Fast and Slow: Optimally Switching between Local and Bayesian Optimization (MM, SJR, MAO), pp. 3440–3449.
ICML-2018-MussmannL #fault #nondeterminism #on the: On the Relationship between Data Efficiency and Error for Uncertainty Sampling (SM, PL), pp. 3671–3679.
ICML-2018-NguyenRF #framework #robust #testing: Active Testing: An Efficient and Robust Framework for Estimating Accuracy (PXN, DR, CCF), pp. 3756–3765.
ICML-2018-OdenaBOBORG #generative #question: Is Generator Conditioning Causally Related to GAN Performance? (AO, JB, CO, TBB, CO, CR, IJG), pp. 3846–3855.
ICML-2018-OordLBSVKDLCSCG #parallel #speech #synthesis: Parallel WaveNet: Fast High-Fidelity Speech Synthesis (AvdO, YL, IB, KS, OV, KK, GvdD, EL, LCC, FS, NC, DG, SN, SD, EE, NK, HZ, AG, HK, TW, DB, DH), pp. 3915–3923.
ICML-2018-OstrovskiiH #adaptation #algorithm #first-order: Efficient First-Order Algorithms for Adaptive Signal Denoising (DO, ZH), pp. 3943–3952.
ICML-2018-PhamGZLD #architecture #parametricity: Efficient Neural Architecture Search via Parameter Sharing (HP, MYG, BZ, QVL, JD), pp. 4092–4101.
ICML-2018-Pouliot #equivalence #multi #statistics: Equivalence of Multicategory SVM and Simplex Cone SVM: Fast Computations and Statistical Theory (GP), pp. 4130–4137.
ICML-2018-RaeDDL #learning #parametricity: Fast Parametric Learning with Activation Memorization (JWR, CD, PD, TPL), pp. 4225–4234.
ICML-2018-RuMGO #optimisation: Fast Information-theoretic Bayesian Optimisation (BXR, MM, DG, MAO), pp. 4381–4389.
ICML-2018-ShenMZZQ #communication #convergence #distributed #learning #probability #towards: Towards More Efficient Stochastic Decentralized Learning: Faster Convergence and Sparse Communication (ZS, AM, TZ, PZ, HQ), pp. 4631–4640.
ICML-2018-SibliniMK #clustering #learning #multi #random: CRAFTML, an Efficient Clustering-based Random Forest for Extreme Multi-label Learning (WS, FM, PK), pp. 4671–4680.
ICML-2018-WangSQ #learning #modelling #multi #scalability #visual notation: A Fast and Scalable Joint Estimator for Integrating Additional Knowledge in Learning Multiple Related Sparse Gaussian Graphical Models (BW, AS, YQ), pp. 5148–5157.
ICML-2018-WangZLMM #approximate #parametricity: Approximate Leave-One-Out for Fast Parameter Tuning in High Dimensions (SW, WZ, HL, AM, VSM), pp. 5215–5224.
ICML-2018-WengZCSHDBD #network #robust #towards: Towards Fast Computation of Certified Robustness for ReLU Networks (TWW, HZ0, HC, ZS, CJH, LD, DSB, ISD), pp. 5273–5282.
ICML-2018-YeA: Communication-Computation Efficient Gradient Coding (MY, EA), pp. 5606–5615.
ICML-2018-YenKYHKR #composition #learning #scalability: Loss Decomposition for Fast Learning in Large Output Spaces (IEHY, SK, FXY, DNHR, SK, PR), pp. 5626–5635.
ICML-2018-YuanST #algorithm #clustering: An Efficient Semismooth Newton Based Algorithm for Convex Clustering (YY, DS, KCT), pp. 5704–5712.
ICML-2018-ZhangDG #induction #matrix #multi: Fast and Sample Efficient Inductive Matrix Completion via Multi-Phase Procrustes Flow (XZ, SSD, QG), pp. 5751–5760.
ICML-2018-ZhangFL: High Performance Zero-Memory Overhead Direct Convolutions (JZ, FF, TML), pp. 5771–5780.
ICML-2018-ZhangLD #network: Stabilizing Gradients for Deep Neural Networks via Efficient SVD Parameterization (JZ, QL, ISD), pp. 5801–5809.
ICML-2018-ZhouF #comprehension #optimisation: Understanding Generalization and Optimization Performance of Deep CNNs (PZ, JF), pp. 5955–5964.
ICML-2018-ZhouSC #algorithm #convergence #probability: A Simple Stochastic Variance Reduced Algorithm with Fast Convergence Rates (KZ, FS, JC), pp. 5975–5984.
ICML-2018-ZhouZZ #algorithm: Racing Thompson: an Efficient Algorithm for Thompson Sampling with Non-conjugate Priors (YZ, JZ0, JZ), pp. 5995–6003.
ICPR-2018-CaoLZSLS #detection #named #network: ThinNet: An Efficient Convolutional Neural Network for Object Detection (SC, YL, CZ, QSS, PL, SS), pp. 836–841.
ICPR-2018-ChangWZ #linear #network #self: Piecewise Linear Units for Fast Self-Normalizing Neural Networks (YC, XW, SZ), pp. 429–434.
ICPR-2018-ChenDHLH #automation #classification #clustering #image: Improving Image Classification Performance with Automatically Hierarchical Label Clustering (ZC, CD, LH, DL, HH), pp. 1863–1868.
ICPR-2018-ChenLZ #gesture #recognition #taxonomy: Temporal Hierarchical Dictionary with HMM for Fast Gesture Recognition (HC, XL0, GZ), pp. 3378–3383.
ICPR-2018-FaulaBE #analysis #image: A Fast Local Analysis by Thresholding applied to image matching (YF, SB, VE), pp. 3055–3060.
ICPR-2018-GaoXLY: A fast Cascade Shape Regression Method based on CNN-based Initialization (PG, JX, KL, YY), pp. 3037–3042.
ICPR-2018-GarrettR #3d #network #using: Fast Descriptor Extraction for Contextless 3D Registration Using a Fully Convolutional Network (TG, RR), pp. 1211–1216.
ICPR-2018-LiH #algorithm #estimation #robust #using: Fast and Robust Pose Estimation Algorithm for Bin Picking Using Point Pair Feature (ML, KH), pp. 1604–1609.
ICPR-2018-LiLWL #correlation #image: Fast Single Image Dehazing via Positive Correlation (BL, YL, CW, YL0), pp. 2020–2025.
ICPR-2018-LingLZL #estimation #image #network: Joint Haze-relevant Features Selection and Transmission Estimation via Deep Belief Network for Efficient Single Image Dehazing (ZL, XL, WZ, ML), pp. 133–139.
ICPR-2018-LiuMZ #named #quality: Artsy-GAN: A style transfer system with improved quality, diversity and performance (HL, PNM, DZ), pp. 79–84.
ICPR-2018-LuoY #architecture #network #segmentation: Fast Skin Lesion Segmentation via Fully Convolutional Network with Residual Architecture and CRF (WL, MY), pp. 1438–1443.
ICPR-2018-MaWWW #detection #multi #named #network: MDCN: Multi-Scale, Deep Inception Convolutional Neural Networks for Efficient Object Detection (WM, YW, ZW, GW), pp. 2510–2515.
ICPR-2018-MengYXHHY #recognition #robust: A robust and efficient method for license plate recognition (AM, WY0, ZX, HH, LH, CY), pp. 1713–1718.
ICPR-2018-MohantyDG #detection #using: An Efficient System for Hazy Scene Text Detection using a Deep CNN and Patch-NMS (SM, TD, HPG), pp. 2588–2593.
ICPR-2018-MoTWW #approach #detection: An Efficient Approach for Polyps Detection in Endoscopic Videos Based on Faster R-CNN (XM, KT, QW, GW), pp. 3929–3934.
ICPR-2018-MustaniemiKSMH #detection #metric #using: Fast Motion Deblurring for Feature Detection and Matching Using Inertial Measurements (JM, JK, SS, JM, JH), pp. 3068–3073.
ICPR-2018-Savchenko #recognition #statistics #using: Efficient Statistical Face Recognition Using Trigonometric Series and CNN Features (AVS), pp. 3262–3267.
ICPR-2018-SinhaNGG #analysis #hybrid #navigation #network: Hybrid Path Planner for Efficient Navigation in Urban Road Networks through Analysis of Trajectory Traces (SS, MKN, SG, SKG), pp. 3250–3255.
ICPR-2018-SuHK #analysis #classification #component #multi #using: Efficient Text Classification Using Tree-structured Multi-linear Principal Component Analysis (YS, YH, CCJK), pp. 585–590.
ICPR-2018-SunYW0 #retrieval: Discriminate Cross-modal Quantization for Efficient Retrieval (PS, CY, SW, XB0), pp. 3328–3334.
ICPR-2018-WangLH #algorithm #multi: An Efficient Budget Allocation Algorithm for Multi-Channel Advertising (XW, PL, AH), pp. 886–891.
ICPR-2018-WangWL #education #learning: Weakly- and Semi-supervised Faster R-CNN with Curriculum Learning (JW, XW, WL0), pp. 2416–2421.
ICPR-2018-WuLPL #embedded #named #robust: Em-SLAM: a Fast and Robust Monocular SLAM Method for Embedded Systems (YW, ZL, SP, TL), pp. 1882–1887.
ICPR-2018-Yan0R #classification #framework #representation #scalability: An Efficient Deep Representation Based Framework for Large-Scale Terrain Classification (YY, AR0, SR), pp. 940–945.
ICPR-2018-ZhangCSZWHJL #assessment #named #network #quality: SlideNet: Fast and Accurate Slide Quality Assessment Based on Deep Neural Networks (TZ, JC, DFS, KZ, AW, PH, AJ, BCL), pp. 2314–2319.
ICPR-2018-ZhangZZL #bound #detection #image: Boundary-based Image Forgery Detection by Fast Shallow CNN (ZZ, YZ, ZZ, JL), pp. 2658–2663.
ICPR-2018-ZhongZ #segmentation #semantics: Efficient Object Region Discovery for Weakly-supervised Semantic Segmentation (MZ, GZ), pp. 2166–2171.
ICPR-2018-ZuGBT #scalability: Saliency guided fast interpolation for large displacement optical flow (YZ, KG, XB, WT), pp. 1145–1150.
KDD-2018-0001C #probability #recommendation: Efficient Attribute Recommendation with Probabilistic Guarantee (CW0, KC), pp. 2387–2396.
KDD-2018-ConoverHBSS #named: Pangloss: Fast Entity Linking in Noisy Text Environments (MDC, MH, SB, PS, SS), pp. 168–176.
KDD-2018-DasSCHLCKC #learning #named #using: SHIELD: Fast, Practical Defense and Vaccination for Deep Learning using JPEG Compression (ND, MS, STC, FH, SL, LC, MEK, DHC), pp. 196–204.
KDD-2018-DuT #equation #graph #mining #named: FASTEN: Fast Sylvester Equation Solver for Graph Mining (BD, HT), pp. 1339–1347.
KDD-2018-HuangMFFT #symmetry: Accurate and Fast Asymmetric Locality-Sensitive Hashing Scheme for Maximum Inner Product Search (QH, GM, JF, QF, AKHT), pp. 1561–1570.
KDD-2018-IyengarLISW #approach #data-driven #energy #named: WattHome: A Data-driven Approach for Energy Efficiency Analytics at City-scale (SI, SL, DEI, PJS, BW), pp. 396–405.
KDD-2018-LiMSGLDQ0 #privacy: An Efficient Two-Layer Mechanism for Privacy-Preserving Truth Discovery (YL, CM, LS, JG0, QL0, BD, ZQ, KR0), pp. 1705–1714.
KDD-2018-LinZXZ #learning #multi #scalability: Efficient Large-Scale Fleet Management via Multi-Agent Deep Reinforcement Learning (KL, RZ, ZX, JZ), pp. 1774–1783.
KDD-2018-LiuZC #learning #metric: Efficient Similar Region Search with Deep Metric Learning (YL, KZ0, GC), pp. 1850–1859.
KDD-2018-ManapragadaWS: Extremely Fast Decision Tree (CM, GIW, MS), pp. 1953–1962.
KDD-2018-ManzoorLA: Extremely Fast Decision Tree (EAM, HL, LA), pp. 1963–1972.
KDD-2018-NaKY #data type #detection #effectiveness #memory management #named: DILOF: Effective and Memory Efficient Local Outlier Detection in Data Streams (GSN, DHK, HY), pp. 1993–2002.
KDD-2018-Park0 #effectiveness #graph #named #scalability: EvoGraph: An Effective and Efficient Graph Upscaling Method for Preserving Graph Properties (HP, MSK0), pp. 2051–2059.
KDD-2018-PellegrinaV #mining #mutation testing #permutation #testing: Efficient Mining of the Most Significant Patterns with Permutation Testing (LP, FV), pp. 2070–2079.
KDD-2018-ShiPHMWMMLDC: Audience Size Forecasting: Fast and Smart Budget Planning for Media Buyers (YS, CP, RH, WM, MHW, JM, PM, PL, RDW, RC), pp. 744–753.
KDD-2018-TangW #learning #modelling #ranking #recommendation: Ranking Distillation: Learning Compact Ranking Models With High Performance for Recommender System (JT, KW), pp. 2289–2298.
KDD-2018-Valdez-VivasGKF #detection #distributed #framework #realtime: A Real-time Framework for Detecting Efficiency Regressions in a Globally Distributed Codebase (MVV, CG, AK, EF, KG, SC), pp. 821–829.
KDD-2018-WangZBZCY #learning #mobile #privacy: Not Just Privacy: Improving Performance of Private Deep Learning in Mobile Cloud (JW0, JZ, WB, XZ, BC, PSY), pp. 2407–2416.
KDD-2018-WongPKFJ #biology #community #named #network: SDREGION: Fast Spotting of Changing Communities in Biological Networks (SWHW, CP, MK, CF, IJ), pp. 867–875.
KDD-2018-YeZXZGD #mobile #paradigm #parallel #recommendation: Multi-User Mobile Sequential Recommendation: An Efficient Parallel Computing Paradigm (ZY, LZ, KX, WZ, YG, YD), pp. 2624–2633.
KDD-2018-YeZZGZ #evaluation #named #parallel: RapidScorer: Fast Tree Ensemble Evaluation by Maximizing Compactness in Data Level Parallelization (TY, HZ, WYZ, BG, RZ), pp. 941–950.
KDD-2018-ZhaoAS0 #classification #dependence #predict #using: Prediction-time Efficient Classification Using Feature Computational Dependencies (LZ0, AAF, MS, KZ0), pp. 2787–2796.
ECMFA-2018-YohannisRPK #modelling #towards: Towards Efficient Loading of Change-Based Models (AY, HHR, FP, DSK), pp. 235–250.
MoDELS-2018-Boronat #domain-specific language #model transformation: Expressive and Efficient Model Transformation with an Internal DSL of Xtend (AB), pp. 78–88.
MoDELS-2018-RioMBB #energy #modelling #process: Efficient use of local energy: An activity oriented modeling to guide Demand Side Management (AR, YM, OB, YB), pp. 458–468.
ECOOP-2018-GrechKS #analysis #graph #string: Efficient Reflection String Analysis via Graph Coloring (NG, GK, YS), p. 25.
Onward-2018-BrandauerCW #approach #composition #implementation: C♭: a new modular approach to implementing efficient and tunable collections (SB, EC, TW), pp. 57–71.
OOPSLA-2018-BezansonCCKSVZ #design #named: Julia: dynamism and performance reconciled by design (JB, JC, BC, SK, VBS, JV, LZ), p. 23.
OOPSLA-2018-WongMLK #bytecode #execution #program transformation: Faster variational execution with transparent bytecode transformation (CPW, JM, LL, CK), p. 30.
PLATEAU-2018-SantolucitoGWP #programming: Programming by Example: Efficient, but Not “Helpful” (MS, DG, AW, RP), p. 10.
PLDI-2018-AcarCGRS #parallel #scheduling: Heartbeat scheduling: provable efficiency for nested parallelism (UAA, AC, AG, MR, FS), pp. 769–782.
PLDI-2018-Adams #float #named #string: Ryū: fast float-to-string conversion (UA), pp. 270–282.
PLDI-2018-LiuH #analysis #concurrent #debugging #difference #named #parallel: D4: fast concurrency debugging with parallel differential analysis (BL, JH0), pp. 359–373.
PLDI-2018-ShiXWZFZ #analysis #named #precise: Pinpoint: fast and precise sparse value flow analysis for million lines of code (QS, XX0, RW, JZ, GF, CZ), pp. 693–706.
PLDI-2018-SteindorferV #exclamation #functional #multi: To-many or to-one? all-in-one! efficient purely functional multi-maps with type-heterogeneous hash-tries (MJS, JJV), pp. 283–295.
POPL-2018-AgrawalC0 #approach #probability #ranking #source code #termination: Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs (SA, KC, PN0), p. 32.
PPDP-2018-KlemenS0MH #runtime #source code: Static Performance Guarantees for Programs with Runtime Checks (MK, NS, PLG0, JFM, MVH), p. 13.
SAS-2018-BecchiZ #abstract domain: An Efficient Abstract Domain for Not Necessarily Closed Polyhedra (AB, EZ), pp. 146–165.
SAS-2018-ChawdharyK: Closing the Performance Gap Between Doubles and Rationals for Octagons (AC, AK), pp. 187–204.
ASE-2018-BeyerL #execution #named #symbolic computation: CPA-SymExec: efficient symbolic execution in CPAchecker (DB, TL), pp. 900–903.
ASE-2018-HabchiBR #android #on the: On adopting linters to deal with performance concerns in Android apps (SH, XB0, RR), pp. 6–16.
ASE-2018-HanYL #debugging #learning #named: PerfLearner: learning from bug reports to understand and generate performance test frames (XH, TY, DL0), pp. 17–28.
ASE-2018-Traini #distributed #effectiveness #fault #framework #injection #multi: A multi-objective framework for effective performance fault injection in distributed systems (LT), pp. 936–939.
ESEC-FSE-2018-FedorovaMBRWMY #comprehension: Performance comprehension at WiredTiger (AF, CM, IB, JR, AW, SM, LY), pp. 83–94.
ESEC-FSE-2018-FooCYAS #library #static analysis: Efficient static checking of library updates (DF, HC, JY, MYA, AS), pp. 791–796.
ESEC-FSE-2018-GadelhaMCN #debugging #detection #towards: Towards counterexample-guided k-induction for fast bug detection (MYRG, FRM, LCC, DAN), pp. 765–769.
ESEC-FSE-2018-JamshidiVKS #configuration management #learning #modelling: Learning to sample: exploiting similarities across environments to learn performance models for configurable systems (PJ, MV, CK, NS), pp. 71–82.
ICSE-2018-ArifSS #empirical #physics #testing: Empirical study on the discrepancy between performance testing results from virtual and physical environments (MMA, WS, ES), p. 822.
ICSE-2018-ChenCXWCLX #named #optimisation: Speedoo: prioritizing performance optimization opportunities (ZC, BC0, LX0, XW, LC0, YL0, BX), pp. 811–821.
ICSE-2018-DutraLBS #satisfiability #testing: Efficient sampling of SAT solutions for testing (RD, KL, JB, KS), pp. 549–559.
ICSE-2018-MirandaCVB #scalability #similarity #testing: FAST approaches to scalable similarity-based test case prioritization (BM, EC, RV, AB), pp. 222–232.
ICSE-2018-SirresBKLKKT #code search #query: Augmenting and structuring user queries to support efficient free-form code search (RS, TFB, DK0, DL0, JK, KK, YLT), p. 945.
ICSE-2018-TsantalisMEMD #commit #detection #refactoring: Accurate and efficient refactoring detection in commit history (NT, MM, LME, DM, DD), pp. 483–494.
ICSE-2018-WangCH #comprehension #empirical #stack: Understanding the factors for fast answers in technical Q&A websites: an empirical study of four stack exchange websites (SW0, THC, AEH), p. 884.
ICSE-2018-YangSLYC #case study #debugging #how #web: How not to structure your database-backed web applications: a study of performance bugs in the wild (JY, PS, SL, CY, AC), pp. 800–810.
ASPLOS-2018-BestaHYAMH #energy #network #scalability: Slim NoC: A Low-Diameter On-Chip Network Topology for High Energy Efficiency and Scalability (MB, SMH, SY, RA, OM, TH), pp. 43–55.
ASPLOS-2018-DickensGFH #encryption #named #using: StrongBox: Confidentiality, Integrity, and Performance using Stream Ciphers for Full Drive Encryption (BDI, HSG, AJF, HH), pp. 708–721.
ASPLOS-2018-LeeKLCGK #evaluation #named: WSMeter: A Performance Evaluation Methodology for Google's Production Warehouse-Scale Computers (JL, CK, KL, LC, RG, JK), pp. 549–563.
ASPLOS-2018-MallonGJ #named: DLibOS: Performance and Protection with a Network-on-Chip (SM, VG, GJ), pp. 737–750.
ASPLOS-2018-TaassoriSB #named #verification: VAULT: Reducing Paging Overheads in SGX with Efficient Integrity Verification Structures (MT, AS, RB), pp. 665–678.
CASE-2018-AshouriHNS #approximate #detection #energy #using: Energy Performance Based Anomaly Detection in Non-Residential Buildings Using Symbolic Aggregate Approximation (AA, YH, GRN, WS0), pp. 1400–1405.
CASE-2018-Cho #automation #design #fault: CKF-based Fast Error Compensation Filter Design for IR-UWB Indoor Positioning System for Building Automation (SYC), pp. 668–670.
CASE-2018-FeiLCWH #energy #fuzzy #petri net: Fuzzy Petri Net Based Intelligent Machine Operation of Energy Efficient Manufacturing System (ZF, SL, QC, JW, YH), pp. 1593–1598.
CASE-2018-GalvanauskasSLB #algorithm #design #development #process: Development and Investigation of Efficient Substrate Feeding and Dissolved Oxygen Control Algorithms for Design of Recombinant E. coli Cultivation Process (VG, RS, DL, MB, RU), pp. 657–660.
CASE-2018-KangYJ #analysis #realtime #using: Real-time Production Performance Analysis Using Machine Degradation Signals: a Two-Machine Case (YK, HY, FJ), pp. 1501–1506.
CASE-2018-KastnerKSJH #architecture #communication #cyber-physical #design: Design of an efficient Communication Architecture for Cyber-Physical Production Systems (FK, DK, CS, BJ, MH), pp. 829–835.
CASE-2018-KoppMPS #assessment: Simulation-based Performance Assessment of Tool Requalification Strategies in Wafer Fabs (DK, LM, DP, MS), pp. 638–641.
CASE-2018-LiuFHW #contest #hybrid: Increasing Fuel Efficiency of a Hybrid Electric Competition Car by a Binary Equivalent Consumption Minimization Strategy (TL, LF, MH, JW), pp. 1–7.
CASE-2018-LiXPC #markov #probability: Efficient Sampling Procedure for Selecting the Largest Stationary Probability of a Markov Chain (HL, XX, YP, CHC), pp. 899–905.
CASE-2018-MaierUG #automation #continuation #implementation #multi: Efficient Implementation of Task Automation to Support Multidisciplinary Engineering of CPS (RM, SU, MG), pp. 1388–1393.
CASE-2018-OutafraoutAN #analysis #approach #hybrid #modelling #multi #petri net: A colored hybrid Petri net-based modeling approach for performance analysis of a multi-modal transportation system (KO, EhCEA, ANSM), pp. 1568–1573.
CASE-2018-RoselliBA #comparison #evaluation #modelling #problem #scheduling #smt: SMT Solvers for Job-Shop Scheduling Problems: Models Comparison and Performance Evaluation (SFR, KB, KÅ), pp. 547–552.
CASE-2018-SarkarDA #multi #semantics #towards: Semantic knowledge driven utility calculation towards efficient multi-robot task allocation (CS, SD, MA), pp. 144–147.
CASE-2018-SundstromWL #energy #probability #robust: Robust and Energy Efficient Trajectories in a Stochastic Common Workspace Setting (NS, OW, BL), pp. 77–83.
CASE-2018-VitoloMCM #algorithm #evaluation #navigation: Performance Evaluation of the Dyna-Q algorithm for Robot Navigation (EV, ASM, JC, CM), pp. 322–327.
CASE-2018-Zou0HAX #analysis: Analysis of End-of-State Impact on Manufacturing System Production Performance (JZ, QC0, JH0, JA, GX), pp. 823–828.
CC-2018-ErtelGAC #compilation: Compiling for concise code and efficient I/O (SE, AG, JA, JC), pp. 104–115.
CC-2018-KastrinisBFPS #alias #analysis #data type: An efficient data structure for must-alias analysis (GK, GB, KF, NPK, YS), pp. 48–58.
CC-2018-SunBHB #dynamic analysis: Efficient dynamic analysis for Node.js (HS, DB, CH, WB), pp. 196–206.
CC-2018-ThierEK #constraints #flexibility: Fast and flexible instruction selection with constraints (PT, MAE, AK), pp. 93–103.
CGO-2018-BaghsorkhiM #automation #power management: Automating efficient variable-grained resiliency for low-power IoT systems (SSB, CM), pp. 38–49.
CGO-2018-CostaA #framework #named: CollectionSwitch: a framework for efficient and dynamic collection selection (DC0, AA0), pp. 16–26.
CGO-2018-HagedornSSGD #code generation: High performance stencil code generation with lift (BH, LS, MS, SG, CD), pp. 100–112.
CGO-2018-ToffolaPG #source code: Synthesizing programs that expose performance bottlenecks (LDT, MP, TRG), pp. 314–326.
CGO-2018-XieZLGJHZ #named: CVR: efficient vectorization of SpMV on x86 processors (BX, JZ, XL0, WG, ZJ, XH, LZ0), pp. 149–162.
FASE-2018-ChechikSDR #analysis #commutative #named: FPH: Efficient Non-commutativity Analysis of Feature-Based Systems (MC, IS, CD, JR), pp. 319–336.
FASE-2018-LechenetKG #dependence: Fast Computation of Arbitrary Control Dependencies (JCL, NK, PLG), pp. 207–224.
CAV-2018-SinghPV #learning #program analysis: Fast Numerical Program Analysis with Reinforcement Learning (GS, MP, MTV), pp. 211–229.
CAV-2018-LiDPRV #approximate #named #reachability: SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability (JL, RD, GP, KYR, MYV), pp. 37–44.
ICST-2018-AlsharifKM #database #effectiveness #generative #named #relational #testing: DOMINO: Fast and Effective Test Data Generation for Relational Database Schemas (AA, GMK, PM), pp. 12–22.
ICST-2018-WalterSPR #clustering #execution #independence #order: Improving Test Execution Efficiency Through Clustering and Reordering of Independent Test Steps (BW, MS, MP, SR), pp. 363–373.
ICST-2018-WangTHHSSP #testing: Testing Cloud Applications under Cloud-Uncertainty Performance Effects (WW0, NT, SH, SH, AS, MLS, LLP), pp. 81–92.
IJCAR-2018-ClaessenS #encoding #equation #first-order #logic: Efficient Encodings of First-Order Horn Formulas in Equational Logic (KC, NS), pp. 388–404.
IJCAR-2018-HoenickeS #array #formal method: Efficient Interpolation for the Theory of Arrays (JH, TS), pp. 549–565.
IJCAR-2018-UrbaniKJDC #logic: Efficient Model Construction for Horn Logic with VLog - System Description (JU, MK, CJHJ, ID, DC), pp. 680–688.
ECSA-2017-NguyenOG #analysis #design #process #repository: PARAD Repository: On the Capitalization of the Performance Analysis Process for AADL Designs (TDN, YO, EG), pp. 22–39.
CSEET-2017-SchoeffelWR #motivation #re-engineering #student: Impact of Pre-University Factors on the Motivation and Performance of Undergraduate Students in Software Engineering (PS, RSW, VFCR), pp. 266–275.
EDM-2017-KlinglerWKSG #classification #student: Efficient Feature Embeddings for Student Classification with Variational Auto-encoders (SK, RW, TK, BS, MHG).
EDM-2017-RihakP #education #similarity #using: Measuring Similarity of Educational Items Using Data on Learners' Performance (JR, RP).
EDM-2017-ShiPG #analysis #learning #using: Using an Additive Factor Model and Performance Factor Analysis to Assess Learning Gains in a Tutoring System to Help Adults with Reading Difficulties (GS, PIPJ, ACG).
EDM-2017-WanDGYL #online #predict: Predicting Performance in a Small Private Online Course (HW, JD, XG, QY, KL).
ICPC-2017-HozanoGAFC #detection #developer #exclamation #smell: Smells are sensitive to developers!: on the efficiency of (un)guided customized detection (MH, AG, NA, BF, EdBC), pp. 110–120.
ICSME-2017-ChenS #case study: An Exploratory Study of Performance Regression Introducing Code Changes (JC, WS), pp. 341–352.
MSR-2017-BisongTB #modelling #predict: Built to last or built too fast?: evaluating prediction models for build times (EB, ET, OB), pp. 487–490.
SANER-2017-AltingerHSGW #fault #predict: Performance tuning for automotive Software Fault Prediction (HA, SH, FS, JG, FW), pp. 526–530.
SANER-2017-EttingerTM #automation: Efficient method extraction for automatic elimination of type-3 clones (RE, SST, SM), pp. 327–337.
SANER-2017-NucciPPPZL #android #energy #profiling #question #reliability: Software-based energy profiling of Android apps: Simple, efficient and reliable? (DDN, FP, AP, AP, AZ, ADL), pp. 103–114.
Haskell-2017-WiegleyD #coq #haskell #using: Using Coq to write fast and correct Haskell (JW, BD), pp. 52–62.
Haskell-2017-YatesS #transaction: Improving STM performance with transactional structs (RY, MLS), pp. 186–196.
ICFP-2017-OwensNKMT #verification: Verifying efficient function calls in CakeML (SO, MN, RK, MOM, YKT), p. 27.
ICFP-2017-Spivey #pipes and filters: Faster coroutine pipelines (JMS), p. 23.
AIIDE-2017-ClarkF #random #scalability #search-based: Fast Random Genetic Search for Large-Scale RTS Combat Scenarios (CC, AF), pp. 165–171.
CHI-PLAY-2017-JohansonGM #3d #game studies #learning #navigation: The Effects of Navigation Assistance on Spatial Learning and Performance in a 3D Game (CJ, CG, RLM), pp. 341–353.
CIG-2017-JeonYYK #game studies #mobile #predict: Extracting gamers' cognitive psychological features and improving performance of churn prediction from mobile games (JJ, DY, SIY, KJK), pp. 150–153.
DiGRA-2017-WitkowskiM #game studies: Playing with(out) Power: Negotiated conventions of high performance networked play practices (EW, JM).
FDG-2017-ChungKYMRC #game studies #visual notation: The impact of visual load on performance in a human-computation game (CC, AK, YY, AM, JR, MC), p. 4.
FDG-2017-Mawhorter #case study #generative #product line #representation #using: Efficiency, realism, and representation in generated content: a case study using family tree generation (PAM), p. 4.
CIKM-2017-AnwarNH #approach #community #novel: A Novel Approach for Efficient Computation of Community Aware Ridesharing Groups (SA, SN, TH), pp. 1971–1974.
CIKM-2017-BaskaranKCGS #dependence #functional #ontology: Efficient Discovery of Ontology Functional Dependencies (SB, AK0, FC, LG, JS), pp. 1847–1856.
CIKM-2017-BastB #named #query: QLever: A Query Engine for Efficient SPARQL+Text Search (HB, BB), pp. 647–656.
CIKM-2017-ChenAS #analysis #bias #empirical: An Empirical Analysis of Pruning Techniques: Performance, Retrievability and Bias (RCC, LA, FS), pp. 2023–2026.
CIKM-2017-CristoHCLP #modelling #recognition #word: Fast Word Recognition for Noise channel-based Models in Scenarios with Noise Specific Domain Knowledge (MC, RH, ALdCC, FAL, MdGCP), pp. 607–616.
CIKM-2017-DingLHM #fault tolerance #recommendation #using: Efficient Fault-Tolerant Group Recommendation Using alpha-beta-core (DD, HL, ZH0, NM), pp. 2047–2050.
CIKM-2017-DongCWT0LLC #enterprise #security #sequence: Efficient Discovery of Abnormal Event Sequences in Enterprise Security Systems (BD, ZC, WHW, LAT, KZ0, YL, ZL, HC), pp. 707–715.
CIKM-2017-HoangL #clustering #mining #network: Highly Efficient Mining of Overlapping Clusters in Signed Weighted Networks (TAH, EPL), pp. 869–878.
CIKM-2017-HuHQ #algorithm #communication #parallel #parametricity: A Communication Efficient Parallel DBSCAN Algorithm based on Parameter Server (XH, JH0, MQ), pp. 2107–2110.
CIKM-2017-HuWBZC #clustering #scalability: Fast K-means for Large Scale Clustering (QH, JW, LB0, YZ0, JC0), pp. 2099–2102.
CIKM-2017-KimPP #machine learning #modelling: Machine Learning based Performance Modeling of Flash SSDs (JK, JP, SP), pp. 2135–2138.
CIKM-2017-LeL #personalisation #ranking #recommendation: Indexable Bayesian Personalized Ranking for Efficient Top-k Recommendation (DDL, HWL), pp. 1389–1398.
CIKM-2017-ProskurniaM0AC #detection #documentation #topic #using: Efficient Document Filtering Using Vector Space Topic Expansion and Pattern-Mining: The Case of Event Detection in Microposts (JP, RM, CC0, KA, PCM), pp. 457–466.
CIKM-2017-RahmanAKD #category theory: Efficient Computation of Subspace Skyline over Categorical Domains (MFR, AA, NK, GD0), pp. 407–416.
CIKM-2017-SchaferL #classification: Fast and Accurate Time Series Classification with WEASEL (PS0, UL), pp. 637–646.
CIKM-2017-SeoK #algorithm #clustering #graph #named #scalability: pm-SCAN: an I/O Efficient Structural Clustering Algorithm for Large-scale Graphs (JHS, MHK), pp. 2295–2298.
CIKM-2017-WuSZ #approach #behaviour #detection #modelling: A Fast Trajectory Outlier Detection Approach via Driving Behavior Modeling (HW0, WS, BZ), pp. 837–846.
CIKM-2017-YanCYL #comprehension #database #web: Understanding Database Performance Inefficiencies in Real-world Web Applications (CY, AC, JY, SL), pp. 1299–1308.
CIKM-2017-YuQL0CZ #algorithm: Fast Algorithms for Pareto Optimal Group-based Skyline (WY, ZQ, JL, LX0, XC, HZ), pp. 417–426.
ECIR-2017-ArguelloA0 #predict #query #using: Using Query Performance Predictors to Reduce Spoken Queries (JA, SA, FD0), pp. 27–39.
ECIR-2017-HafizogluKA #on the: On the Efficiency of Selective Search (FH, ECK, ISA), pp. 705–712.
ECIR-2017-HasibiBB #effectiveness #query: Entity Linking in Queries: Efficiency vs. Effectiveness (FH, KB, SEB), pp. 40–53.
ECIR-2017-KhandelwalA #clustering #estimation: Faster K-Means Cluster Estimation (SK, AA), pp. 520–526.
ICML-2017-AliWK #programming: A Semismooth Newton Method for Fast, Generic Convex Programming (AA, EW, JZK), pp. 70–79.
ICML-2017-Allen-Zhu #named #optimisation #parametricity #probability: Natasha: Faster Non-Convex Stochastic Optimization via Strongly Non-Convex Parameter (ZAZ), pp. 89–97.
ICML-2017-Allen-ZhuL: Doubly Accelerated Methods for Faster CCA and Generalized Eigendecomposition (ZAZ, YL), pp. 98–106.
ICML-2017-Allen-ZhuL17a #approximate #component #matrix: Faster Principal Component Regression and Stable Matrix Chebyshev Approximation (ZAZ, YL), pp. 107–115.
ICML-2017-Allen-ZhuL17b #learning #online: Follow the Compressed Leader: Faster Online Learning of Eigenvectors and Faster MMWU (ZAZ, YL), pp. 116–125.
ICML-2017-AndersonG #algorithm #approximate #online #rank: An Efficient, Sparsity-Preserving, Online Algorithm for Low-Rank Approximation (DGA, MG0), pp. 156–165.
ICML-2017-BackursT #algorithm #clique: Improving Viterbi is Hard: Better Runtimes Imply Faster Clique Algorithms (AB, CT), pp. 311–321.
ICML-2017-BeygelzimerOZ #learning #multi #online: Efficient Online Bandit Multiclass Learning with Õ(√T) Regret (AB, FO, CZ), pp. 488–497.
ICML-2017-BolukbasiWDS #adaptation #network: Adaptive Neural Networks for Efficient Inference (TB, JW0, OD, VS), pp. 527–536.
ICML-2017-BrownS #convergence #game studies: Reduced Space and Faster Convergence in Imperfect-Information Games via Pruning (NB, TS), pp. 596–604.
ICML-2017-CaiDK #testing: Priv'IT: Private and Sample Efficient Identity Testing (BC, CD, GK0), pp. 635–644.
ICML-2017-ChenLK #estimation #matrix #towards: Toward Efficient and Accurate Covariance Matrix Estimation on Compressed Data (XC, MRL, IK), pp. 767–776.
ICML-2017-ChenYLZ #online #optimisation #scalability: Online Partial Least Square Optimization: Dropping Convexity for Better Efficiency and Scalability (ZC, LFY, CJL, TZ), pp. 777–786.
ICML-2017-FinnAL #adaptation #network: Model-Agnostic Meta-Learning for Fast Adaptation of Deep Networks (CF, PA, SL), pp. 1126–1135.
ICML-2017-GautierBV: Zonotope Hit-and-run for Efficient Sampling from Projection DPPs (GG, RB, MV), pp. 1223–1232.
ICML-2017-GraveJCGJ #approximate: Efficient softmax approximation for GPUs (EG, AJ, MC, DG, HJ), pp. 1302–1310.
ICML-2017-HanKPS #process: Faster Greedy MAP Inference for Determinantal Point Processes (IH, PK, KP, JS), pp. 1384–1393.
ICML-2017-HazanSZ #game studies: Efficient Regret Minimization in Non-Convex Games (EH, KS, CZ), pp. 1433–1441.
ICML-2017-HenriquesV: Warped Convolutions: Efficient Invariance to Spatial Transformations (JFH, AV), pp. 1461–1469.
ICML-2017-HongHZ #algorithm #distributed #learning #named #network #optimisation: Prox-PDA: The Proximal Primal-Dual Algorithm for Fast Distributed Nonconvex Optimization and Learning Over Networks (MH, DH, MMZ), pp. 1529–1538.
ICML-2017-JiangMCSMG: Efficient Nonmyopic Active Search (SJ, GM, GC, AS, BM, RG), pp. 1714–1723.
ICML-2017-JingSDPSLTS #network: Tunable Efficient Unitary Neural Networks (EUNN) and their application to RNNs (LJ, YS, TD, JP, SAS, YL, MT, MS), pp. 1733–1741.
ICML-2017-KaleKLP #adaptation #feature model #linear #online: Adaptive Feature Selection: Computationally Efficient Online Sparse Linear Regression under RIP (SK, ZSK, TL, DP), pp. 1780–1788.
ICML-2017-LiM #nearest neighbour: Fast k-Nearest Neighbour Search via Prioritized DCI (KL, JM), pp. 2081–2090.
ICML-2017-MhammediHRB #network #orthogonal #using: Efficient Orthogonal Parametrisation of Recurrent Neural Networks Using Householder Reflections (ZM, ADH, AR, JB0), pp. 2401–2409.
ICML-2017-RahmaniA #robust: Coherence Pursuit: Fast, Simple, and Robust Subspace Recovery (MR, GKA), pp. 2864–2873.
ICML-2017-Shrivastava: Optimal Densification for Fast and Accurate Minwise Hashing (AS), pp. 3154–3163.
ICML-2017-WalderB #estimation #process: Fast Bayesian Intensity Estimation for the Permanental Process (CJW, ANB), pp. 3579–3588.
ICML-2017-WangJ #optimisation: Max-value Entropy Search for Efficient Bayesian Optimization (ZW, SJ), pp. 3627–3635.
ICML-2017-WangKS0 #distributed #learning: Efficient Distributed Learning with Sparsity (JW, MK, NS, TZ0), pp. 3636–3645.
ICML-2017-WuZ #metric #multi: A Unified View of Multi-Label Performance Measures (XZW, ZHZ), pp. 3780–3788.
ICML-2017-XuLY #convergence #optimisation #probability: Stochastic Convex Optimization: Faster Local Growth Implies Faster Global Convergence (YX, QL, TY), pp. 3821–3830.
ICML-2017-ZaheerKAMS: Canopy Fast Sampling with Cover Trees (MZ, SK, AA, JMFM, AJS), pp. 3977–3986.
KDD-2017-BifetZFHZQHP #data type #evolution #mining: Extremely Fast Decision Tree Mining for Evolving Data Streams (AB, JZ, WF0, CH, JZ, JQ, GH0, BP), pp. 1733–1742.
KDD-2017-BlalockG #data mining #mining #named: Bolt: Accelerated Data Mining with Fast Vector Compression (DWB, JVG), pp. 727–735.
KDD-2017-BorisyukZK #named #towards: LiJAR: A System for Job Application Redistribution towards Efficient Career Marketplace (FB, LZ, KK), pp. 1397–1406.
KDD-2017-ChenG #optimisation: Fast Newton Hard Thresholding Pursuit for Sparsity Constrained Nonconvex Optimization (JC, QG), pp. 757–766.
KDD-2017-ConteFMPT #scalability: Fast Enumeration of Large k-Plexes (AC, DF, CM, MP, RT), pp. 115–124.
KDD-2017-DuZCT #interactive #named: FIRST: Fast Interactive Attributed Subgraph Matching (BD, SZ, NC, HT), pp. 1447–1456.
KDD-2017-HeHBHX #correlation #modelling #topic: Efficient Correlated Topic Modeling with Topic Embedding (JH, ZH, TBK, YH, EPX), pp. 225–233.
KDD-2017-HillNLIV #algorithm #multi #optimisation #realtime: An Efficient Bandit Algorithm for Realtime Multivariate Optimization (DNH, HN, YL0, AI, SVNV), pp. 1813–1821.
KDD-2017-KoutraDBWIFB #design #named: PNP: Fast Path Ensemble Method for Movie Design (DK, AD, SB, UW, SI, CF, JB), pp. 1527–1536.
KDD-2017-LouO #named: BDT: Gradient Boosted Decision Tables for High Accuracy and Scoring Efficiency (YL, MO), pp. 1893–1901.
KDD-2017-RuizPWL #quote #tool support: “The Leicester City Fairytale?”: Utilizing New Soccer Analytics Tools to Compare Performance in the 15/16 & 16/17 EPL Seasons (HR, PP, XW, PL), pp. 1991–2000.
KDD-2017-Song0H #clustering #named #parallel: PAMAE: Parallel k-Medoids Clustering with High Accuracy and Efficiency (HS, JGL0, WSH), pp. 1087–1096.
KDD-2017-WangAL #kernel #random #re-engineering: Randomized Feature Engineering as a Fast and Accurate Alternative to Kernel Methods (SW, CCA, HL0), pp. 485–494.
KDD-2017-Zhang0 #named #similarity: EmbedJoin: Efficient Edit Similarity Joins via Embeddings (HZ, QZ0), pp. 585–594.
ECMFA-2017-KonigD #consistency #modelling: Efficient Consistency Checking of Interrelated Models (HK, ZD), pp. 161–178.
ICMT-2017-Strueber #generative #modelling #search-based: Generating Efficient Mutation Operators for Search-Based Model-Driven Engineering (DS), pp. 121–137.
ECOOP-2017-HuangR #concurrent #detection #perspective #precise #what: What's the Optimal Performance of Precise Dynamic Race Detection? - A Redundancy Perspective (JH, AKR), p. 22.
Onward-2017-FrancoHWDE #abstraction: You can have it all: abstraction and good cache performance (JF, MH, TW, SD, SE), pp. 148–167.
OOPSLA-2017-ChaudhuriVGRL #javascript #precise #type checking: Fast and precise type checking for JavaScript (AC, PV, SG, MR, GL), p. 30.
OOPSLA-2017-CohenFL #memory management #protocol: Efficient logging in non-volatile memory by exploiting coherency protocols (NC, MF, JRL), p. 24.
OOPSLA-2017-SpathAB #alias #analysis #data flow #named #precise: IDEal: efficient and precise alias-aware dataflow analysis (JS, KA0, EB), p. 27.
PADL-2017-FowlerH #testing: Failing Faster: Overlapping Patterns for Property-Based Testing (JF, GH), pp. 103–119.
PLDI-2017-AbdullaACDHRR #analysis #constraints #framework #string: Flatten and conquer: a framework for efficient analysis of string constraints (PAA, MFA, YFC, BPD, LH, AR, PR), pp. 602–617.
PLDI-2017-KediaCPVVB #memory management: Simple, fast, and safe manual memory management (PK, MC, MJP, KV, DV, AB), pp. 233–247.
PLDI-2017-MamourasRAIK #composition #evaluation #named #query #specification #streaming: StreamQRE: modular specification and efficient evaluation of quantitative queries over streaming data (KM, MR, RA, ZGI, SK), pp. 693–708.
PLDI-2017-PetrashkoLO #compilation #composition #named #program transformation #using: Miniphases: compilation using modular and efficient tree transformations (DP, OL, MO), pp. 201–216.
PLDI-2017-TanLX #analysis #automaton #modelling #points-to #precise: Efficient and precise points-to analysis: modeling the heap by merging equivalent automata (TT0, YL0, JX), pp. 278–291.
POPL-2017-SinghPV #abstract domain: Fast polyhedra abstract domain (GS, MP, MTV), pp. 46–59.
PPDP-2017-BelangerA #exclamation: Shrink fast correctly! (OSB, AWA), pp. 49–60.
SAS-2017-MukherjeePSDR #abstraction #semantics #source code #thread: Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs (SM, OP, SS, DD, NR), pp. 253–276.
ASE-2017-AlatawiSM #abstract interpretation #execution #symbolic computation: Leveraging abstract interpretation for efficient dynamic symbolic execution (EA, HS, TM0), pp. 619–624.
ASE-2017-IncertoTT #adaptation #predict #self: Software performance self-adaptation through efficient model predictive control (EI, MT, CT), pp. 485–496.
ASE-2017-JamshidiSVKPA #analysis #configuration management #learning #modelling: Transfer learning for performance modeling of configurable systems: an exploratory analysis (PJ, NS, MV, CK, AP, YA), pp. 497–508.
ASE-2017-JiangWLC #android #named #sequence: SimplyDroid: efficient event sequence simplification for Android application (BJ0, YW, TL, WKC0), pp. 297–307.
ASE-2017-LessenichAKSS #precise: Renaming and shifted code in structured merging: looking ahead for precision and performance (OL, SA, CK, GS, JS), pp. 543–553.
ASE-2017-MenariniYG #case study #code review #overview #semantics #user study: Semantics-assisted code review: an efficient toolchain and a user study (MM, YY, WGG), pp. 554–565.
ESEC-FSE-2017-Schramm #automation #heuristic #program repair #using: Improving performance of automatic program repair using learned heuristics (LS), pp. 1071–1073.
ESEC-FSE-2017-SiegmundPPAHKBB #comprehension: Measuring neural efficiency of program comprehension (JS, NP, CP, SA, JH, CK, AB, AB, AB), pp. 140–150.
ESEC-FSE-2017-Tang #design #optimisation: System performance optimization via design and configuration space exploration (CT0), pp. 1046–1049.
ESEC-FSE-2017-YogaN #parallel #profiling #source code: A fast causal profiler for task parallel programs (AY, SN), pp. 15–26.
ICSE-2017-ChoudharyLP #concurrent #detection #generative #safety #testing #thread: Efficient detection of thread safety violations via coverage-guided generation of concurrent tests (AC, SL, MP), pp. 266–277.
ICSE-2017-SongL: Performance diagnosis for inefficient loops (LS, SL), pp. 370–380.
ICSE-2017-SoutodG #configuration management #testing: Balancing soundness and efficiency for practical testing of configurable systems (SS, Md, RG), pp. 632–642.
ICSE-2017-SuCFR #evaluation #markov #named #runtime: ProEva: runtime proactive performance evaluation based on continuous-time markov chains (GS, TC, YF0, DSR), pp. 484–495.
ICSE-2017-TsutanoBSRD #android #approach #robust #scalability: An efficient, robust, and scalable approach for analyzing interacting android apps (YT, SB, WSa, GR, JD), pp. 324–334.
GPCE-2017-Perard-GayotWMS #abstraction #algorithm #named #traversal: RaTrace: simple and efficient abstractions for BVH ray traversal algorithms (APG, MW, RM, PS, RL, SH), pp. 157–168.
SLE-2017-LuhunuS #code generation #comparison #tool support: Comparison of the expressiveness and performance of template-based code generation tools (LL, ES), pp. 206–216.
SLE-2017-Pereira0RRCFS #energy #how #memory management #programming language #question: Energy efficiency across programming languages: how do energy, time, and memory relate? (RP, MC, FR, RR, JC, JPF, JS), pp. 256–267.
ASPLOS-2017-BaiLI #power management: Voltage Regulator Efficiency Aware Power Management (YB, VWL, EI), pp. 825–838.
ASPLOS-2017-Bianchini: Improving Datacenter Efficiency (RB), p. 327.
ASPLOS-2017-CoxB #architecture #multi: Efficient Address Translation for Architectures with Multiple Page Sizes (GC, AB), pp. 435–448.
ASPLOS-2017-ElyasiASKDJ: Exploiting Intra-Request Slack to Improve SSD Performance (NE, MA, AS, MTK, CRD, MJ), pp. 375–388.
ASPLOS-2017-GaoPYHK #3d #memory management #named #network #scalability: TETRIS: Scalable and Efficient Neural Network Acceleration with 3D Memory (MG, JP, XY, MH, CK), pp. 751–764.
ASPLOS-2017-HuangAZ #debugging #named #semantics: Pallas: Semantic-Aware Checking for Finding Deep Bugs in Fast Path (JH0, MAB, XZ), pp. 709–722.
ASPLOS-2017-ParkPM #multi #resource management: Dynamic Resource Management for Efficient Utilization of Multitasking GPUs (JJKP, YP, SAM), pp. 527–540.
ASPLOS-2017-RajbhandariHRCC #multi #optimisation #scalability: Optimizing CNNs on Multicores for Scalability, Performance and Goodput (SR, YH, OR, MC, TMC), pp. 267–280.
ASPLOS-2017-VoraGX #approximate #graph #named #streaming: KickStarter: Fast and Accurate Computations on Streaming Graphs via Trimmed Approximations (KV, RG0, G(X), pp. 237–251.
ASPLOS-2017-WuLZJ #flexibility #named: FLEP: Enabling Flexible and Efficient Preemption on GPUs (BW0, XL0, XZ0, CJ), pp. 483–496.
CASE-2017-ChangCC #how #modelling #variability: How simplified models of different variability affects performance of ordinal transformation (CMC, SCC, CHC), pp. 1065–1066.
CASE-2017-ChenGL #analysis #identification #markov #online: Load identification based on Factorial Hidden Markov Model and online performance analysis (SC, FG, TL0), pp. 1249–1253.
CASE-2017-HonarpardazMH #design: Fast grasp tool design: From force to form closure (MH, MM, RH), pp. 782–788.
CASE-2017-HuangMY #algorithm #difference #evolution #throughput #using: Forecasting of throughput performance using an ARMA model with improved differential evolution algorithm (JTH, YM, YY), pp. 376–381.
CASE-2017-InuiKU #gpu #parallel #using: Fast extraction of cutter engagement features by using the parallel processing function of a GPU (MI, MK, NU), pp. 668–673.
CASE-2017-LeeLH #algorithm #constraints #design #evaluation: Iteration algorithms for performance evaluation and buffer design of Bernoulli serial lines with waiting time constraints (JHL, JL, JAH), pp. 654–655.
CASE-2017-LiuJXX #higher-order #probability: Fast terminal sliding mode control of high-order stochastic systems (XL, XJ, LX, HX), pp. 1592–1597.
CASE-2017-SuryajayaCHLLL #data transformation #industrial: A fast large-size production data transformation scheme for supporting smart manufacturing in semiconductor industry (BS, CCC, MHH, YYL, JXL, YCL), pp. 275–281.
CASE-2017-WangJL #case study #cyber-physical #evaluation: A study on performance evaluation and status-based decision for cyber-physical production systems (FW, FJ, YL), pp. 1000–1005.
CASE-2017-WangXDLC #energy #fuzzy: Fuzzy decision of machine switch on-off for energy efficient operation of manufacturing system (JW, JX, ETD, SL, QC), pp. 1158–1162.
CASE-2017-WangYCX #evaluation: Performance evaluation of bernoulli serial lines with batching machines (JQW, FYY, PHC, TX), p. 295.
CASE-2017-WigstromMRL #energy #multi #optimisation: Computationally efficient energy optimization of multiple robots (OW, NM, SR, BL), pp. 515–522.
CASE-2017-XiaoLYW #data-driven #database #energy #industrial #parametricity #process: An industrial data based investigation into effects of process parameters on cutting power and energy efficiency (QX, CL, QY, QW), pp. 1481–1486.
CASE-2017-XuLC #data analysis: Local AIS data analytics for efficient operation management in Vessel Traffic Service (GX, FL, CHC), pp. 1668–1672.
CASE-2017-YanZ #analysis: Efficiency analysis of series machines under operation-dependent-failures (CBY, QZ), pp. 476–481.
CASE-2017-ZhangWZ #adaptation: Fast adaptive search on the line in dual environments (JZ, YW, MZ), pp. 1540–1545.
CASE-2017-ZhaoLHD #analysis #flexibility #problem: Optimal planning of plant flexibility: Problem formulation and performance analysis (CZ, JL, NH, GAD), p. 986.
CGO-2017-DotM0 #profiling: Removing checks in dynamically typed languages through efficient profiling (GD, AM, AG0), pp. 257–268.
CGO-2017-SuLX #approach #automation #compilation #generative: Automatic generation of fast BLAS3-GEMM: a portable compiler approach (XS, XL, JX), pp. 122–133.
ESOP-2017-ChatterjeeKMP #algorithm #recursion #state machine: Faster Algorithms for Weighted Recursive State Machines (KC, BK, SM, AP), pp. 287–313.
ESOP-2017-TangWXZW0 #analysis #library #reachability #summary: Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization (HT, DW, YX, LZ, XW, LZ0), pp. 880–908.
CADE-2017-Cruz-FilipeHHKS #verification: Efficient Certified RAT Verification (LCF, MJHH, WAHJ, MK, PSK), pp. 220–236.
CADE-2017-Lammich #satisfiability: Efficient Verified (UN)SAT Certificate Checking (PL), pp. 237–254.
CAV-2017-KatzBDJK #named #network #smt #verification: Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks (GK, CWB, DLD, KJ, MJK), pp. 97–117.
CAV-2017-Fearnley #game studies #parallel: Efficient Parallel Strategy Improvement for Parity Games (JF), pp. 137–154.
CAV-2017-TouzeauMMR #analysis #nondeterminism: Ascertaining Uncertainty for Efficient Exact Cache Analysis (VT, CM, DM, JR), pp. 22–40.
CSL-2017-BresolinMS #logic #reasoning: Fast(er) Reasoning in Interval Temporal Logic (DB, EMV, GS), p. 17.
ICST-2017-DarkeCCV #abstraction #bound #model checking #proving #safety #using: Efficient Safety Proofs for Industry-Scale Code Using Abstractions and Bounded Model Checking (PD, BC, AC, RV), pp. 468–475.
ICST-2017-Gyori0PM #linear #metric #runtime: Efficient Incrementalized Runtime Checking of Linear Measures on Lists (AG, PG0, EP, PM), pp. 310–320.
ICST-2017-OliveiraFDHS #effectiveness #named #testing: Perphecy: Performance Regression Test Selection Made Simple but Effective (ABdO, SF, AD, MH, PFS), pp. 103–113.
VMCAI-2017-MarechalP: Efficient Elimination of Redundancies in Polyhedra by Raytracing (AM, MP), pp. 367–385.
QoSA-2016-LehrigB #as a service #case study #modelling #using: Using Performance Models for Planning the Redeployment to Infrastructure-as-a-Service Environments: A Case Study (SL, SB0), pp. 11–20.
QoSA-2016-StierK #adaptation #analysis #modelling #self: Considering Transient Effects of Self-Adaptations in Model-Driven Performance Analyses (CS, AK), pp. 80–89.
WICSA-2016-GesvindrB #architecture #as a service #design: Architectural Tactics for the Design of Efficient PaaS Cloud Applications (DG, BB), pp. 158–167.
JCDL-2016-HolzmannGA #named #web: ArchiveSpark: Efficient Web Archive Access, Extraction and Derivation (HH, VG, AA), pp. 83–92.
EDM-2016-al-RifaieYd #predict: Investigating Swarm Intelligence for Performance Prediction (MMaR, MYK, Md), pp. 264–269.
EDM-2016-Bydzovska #analysis #comparative #predict #student: A Comparative Analysis of Techniques for Predicting Student Performance (HB), pp. 306–311.
EDM-2016-Mojarad #student #using: Studying Assignment Size and Student Performance Using Propensity Score Matching (SM), pp. 701–702.
EDM-2016-MoriC #behaviour #identification #online #student: Identifying Student Behaviors Early in the Term for Improving Online Course Performance (MM, PC), pp. 611–612.
EDM-2016-RenRJ #modelling #multi #predict #using: Predicting Performance on MOOC Assessments using Multi-Regression Models (ZR, HR, AJ), pp. 484–489.
EDM-2016-SahebiLB #modelling #predict #student: Tensor Factorization for Student Modeling and Performance Prediction in Unstructured Domain (SS, YRL, PB), pp. 502–506.
EDM-2016-SnowKPFB #how #learning #online #student: Quantifying How Students Use an Online Learning System: A Focus on Transitions and Performance (ELS, AEK, TEP, MF, AJB), pp. 640–641.
EDM-2016-StapelZP #learning #online #predict #student: An Ensemble Method to Predict Student Performance in an Online Math Learning Environment (MS, ZZ, NP), pp. 231–238.
EDM-2016-SweeneyLRJ #approach #predict #recommendation #student: Next-Term Student Performance Prediction: A Recommender Systems Approach (MS, JL, HR, AJ), p. 7.
EDM-2016-TomkinsRG #behaviour #case study #predict #student: Predicting Post-Test Performance from Student Behavior: A High School MOOC Case Study (ST, AR, LG), pp. 239–246.
ICSME-2016-AlghmadiSSH #approach #automation #recommendation #testing: An Automated Approach for Recommending When to Stop Performance Tests (HMA, MDS, WS, AEH), pp. 279–289.
ICSME-2016-MarijanL #testing: Effect of Time Window on the Performance of Continuous Regression Testing (DM, ML), pp. 568–571.
ICSME-2016-NewmanMC #named #static typing: srcType: A Tool for Efficient Static Type Resolution (CDN, JIM, MLC), pp. 604–606.
ICSME-2016-PalombaZFLO #debugging #predict #smell #using: Smells Like Teen Spirit: Improving Bug Prediction Performance Using the Intensity of Code Smells (FP, MZ, FAF, ADL, RO), pp. 244–255.
ICSME-2016-PintoLCL #energy #java #thread: A Comprehensive Study on the Energy Efficiency of Java's Thread-Safe Collections (GP0, KL, FC, YDL), pp. 20–31.
ICSME-2016-PintoLCL16a #energy #java #thread: Artifacts for “A Comprehensive Study on the Energy Efficiency of Java's Thread-Safe Collections” (GP0, KL, FC, YDL), pp. 614–615.
MSR-2016-AhmedBCHS #case study #detection #effectiveness #experience #tool support #web: Studying the effectiveness of application performance management (APM) tools for detecting performance regressions for web applications: an experience report (TMA, CPB, THC, AEH, WS), pp. 1–12.
MSR-2016-GomezRAS #android #automation #detection #mining #repository #user interface: Mining test repositories for automatic detection of UI performance regressions in Android apps (MG0, RR, BA, LS), pp. 13–24.
MSR-2016-LuoPG #evolution #mining: Mining performance regression inducing code changes in evolving software (QL, DP, MG), pp. 25–36.
SANER-2016-ChowdhurySH #developer #energy #mobile #web: Client-Side Energy Efficiency of HTTP/2 for Web and Mobile App Developers (SAC, VS, AH), pp. 529–540.
SANER-2016-SwidanHK #case study #scalability #spreadsheet: Improving the Performance of a Large Scale Spreadsheet: A Case Study (AS, FH, RK), pp. 673–677.
SANER-2016-YeZMYZ #javascript #precise #slicing #source code: Efficient and Precise Dynamic Slicing for Client-Side JavaScript Programs (JY, CZ, LM0, HY0, JZ), pp. 449–459.
SCAM-2016-MingW #concurrent #control flow #multi #named #profiling #thread: BinCFP: Efficient Multi-threaded Binary Code Control Flow Profiling (JM0, DW), pp. 61–66.
CIAA-2016-WaszczukSP #parsing: Enhancing Practical TAG Parsing Efficiency by Capturing Redundancy (JW, AS, YP0), pp. 310–321.
IFM-2016-0002HB #code review #formal method #question: Can Formal Methods Improve the Efficiency of Code Reviews? (MH0, RH, RB), pp. 3–19.
IFM-2016-AntoninoGR #analysis #satisfiability #using: Efficient Deadlock-Freedom Checking Using Local Analysis and SAT Solving (PA, TGR, AWR), pp. 345–360.
Haskell-2016-Yamamoto #case study #experience #haskell: Experience report: developing high performance HTTP/2 server in Haskell (KY), pp. 74–79.
AIIDE-2016-FarrellW: Fast and Diverse Narrative Planning through Novelty Pruning (RF, SGW), pp. 37–43.
CHI-PLAY-2016-EmmerichM #experience: The Influence of Virtual Agents on Player Experience and Performance (KE, MM), pp. 10–21.
CHI-PLAY-2016-RaptisFA #behaviour #difference #game studies #question: Do Field Dependence-Independence Differences of Game Players Affect Performance and Behaviour in Cultural Heritage Games? (GER, CAF, NMA), pp. 38–43.
CIG-2016-HolmgardTH #assessment #game studies: Computational intelligence and cognitive performance assessment games (CH, JT, LH), pp. 1–8.
DiGRA-FDG-2016-Karhulahti: Prank, Troll, Gross and Gore: Performance Issues in Esport Live-Streaming (VMK).
DiGRA-FDG-2016-ParkerG #community #game studies #process: Creative Communities: Shaping Process through Performance and Play (LP, DG).
CIKM-2016-0003LRA: Q+Tree: An Efficient Quad Tree based Data Indexing for Parallelizing Dynamic and Reverse Skylines (MSI0, CL, JWR, TA), pp. 1291–1300.
CIKM-2016-ChenLYWLZ #graph #keyword #multi #query: Efficient Batch Processing for Multiple Keyword Queries on Graph Data (LC, CL, XY0, BW0, JL, RZ0), pp. 1261–1270.
CIKM-2016-ChenWPT #community #network #using: Efficient Computation of Importance Based Communities in Web-Scale Networks Using a Single Machine (SC, RW, DP, AT), pp. 1553–1562.
CIKM-2016-EtemadiLT #estimation #graph #scalability: Efficient Estimation of Triangles in Very Large Graphs (RE, JL, YHT), pp. 1251–1260.
CIKM-2016-HamooniDXZJM #named #pattern matching #pattern recognition #recognition: LogMine: Fast Pattern Recognition for Log Analytics (HH, BD, JX, HZ0, GJ, AM), pp. 1573–1582.
CIKM-2016-JangFKKH #information management #named #trust: PIN-TRUST: Fast Trust Propagation Exploiting Positive, Implicit, and Negative Information (MHJ, CF, SWK, UK, JH), pp. 629–638.
CIKM-2016-LeekaBBA #framework #named #rdf: Quark-X: An Efficient Top-K Processing Framework for RDF Quad Stores (JL, SB, DB, MA), pp. 831–840.
CIKM-2016-LiCC0Y #query: Efficient Processing of Location-Aware Group Preference Queries (ML, LC, GC, YG0, GY0), pp. 559–568.
CIKM-2016-LiZZWZWXHWZLCR #analysis #delivery #framework #named #platform: DI-DAP: An Efficient Disaster Information Delivery and Analysis Platform in Disaster Management (TL0, WZ, CZ, QW, QZ, DW0, JX0, YH, WW0, MZ, SL, SCC, NR), pp. 1593–1602.
CIKM-2016-MaSCYKV #distributed #network #query: Query Answering Efficiency in Expert Networks Under Decentralized Search (LM0, MS, DC, XY, SK, MV), pp. 2119–2124.
CIKM-2016-MaxwellA #analysis #behaviour: Agents, Simulated Users and Humans: An Analysis of Performance and Behaviour (DM, LA), pp. 731–740.
CIKM-2016-PhamP #scalability: Scalability and Total Recall with Fast CoveringLSH (NP, RP), pp. 1109–1118.
CIKM-2016-RajasekaranS #algorithm #problem: Efficient Algorithms for the Two Locus Problem in Genome-Wide Association Study: Algorithms for the Two Locus Problem (SR, SS), pp. 2305–2310.
CIKM-2016-RenZRZYW #learning #optimisation: User Response Learning for Directly Optimizing Campaign Performance in Display Advertising (KR, WZ0, YR, HZ, YY0, JW0), pp. 679–688.
CIKM-2016-RongZYSL #approach #markov #optimisation #process: The Rich and the Poor: A Markov Decision Process Approach to Optimizing Taxi Driver Revenue Efficiency (HR, XZ, CY, MZS, AXL), pp. 2329–2334.
CIKM-2016-WangWZ #distributed #graph #partial evaluation #query #rdf #using: Efficient Distributed Regular Path Queries on RDF Graphs Using Partial Evaluation (XW0, JW, XZ), pp. 1933–1936.
CIKM-2016-XuK #clustering #effectiveness: Effective and Efficient Spectral Clustering on Text and Link Data (ZX, YK), pp. 357–366.
CIKM-2016-YangY #re-engineering: Efficient Hidden Trajectory Reconstruction from Sparse Data (NY0, PSY), pp. 821–830.
CIKM-2016-ZhangTSYS #matrix #orthogonal: Efficient Orthogonal Non-negative Matrix Factorization over Stiefel Manifold (WEZ, MT, QZS, LY, QS), pp. 1743–1752.
ECIR-2016-ArguelloAD #predict #query #using: Using Query Performance Predictors to Improve Spoken Queries (JA, SA, FD0), pp. 309–321.
ECIR-2016-JurgovskyGS #memory management #robust #word: Evaluating Memory Efficiency and Robustness of Word Embeddings (JJ, MG, CS), pp. 200–211.
ECIR-2016-ValcarcePB #collaboration #feedback #pseudo #recommendation: Efficient Pseudo-Relevance Feedback Methods for Collaborative Filtering Recommendation (DV, JP, AB), pp. 602–613.
ECIR-2016-Welleck #optimisation #ranking: Efficient AUC Optimization for Information Ranking Applications (SJW), pp. 159–170.
ICML-2016-AbernethyH #optimisation: Faster Convex Optimization: Simulated Annealing with an Efficient Universal Barrier (JDA, EH), pp. 2520–2528.
ICML-2016-AcharyaDLS #algorithm: Fast Algorithms for Segmented Regression (JA, ID, JL0, LS), pp. 2878–2886.
ICML-2016-BlondelIFU #algorithm #network #polynomial: Polynomial Networks and Factorization Machines: New Insights and Efficient Training Algorithms (MB, MI, AF, NU), pp. 850–858.
ICML-2016-DavidS #algorithm #bound #problem: PAC Lower Bounds and Efficient Algorithms for The Max K-Armed Bandit Problem (YD, NS), pp. 878–887.
ICML-2016-Fan #estimation #fault #robust: Accurate Robust and Efficient Error Estimation for Decision Trees (LF), pp. 239–247.
ICML-2016-GarberHJKMNS: Faster Eigenvector Computation via Shift-and-Invert Preconditioning (DG, EH, CJ, SMK, CM, PN, AS), pp. 2626–2634.
ICML-2016-GeJKNS #algorithm #analysis #canonical #correlation #scalability: Efficient Algorithms for Large-scale Generalized Eigenvector Computation and Canonical Correlation Analysis (RG0, CJ, SMK, PN, AS), pp. 2741–2750.
ICML-2016-GuanRW #learning #markov #multi #process #recognition #using: Efficient Multi-Instance Learning for Activity Recognition from Time Series Data Using an Auto-Regressive Hidden Markov Model (XG, RR, WKW), pp. 2330–2339.
ICML-2016-GuiHG #estimation #matrix #rank #towards: Towards Faster Rates and Oracle Property for Low-Rank Matrix Estimation (HG, JH0, QG), pp. 2300–2309.
ICML-2016-HardtRS #probability: Train faster, generalize better: Stability of stochastic gradient descent (MH, BR, YS), pp. 1225–1234.
ICML-2016-Kasiviswanathan #empirical #learning: Efficient Private Empirical Risk Minimization for High-dimensional Learning (SPK, HJ), pp. 488–497.
ICML-2016-KhetanO #data-driven #rank: Data-driven Rank Breaking for Efficient Rank Aggregation (AK, SO), pp. 89–98.
ICML-2016-KomiyamaHN #algorithm #bound #problem: Copeland Dueling Bandit Problem: Regret Lower Bound, Optimal Algorithm, and Computationally Efficient Algorithm (JK, JH, HN), pp. 1235–1244.
ICML-2016-LiJS #kernel: Fast DPP Sampling for Nystrom with Application to Kernel Methods (CL, SJ, SS), pp. 2061–2070.
ICML-2016-LiM #nearest neighbour: Fast k-Nearest Neighbour Search via Dynamic Continuous Indexing (KL, JM), pp. 671–679.
ICML-2016-LouizosW #learning #matrix: Structured and Efficient Variational Deep Learning with Matrix Gaussian Posteriors (CL, MW), pp. 1708–1716.
ICML-2016-MirzasoleimanBK #personalisation #summary: Fast Constrained Submodular Maximization: Personalized Data Summarization (BM, AB, AK), pp. 1358–1367.
ICML-2016-NewlingF #bound: Fast k-means with accurate bounds (JN, FF), pp. 936–944.
ICML-2016-NiuRFH #parametricity #using: Fast Parameter Inference in Nonlinear Dynamical Systems using Iterative Gradient Matching (MN, SR, MF, DH), pp. 1699–1707.
ICML-2016-QuXO #algorithm #analysis #optimisation #probability: Fast Rate Analysis of Some Stochastic Optimization Algorithms (CQ, HX, CJO), pp. 662–670.
ICML-2016-RahmaniA #approach #composition #learning #matrix: A Subspace Learning Approach for High Dimensional Matrix Decomposition with Efficient Column/Row Sampling (MR, GKA), pp. 1206–1214.
ICML-2016-RakhlinS #named: BISTRO: An Efficient Relaxation-Based Method for Contextual Bandits (AR, KS), pp. 1977–1985.
ICML-2016-SaeediHJA #infinity: The Segmented iHMM: A Simple, Efficient Hierarchical Infinite HMM (AS, MDH, MJJ0, RPA), pp. 2682–2691.
ICML-2016-Shamir #algorithm #convergence #probability: Fast Stochastic Algorithms for SVD and PCA: Convergence Properties and Convexity (OS), pp. 248–256.
ICML-2016-SiHD #approximate #using: Computationally Efficient Nyström Approximation using Fast Transforms (SS, CJH, ISD), pp. 2655–2663.
ICML-2016-SyrgkanisKS #algorithm #learning: Efficient Algorithms for Adversarial Contextual Learning (VS, AK, RES), pp. 2159–2168.
ICML-2016-UbaruS #matrix #rank #scalability: Fast methods for estimating the Numerical rank of large matrices (SU, YS), pp. 468–477.
ICML-2016-WangWK #programming: Epigraph projections for fast general convex programming (PWW, MW, JZK), pp. 2868–2877.
ICML-2016-YaoK #learning #product line: Efficient Learning with a Family of Nonconvex Regularizers by Redistributing Nonconvexity (QY, JTK), pp. 2645–2654.
ICML-2016-YuL #learning #multi: Learning from Multiway Data: Simple and Efficient Tensor Regression (RY, YL0), pp. 373–381.
ICML-2016-ZhuH #optimisation #reduction: Variance Reduction for Faster Non-Convex Optimization (ZAZ, EH), pp. 699–707.
ICML-2016-ZhuQRY #coordination #using: Even Faster Accelerated Coordinate Descent Using Non-Uniform Sampling (ZAZ, ZQ, PR, YY), pp. 1110–1119.
ICPR-2016-Aldana-IuitMCM: In the Saddle: Chasing fast and repeatable features (JAI, DM, OC, JM), pp. 675–680.
ICPR-2016-BandyopadhyayM #axiom #clustering #incremental: Axioms to characterize efficient incremental clustering (SB, MNM), pp. 450–455.
ICPR-2016-Bodis-SzomoruRG #re-engineering: Efficient volumetric fusion of airborne and street-side data for urban reconstruction (ABS, HR, LVG), pp. 3204–3209.
ICPR-2016-BorghiVC #3d #gesture #multi #recognition: Fast gesture recognition with Multiple Stream Discrete HMMs on 3D skeletons (GB, RV, RC), pp. 997–1002.
ICPR-2016-Burlina #named: MRCNN: A stateful Fast R-CNN (PB), pp. 3518–3523.
ICPR-2016-CardosoMA #analysis #problem: Plücker correction problem: Analysis and improvements in efficiency (JRC, PM, HA), pp. 2795–2800.
ICPR-2016-ChowdhuryBMKS #image #network #retrieval #using: An efficient radiographic Image Retrieval system using Convolutional Neural Network (MC, SRB, RM, MKK, ÖS), pp. 3134–3139.
ICPR-2016-DaiMZ #evolution #image #segmentation #set: A Bregman divergence based Level Set Evolution for efficient medical image segmentation (SD, HM, SZ), pp. 1113–1118.
ICPR-2016-FerreiraG #3d #lens: Accurate and fast micro lenses depth maps from a 3D point cloud in light field cameras (RF, NG), pp. 1893–1898.
ICPR-2016-FleischmannK #interactive: Fast projector-camera calibration for interactive projection mapping (OF, RK), pp. 3798–3803.
ICPR-2016-GaldiD #mobile #recognition: Fusing iris colour and texture information for fast iris recognition on mobile devices (CG, JLD), pp. 160–164.
ICPR-2016-GhorbelBBSL #recognition: A fast and accurate motion descriptor for human action recognition applications (EG, RB, JB, XS, SL), pp. 919–924.
ICPR-2016-JohnKGNMI #learning #modelling #segmentation #using: Fast road scene segmentation using deep learning and scene-based models (VJ, KK, CG, HTN, SM, KI), pp. 3763–3768.
ICPR-2016-KabkabHC #network #on the: On the size of Convolutional Neural Networks and generalization performance (MK, EMH, RC), pp. 3572–3577.
ICPR-2016-KimuraKSK #classification #multi #random #scalability: Fast random k-labELsets for large-scale multi-label classification (KK, MK, LS, SK), pp. 438–443.
ICPR-2016-LeHWO #detection: Temporally subsampled detection for accurate and efficient face tracking and diarization (NL, AH, DW0, JMO), pp. 1792–1797.
ICPR-2016-LiangSWMWSG #image #learning #optimisation #precise #retrieval #similarity: Optimizing top precision performance measure of content-based image retrieval by learning similarity function (RZL, LS, HW, JM, JJYW, QS, YG), pp. 2954–2958.
ICPR-2016-LiH #approach #detection #image: A fast approach for traffic panel detection from natural scene images (ZML, LLH), pp. 579–584.
ICPR-2016-LiuHWLL #image #retrieval #segmentation #using: Efficient segmentation for Region-based Image Retrieval using Edge Integrated Minimum Spanning Tree (YL0, LH0, SW, XL, BL), pp. 1929–1934.
ICPR-2016-LiWS #towards: Towards protecting biometric templates without sacrificing performance (JL0, YW, TS), pp. 1029–1034.
ICPR-2016-Lourakis: An efficient solution to absolute orientation (MIAL), pp. 3816–3819.
ICPR-2016-MaoFWH #identification #kernel: Fast kernel SVM training via support vector identification (XM, ZF, OW, WH), pp. 1554–1559.
ICPR-2016-Martinez-DiazCH #encoding #recognition #using #video: Efficient video face recognition by using Fisher Vector encoding of binary features (YMD, LC, NH, HMV, LES), pp. 1436–1441.
ICPR-2016-McCaneS #network: Deep networks are efficient for circular manifolds (BM, LS), pp. 3464–3469.
ICPR-2016-OgawaMDCFH #adaptation #multi #predict: A new efficient measure for accuracy prediction and its application to multistream-based unsupervised adaptation (TO, SHRM, ED, JC, NHF, HH), pp. 2222–2227.
ICPR-2016-OsmanliogluOHS #analysis #approximate #problem: Efficient approximation of labeling problems with applications to immune repertoire analysis (YO, SO, UH, AS), pp. 2410–2415.
ICPR-2016-PeiM #3d #estimation #interactive #mobile: Fast 3D hand estimation for mobile interactions (YP, GM), pp. 979–984.
ICPR-2016-Pham0PV #network: Faster training of very deep networks via p-norm gates (TP, TT0, DQP, SV), pp. 3542–3547.
ICPR-2016-RampalSI #estimation: Fast and accurate scale estimation method for object tracking (KR, KS, HI), pp. 2712–2715.
ICPR-2016-Rowekamp #using: Fast thresholding of high dimensional Euclidean distances using binary squaring (JHR), pp. 3103–3108.
ICPR-2016-SharabatiX #approach #polynomial: Fast local polynomial regression approach for speckle noise removal (WKS, BX), pp. 3198–3203.
ICPR-2016-SorelB #multi: Efficient JPEG decompression by the alternating direction method of multipliers (MS, MB), pp. 271–276.
ICPR-2016-Teerapittayanon #named #network: BranchyNet: Fast inference via early exiting from deep neural networks (ST, BM, HTK), pp. 2464–2469.
ICPR-2016-ToyamaMS #clustering #using: Fast template matching using Brick Partitioning and initial threshold (FT, HM, KS), pp. 687–691.
ICPR-2016-WuARN #recognition: Computationally efficient template-based face recognition (YW0, WAA, SR, PN), pp. 1424–1429.
ICPR-2016-XiaoY: Efficient tracking with distinctive target colors and silhouette (CX, AY), pp. 2728–2733.
ICPR-2016-YangLWW #empirical: An Empirical Study of Deformable Part Model with fast feature pyramid (JY, GL, WW, RW), pp. 567–572.
ICPR-2016-YorukOA #estimation #multi #recognition: An efficient Hough transform for multi-instance object recognition and pose estimation (EY, KTO, CBA), pp. 1352–1357.
ICPR-2016-ZhangCUL #algorithm: MLPF algorithm for tracking fast moving target against light interference (LZ, YC, ZU, TL), pp. 3939–3944.
ICPR-2016-ZhaoMFQH #predict #using: Fast motion deblurring using gyroscopes and strong edge prediction (JZ, JM, BF, SQ, FH), pp. 739–744.
KDD-2016-BalcanLSW0 #analysis #communication #component #distributed #kernel: Communication Efficient Distributed Kernel Principal Component Analysis (MFB, YL, LS, DPW, BX0), pp. 725–734.
KDD-2016-ChenTXYH #dependence #multi #named #network: FASCINATE: Fast Cross-Layer Dependency Inference on Multi-layered Networks (CC0, HT, LX, LY, QH), pp. 765–774.
KDD-2016-CoskunGK #network #proximity #query: Efficient Processing of Network Proximity Queries via Chebyshev Acceleration (MC, AG, MK), pp. 1515–1524.
KDD-2016-GeyikFSOK #metric #multi #online #optimisation #video: Joint Optimization of Multiple Performance Metrics in Online Video Advertising (SCG, SF, JS, SO, SK), pp. 471–480.
KDD-2016-GhashamiLP #algorithm #matrix: Efficient Frequent Directions Algorithm for Sparse Matrices (MG, EL, JMP), pp. 845–854.
KDD-2016-HanZZ #component #estimation #scalability: Fast Component Pursuit for Large-Scale Inverse Covariance Estimation (LH0, YZ0, TZ0), pp. 1585–1594.
KDD-2016-HuangJA #composition #distributed #online: Online Dual Decomposition for Performance and Delivery-Based Distributed Ad Allocation (JCH, RJ, CA), pp. 117–126.
KDD-2016-HuVQ #detection: Temporal Order-based First-Take-All Hashing for Fast Attention-Deficit-Hyperactive-Disorder Detection (HH, JVG, GJQ), pp. 905–914.
KDD-2016-LiMLFDYLQ #big data #data analysis #learning #scalability #taxonomy: Scalable Fast Rank-1 Dictionary Learning for fMRI Big Data Analysis (XL0, MM, BL, MSF, ID, JY, TL, SQ), pp. 511–519.
KDD-2016-MaiAS #algorithm #clustering #dataset #named #scalability: AnyDBC: An Efficient Anytime Density-based Clustering Algorithm for Very Large Complex Datasets (STM, IA, MS), pp. 1025–1034.
KDD-2016-ManzoorMA #detection #graph #streaming: Fast Memory-efficient Anomaly Detection in Streaming Heterogeneous Graphs (EAM, SMM, LA), pp. 1035–1044.
KDD-2016-MueenK: Extracting Optimal Performance from Dynamic Time Warping (AM, EJK), pp. 2129–2130.
KDD-2016-NakagawaSKTT #approach #mining #predict: Safe Pattern Pruning: An Efficient Approach for Predictive Pattern Mining (KN, SS, MK, KT, IT), pp. 1785–1794.
KDD-2016-ReisFMB #detection #incremental #online #using: Fast Unsupervised Online Drift Detection Using Incremental Kolmogorov-Smirnov Test (DMdR, PAF, SM, GEAPAB), pp. 1545–1554.
KDD-2016-WuYCY #convergence #random: Revisiting Random Binning Features: Fast Convergence and Strong Parallelizability (LW, IEHY, JC, RY), pp. 1265–1274.
KDD-2016-ZhangBSS #named #optimisation #pipes and filters: FLASH: Fast Bayesian Optimization for Data Analytic Pipelines (YZ, MTB, HS, JS), pp. 2065–2074.
KDD-2016-ZhangT #named #network: FINAL: Fast Attributed Network Alignment (SZ, HT), pp. 1345–1354.
KDD-2016-ZhengYC #invariant #learning #taxonomy: Efficient Shift-Invariant Dictionary Learning (GZ, YY, JGC), pp. 2095–2104.
SKY-2016-ExmanS #natural language #programming language #reliability: Fast and Reliable Software Translation of Programming Languages to Natural Language (IE, OS), pp. 57–64.
MoDELS-2016-FalknerSC #modelling #predict: Model-driven performance prediction of systems of systems (KEF, CS, VC), p. 44.
MoDELS-2016-PrzigodaWD #ocl #smt: Ground setting properties for an efficient translation of OCL in SMT-based model finding (NP, RW, RD), pp. 261–271.
OOPSLA-2016-BhandariCB #memory management #named: Makalu: fast recoverable allocation of non-volatile memory (KB, DRC, HJB), pp. 677–694.
OOPSLA-2016-DalozeMBM #dynamic typing #thread: Efficient and thread-safe objects for dynamically-typed languages (BD, SM, DB, HM), pp. 642–659.
LOPSTR-2016-Tarau #generative #normalisation #order #λ-calculus: A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms (PT), pp. 240–255.
PEPM-2016-SuzukiKK #query: Finally, safely-extensible and efficient language-integrated query (KS, OK, YK), pp. 37–48.
PLDI-2016-0001HM #complexity #on the #parsing: On the complexity and performance of parsing with derivatives (MDA0, CH, MM), pp. 224–236.
PLDI-2016-JacekCMM #garbage collection: Assessing the limits of program-specific garbage collection performance (NJ, MCC, BMM, EM), pp. 584–598.
PLDI-2016-LoncaricTE #synthesis: Fast synthesis of fast collections (CL, ET, MDE), pp. 355–368.
PLDI-2016-TruongBTLMFS #compilation #named #network #runtime: Latte: a language, compiler, and runtime for elegant and efficient deep neural networks (LT, RB, ET, HL, CM, AF, TS), pp. 209–223.
POPL-2016-AndryscoJL #float: Printing floating-point numbers: a faster, always correct method (MA, RJ, SL), pp. 555–567.
POPL-2016-WuXCZZ #approach #named: Casper: an efficient approach to call trace collection (RW, XX0, SCC, HZ0, CZ), pp. 678–690.
QAPL-2016-BergPH #energy #policy: Evaluating load balancing policies for performance and energy-efficiency (FvdB, BFP, BRH), pp. 98–117.
SAS-2016-KojimaKS #invariant #synthesis: Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis (KK, MK, KS), pp. 278–299.
ASE-2016-DemuthRE #consistency #detection #developer #multi #nondeterminism: Efficient detection of inconsistencies in a multi-developer engineering environment (AD, MRE, AE), pp. 590–601.
ASE-2016-Le #automation #effectiveness #program repair #towards: Towards efficient and effective automatic program repair (XBDL), pp. 876–879.
ASE-2016-Puschel #generative: Program generation for performance (MP), p. 1.
ASE-2016-RazaF #analysis #automation #development #named #recommendation: ProcessPAIR: a tool for automated performance analysis and improvement recommendation in software development (MR, JPF), pp. 798–803.
FSE-2016-BagheriM #alloy #analysis #evolution #named #specification: Titanium: efficient analysis of evolving alloy specifications (HB, SM), pp. 27–38.
FSE-2016-BergerVJDS #editing #empirical #projectional: Efficiency of projectional editing: a controlled experiment (TB, MV, HPJ, TD, JS), pp. 763–774.
FSE-2016-BruninkR #mining #specification: Mining performance specifications (MB, DSR), pp. 39–49.
FSE-2016-GhassabaniGW #generative #induction #safety: Efficient generation of inductive validity cores for safety properties (EG, AG, MWW), pp. 314–325.
FSE-2016-KangZXL #android #named: DiagDroid: Android performance diagnosis via anatomizing asynchronous executions (YK, YZ, HX, MRL), pp. 410–421.
FSE-2016-KimRLZX #monitoring #named: PerfGuard: binary-centric application performance monitoring in production environments (CHK, JR, KHL, XZ0, DX), pp. 595–606.
FSE-2016-Luo #testing: Input-sensitive performance testing (QL), pp. 1085–1087.
FSE-2016-Luo16a #automation #profiling #testing #using: Automatic performance testing using input-sensitive profiling (QL), pp. 1139–1141.
ICSE-2016-BersaniBGKP #pipes and filters #scalability #using: Efficient large-scale trace checking using mapreduce (MMB, DB, CG, SK, PSP), pp. 888–898.
ICSE-2016-ChenLL #execution #generative #probability #symbolic computation: Generating performance distributions via probabilistic symbolic execution (BC0, YL0, WL), pp. 49–60.
ICSE-2016-LiuCB #detection #dynamic analysis #fault #named #precise: DoubleTake: fast and precise error detection via evidence-based dynamic analysis (TL, CC, EDB), pp. 911–922.
ICSE-2016-PanichellaPBZG #debugging #empirical #summary #testing: The impact of test case summaries on bug fixing performance: an empirical investigation (SP, AP, MB, AZ, HCG), pp. 547–558.
ICSE-2016-RubinR #case study #challenge: The challenges of staying together while moving fast: an exploratory study (JR, MR), pp. 982–993.
ICSE-2016-SelakovicP #empirical #javascript #optimisation: Performance issues and optimizations in JavaScript: an empirical study (MS, MP), pp. 61–72.
GPCE-2016-Al-HajjajiKTLS #incremental #named #product line #testing #using: IncLing: efficient product-line testing using incremental pairwise sampling (MAH, SK, TT, ML, GS), pp. 144–155.
SLE-2016-BenelallamTCLC #clustering #distributed #model transformation: Efficient model partitioning for distributed model transformations (AB, MT, JSC, JdL, JC), pp. 226–238.
SLE-2016-VoelterSLKEB #consistency #development #editing #projectional #using: Efficient development of consistent projectional editors using grammar cells (MV, TS, SL, BK, SE, TB), pp. 28–40.
ASPLOS-2016-AbadalCAT #architecture #communication #named: WiSync: An Architecture for Fast Synchronization through On-Chip Wireless Communication (SA, ACA, EA, JT), pp. 3–17.
ASPLOS-2016-DidonaDKGNR #abstraction #memory management #named #transaction: ProteusTM: Abstraction Meets Performance in Transactional Memory (DD, ND, AMK, RG, RN, PR0), pp. 757–771.
ASPLOS-2016-KaufmannPSAK: High Performance Packet Processing with FlexNIC (AK, SP, NKS, TEA, AK), pp. 67–81.
ASPLOS-2016-LiaqatJLGTLGS #architecture #developer #energy #mobile #named: Sidewinder: An Energy Efficient and Developer Friendly Heterogeneous Architecture for Continuous Mobile Sensing (DL, SJ, EdL, AG, WT, KL, IDMG, MS), pp. 205–215.
ASPLOS-2016-MarkuzeMT: True IOMMU Protection from DMA Attacks: When Copy is Faster than Zero Copy (AM, AM0, DT), pp. 249–262.
ASPLOS-2016-WangM #manycore #named #resource management #runtime: ReBudget: Trading Off Efficiency vs. Fairness in Market-Based Multicore Resource Allocation via Runtime Budget Reassignment (XW, JFM), pp. 19–32.
ASPLOS-2016-ZhangH #comparison #hardware #hybrid: Maximizing Performance Under a Power Cap: A Comparison of Hardware, Software, and Hybrid Techniques (HZ, HH), pp. 545–559.
ASPLOS-2016-ZhangLJ #concurrent #detection #hardware #memory management #named #transaction #using: TxRace: Efficient Data Race Detection Using Commodity Hardware Transactional Memory (TZ, DL, CJ), pp. 159–173.
CASE-2016-AntunesCB #analysis #petri net #probability: A stochastic Petri net model for simulation-based performance analysis of public bicycle sharing systems (IA, LKC, JCB), pp. 433–439.
CASE-2016-JanSFF #automation #scalability: Fast automatic seat assignment for large-scale passengers reservation systems (GEJ, CCS, CTFT, KF), pp. 239–244.
CASE-2016-JiaZCAX #evaluation #finite #geometry: Performance evaluation in finite production run-based serial lines with geometric machines (ZJ, LZ, GC, JA, GX), pp. 450–455.
CASE-2016-KaipaKKSTMG: Enhancing robotic unstructured bin-picking performance by enabling remote human interventions in challenging perception scenarios (KNK, ASKN, NBK, SS, SSTK, JAM, SKG), pp. 639–645.
CASE-2016-LiLTYZ #energy: Operational strategies for energy efficiency improvement of CNC machining (CL, LL, YT, QY, YZ), pp. 1270–1275.
CASE-2016-OltjenBKO #difference #parallel: Efficient computation of system-specific motion commands for serial and parallel robots based on differential flatness (JÖ, DB, JK, TO), pp. 328–334.
CASE-2016-PizziBPF #delivery #online: Performance improvement for online schedulers for packaging systems (EP, AB, AP, LF), pp. 1243–1248.
CASE-2016-SussD #behaviour #classification #component #simulation: Classification of mechatronic components for efficient plant behaviour simulation (SS, CD), pp. 1146–1151.
CC-2016-MurphyJMC #automation #data flow #dependence: Performance implications of transient loop-carried data dependences in automatically parallelized loops (NM, TMJ0, RDM, SC), pp. 23–33.
CC-2016-ScholzJSW #datalog #on the #program analysis #scalability: On fast large-scale program analysis in Datalog (BS, HJ, PS, TW), pp. 196–206.
CGO-2016-BrownLRSSAO #abstraction #parallel: Have abstraction and eat performance, too: optimized heterogeneous computing with parallel patterns (KJB, HL, TR, AKS, CDS, CRA, KO), pp. 194–205.
CGO-2016-JibajaCBM #manycore #symmetry: Portable performance on asymmetric multicore processors (IJ, TC, SMB, KSM), pp. 24–35.
ESOP-2016-MalechaB #automation: Extensible and Efficient Automation Through Reflective Tactics (GM, JB), pp. 532–559.
CAV-2016-KlenzeBH #flexibility #smt #synthesis: Fast, Flexible, and Minimal CTL Synthesis via SMT (TK, SB, AJH), pp. 136–156.
CAV-2016-FuS #float #named #satisfiability: XSat: A Fast Floating-Point Satisfiability Solver (ZF, ZS), pp. 187–209.
CAV-2016-HerdtLGD #named #simulation: ParCoSS: Efficient Parallelized Compiled Symbolic Simulation (VH, HML0, DG, RD), pp. 177–183.
ICST-2016-BernardinoZR #domain-specific language #modelling #named #testing: Canopus: A Domain-Specific Language for Modeling Performance Testing (MB, AFZ, EdMR), pp. 157–167.
IJCAR-2016-BrombergerW #constraints #testing #theorem proving: Fast Cube Tests for LIA Constraint Solving (MB, CW), pp. 116–132.
IJCAR-2016-SchulzM #heuristic #proving #theorem proving: Performance of Clause Selection Heuristics for Saturation-Based Theorem Proving (SS0, MM), pp. 330–345.
ECSA-2015-StierKGR #analysis #architecture #energy #modelling: Model-Based Energy Efficiency Analysis of Software Architectures (CS, AK, HG, RHR), pp. 221–238.
ECSA-2015-TrubianiGE #analysis #architecture #modelling #nondeterminism #traceability: Exploiting Traceability Uncertainty Between Software Architectural Models and Performance Analysis Results (CT, AG, AE), pp. 305–321.
ECSA-2015-WangC #architecture #network #social: A Specialised Social Network Software Architecture for Efficient Household Water Use Management (ZW, AC), pp. 146–153.
QoSA-2015-LehrigEB #in the cloud #metric #overview #scalability: Scalability, Elasticity, and Efficiency in Cloud Computing: a Systematic Literature Review of Definitions and Metrics (SL, HE, SB), pp. 83–92.
QoSA-2015-WuLG #architecture #modelling: Exploring Performance Models of Hadoop Applications on Cloud Architecture (XW, YL, IG), pp. 93–101.
DocEng-2015-MeiKYRIMM #word: Efficient Computation of Co-occurrence Based Word Relatedness (JM, XK, ZY, ARC, AI, AM, EEM), pp. 43–46.
DRR-2015-Fan0N #documentation #image: Separation of text and background regions for high performance document image compression (WF, JS, SN).
JCDL-2015-CuongCKL #documentation #higher-order #information management #using: Scholarly Document Information Extraction using Extensible Features for Efficient Higher Order Semi-CRFs (NVC, MKC, MYK, WSL), pp. 61–64.
PODS-2015-AcharyaDHLS #algorithm #approximate: Fast and Near-Optimal Algorithms for Approximating Distributions by Histograms (JA, ID, CH, JZL, LS), pp. 249–263.
PODS-2015-BarceloPS #approximate #evaluation: Efficient Evaluation and Approximation of Well-designed Pattern Trees (PB, RP, SS), pp. 131–144.
SIGMOD-2015-0001MK #concurrent #database #in memory #multi: Fast Serializable Multi-Version Concurrency Control for Main-Memory Database Systems (TN, TM, AK), pp. 677–689.
SIGMOD-2015-Anagnostopoulos #crowdsourcing: The Importance of Being Expert: Efficient Max-Finding in Crowdsourcing (AA, LB, AF, IM, MR), pp. 983–998.
SIGMOD-2015-BerlowitzCK: Efficient Enumeration of Maximal k-Plexes (DB, SC, BK), pp. 431–444.
SIGMOD-2015-BraunEGKKWAILL #database #realtime: Analytics in Motion: High Performance Event-Processing AND Real-Time Analytics in the Same Database (LB, TE, GG, MK, DK, DW, AA, AI, EL, NL), pp. 251–264.
SIGMOD-2015-ChevalierSGL #incremental #named: Slider: An Efficient Incremental Reasoner (JC, JS, CG, FL), pp. 1081–1086.
SIGMOD-2015-ChuBS #database #evaluation #parallel #query #theory and practice: From Theory to Practice: Efficient Join Query Evaluation in a Parallel Database System (SC, MB, DS), pp. 63–78.
SIGMOD-2015-ColgroveDHMSSTV #component #enterprise #named: Purity: Building Fast, Highly-Available Enterprise Flash Storage from Commodity Components (JC, JDD, JH, ELM, CS, RS, AT, NV, FW), pp. 1683–1694.
SIGMOD-2015-GuoCC #algorithm #keyword #query: Efficient Algorithms for Answering the m-Closest Keywords Query (TG, XC, GC), pp. 405–418.
SIGMOD-2015-LiHDL #multi #similarity: Efficient Similarity Join and Search on Multi-Attribute Data (GL, JH, DD, JL), pp. 1137–1151.
SIGMOD-2015-OktayMKK #hybrid #named #pipes and filters: SEMROD: Secure and Efficient MapReduce Over HybriD Clouds (KYO, SM, VK, MK), pp. 153–166.
SIGMOD-2015-PaparrizosG #clustering #named: k-Shape: Efficient and Accurate Clustering of Time Series (JP, LG), pp. 1855–1870.
SIGMOD-2015-PrasadFGMLXHR #data transfer #distributed #predict #scalability: Large-scale Predictive Analytics in Vertica: Fast Data Transfer, Distributed Model Creation, and In-database Prediction (SP, AF, VG, JM, JL, VX, MH, IR), pp. 1657–1668.
SIGMOD-2015-SunFSKHX #graph #named: SQLGraph: An Efficient Relational-Based Property Graph Store (WS, AF, KS, AK, GH, GTX), pp. 1887–1901.
SIGMOD-2015-TeflioudiGM #matrix #named #retrieval #scalability: LEMP: Fast Retrieval of Large Entries in a Matrix Product (CT, RG, OM), pp. 107–122.
SIGMOD-2015-WangLYXZ #approach #network: Efficient Route Planning on Public Transportation Networks: A Labelling Approach (SW, WL, YY, XX, SZ), pp. 967–982.
SIGMOD-2015-YangWWW #approximate #query #string: Local Filtering: Improving the Performance of Approximate Queries on String Collections (XY, YW, BW, WW), pp. 377–392.
SIGMOD-2015-YuSC #dependence #distributed #matrix: Exploiting Matrix Dependency for Efficient Distributed Matrix Computation (LY, YS, BC), pp. 93–105.
SIGMOD-2015-ZhangYQS: Divide & Conquer: I/O Efficient Depth-First Search (ZZ, JXY, LQ, ZS), pp. 445–458.
VLDB-2015-ArmbrustDDGORSW #scalability #usability: Scaling Spark in the Real World: Performance and Usability (MA, TD, AD, AG, AO, JR, IS, PW, RX, MZ), pp. 1840–1851.
VLDB-2015-BursztynGM #query #rdf: Reformulation-based query answering in RDF: alternatives and performance (DB, FG, IM), pp. 1888–1899.
VLDB-2015-ChangLZYZQ: Optimal Enumeration: Efficient Top-k Tree Matching (LC, XL, WZ, JXY, YZ, LQ), pp. 533–544.
VLDB-2015-ChoBBFKP #algorithm #named #parallel: PARADIS: An Efficient Parallel Algorithm for In-place Radix Sort (MC, DB, RB, UF, VK, RP), pp. 1518–1529.
VLDB-2015-DingWDFZZ #clustering #named #scalability: YADING: Fast Clustering of Large-Scale Time Series Data (RD, QW, YD, QF, HZ, DZ), pp. 473–484.
VLDB-2015-KatsarouNT #query #scalability: Performance and Scalability of Indexed Subgraph Query Processing Methods (FK, NN, PT), pp. 1566–1577.
VLDB-2015-KhayyatLSOPQ0K #difference: Lightning Fast and Space Efficient Inequality Joins (ZK, WL, MS, MO, PP, JAQR, NT, PK), pp. 2074–2085.
VLDB-2015-LeisKK0 #query #sql: Efficient Processing of Window Functions in Analytical SQL Queries (VL, KK, AK, TN), pp. 1058–1069.
VLDB-2015-Liroz-GistauAV #execution #named #parallel: FP-Hadoop: Efficient Execution of Parallel Jobs Over Skewed Data (MLG, RA, PV), pp. 1856–1867.
VLDB-2015-LoghinTZOT #big data: A Performance Study of Big Data on Small Nodes (DL, BMT, HZ, BCO, YMT), pp. 762–773.
VLDB-2015-MitliagkasBDC #approximate #exclamation #graph #rank: FrogWild! — Fast PageRank Approximations on Graph Engines (IM, MB, AGD, CC), pp. 874–885.
VLDB-2015-NaidanBN #permutation: Permutation Search Methods are Efficient, Yet Faster Search is Possible (BN, LB, EN), pp. 1618–1629.
VLDB-2015-NaziZT0D #network #online #social: Walk, Not Wait: Faster Sampling Over Online Social Networks (AN, ZZ, ST, NZ, GD), pp. 678–689.
VLDB-2015-PelkonenFCHMTV #database #in memory #named #scalability: Gorilla: A Fast, Scalable, In-Memory Time Series Database (TP, SF, PC, QH, JM, JT, KV), pp. 1816–1827.
VLDB-2015-ShaoC0LX #framework #graph #scalability #similarity: An Efficient Similarity Search Framework for SimRank over Large Dynamic Graphs (YS, BC, LC, ML, XX), pp. 838–849.
VLDB-2015-ShiokawaFO #algorithm #clustering #graph #scalability: SCAN++: Efficient Algorithm for Finding Clusters, Hubs and Outliers on Large-scale Graphs (HS, YF, MO), pp. 1178–1189.
VLDB-2015-SundaramSPDAV0D #effectiveness #graph #named: GraphMat: High performance graph analytics made productive (NS, NS, MMAP, SD, MJA, SGV, DD, PD), pp. 1214–1225.
VLDB-2015-VartakRMPP #data-driven #named #recommendation #visual notation #visualisation: SEEDB: Efficient Data-Driven Visualization Recommendations to Support Visual Analytics (MV, SR, SM, AGP, NP), pp. 2182–2193.
VLDB-2015-WuHYY #evaluation #query #visualisation: Efficient Evaluation of Object-Centric Exploration Queries for Visualization (YW, BH, JY, CY), pp. 1752–1763.
VLDB-2015-YuM #network #scalability: Efficient Partial-Pairs SimRank Search for Large Networks (WY, JAM), pp. 569–580.
VLDB-2015-Zhou0D #network #online #social: Leveraging History for Faster Sampling of Online Social Networks (ZZ, NZ, GD), pp. 1034–1045.
VLDB-2015-ZhouLLZ #graph #named #optimisation: GraphTwist: Fast Iterative Graph Computation with Two-tier Optimizations (YZ, LL, KL, QZ), pp. 1262–1273.
EDM-2015-BotelhoAWH #predict #student #using: Predicting Student Aptitude Using Performance History (AFB, SAA, HW, NTH), pp. 622–623.
EDM-2015-BrownLEABBBM #community #question: Good Communities and Bad Communities: Does Membership Affect Performance? (RB, CL, ME, JA, TB, RSB, YB, DSM), pp. 612–613.
EDM-2015-Bydzovska #predict #towards: Towards Freshmen Performance Prediction (HB), pp. 602–603.
EDM-2015-DowellSJGDGVHK #modelling #social: Modeling Learners' Social Centrality and Performance through Language and Discourse (ND, OS, SJ, ACG, SD, DG, PdV, TH, VK), pp. 250–257.
EDM-2015-Feild #student #using: Improving Student Performance Using Nudge Analytics (JLF), pp. 464–467.
EDM-2015-Garcia-SaizZ #consistency #detection: Detection of Learners with a Performance Inconsistent with Their Effort (DGS, MEZ), pp. 606–607.
EDM-2015-JiangPBC #student: Comparing Novice and Experienced Students in Virtual Performance Assessments (YJ, LP, RSB, JCM), pp. 136–143.
EDM-2015-KlinglerKSG #modelling #on the: On the Performance Characteristics of Latent-Factor and Knowledge Tracing Models (SK, TK, BS, MHG), pp. 37–44.
EDM-2015-LuoK0 #classification #predict #student: Discrimination-Aware Classifiers for Student Performance Prediction (LL, IK, WL0), pp. 384–387.
EDM-2015-OlsenAR #collaboration #learning #predict #student: Predicting Student Performance In a Collaborative Learning Environment (JKO, VA, NR), pp. 211–217.
EDM-2015-OstrowDH #algorithm #optimisation #predict #student: Optimizing Partial Credit Algorithms to Predict Student Performance (KO, CD, NTH), pp. 404–407.
EDM-2015-StrechtCSMA #algorithm #case study #classification #comparative #modelling #student: A Comparative Study of Regression and Classification Algorithms for Modelling Students' Academic Performance (PS, LC0, CS, JMM, RA), pp. 392–395.
EDM-2015-ViePGBB #adaptation #modelling #predict #scalability #testing: Predicting Performance on Dichotomous Questions: Comparing Models for Large-Scale Adaptive Testing (JJV, FP, JBG, EB, YB), pp. 618–619.
EDM-2015-WanB: Considering the Influence of Prerequisite Performance on Wheel Spinning (HW, JB), pp. 129–135.
EDM-2015-ZhengVP #composition #learning: The Impact of Small Learning Group Composition on Drop-Out Rate and Learning Performance in a MOOC (ZZ, TV, NP), pp. 500–503.
ITiCSE-2015-BellettiniLMMMT #analysis #how #student: How Challenging are Bebras Tasks?: An IRT Analysis Based on the Performance of Italian Students (CB, VL, DM, MM, AM, MT), pp. 27–32.
ITiCSE-2015-CaetanoO: Computational Thinking and Child Performance in a Preschool (GC, OO), pp. 57–62.
ITiCSE-2015-ClearCKLSC #education #quality: Global Perspectives on Assessing Educational Performance and Quality (AC, JC, AK, CL, S, ECV), pp. 326–327.
SIGITE-2015-StrongGS #network: Work in Progress: Improving the Performance of the Radial Basis Function Network (AS, TG, LS), p. 103.
ICSME-2015-EkelundE #evaluation #industrial #testing: Efficient regression testing based on test history: An industrial evaluation (EDE, EE), pp. 449–457.
ICSME-2015-VasquezVLP #android #detection #developer #how: How developers detect and fix performance bottlenecks in Android apps (MLV, CV, QL, DP), pp. 352–361.
MSR-2015-HashimotoTMM #effectiveness #fact extraction #optimisation #predict: Extracting Facts from Performance Tuning History of Scientific Applications for Predicting Effective Optimization Patterns (MH, MT, TM, KM), pp. 13–23.
SANER-2015-AlawnehHH #analysis #metamodelling #towards: Towards a common metamodel for traces of high performance computing systems to enable software analysis tasks (LA, AHL, JH), pp. 111–120.
SANER-2015-BezemerPG #comprehension #difference #graph #using: Understanding software performance regressions using differential flame graphs (CPB, JP, BG), pp. 535–539.
SCAM-2015-PintoKT #analysis #automation #multi: Automating the performance deviation analysis for multiple system releases: An evolutionary study (FP, UK, CT), pp. 201–210.
ICALP-v1-2015-GaspersS #algorithm #set: Separate, Measure and Conquer: Faster Polynomial-Space Algorithms for Max 2-CSP and Counting Dominating Sets (SG, GBS), pp. 567–579.
ICALP-v1-2015-GrosseGKSS #algorithm: Fast Algorithms for Diameter-Optimally Augmenting Paths (UG, JG, CK, MHMS, FS), pp. 678–688.
LATA-2015-BjorklundDZ #algorithm #automaton: An Efficient Best-Trees Algorithm for Weighted Tree Automata over the Tropical Semiring (JB, FD, NZ), pp. 97–108.
RTA-2015-LepperW #towards: A Simple and Efficient Step Towards Type-Correct XSLT Transformations (ML, BTyW), pp. 350–364.
SEFM-2015-HusterBELRKR #testing: Efficient Testing of Different Loop Paths (SH, SB, HE, JL, JR, TK, WR), pp. 117–131.
ICFP-2015-SmolkaEFG #compilation: A fast compiler for NetKAT (SS, SAE, NF, AG), pp. 328–341.
ICFP-2015-SteuwerFLD #functional #generative #using: Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code (MS, CF, SL, CD), pp. 205–217.
ICFP-2015-YangCAEKN #communication #normalisation: Efficient communication and collection with compact normal forms (EZY, GC, ÖSA, AEH, AK, RRN), pp. 362–374.
CHI-PLAY-2015-DenisovaC15a #adaptation #challenge #experience #game studies: Adaptation in Digital Games: The Effect of Challenge Adjustment on Player Performance and Experience (AD, PAC), pp. 97–101.
CIG-2015-AsayamaMFN #game studies #predict #realtime #video: Prediction as faster perception in a real-time fighting video game (KA, KM, KiF, MN), pp. 517–522.
CIG-2015-KaoH #education #game studies #modelling #towards: Toward avatar models to enhance performance and engagement in educational games (DK, DFH), pp. 246–253.
CIG-2015-OliveiraM #game studies #realtime #using: Creating efficient walls using potential fields in real-time strategy games (CFdO, CAGM), pp. 138–145.
VS-Games-2015-WangC #approach #gamification: A Social-Centred Gamification Approach to Improve Household Water Use Efficiency (ZW, AC), pp. 1–4.
CHI-2015-AmershiCDLSS #analysis #machine learning #named #tool support: ModelTracker: Redesigning Performance Analysis Tools for Machine Learning (SA, MC, SMD, BL, PYS, JS), pp. 337–346.
CHI-2015-Avrahami: The Effect of Edge Targets on Touch Performance (DA), pp. 1837–1846.
CHI-2015-BachynskyiPOSW #case study #comparative #simulation #using: Performance and Ergonomics of Touch Surfaces: A Comparative Study using Biomechanical Simulation (MB, GP, AO, JS, TW), pp. 1817–1826.
CHI-2015-DeberJFW #how #latency: How Much Faster is Fast Enough?: User Perception of Latency & Latency Improvements in Direct and Indirect Touch (JD, RJ, CF, DW), pp. 1827–1836.
CHI-2015-FowlerPCBOZ #modelling #personalisation #type system: Effects of Language Modeling and its Personalization on Touchscreen Typing Performance (AF, KP, CC, XB, TO, SZ), pp. 649–658.
CHI-2015-GunaratneN #behaviour #user interface #using: Informing and Improving Retirement Saving Performance using Behavioral Economics Theory-driven User Interfaces (JG, ON), pp. 917–920.
CHI-2015-HarozKF #memory management #visualisation: ISOTYPE Visualization: Working Memory, Performance, and Engagement with Pictographs (SH, RK, SLF), pp. 1191–1200.
CHI-2015-HarteveldS #education #game studies: The Goal of Scoring: Exploring the Role of Game Performance in Educational Games (CH, SCS), pp. 2235–2244.
CHI-2015-LeeHL: Investigating the Information Transfer Efficiency of a 3x3 Watch-back Tactile Display (JL, JH, GL), pp. 1229–1232.
CHI-2015-LuL #gesture #mobile: Gesture On: Enabling Always-On Touch Gestures for Fast Mobile Access from the Device Standby Mode (HL, YL), pp. 3355–3364.
CHI-2015-OppermannPBLP #smarttech: The Smartphone Project: An Augmented Dance Performance (LO, CP, CB, OL, FP), pp. 2569–2572.
CHI-2015-PritchardBVO #how #mobile: How to Drive a London Bus: Measuring Performance in a Mobile and Remote Workplace (GWP, PB, JV, PO), pp. 1885–1894.
CHI-2015-ReyalZK #experience #gesture #user interface: Performance and User Experience of Touchscreen and Gesture Keyboards in a Lab Setting and in the Wild (SR, SZ, POK), pp. 679–688.
CHI-2015-RobertR: Crowd Size, Diversity and Performance (LR, DMR), pp. 1379–1382.
CHI-2015-Ruiz0 #bias #constraints #elicitation #gesture #legacy: Soft-Constraints to Reduce Legacy and Performance Bias to Elicit Whole-body Gestures with Low Arm Fatigue (JR, DV), pp. 3347–3350.
CHI-2015-TholanderN #experience #using: Snot, Sweat, Pain, Mud, and Snow: Performance and Experience in the Use of Sports Watches (JT, SN), pp. 2913–2922.
CHI-2015-VertanenMERK #mobile #named #using: VelociTap: Investigating Fast Mobile Text Entry using Sentence-Based Decoding of Touchscreen Keyboard Input (KV, HM, JE, SR, POK), pp. 659–668.
CHI-2015-ZezschwitzLBH #named #smarttech: SwiPIN: Fast and Secure PIN-Entry on Smartphones (EvZ, ADL, BB, HH), pp. 1403–1406.
CSCW-2015-PinelleG: The Effects of View Portals on Performance and Awareness in Co-Located Tabletop Groupware (DP, CG), pp. 195–206.
DHM-EH-2015-BoZDYWF #hybrid #kernel #recognition #using: Hybrid BFO-PSO and Kernel FCM for the Recognition of Pilot Performance Influenced by Simulator Movement Using Diffusion Maps (JB, YBZ, LD, BTY, QW, SF), pp. 239–247.
DHM-HM-2015-BoringJM #analysis #modelling #reliability: Human Performance Modeling for Dynamic Human Reliability Analysis (RLB, JCJ, DM), pp. 223–234.
DHM-HM-2015-KanazawaOWTTGH #experience #research: Research on the Performance of Three Tea Whisks of “The Way of Tea” with Different Experience (SK, TO, ZW, AT, YT, AG, HH), pp. 95–103.
HCI-IT-2015-DibitontoM #automation: Improving User Performance in a Smart Surveillance Scenario through Different Levels of Automation (MD, CMM), pp. 706–716.
HCI-IT-2015-MurataMF #modelling: Effects of Target Shape and Display Location on Pointing Performance by Eye-Gaze Input System — Modeling of Pointing Time by Extended Fitts’ Law (AM, MM, DF), pp. 94–106.
HCI-IT-2015-WalkerSJ #interactive: Interactive Sonification Markup Language (ISML) for Efficient Motion-Sound Mappings (JWW, MTS, MJ), pp. 385–394.
HCI-UC-2015-JeongJ #on the #personalisation: On Time: Efficient and Personalized Hospital Service (SYJ, DYJ), pp. 190–197.
LCT-2015-DalipiYK #analysis #semantics #using: Enhancing the Learner’s Performance Analysis Using SMEUS Semantic E-learning System and Business Intelligence Technologies (FD, SYY, ZK), pp. 208–217.
LCT-2015-FatahiMZ: A Computational Model to Determine Desirability of Events Based on Personality for Performance Motivational Orientation Learners (SF, HM, ANZ), pp. 227–237.
LCT-2015-KimOP #education #game studies #gesture: Developing an Educational Game for Art Education — Gesture Recognition-Based Performance Guidance for Mozart’s Opera Magic Flute (HSK, SHO, YHP), pp. 573–582.
SCSM-2015-HallC #collaboration #information management #process #social: Analysing Yammer Usage Pattern in the Context of Social Collaborative Activity Performance by Knowledge Workers (JH, BBC), pp. 127–137.
CAiSE-2015-WeilerGS #detection #runtime #twitter: Run-Time and Task-Based Performance of Event Detection Techniques for Twitter (AW, MG, MHS), pp. 35–49.
ICEIS-v1-2015-AbakumovK: Approaches to Enhancing Efficiency of Production Management on Shop Floor Level (EMA, SBK), pp. 559–564.
ICEIS-v1-2015-BedoBOCCRTT #detection #effectiveness #image #social #social media: Techniques for Effective and Efficient Fire Detection from Social Media Images (MVNB, GB, WDO, MTC, AFC, JFRJ, AJMT, CTJ), pp. 34–45.
ICEIS-v1-2015-GruppiMAFL #heuristic: An Efficient and Topologically Correct Map Generalization Heuristic (MGG, SVGM, MVAA, WRF, WL), pp. 516–525.
ICEIS-v1-2015-SirohiS #multitenancy #optimisation #query #sql: Context-sensitive Indexes in RDBMS for Performance Optimization of SQL Queries in Multi-tenant/Multi-application Environments (AKS, VS), pp. 259–270.
ICEIS-v2-2015-DutraPC #development #question #what: What Are the Main Characteristics of High Performance Teams for Software Development? (ACSD, RP, TC), pp. 145–152.
ICEIS-v2-2015-KamalKVB #delivery #using: Efficient Use of Voice as a Channel for Delivering Public Services (KKK, MK, BV, KB), pp. 626–631.
ICEIS-v2-2015-Martin-Fernandez #alias #encryption #using: Efficient Management of Revoked Pseudonyms in VANETs using ID-Based Cryptography (FMF, PCG, CCG), pp. 701–708.
ICEIS-v2-2015-MazurKW #data access #modelling #on the #security: On the Modelling of the Influence of Access Control Management to the System Security and Performance (KM, BK, AW), pp. 346–354.
ICEIS-v3-2015-GhezziCRB #agile #approach #case study #comparative #design #mobile: A Comparative Study on the Impact of Business Model Design & Lean Startup Approach versus Traditional Business Plan on Mobile Startups Performance (AG, AC, AR, RB), pp. 196–203.
CIKM-2015-AnastasiuK #graph #named #nearest neighbour: L2Knng: Fast Exact K-Nearest Neighbor Graph Construction with L2-Norm Pruning (DCA, GK), pp. 791–800.
CIKM-2015-BeecksUH0 #database #multi #scalability #similarity: Gradient-based Signatures for Efficient Similarity Search in Large-scale Multimedia Databases (CB, MSU, JH, TS0), pp. 1241–1250.
CIKM-2015-BidoitHT #polynomial: Efficient Computation of Polynomial Explanations of Why-Not Questions (NB, MH, AT), pp. 713–722.
CIKM-2015-BjorklundMT #evaluation #incremental #regular expression: Efficient Incremental Evaluation of Succinct Regular Expressions (HB, WM, TT), pp. 1541–1550.
CIKM-2015-DavtyanEH #crowdsourcing #documentation: Exploiting Document Content for Efficient Aggregation of Crowdsourcing Votes (MD, CE, TH), pp. 783–790.
CIKM-2015-GuoSA #correlation #distributed #streaming: Fast Distributed Correlation Discovery Over Streaming Time-Series Data (TG0, SS, KA), pp. 1161–1170.
CIKM-2015-HashemBAKT #product line: Efficient Computation of Trips with Friends and Families (TH, SB, MEA, LK, ET), pp. 931–940.
CIKM-2015-HuangLY #approach #clustering #data type #parallel: A Parallel GPU-Based Approach to Clustering Very Fast Data Streams (PH, XL, BY0), pp. 23–32.
CIKM-2015-JoKB #analysis #gpu #matrix #multi #network #scalability #social: Efficient Sparse Matrix Multiplication on GPU for Large Social Network Analysis (YYJ, SWK, DHB), pp. 1261–1270.
CIKM-2015-ParkHL #nearest neighbour #using: A Fast k-Nearest Neighbor Search Using Query-Specific Signature Selection (YP, HH, SgL), pp. 1883–1886.
CIKM-2015-ViegasGMR #classification #documentation #effectiveness #lazy evaluation #naive bayes #parallel: Parallel Lazy Semi-Naive Bayes Strategies for Effective and Efficient Document Classification (FV, MAG, WM, LCdR), pp. 1071–1080.
CIKM-2015-WangG #metric #multi #tuple: Partially Labeled Data Tuple Can Optimize Multivariate Performance Measures (JJYW, XG0), pp. 1915–1918.
CIKM-2015-WilkieA #bias #query: Query Length, Retrievability Bias and Performance (CW, LA), pp. 1787–1790.
ECIR-2015-EdwardsKA #design #interface #query: The Impact of Query Interface Design on Stress, Workload and Performance (AE, DK, LA), pp. 691–702.
ICML-2015-BachHBG #learning: Paired-Dual Learning for Fast Training of Latent Variable Hinge-Loss MRFs (SHB, BH, JLBG, LG), pp. 381–390.
ICML-2015-FlaxmanWNNS #process: Fast Kronecker Inference in Gaussian Processes with non-Gaussian Likelihoods (SF, AGW, DN, HN, AJS), pp. 607–616.
ICML-2015-FrostigGKS #algorithm #approximate #empirical #named #probability: Un-regularizing: approximate proximal point and faster stochastic algorithms for empirical risk minimization (RF, RG, SK, AS), pp. 2540–2548.
ICML-2015-GarberH #set: Faster Rates for the Frank-Wolfe Method over Strongly-Convex Sets (DG, EH), pp. 541–549.
ICML-2015-GouwsBC #distributed #named #word: BilBOWA: Fast Bilingual Distributed Representations without Word Alignments (SG, YB, GC), pp. 748–756.
ICML-2015-IzbickiS: Faster cover trees (MI, CRS), pp. 1162–1170.
ICML-2015-JerniteRS #approach #learning #markov #modelling #random: A Fast Variational Approach for Learning Markov Random Field Language Models (YJ, AMR, DS), pp. 2209–2217.
ICML-2015-KuklianskyS #linear: Attribute Efficient Linear Regression with Distribution-Dependent Sampling (DK, OS), pp. 153–161.
ICML-2015-LimKPJ #scalability #set: Double Nyström Method: An Efficient and Accurate Nyström Scheme for Large-Scale Data Sets (WL, MK, HP, KJ), pp. 1367–1375.
ICML-2015-NarasimhanK0 #metric #optimisation: Optimizing Non-decomposable Performance Measures: A Tale of Two Classes (HN, PK, PJ), pp. 199–208.
ICML-2015-NarasimhanRS0 #algorithm #consistency #metric #multi: Consistent Multiclass Algorithms for Complex Performance Measures (HN, HGR, AS, SA), pp. 2398–2407.
ICML-2015-NutiniSLFK #coordination #random: Coordinate Descent Converges Faster with the Gauss-Southwell Rule Than Random Selection (JN, MWS, IHL, MPF, HAK), pp. 1632–1641.
ICML-2015-TristanTS #estimation #gpu: Efficient Training of LDA on a GPU by Mean-for-Mode Estimation (JBT, JT, GLSJ), pp. 59–68.
ICML-2015-WenKA #combinator #learning #scalability: Efficient Learning in Large-Scale Combinatorial Semi-Bandits (ZW, BK, AA), pp. 1113–1122.
ICML-2015-YiCP #algorithm: Binary Embedding: Fundamental Limits and Fast Algorithm (XY, CC, EP), pp. 2162–2170.
ICML-2015-ZhangWJ #algorithm #bound #distributed #estimation #matrix #rank: Distributed Estimation of Generalized Matrix Rank: Efficient Algorithms and Lower Bounds (YZ, MJW, MIJ), pp. 457–465.
KDD-2015-BifetMRHP #big data #classification #data type #evaluation #online: Efficient Online Evaluation of Big Data Stream Classifiers (AB, GDFM, JR, GH, BP), pp. 59–68.
KDD-2015-CaiTFJH #higher-order #mining #named: Facets: Fast Comprehensive Mining of Coevolving High-order Time Series (YC, HT, WF, PJ, QH), pp. 79–88.
KDD-2015-ChierichettiEKL #algorithm #network #social: Efficient Algorithms for Public-Private Social Networks (FC, AE, RK, SL, VSM), pp. 139–148.
KDD-2015-FujiwaraNSIT #adaptation: Adaptive Message Update for Fast Affinity Propagation (YF, MN, HS, YI, MT), pp. 309–318.
KDD-2015-Llinares-LopezS #mining #mutation testing #permutation #testing: Fast and Memory-Efficient Significant Pattern Mining via Permutation Testing (FLL, MS, LP, KMB), pp. 725–734.
KDD-2015-OhHYJ #matrix #parallel #robust: Fast and Robust Parallel SGD Matrix Factorization (JO, WSH, HY, XJ), pp. 865–874.
KDD-2015-OhsakaMK #evolution #network #rank: Efficient PageRank Tracking in Evolving Networks (NO, TM, KiK), pp. 875–884.
KDD-2015-SongMT #network #recommendation: Efficient Latent Link Recommendation in Signed Networks (DS, DAM, DT), pp. 1105–1114.
KDD-2015-UlanovaYCJKZ #physics #profiling: Efficient Long-Term Degradation Profiling in Time Series for Complex Physical Systems (LU, TY, HC, GJ, EJK, KZ), pp. 2167–2176.
KDD-2015-XieBDG #personalisation #rank: Edge-Weighted Personalized PageRank: Breaking A Decade-Old Performance Barrier (WX, DB, AJD, JG), pp. 1325–1334.
KDD-2015-YanRHC #distributed #learning #modelling #optimisation #scalability: Performance Modeling and Scalability Optimization of Distributed Deep Learning Systems (FY, OR, YH, TMC), pp. 1355–1364.
KDD-2015-Yi0YLW #algorithm #clustering #constraints: An Efficient Semi-Supervised Clustering Algorithm with Sequential Constraints (JY, LZ, TY, WL, JW), pp. 1405–1414.
KDD-2015-ZhangTMTJL #named #network #scalability #similarity: Panther: Fast Top-k Similarity Search on Large Networks (JZ, JT, CM, HT, YJ, JL), pp. 1445–1454.
KDD-2015-ZhangZMH #assembly #co-evolution #named: Assembler: Efficient Discovery of Spatial Co-evolving Patterns in Massive Geo-sensory Data (CZ, YZ, XM, JH), pp. 1415–1424.
KDD-2015-ZhaoJCJ #estimation #parametricity #quality: SAME but Different: Fast and High Quality Gibbs Parameter Estimation (HZ, BJ, JFC, BJ), pp. 1495–1502.
MLDM-2015-Al-SaleemAAB #education #mining #predict #student: Mining Educational Data to Predict Students’ Academic Performance (MAS, NAK, SAO, GB), pp. 403–414.
MLDM-2015-MoldovanM #data mining #learning #mining #using: Learning the Relationship Between Corporate Governance and Company Performance Using Data Mining (DM, SM), pp. 368–381.
MLDM-2015-SalahAM #mining #optimisation #pipes and filters: Optimizing the Data-Process Relationship for Fast Mining of Frequent Itemsets in MapReduce (SS, RA, FM), pp. 217–231.
MLDM-2015-ZidaFWLT #mining: Efficient Mining of High-Utility Sequential Rules (SZ, PFV, CWW, JCWL, VST), pp. 157–171.
RecSys-2015-ForsatiBMER #algorithm #named #recommendation #trust: PushTrust: An Efficient Recommendation Algorithm by Leveraging Trust and Distrust Relations (RF, IB, FM, AHE, HR), pp. 51–58.
RecSys-2015-Guardia-Sebaoun #modelling #recommendation: Latent Trajectory Modeling: A Light and Efficient Way to Introduce Time in Recommender Systems (ÉGS, VG, PG), pp. 281–284.
RecSys-2015-LiuWS #matrix: Fast Differentially Private Matrix Factorization (ZL, YXW, AJS), pp. 171–178.
RecSys-2015-MaksaiGF #evaluation #metric #online #predict #recommendation: Predicting Online Performance of News Recommender Systems Through Richer Evaluation Metrics (AM, FG, BF), pp. 179–186.
SEKE-2015-GoswamiWS #learning #using: Using Learning Styles of Software Professionals to Improve their Inspection Team Performance (AG, GSW, AS), pp. 680–685.
SEKE-2015-KinneerKMW #automation #database #generative #relational #search-based #testing: Automatically Evaluating the Efficiency of Search-Based Test Data Generation for Relational Database Schemas (CK, GMK, PM, CJW), pp. 352–357.
SEKE-2015-ManiPW #co-evolution #modelling #using: Exploring SOA Pattern Performance using Coupled Transformations and Performance Models (NM, DCP, CMW), pp. 552–557.
SEKE-2015-PeiYF #data access #in the cloud #policy: Achieving Efficient Access Control via XACML Policy in Cloud Computing (XP, HY, GF), pp. 110–115.
SIGIR-2015-CanutoGSRM #approach #classification #documentation #parallel #scalability: An Efficient and Scalable MetaFeature-based Document Classification Approach based on Massively Parallel Computing (SDC, MAG, WS, TR, WM), pp. 333–342.
SIGIR-2015-LuccheseNOPTV #algorithm #documentation #named #rank: QuickScorer: A Fast Algorithm to Rank Documents with Additive Ensembles of Regression Trees (CL, FMN, SO, RP, NT, RV), pp. 73–82.
SIGIR-2015-MalherbeCB #categorisation #order: Bringing Order to the Job Market: Efficient Job Offer Categorization in E-Recruitment (EM, MC, AB), pp. 1101–1104.
MoDELS-2015-KetataMFLC #migration #modelling #predict: Performance prediction upon toolchain migration in model-based software (AK, CM, SF, JHL, KC), pp. 302–311.
MoDELS-2015-Moawad0FNKT #modelling: Beyond discrete modeling: A continuous and efficient model for IoT (AM, TH, FF, GN, JK, YLT), pp. 90–99.
SPLC-2015-SoutoGdMKB #debugging #detection #feature model #modelling #product line: Faster bug detection for software product lines with incomplete feature models (SS, DG, Md, DM, SK, DSB), pp. 151–160.
SPLC-2015-ValovGC #comparison #empirical #predict #variability: Empirical comparison of regression methods for variability-aware performance prediction (PV, JG, KC), pp. 186–190.
ECOOP-2015-FangDX #detection #named #problem: PerfBlower: Quickly Detecting Memory-Related Performance Problems via Amplification (LF, LD, G(X), pp. 296–320.
Onward-2015-GreweEWM #proving #type system: Type systems for the masses: deriving soundness proofs and efficient checkers (SG, SE, PW, MM), pp. 137–150.
Onward-2015-MattisHRHA: Columnar objects: improving the performance of analytical applications (TM, JH, PR, RH, MA), pp. 197–210.
OOPSLA-2015-0003KLS #data type #memory management #multi #scalability: Fast, multicore-scalable, low-fragmentation memory allocation through large virtual memory and global data structures (MA, CMK, ML, AS), pp. 451–469.
OOPSLA-2015-BiswasZBL #exception #named: Valor: efficient, software-only region conflict exceptions (SB, MZ, MDB, BL), pp. 241–259.
OOPSLA-2015-SteindorferV #agile #optimisation #virtual machine: Optimizing hash-array mapped tries for fast and lean immutable JVM collections (MJS, JJV), pp. 783–800.
OOPSLA-2015-ToffolaPG #dynamic analysis #problem: Performance problems you can fix: a dynamic analysis of memoization opportunities (LDT, MP, TRG), pp. 607–622.
PLATEAU-2015-CuencaBLC #case study #domain-specific language #execution #interactive #multimodal #programming #user study: A user study for comparing the programming efficiency of modifying executable multimodal interaction descriptions: a domain-specific language versus equivalent event-callback code (FC, JVdB0, KL, KC), pp. 31–38.
AdaEurope-2015-NelissenPP #architecture #monitoring #novel #runtime: A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring (GN, DP, LMP), pp. 66–82.
PADL-2015-ShterionovJ #implementation #pipes and filters #probability: Implementation and Performance of Probabilistic Inference Pipelines (DSS, GJ), pp. 90–104.
PLDI-2015-MarrSD #metaprogramming #protocol: Zero-overhead metaprogramming: reflection and metaobject protocols fast and without compromises (SM, CS, SD), pp. 545–554.
PLDI-2015-McClurgHCF #network #synthesis: Efficient synthesis of network updates (JM, HH, PC, NF), pp. 196–207.
PLDI-2015-NoriORV #probability #source code #synthesis: Efficient synthesis of probabilistic programs (AVN, SO, SKR, DV), pp. 208–217.
PLDI-2015-OlivoDL #debugging #detection #static analysis #traversal: Static detection of asymptotic performance bugs in collection traversals (OO, ID, CL), pp. 369–378.
PLDI-2015-RenJKAK #execution #hardware #recursion #source code: Efficient execution of recursive programs on commodity vector hardware (BR, YJ, SK, KA, MK), pp. 509–520.
PLDI-2015-SinghPV #program analysis: Making numerical program analysis fast (GS, MP, MTV), pp. 303–313.
POPL-2015-ChatterjeeIPG #algebra #algorithm #constant #recursion #state machine: Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth (KC, RIJ, AP, PG), pp. 97–109.
POPL-2015-RastogiSFBV #type system #typescript: Safe & Efficient Gradual Typing for TypeScript (AR, NS, CF, GMB, PV), pp. 167–180.
QAPL-2015-BortolussiH #markov #modelling: Efficient Checking of Individual Rewards Properties in Markov Population Models (LB, JH), pp. 32–47.
REFSQ-2015-LiHT #case study #formal method #requirements #towards: Towards More Efficient Requirements Formalization: A Study (WL, JHH, MT), pp. 181–197.
ASE-2015-BocicB #logic #verification: Efficient Data Model Verification with Many-Sorted Logic (T) (IB, TB), pp. 42–52.
ASE-2015-DeligiannisDR #analysis #concurrent #debugging #precise: Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers (T) (PD, AFD, ZR), pp. 166–177.
ASE-2015-KowalTTS #modelling #parametricity #scalability #variability: Scaling Size and Parameter Spaces in Variability-Aware Software Performance Models (T) (MK, MT, MT, IS), pp. 407–417.
ASE-2015-LinLCSH0 #algorithm #combinator #generative #metaheuristic #named #testing: TCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation (T) (JL, CL, SC, KS, DH, LZ), pp. 494–505.
ASE-2015-SarkarGSAC #configuration management #low cost #predict: Cost-Efficient Sampling for Performance Prediction of Configurable Systems (T) (AS, JG, NS, SA, KC), pp. 342–352.
ASE-2015-ShermanD #analysis #data flow #precise: Exploiting Domain and Program Structure to Synthesize Efficient and Precise Data Flow Analyses (T) (ES, MBD), pp. 608–618.
ASE-2015-ZhangGBC #configuration management #fourier #learning #predict: Performance Prediction of Configurable Software Systems by Fourier Learning (T) (YZ, JG, EB, KC), pp. 365–373.
ESEC-FSE-2015-BellKMD #dependence #detection #java: Efficient dependency detection for safe Java test acceleration (JB, GEK, EM, MD), pp. 770–781.
ESEC-FSE-2015-KimNYCK #api #fault #named #predict #testing: REMI: defect prediction for efficient API testing (MK, JN, JY, SC, SK), pp. 990–993.
ESEC-FSE-2015-WestNM #concurrent #object-oriented: Efficient and reasonable object-oriented concurrency (SW, SN, BM), pp. 734–744.
ESEC-FSE-2015-White #generative #parametricity #search-based #testing #using: Increasing the efficiency of search-based unit test generation using parameter control (TW), pp. 1042–1044.
ICSE-v1-2015-BaresiKR #ltl #scalability #specification #verification: Efficient Scalable Verification of LTL Specifications (LB, MMPK, MR), pp. 711–721.
ICSE-v1-2015-BocicB #verification: Coexecutability for Efficient Verification of Data Model Updates (IB, TB), pp. 744–754.
ICSE-v1-2015-FilieriGL #adaptation #learning #lightweight #modelling #probability: Lightweight Adaptive Filtering for Efficient Learning and Updating of Probabilistic Models (AF, LG, AL), pp. 200–211.
ICSE-v1-2015-GhotraMH #classification #fault #modelling #predict: Revisiting the Impact of Classification Techniques on the Performance of Defect Prediction Models (BG, SM, AEH), pp. 789–800.
ICSE-v1-2015-NistorCRL #detection #named #problem: CARAMEL: Detecting and Fixing Performance Problems That Have Non-Intrusive Fixes (AN, PCC, CR, SL), pp. 902–912.
ICSE-v1-2015-PapadakisJHT #compilation #detection #effectiveness #empirical #equivalence #scalability: Trivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection Technique (MP, YJ, MH, YLT), pp. 936–946.
ICSE-v1-2015-Tantithamthavorn #fault #modelling #predict: The Impact of Mislabelling on the Performance and Interpretation of Defect Prediction Models (CT, SM, AEH, AI, KiM), pp. 812–823.
ICSE-v2-2015-ChenGSYH #energy #named: StressCloud: A Tool for Analysing Performance and Energy Consumption of Cloud Applications (FC, JCG, JGS, YY, QH), pp. 721–724.
ICSE-v2-2015-EtienneMAD #modelling #predict #process #proving #trust: Improving Predictability, Efficiency and Trust of Model-Based Proof Activity (JFÉ, MM, FA, VD), pp. 139–148.
ICSE-v2-2015-FooJAHZF #automation #case study #detection #industrial: An Industrial Case Study on the Automated Detection of Performance Regressions in Heterogeneous Environments (KCF, ZMJ, BA, AEH, YZ, PF), pp. 159–168.
ICSE-v2-2015-MaplesdenRTHG #analysis #case study #industrial #using: Performance Analysis Using Subsuming Methods: An Industrial Case Study (DM, KvR, EDT, JGH, JCG), pp. 149–158.
ICSE-v2-2015-ProcacciantiLVF #energy: The Green Lab: Experimentation in Software Energy Efficiency (GP, PL, AV, DMF, RW), pp. 941–942.
ICSE-v2-2015-Rastogi: Contributor’s Performance, Participation Intentions, Its Influencers and Project Performance (AR), pp. 919–922.
ICSE-v2-2015-Roos #code completion #precise #statistics: Fast and Precise Statistical Code Completion (PR), pp. 757–759.
ICSE-v2-2015-VetroOF0 #empirical #feedback #re-engineering #research: Fast Feedback Cycles in Empirical Software Engineering Research (AV, SO, DMF, SW), pp. 583–586.
SAC-2015-BoitoKND #profiling #towards: Towards fast profiling of storage devices regarding access sequentiality (FZB, RK, POAN, YD), pp. 2015–2020.
SAC-2015-BorgesDSEAS #approach #reasoning #reuse #using: Efficient approach for reusing and sharing train driving plans using case-based reasoning (APB, OBD, DMVS, FE, BCÁ, EES), pp. 505–508.
SAC-2015-BritoE #branch #named #query: BranchGuide: an indexing technique for efficient, lossless processing of branching path queries (TBV, GEdS), pp. 1086–1092.
SAC-2015-DecatBLJ #as a service #data access #middleware #multitenancy #named: Amusa: middleware for efficient access control management of multi-tenant SaaS applications (MD, JB, BL, WJ), pp. 2141–2148.
SAC-2015-DuanZHX #analysis #delivery #framework #network #platform: Performance analysis for a service delivery platform in software defined network (QD, MZ, JH, CCX), pp. 2257–2262.
SAC-2015-ErnstKR #evaluation #network: Performance evaluation of heterogeneous wireless networks considering competing objectives and viewpoints (JBE, SCK, JJPCR), pp. 680–687.
SAC-2015-Fournier-VigerZ #mining #named: FOSHU: faster on-shelf high utility itemset mining — with or without negative unit profit (PFV, SZ), pp. 857–864.
SAC-2015-HendersonGE #clustering #empirical #named #parametricity #probability: EP-MEANS: an efficient nonparametric clustering of empirical probability distributions (KH, BG, TER), pp. 893–900.
SAC-2015-HsiehNKC #approximate #query #recommendation: Efficient approximate thompson sampling for search query recommendation (CCH, JN, TK, JC), pp. 740–746.
SAC-2015-InacioDBNM #file system #operating system #parallel #parametricity: Performance impact of operating systems’ caching parameters on parallel file systems (ECI, MARD, FZB, POAN, DDJdM), pp. 2066–2068.
SAC-2015-JakobssonKS #c #hybrid #memory management #monitoring: Fast as a shadow, expressive as a tree: hybrid memory monitoring for C (AJ, NK, JS), pp. 1765–1772.
SAC-2015-JeremicPM #array #random: Improving random write performance in heterogeneous erasure-coded drive arrays by offloading code block requests (NJ, HP, GM), pp. 2007–2014.
SAC-2015-JuniorDOFB #web: Handling flash-crowd events to improve the performance of web applications (UdPJ, LMdAD, DdO, YF, VCB), pp. 769–774.
SAC-2015-KapoorDC #capacity #energy #reduction: Static energy reduction by performance linked cache capacity management in tiled CMPs (HKK, SD, SC), pp. 1913–1918.
SAC-2015-LeeRH #file system #memory management: Performance implications of cache flushes for non-volatile memory file systems (KL, SR, HH), pp. 2069–2071.
SAC-2015-LopesT #framework: A framework for investigating the performance of sum aggregations over encrypted data warehouses (CCL, VCT), pp. 1000–1007.
SAC-2015-ManhaesCZ #automation #predict #source code #student #towards: Towards automatic prediction of student performance in STEM undergraduate degree programs (LMBM, SMSdC, GZ), pp. 247–253.
SAC-2015-MinHJCH #distributed #process #scalability: An efficient backup-recovery technique to process large data in distributed key-value store (DM, TH, JJ, YC, JH), pp. 2072–2074.
SAC-2015-MukherjeeKCDCM #as a service #design #framework #platform #scalability: Performance characterization and scalable design of sensing-as-a-service platform (TM, AK, DC, KD, AC, AM), pp. 592–595.
SAC-2015-OliveiraLV #framework #security #web #web service: Characterizing the performance of web service frameworks under security attacks (RAO, NL, MV), pp. 1711–1718.
SAC-2015-PapeBH #adaptation #data type #execution #optimisation: Adaptive just-in-time value class optimization: transparent data structure inlining for fast execution (TP, CFB, RH), pp. 1970–1977.
SAC-2015-ReddySC #approach #aspect-oriented #incremental #learning #weaving: Incremental aspect weaving: an approach for faster AOP learning (YRR, AS, MC), pp. 1480–1485.
SAC-2015-Rekha #big data #detection #using: A fast support vector data description system for anomaly detection using big data (AGR), pp. 931–932.
SAC-2015-RiediBP #algorithm #scalability: Channel and power allocation algorithm to optimize the performance of large WLANs (MR, GGB, MEP), pp. 673–679.
SAC-2015-RochaRCOMVADGF #algorithm #classification #dataset #documentation #named #using: G-KNN: an efficient document classification algorithm for sparse datasets on GPUs using KNN (LCdR, GSR, RC, RSO, DM, FV, GA, SD, MAG, RF), pp. 1335–1338.
SAC-2015-SidneyMRH #predict #set #similarity: Performance prediction for set similarity joins (CFS, DSM, LAR, TH), pp. 967–972.
SAC-2015-TodaT #satisfiability: BDD construction for all solutions SAT and efficient caching mechanism (TT, KT), pp. 1880–1886.
SAC-2015-YangCHCLK: Reliability-aware striping with minimized performance overheads for flash-based storage devices (MCY, YMC, PCH, YHC, LJL, TWK), pp. 1906–1912.
SLE-2015-BousseCCGB #debugging: Supporting efficient and advanced omniscient debugging for xDSMLs (EB, JC, BC, JGG, BB), pp. 137–148.
ASPLOS-2015-DuanHT #memory management #optimisation #symmetry: Asymmetric Memory Fences: Optimizing Both Performance and Implementability (YD, NH, JT), pp. 531–543.
ASPLOS-2015-HosekC #execution #framework: VARAN the Unbelievable: An Efficient N-version Execution Framework (PH, CC), pp. 339–353.
ASPLOS-2015-MalkaABT #named: rIOMMU: Efficient IOMMU for I/O Devices that Employ Ring Buffers (MM, NA, MBY, DT), pp. 355–368.
ASPLOS-2015-MishraZLH #approach #constraints #energy #modelling #probability #visual notation: A Probabilistic Graphical Model-based Approach for Minimizing Energy Under Performance Constraints (NM, HZ, JDL, HH), pp. 267–281.
ASPLOS-2015-SungA #named: DeNovoSync: Efficient Support for Arbitrary Synchronization without Writer-Initiated Invalidations (HS, SVA), pp. 545–559.
CASE-2015-AndersenDBH #architecture #flexibility #reuse: An architecture for efficient reuse in flexible production scenarios (RHA, LD, ABB, JH), pp. 151–157.
CASE-2015-CarliDPR #energy #multi #optimisation #using: Using multi-objective optimization for the integrated energy efficiency improvement of a smart city public buildings’ portfolio (RC, MD, RP, LR), pp. 21–26.
CASE-2015-HandokoL #delivery #order #privacy: Efficient order sharing with privacy preservation via double auction with split delivery (SDH, HCL), pp. 69–74.
CASE-2015-HolmOFUHAK #evolution #industrial #integration #process: Engineering method for the integration of modules into fast evolving production systems in the process industry (TH, MO, AF, LU, UH, TA, SK), pp. 1042–1047.
CASE-2015-HuangHCC #synthesis: Efficient grasp synthesis and control strategy for robot hand-arm system (MBH, HPH, CCC, CAC), pp. 1256–1257.
CASE-2015-JiaZAX #analysis: Performance analysis of Bernoulli serial production lines with switch-on/off machine control (ZJ, LZ, JA, GX), pp. 477–482.
CASE-2015-LiuC #algorithm #evaluation #quality #using: A fast algorithm for grasp quality evaluation using the object wrench space (SL, SC), pp. 558–563.
CASE-2015-MeddouriDF #analysis #generative #induction #predict #using: Performance analysis of an autonomous induction generator under different operating conditions using predictive control (SM, LAD, LF), pp. 1118–1124.
CASE-2015-PellicciariBBG #energy: Increasing position accuracy and energy efficiency of servo-actuated mechanisms (MP, GB, FB, MG), pp. 1339–1344.
CASE-2015-SaezMBT #analysis #hybrid #realtime #simulation: Real-time hybrid simulation of manufacturing systems for performance analysis and control (MS, FPM, KB, DMT), pp. 526–531.
CASE-2015-WangTG #automation: Automated performance tracking for heat exchangers in HVAC (PW, XT, RG), pp. 949–954.
CASE-2015-ZakharovZYJ #algorithm #configuration management #distributed #fault tolerance #optimisation #predict: A performance optimization algorithm for controller reconfiguration in fault tolerant distributed model predictive control (AZ, EZ, MY, SLJJ), pp. 886–891.
CASE-2015-ZhangWZZ #automaton #learning #optimisation: Incorporation of ordinal optimization into learning automata for high learning efficiency (JZ, CW, DZ, MZ), pp. 1206–1211.
CASE-2015-ZhaoLH #estimation #flexibility #problem: Plant flexibility planning: Problem formulation and performance estimation (CZ, JL, NH), pp. 659–664.
CC-2015-AfroozehI #gll #parsing: Faster, Practical GLL Parsing (AA, AI), pp. 89–108.
CC-2015-DemangePS #coq #optimisation #verification: Verifying Fast and Sparse SSA-Based Optimizations in Coq (DD, DP, LS), pp. 233–252.
CGO-2015-RohouSS #branch #predict #trust: Branch prediction and the performance of interpreters: don’t trust folklore (ER, BNS, AS), pp. 103–114.
CGO-2015-StepanovS #c++ #detection #memory management #named: MemorySanitizer: fast detector of uninitialized memory use in C++ (ES, KS), pp. 46–55.
CGO-2015-ZhangGCCH #named: HERMES: a fast cross-ISA binary translator with post-optimization (XZ, QG, YC, TC, WH), pp. 246–256.
CGO-2015-ZhengLHWJ #approach #debugging #manycore #on the: On performance debugging of unnecessary lock contentions on multicore processors: a replay-based approach (LZ, XL, BH, SW, HJ), pp. 56–67.
DAC-2015-Bowen #quality: Walking a thin line: performance and quality grading vs. yield overcut (CB), p. 2.
DAC-2015-ChangCKLL #memory management: Achieving SLC performance with MLC flash memory (YMC, YHC, TWK, YCL, HPL), p. 6.
DAC-2015-ChenMRC #execution #paradigm: Opportunistic turbo execution in NTC: exploiting the paradigm shift in performance bottlenecks (HC, DM, SR, KC), p. 6.
DAC-2015-DingCZ #algorithm #invariant: An efficient shift invariant rasterization algorithm for all-angle mask patterns in ILT (YD, CCNC, XZ), p. 6.
DAC-2015-DuraisamyKCLPMM #energy #manycore #pipes and filters #platform: Energy efficient MapReduce with VFI-enabled multicore platforms (KD, RGK, WC, GL, PPP, RM, DM), p. 6.
DAC-2015-GuSZCH #embedded #memory management: Area and performance co-optimization for domain wall memory in application-specific embedded systems (SG, EHMS, QZ, YC, JH), p. 6.
DAC-2015-HuangFYZL #estimation #multi: Efficient multivariate moment estimation via Bayesian model fusion for analog and mixed-signal circuits (QH, CF, FY, XZ, XL), p. 6.
DAC-2015-IsmailLS #worst-case: Improving worst-case cache performance through selective bypassing and register-indexed cache (MI, DL, GES), p. 6.
DAC-2015-JiangLZYW #effectiveness #feature model #image: A 127 fps in full hd accelerator based on optimized AKAZE with efficiency and effectiveness for image feature extraction (GJ, LL, WZ, SY, SW), p. 6.
DAC-2015-JungC #embedded #multi #named #platform #simulation: ΣVP: host-GPU multiplexing for efficient simulation of multiple embedded GPUs on virtual platforms (YJ, LPC), p. 6.
DAC-2015-KadjoAKG #approach #cpu #energy #gpu #mobile #platform: A control-theoretic approach for energy efficient CPU-GPU subsystem in mobile platforms (DK, RA, MK, PVG), p. 6.
DAC-2015-LeeHLP #data flow #debugging #information management #interface: Efficient dynamic information flow tracking on a processor with core debug interface (JL, IH, YL, YP), p. 6.
DAC-2015-LeeNL #optimisation: Optimizing stream program performance on CGRA-based systems (HL, DN, JL), p. 6.
DAC-2015-LiBTO #communication #energy: Complementary communication path for energy efficient on-chip optical interconnects (HL, SLB, YT, IO), p. 6.
DAC-2015-LinYP #constraints: High performance dummy fill insertion with coupling and uniformity constraints (YL, BY, DZP), p. 6.
DAC-2015-LiuZ #configuration management: A reconfigurable analog substrate for highly efficient maximum flow computation (GL, ZZ), p. 6.
DAC-2015-LiZHLHX #automation #compilation #stack: Compiler directed automatic stack trimming for efficient non-volatile processors (QL, MZ, JH, YL, YH, CJX), p. 6.
DAC-2015-LukasiewyczSS #design #embedded #platform: Efficient design space exploration of embedded platforms (ML, FS, SS), p. 6.
DAC-2015-MengYOLW #array #clustering #data access #memory management #parallel: Efficient memory partitioning for parallel data access in multidimensional arrays (CM, SY, PO, LL, SW), p. 6.
DAC-2015-MilutinovicQAC #estimation #named: PACO: fast average-performance estimation for time-randomized caches (SM, EQ, JA, FJC), p. 6.
DAC-2015-PapamichaelMH #algorithm #automation #design #named #search-based #using: Nautilus: fast automated IP design space search using guided genetic algorithms (MKP, PM, JCH), p. 6.
DAC-2015-RamprasathV #algorithm #optimisation #statistics: An efficient algorithm for statistical timing yield optimization (SR, VV), p. 6.
DAC-2015-RanjanVFRR #approximate #energy: Approximate storage for energy efficient spintronic memories (AR, SV, XF, KR, AR), p. 6.
DAC-2015-RoseM #analysis #design: Performance analysis of a memristive crossbar PUF design (GSR, CAM), p. 6.
DAC-2015-RoyLUP #multi #named #optimisation #paradigm: OSFA: a new paradigm of gate-sizing for power/performance optimizations under multiple operating conditions (SR, DL, JU, DZP), p. 6.
DAC-2015-RozicYDV #generative #random: Highly efficient entropy extraction for true random number generators on FPGAs (VR, BY, WD, IV), p. 6.
DAC-2015-SarmaMBDN #energy #linux #named: SmartBalance: a sensing-driven linux load balancer for energy efficiency of heterogeneous MPSoCs (SS, TM, LADB, NDD, AN), p. 6.
DAC-2015-VasudevanR #algorithm: An efficient algorithm for frequency-weighted balanced truncation of VLSI interconnects in descriptor form (VV, MR), p. 6.
DAC-2015-VenkataramaniCR #approximate: Approximate computing and the quest for computing efficiency (SV, STC, KR, AR), p. 6.
DAC-2015-WangJZWY #energy: Selective restore: an energy efficient read disturbance mitigation scheme for future STT-MRAM (RW, LJ, YZ, LW, JY), p. 6.
DAC-2015-ZaheerWGL #markov #named #process: mTunes: efficient post-silicon tuning of mixed-signal/RF integrated circuits based on Markov decision process (MZ, FW, CG, XL), p. 6.
DAC-2015-ZhuangYKWC #algorithm #exponential #framework #scalability #simulation #using: An algorithmic framework for efficient large-scale circuit simulation using exponential integrators (HZ, WY, IK, XW, CKC), p. 6.
DATE-2015-0001B #clustering #energy #manycore: A ultra-low-energy convolution engine for fast brain-inspired vision in multicore clusters (FC, LB), pp. 683–688.
DATE-2015-AhmadyanGNCV #analysis #diagrams: Fast eye diagram analysis for high-speed CMOS circuits (SNA, CG, SN, EC, SV), pp. 1377–1382.
DATE-2015-ArumugamSAPUBPY #algorithm #co-evolution #design #energy #memory management #novel: Novel inexact memory aware algorithm co-design for energy efficient computation: algorithmic principles (GPA, PS, JA, KVP, EU, AB, P, SY), pp. 752–757.
DATE-2015-AwanoHS #named #probability: ECRIPSE: an efficient method for calculating RTN-induced failure probability of an SRAM cell (HA, MH, TS), pp. 549–554.
DATE-2015-AzarkhishRLB #memory management: High performance AXI-4.0 based interconnect for extensible smart memory cubes (EA, DR, IL, LB), pp. 1317–1322.
DATE-2015-ChenM #distributed #learning #manycore #optimisation: Distributed reinforcement learning for power limited many-core system performance optimization (ZC, DM), pp. 1521–1526.
DATE-2015-ChenWY #parallel: A fast parallel sparse solver for SPICE-based circuit simulators (XC, YW, HY), pp. 205–210.
DATE-2015-ClercqRVV #encryption #implementation: Efficient software implementation of ring-LWE encryption (RdC, SSR, FV, IV), pp. 339–344.
DATE-2015-CourbonLFT #detection #hardware: A high efficiency hardware trojan detection technique based on fast SEM imaging (FC, PLM, JJAF, AT), pp. 788–793.
DATE-2015-DinizSDBH #architecture #hardware #standard #video: A deblocking filter hardware architecture for the high efficiency video coding standard (CMD, MS, FVD, SB, JH), pp. 1509–1514.
DATE-2015-DoumaAP #estimation #execution #precise: Fast and precise cache performance estimation for out-of-order execution (RD, SA, ADP), pp. 1132–1137.
DATE-2015-DubenSPYAEPP #big data #case study #energy: Opportunities for energy efficient computing: a study of inexact general purpose processors for high-performance and big-data applications (PDD, JS, P, SY, JA, CCE, KVP, TNP), pp. 764–769.
DATE-2015-FangHYZLG #estimation #fault: Efficient bit error rate estimation for high-speed link by Bayesian model fusion (CF, QH, FY, XZ, XL, CG), pp. 1024–1029.
DATE-2015-FaravelonFP #branch #predict #simulation: Fast and accurate branch predictor simulation (AF, NF, FP), pp. 317–320.
DATE-2015-GarciaMSN #multi: High performance single supply CMOS inverter level up shifter for multi: supply voltages domains (JCG, JAMN, JS, SN), pp. 1273–1276.
DATE-2015-GerumBR #gpu #simulation: Source level performance simulation of GPU cores (CG, OB, WR), pp. 217–222.
DATE-2015-GoncalvesLCTCB #algorithm #modelling #reduction: A fast spatial variation modeling algorithm for efficient test cost reduction of analog/RF circuits (HRG, XL, MVC, VT, JMCJ, KMB), pp. 1042–1047.
DATE-2015-KobbeBH #adaptation #modelling #on the fly: Adaptive on-the-fly application performance modeling for many cores (SK, LB, JH), pp. 730–735.
DATE-2015-KriebelRSASH #analysis #combinator #configuration management #fault #named: ACSEM: accuracy-configurable fast soft error masking analysis in combinatorial circuits (FK, SR, DS, PVA, MS, JH), pp. 824–829.
DATE-2015-LeeJG #functional #hardware #simulation: Dynamic power and performance back-annotation for fast and accurate functional hardware simulation (DL, LKJ, AG), pp. 1126–1131.
DATE-2015-LiaperdosSATAL #deployment #using: Fast deployment of alternate analog test using Bayesian model fusion (JL, HGDS, LA, YT, AA, XL), pp. 1030–1035.
DATE-2015-LiLZGSSZCLY #energy: An energy efficient backup scheme with low inrush current for nonvolatile SRAM in energy harvesting sensor nodes (HL, YL, QZ, YG, XS, GS, CZ, MFC, RL, HY), pp. 7–12.
DATE-2015-LinSKRM #debugging #detection #effectiveness #fault #testing #validation: Quick error detection tests with fast runtimes for effective post-silicon validation and debug (DL, ES, SK, ER, SM), pp. 1168–1173.
DATE-2015-LiSGWXZS #memory management #reduction: Maximizing IO performance via conflict reduction for flash memory storage systems (QL, LS, CG, KW, CJX, QZ, EHMS), pp. 904–907.
DATE-2015-MineoRPACM #architecture #energy #self: A closed loop transmitting power self-calibration scheme for energy efficient WiNoC architectures (AM, MSR, MP, GA, VC, MNM), pp. 513–518.
DATE-2015-MirkhaniMCA #design #estimation #fault: Efficient soft error vulnerability estimation of complex designs (SM, SM, CYC, JA), pp. 103–108.
DATE-2015-NguyenSCM #robust #set: Efficient attacks on robust ring oscillator PUF with enhanced challenge-response set (PHN, DPS, RSC, DM), pp. 641–646.
DATE-2015-PaganiCSH #modelling #named: MatEx: efficient transient and peak temperature computation for compact thermal models (SP, JJC, MS, JH), pp. 1515–1520.
DATE-2015-PaoneRPZSS #constraints #framework #platform: Customization of OpenCL applications for efficient task mapping under heterogeneous platform constraints (EP, FR, GP, VZ, IS, CS), pp. 736–741.
DATE-2015-ParkAHYL #big data #energy #gpu #low cost #memory management: Memory fast-forward: a low cost special function unit to enhance energy efficiency in GPU for big data processing (EP, JA, SH, SY, SL), pp. 1341–1346.
DATE-2015-ParkTNII #platform: Platform-aware dynamic configuration support for efficient text processing on heterogeneous system (MSP, OT, VN, MJI, RI), pp. 1503–1508.
DATE-2015-PsarrasSND #named #network #scheduling: PhaseNoC: TDM scheduling at the virtual-channel level for efficient network traffic isolation (AP, IS, CN, GD), pp. 1090–1095.
DATE-2015-RahaVRR #approximate #configuration management #energy #quality: Quality configurable reduce-and-rank for energy efficient approximate computing (AR, SV, VR, AR), pp. 665–670.
DATE-2015-TeysseyreNOCCG #set #simulation #using: Fast optical simulation from a reduced set of impulse responses using SystemC-AMS (FT, DN, IO, FC, FC, OG), pp. 405–409.
HPCA-2015-BeckmannS #named: Talus: A simple way to remove cliffs in cache performance (NB, DS), pp. 64–75.
HPCA-2015-JimenezBBOCV #manycore: Increasing multicore system efficiency through intelligent bandwidth shifting (VJ, AB, PB, FPO, FJC, MV), pp. 39–50.
HPCA-2015-KimE #reliability #trade-off: Balancing reliability, cost, and performance tradeoffs with FreeFault (DWK, ME), pp. 439–450.
HPCA-2015-MenezoPG #energy #hybrid #protocol #scalability: Flask coherence: A morphable hybrid coherence protocol to balance energy, performance and scalability (LGM, VP, JÁG), pp. 198–209.
HPCA-2015-OzsoyDGAP #detection #framework #online: Malware-aware processors: A framework for efficient online malware detection (MO, CD, IG, NBAG, DVP), pp. 651–661.
HPCA-2015-PalframanKL #energy #fault #named: iPatch: Intelligent fault patching to improve energy efficiency (DJP, NSK, MHL), pp. 428–438.
HPCA-2015-RosDK #classification #clustering: Hierarchical private/shared classification: The key to simple and efficient coherence for clustered cache hierarchies (AR, MD, SK), pp. 186–197.
HPCA-2015-WuGLJC #estimation #machine learning #using: GPGPU performance and power estimation using machine learning (GYW, JLG, AL, NJ, DC), pp. 564–576.
HPDC-2015-KocoloskiL #memory management #multi #named: XEMEM: Efficient Shared Memory for Composed Applications on Multi-OS/R Exascale Systems (BK, JRL), pp. 89–100.
HPDC-2015-Malony #adaptation: Through the Looking-Glass: From Performance Observation to Dynamic Adaptation (ADM), p. 1.
HPDC-2015-OuyangKLP #kernel #lightweight: Achieving Performance Isolation with Lightweight Co-Kernels (JO, BK, JRL, KTP), pp. 149–160.
HPDC-2015-PatkiLSMRSS #resource management: Practical Resource Management in Power-Constrained, High Performance Computing (TP, DKL, AS, MM, BR, MS, BRdS), pp. 121–132.
HPDC-2015-SuWA #data analysis #generative: In-Situ Bitmaps Generation and Efficient Data Analysis based on Bitmaps (YS, YW, GA), pp. 61–72.
HPDC-2015-ZhouLLPZ #abstraction #graph #parallel: Fast Iterative Graph Computation with Resource Aware Graph Parallel Abstractions (YZ, LL, KL, CP, QZ), pp. 179–190.
ISMM-2015-Kuszmaul #named #parallel #thread: SuperMalloc: a super fast multithreaded malloc for 64-bit machines (BCK), pp. 41–55.
ISMM-2015-MirandaB #object-oriented #programming: A partial read barrier for efficient support of live object-oriented programming (EM, CB), pp. 93–104.
ISMM-2015-StancuWBLF #hybrid #java #memory management: Safe and efficient hybrid memory management for Java (CS, CW, SB, PL, MF), pp. 81–92.
LCTES-2015-BardizbanyanSWL #data access #using: Improving Data Access Efficiency by Using Context-Aware Loads and Stores (AB, MS, DBW, PLE), p. 10.
LCTES-2015-GhoshPR #alias: Enabling Efficient Alias Speculation (SG, YP, AR), p. 10.
PDP-2015-BravoSW #algorithm #architecture #implementation: Efficient Implementation of a Fast Viewshed Algorithm on SIMD Architectures (JCB, TS, JW), pp. 199–202.
PDP-2015-ChetsaLPSC #energy #framework #multi: Application-Agnostic Framework for Improving the Energy Efficiency of Multiple HPC Subsystems (GLTC, LL, JMP, PS, GDC), pp. 62–69.
PDP-2015-CostaP: DVFS Governor for HPC: Higher, Faster, Greener (GDC, JMP), pp. 533–540.
PDP-2015-CruzDPN #algorithm: An Efficient Algorithm for Communication-Based Task Mapping (EHMdC, MD, LLP, POAN), pp. 207–214.
PDP-2015-DiavastosST #data flow #manycore #named: TFluxSCC: Exploiting Performance on Future Many-Core Systems through Data-Flow (AD, GS, PT), pp. 190–198.
PDP-2015-Eisserer #embedded #framework #image #parallel #platform #realtime: Portable Framework for Real-Time Parallel Image Processing on High Performance Embedded Platforms (CE), pp. 721–724.
PDP-2015-GeorgakarakosTL #evaluation #parallel: Performance Evaluation of Parallel HEVC Strategies (GG, LT, JL, JH, UF), pp. 137–144.
PDP-2015-GuerreiroIRT #energy #kernel #multi #optimisation: Multi-kernel Auto-Tuning on GPUs: Performance and Energy-Aware Optimization (JG, AI, NR, PT), pp. 438–445.
PDP-2015-KonstantinidisC #bound #gpu #kernel #memory management: A Practical Performance Model for Compute and Memory Bound GPU Kernels (EK, YC), pp. 651–658.
PDP-2015-Loucif: Concentration and Its Impact on Mesh and Torus-Based NoC Performance (SL), pp. 361–364.
PDP-2015-LuWWCZ #identification #named: RaceChecker: Efficient Identification of Harmful Data Races (KL, ZW, XW, CC, XZ), pp. 78–85.
PDP-2015-MorenoULC #data flow #framework #named #scalability: NanoCheckpoints: A Task-Based Asynchronous Dataflow Framework for Efficient and Scalable Checkpoint/Restart (JAM, OSÜ, JL, AC), pp. 99–102.
PDP-2015-MukunokiIT #implementation #multi: Fast Implementation of General Matrix-Vector Multiplication (GEMV) on Kepler GPUs (DM, TI, DT), pp. 642–650.
PDP-2015-NanriSAMHKTS #communication #interface #memory management: Channel Interface: A Primitive Model for Memory Efficient Communication (TN, TS, YA, YM, HH, TK, TT, SS), pp. 177–181.
PDP-2015-NgWSM #manycore #named #resource management #runtime: DeFrag: Defragmentation for Efficient Runtime Resource Allocation in NoC-Based Many-core Systems (JN, XW, AKS, TSTM), pp. 345–352.
PDP-2015-ProkopecPO: Efficient Lock-Free Work-Stealing Iterators for Data-Parallel Collections (AP, DP, MO), pp. 248–252.
PDP-2015-SelfaSRG #metric #multi: Methodologies and Performance Metrics to Evaluate Multiprogram Workloads (VS, JS, CGR, MEG), pp. 150–154.
PDP-2015-SieglBB #hybrid: Revealing Potential Performance Improvements by Utilizing Hybrid Work-Sharing for Resource-Intensive Seismic Applications (PS, RB, MB), pp. 659–663.
PDP-2015-SilveiraMCBFM #configuration management #fault tolerance #preprocessor: Preprocessing of Scenarios for Fast and Efficient Routing Reconfiguration in Fault-Tolerant NoCs (JS, CAMM, PC, GCB, JMF, RM), pp. 404–411.
PDP-2015-SousaMP #algorithm #parallel: A Generic and Highly Efficient Parallel Variant of Boruvka’s Algorithm (CdSS, AM, AP), pp. 610–617.
PDP-2015-UtreraGM #communication #multi: Evaluating the Performance Impact of Communication Imbalance in Sparse Matrix-Vector Multiplication (GU, MG, XM), pp. 321–328.
PDP-2015-XavierORPMR #analysis: A Performance Isolation Analysis of Disk-Intensive Workloads on Container-Based Clouds (MGX, ICDO, FDR, RDDP, KJM, CAFDR), pp. 253–260.
PDP-2015-YounessIMO #gpu #implementation #optimisation #problem #satisfiability: An Efficient Implementation of Ant Colony Optimization on GPU for the Satisfiability Problem (HAY, AI, MM, MO), pp. 230–235.
PDP-2015-ZahidGBJS #algorithm #clustering #enterprise: A Weighted Fat-Tree Routing Algorithm for Efficient Load-Balancing in Infini Band Enterprise Clusters (FZ, EGG, BB, BDJ, TS), pp. 35–42.
PPoPP-2015-AlSaberK #multi #semantics: SemCache++: semantics-aware caching for efficient multi-GPU offloading (NA, MK), pp. 255–256.
PPoPP-2015-BaldassinBA #memory management #transaction: Performance implications of dynamic memory allocators on transactional memory systems (AB, EB, GA), pp. 87–96.
PPoPP-2015-BensonB #framework #matrix #parallel: A framework for practical parallel fast matrix multiplication (ARB, GB), pp. 42–53.
PPoPP-2015-ChabbiFM #multi: High performance locks for multi-level NUMA systems (MC, MWF, JMMC), pp. 215–226.
PPoPP-2015-MuralidharanGCSH #programming: A collection-oriented programming model for performance portability (SM, MG, BCC, AS, MWH), pp. 263–264.
PPoPP-2015-RamachandranM #concurrent #named #using: CASTLE: fast concurrent internal binary search tree using edge-based locking (AR, NM), pp. 281–282.
PPoPP-2015-ThebaultPD #3d #assembly #case study #implementation #matrix #scalability: Scalable and efficient implementation of 3d unstructured meshes computation: a case study on matrix assembly (LT, EP, QD), pp. 120–129.
PPoPP-2015-WestNM #concurrent #object-oriented: Efficient and reasonable object-oriented concurrency (SW, SN, BM), pp. 273–274.
SOSP-2015-DragojevicNNRSB #consistency #distributed #transaction: No compromises: distributed transactions with consistency, availability, and performance (AD, DN, EBN, MR, AS, AB, MC), pp. 54–70.
SOSP-2015-WeiSCCC #in memory #transaction #using: Fast in-memory transaction processing using RDMA and HTM (XW, JS, YC, RC, HC), pp. 87–104.
ESOP-2015-AbdullaAP: The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO (PAA, MFA, NTP), pp. 308–332.
ESOP-2015-SiekVCTG #type system: Monotonic References for Efficient Gradual Typing (JGS, MMV, MC, STH, RG), pp. 432–456.
FASE-2015-StruberRCT #approach #model transformation #reuse #variability: A Variability-Based Approach to Reusable and Efficient Model Transformations (DS, JR, MC, GT), pp. 283–298.
STOC-2015-AmbainisFG #matrix #multi: Fast Matrix Multiplication: Limitations of the Coppersmith-Winograd Method (AA, YF, FLG), pp. 585–593.
STOC-2015-BassilyS #protocol: Local, Private, Efficient Protocols for Succinct Histograms (RB, ADS), pp. 127–135.
STOC-2015-LackiOPSZ #algorithm #distance #power of: The Power of Dynamic Distance Oracles: Efficient Dynamic Algorithms for the Steiner Tree (JL, JO, MP, PS, AZ), pp. 11–20.
STOC-2015-SunW #canonical: Faster Canonical Forms for Primitive Coherent Configurations: Extended Abstract (XS, JW), pp. 693–702.
STOC-2015-ZhuO #convergence: Nearly-Linear Time Positive LP Solver with Faster Convergence Rate (ZAZ, LO), pp. 229–236.
CAV-2015-BozzanoCGM #analysis #modelling #safety: Efficient Anytime Techniques for Model-Based Safety Analysis (MB, AC, AG, CM), pp. 603–621.
CAV-2015-ChatterjeeIP #algorithm #constant #graph #verification: Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs (KC, RIJ, AP), pp. 140–157.
CAV-2015-VizelGM: Fast Interpolating BMC (YV, AG, SM), pp. 641–657.
ICLP-2015-Saleh: Transforming Delimited Control: Achieving Faster Effect Handlers (AHS), pp. 338–347.
ICST-2015-MohacsiFB #case study #modelling #testing: A Case Study on the Efficiency of Model-Based Testing at the European Space Agency (SM, MF, AB), pp. 1–2.
ICST-2015-RodriguesBCZO #modelling #named #testing: PLeTsPerf — A Model-Based Performance Testing Tool (EdMR, MB, LTC, AFZ, FMdO), pp. 1–8.
ISSTA-2015-EpitropakisYHB #empirical #evaluation #multi #testing: Empirical evaluation of pareto efficient multi-objective regression test case prioritisation (MGE, SY, MH, EKB), pp. 234–245.
ISSTA-2015-Narayanaswamy #concurrent: When truth is efficient: analysing concurrency (GN), pp. 141–152.
ISSTA-2015-ShenLPG #automation #detection #profiling #search-based #using: Automating performance bottleneck detection using search-based application profiling (DS, QL, DP, MG), pp. 270–281.
LICS-2015-FigueiraL #graph #logic #query: Path Logics for Querying Graphs: Combining Expressiveness and Efficiency (DF, LL), pp. 329–340.
SAT-2015-ArifMM #axiom: Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing (MFA, CM, JMS), pp. 324–342.
SAT-2015-FalknerLH #analysis #automation #named #satisfiability: SpySMAC: Automated Configuration and Performance Analysis of SAT Solvers (SF, MTL, FH), pp. 215–222.
TAP-2015-BirchFP #fault #locality #modelling #testing: Fast Model-Based Fault Localisation with Test Suites (GB, BF, MRP), pp. 38–57.
CBSE-2014-NoorshamsRRKR #architecture #modelling #predict #statistics: Enriching software architecture models with statistical models for performance prediction in modern storage environments (QN, RR, AR, SK, RHR), pp. 45–54.
ECSA-2014-BerardinelliMP #analysis #design #network: fUML-Driven Design and Performance Analysis of Software Agents for Wireless Sensor Network (LB, ADM, SP), pp. 324–339.
ECSA-2014-ChiprianovFSP #architecture #distributed #embedded #modelling #predict #realtime: Architectural Support for Model-Driven Performance Prediction of Distributed Real-Time Embedded Systems of Systems (VC, KEF, CS, GP), pp. 357–364.
ECSA-2014-XiongFPM #architecture #as a service #cost analysis #platform #scalability: Scalable Architectures for Platform-as-a-Service Clouds: Performance and Cost Analysis (HX, FF, CP, NM), pp. 226–233.
QoSA-2014-BrunnertWK #architecture #enterprise #modelling #using: Using architecture-level performance models as resource profiles for enterprise applications (AB, KW, HK), pp. 53–62.
QoSA-2014-JohnsonC #architecture #evolution #smt #specification: Efficient re-resolution of SMT specifications for evolving software architectures (KJ, RC), pp. 93–102.
QoSA-2014-Perez-PalacinM #modelling #nondeterminism: Dealing with uncertainties in the performance modelling of software systems (DPP, RM), pp. 33–42.
QoSA-2014-WertOHF #anti #automation #component #detection: Automatic detection of performance anti-patterns in inter-component communications (AW, MO, CH, RF), pp. 3–12.
WICSA-2014-SmileyMW #adaptation #architecture #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.
DocEng-2014-KolbergFRF #analysis #documentation #throughput #using: JAR tool: using document analysis for improving the throughput of high performance printing environments (MLK, LGF, MR, CF), pp. 175–178.
DRR-2014-GaoRKL #database #documentation #image #retrieval: Fast structural matching for document image retrieval through spatial databases (HG, MR, DK, JL), p. ?–10.
HT-2014-ChengKWT #architecture #distributed #memory management #rdf #scalability: A two-tier index architecture for fast processing large RDF data over distributed memory (LC, SK, TEW, GT), pp. 300–302.
JCDL-2014-GaoWLXMW #retrieval #scalability: Fast Image-based Chinese Calligraphic Character Retrieval on Large Scale Data (PG, JW, YL, YX, TM, BW), pp. 211–220.
JCDL-2014-KellyNW #html #javascript: The Archival Acid Test: Evaluating archive performance on advanced HTML and JavaScript (MK, MLN, MCW), pp. 25–28.
SIGMOD-2014-AgarwalMKTJMMS #approximate #query #reliability: Knowing when you’re wrong: building fast and reliable approximate query processing systems (SA, HM, AK, AT, MIJ, SM, BM, IS), pp. 481–492.
SIGMOD-2014-CheneyLW #evaluation #multi #query #relational: Query shredding: efficient relational evaluation of queries over nested multisets (JC, SL, PW), pp. 1027–1038.
SIGMOD-2014-ChenLWXML #algorithm #network #query: Efficient algorithms for optimal location queries in road networks (ZC, YL, RCWW, JX, GM, CL), pp. 123–134.
SIGMOD-2014-GoelCGMMHW #database #facebook: Fast database restarts at facebook (AG, BC, CG, DM, JM, FUH, JLW), pp. 541–549.
SIGMOD-2014-KarnagelHLHLHM #query: Demonstrating efficient query processing in heterogeneous environments (TK, MH, ML, DH, WL, MH, VM), pp. 693–696.
SIGMOD-2014-LiCFTL: Efficient location-aware influence maximization (GL, SC, JF, KLT, WSL), pp. 87–98.
SIGMOD-2014-PapailiouTKKK #data transformation #graph #rdf: H2RDF+: an efficient data management system for big RDF graphs (NP, DT, IK, PK, NK), pp. 909–912.
SIGMOD-2014-ShaoCC #detection #parallel: Efficient cohesive subgraphs detection in parallel (YS, LC, BC), pp. 613–624.
SIGMOD-2014-TangXS #complexity: Influence maximization: near-optimal time complexity meets practical efficiency (YT, XX, YS), pp. 75–86.
SIGMOD-2014-TaoL #similarity: Efficient top-K SimRank-based similarity join (WT, GL), pp. 1603–1604.
SIGMOD-2014-WangKFGKM #framework #query: A sample-and-clean framework for fast and accurate query processing on dirty data (JW, SK, MJF, KG, TK, TM), pp. 469–480.
SIGMOD-2014-WuJZ #graph #nearest neighbour #query #random #scalability: Fast and unified local search for random walk based k-nearest-neighbor query in large graphs (YW, RJ, XZ), pp. 1139–1150.
SIGMOD-2014-XiongHN #approach #distributed #network #query: A software-defined networking based approach for performance management of analytical queries on distributed data stores (PX, HH, JFN), pp. 955–966.
SIGMOD-2014-XuKM #framework #multi #nondeterminism #summary: Efficient summarization framework for multi-attribute uncertain data (JX, DVK, SM), pp. 421–432.
SIGMOD-2014-ZengGMZ #approximate #estimation #fault #query: The analytical bootstrap: a new method for fast error estimation in approximate query processing (KZ, SG, BM, CZ), pp. 277–288.
VLDB-2014-AlaviZPC #in the cloud #named #query: RASP-QS: Efficient and Confidential Query Services in the Cloud (ZA, LZ, JP, KC), pp. 1685–1688.
VLDB-2014-AndersonCJWZ #development #ide #re-engineering: An Integrated Development Environment for Faster Feature Engineering (MRA, MJC, YJ, GW, BZ), pp. 1657–1660.
VLDB-2014-CaoYX #database #low cost: Realization of the Low Cost and High Performance MySQL Cloud Database (WC, FY, JX), pp. 1742–1747.
VLDB-2014-ChenCCC #named: SOPS: A System for Efficient Processing of Spatial-Keyword Publish/Subscribe (LC, YC, GC, XC), pp. 1601–1604.
VLDB-2014-ChenNC #detection #sql: Fast Foreign-Key Detection in Microsoft SQL Server PowerPivot for Excel (ZC, VRN, SC), pp. 1417–1428.
VLDB-2014-ChiangDN #algorithm: Tracking Entities in the Dynamic World: A Fast Algorithm for Matching Temporal Records (YHC, AD, JFN), pp. 469–480.
VLDB-2014-JugelJHM #visual notation: Faster Visual Analytics through Pixel-Perfect Aggregation (UJ, ZJ, GH, VM), pp. 1705–1708.
VLDB-2014-KlonatosKRC #query: Building Efficient Query Engines in a High-Level Language (YK, CK, TR, HC), pp. 853–864.
VLDB-2014-KlonatosKRC14a #query: Errata for “Building Efficient Query Engines in a High-Level Language” (PVLDB 7(10): 853-864) (YK, CK, TR, HC), p. 1784.
VLDB-2014-KorulaL #algorithm #network #social: An efficient reconciliation algorithm for social networks (NK, SL), pp. 377–388.
VLDB-2014-LiagourisT #identification #knowledge base #owl: Efficient Identification of Implicit Facts in Incomplete OWL2-EL Knowledge Bases (JL, MT), pp. 1993–2004.
VLDB-2014-LiLWB #in the cloud #privacy #query: Fast Range Query Processing with Strong Privacy Protection for Cloud Computing (RL, AXL, ALW, BB), pp. 1953–1964.
VLDB-2014-LiuCHLS #approximate #named #nearest neighbour: SK-LSH: An Efficient Index Structure for Approximate Nearest Neighbor Search (YL, JC, ZH, HL, HTS), pp. 745–756.
VLDB-2014-NagelBV #code generation #query: Code Generation for Efficient Query Processing in Managed Runtimes (FN, GMB, SDV), pp. 1095–1106.
VLDB-2014-XiongH #distributed #named #network #query: Pronto: A Software-Defined Networking based System for Performance Management of Analytical Queries on Distributed Data Stores (PX, HH), pp. 1661–1664.
VLDB-2014-YanCXLNB #algorithm #graph #problem: Pregel Algorithms for Graph Connectivity Problems with Performance Guarantees (DY, JC, KX, YL, WN, YB), pp. 1821–1832.
VLDB-2014-ZhangCT #database: An Efficient Publish/Subscribe Index for ECommerce Databases (DZ, CYC, KLT), pp. 613–624.
VLDB-2014-ZhangTCO #analysis #data transformation #in memory: Efficient In-memory Data Management: An Analysis (HZ, BMT, GC, BCO), pp. 833–836.
VLDB-2015-GraefeVKKTLV14 #big data #in memory: In-Memory Performance for Big Data (GG, HV, HK, HAK, JT, ML, ACV), pp. 37–48.
VLDB-2015-InoueOT14 #branch #predict #set: Faster Set Intersection with SIMD instructions by Reducing Branch Mispredictions (HI, MO, KT), pp. 293–304.
VLDB-2015-ShenCJLOT14 #distributed #graph: Fast Failure Recovery in Distributed Graph Processing Systems (YS, GC, HVJ, WL, BCO, BMT), pp. 437–448.
VLDB-2015-TaoYL14 #similarity: Efficient Top-K SimRank-based Similarity Join (WT, MY, GL), pp. 317–328.
VLDB-2015-ThenKCHPK0V14 #graph #multi #traversal: The More the Merrier: Efficient Multi-Source Graph Traversal (MT, MK, FC, TAHV, KP, AK, TN, HTV), pp. 449–460.
EDM-2014-Barmaki #communication #education: Nonverbal Communication and Teaching Performance (RB), pp. 441–443.
EDM-2014-BeheshtiD #assessment #predict #set: Predictive performance of prevailing approaches to skills assessment techniques: Insights from real vs. synthetic data sets (BB, MCD), pp. 409–410.
EDM-2014-JiangWSWO #behaviour #predict: Predicting MOOC performance with Week 1 Behavior (SJ, AEW, KS, MW, DKO), pp. 273–275.
EDM-2014-VelasquezGMM #learning #online: Learning Aid Use Patterns and Their Impact on Exam Performance in Online Developmental Mathematics (NFV, IMG, TM, JM), pp. 379–380.
EDM-2014-XiongAH #predict: Improving Retention Performance Prediction with Prerequisite Skill Features (XX, SA, NTH), pp. 375–376.
ITiCSE-2014-DagieneMPRS #contest #student: Students’ performance on programming-related tasks in an informatics contest in Finland, Sweden and Lithuania (VD, LM, TP, LR, PS), pp. 153–158.
SIGITE-2014-Hartpence #challenge #metric: Curricular and performance measurement challenges in cloud environments (BH), pp. 51–54.
SIGITE-2014-JacksonEC #analysis #contest #programming: An analysis of team performance in high school programming contests (SJ, HJCE, RC), pp. 27–32.
ICPC-2014-MatsumuraIKI #execution #java #visualisation: Repeatedly-executed-method viewer for efficient visualization of execution paths and states in Java (TM, TI, YK, KI), pp. 253–257.
ICSME-2014-AsaduzzamanRSH #code completion #named: CSCC: Simple, Efficient, Context Sensitive Code Completion (MA, CKR, KAS, DH), pp. 71–80.
ICSME-2014-BellomoENO: Evolutionary Improvements of Cross-Cutting Concerns: Performance in Practice (SB, NAE, RLN, IO), pp. 545–548.
ICSME-2014-Syer #evolution #maintenance #testing: The Maintenance and Evolution of Field-Representative Performance Tests (MDS), p. 665.
ICSME-2014-VieiraFC #embedded #maintenance #metric #using: Using Software Metrics to Estimate the Impact of Maintenance in the Performance of Embedded Software (AV, PF, ÉFC), pp. 521–525.
MSR-2014-NguyenNHNF #automation #case study #identification #industrial: An industrial case study of automatically identifying performance regression-causes (THDN, MN, AEH, MNN, PF), pp. 232–241.
SCAM-2014-BazrafshanK #debugging #developer: Effect of Clone Information on the Performance of Developers Fixing Cloned Bugs (SB, RK), pp. 1–10.
SCAM-2014-KargenS #scalability #slicing: Efficient Utilization of Secondary Storage for Scalable Dynamic Slicing (UK, NS), pp. 155–164.
SCAM-2014-LiangSM #analysis: Fast Flow Analysis with Godel Hashes (SL, WS, MM), pp. 225–234.
ICALP-v1-2014-AbboudWW #sequence: Consequences of Faster Alignment of Sequences (AA, VVW, OW), pp. 39–51.
ICALP-v1-2014-BringmannKPPT #physics #simulation: Internal DLA: Efficient Simulation of a Physical Growth Model — (KB, FK, KP, UP, HT), pp. 247–258.
ICALP-v1-2014-ColeK #algorithm #summary: Fast Algorithms for Constructing Maximum Entropy Summary Trees (RC, HJK), pp. 332–343.
ICALP-v1-2014-DobzinskiL: Efficiency Guarantees in Auctions with Budgets (SD, RPL), pp. 392–404.
ICALP-v1-2014-KoppartyKS #finite: Efficient Indexing of Necklaces and Irreducible Polynomials over Finite Fields (SK, MK, MES), pp. 726–737.
ICALP-v1-2014-MekaRRR #independence #pseudo: Fast Pseudorandomness for Independence and Load Balancing — (RM, OR, GNR, RDR), pp. 859–870.
ICALP-v1-2014-ReidlRVS #algorithm: A Faster Parameterized Algorithm for Treedepth (FR, PR, FSV, SS), pp. 931–942.
ICALP-v1-2014-Wulff-Nilsen #approximate #distance #graph: Faster Separators for Shallow Minor-Free Graphs via Dynamic Approximate Distance Oracles (CWN), pp. 1063–1074.
LATA-2014-BellaouarCZ #kernel #sequence #string: Efficient List-Based Computation of the String Subsequence Kernel (SB, HC, DZ), pp. 138–148.
FM-2014-GunadiT #android #case study #logic #metric #monitoring #operating system #runtime: Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System (HG, AT), pp. 296–311.
FM-2014-PonzioRAF #bound: Efficient Tight Field Bounds Computation Based on Shape Predicates (PP, NR, NA, MFF), pp. 531–546.
FM-2014-RinastSG #graph #reduction: A Graph-Based Transformation Reduction to Reach UPPAAL States Faster (JR, SS, DG), pp. 547–562.
FM-2014-SchebenS #calculus #composition #self: Efficient Self-composition for Weakest Precondition Calculi (CS, PHS), pp. 579–594.
Haskell-2014-Pike #automation #named #reduction: SmartCheck: automatic and efficient counterexample reduction and generalization (LP), pp. 53–64.
ICFP-2014-HackettH: Worker/wrapper/makes it/faster (JH, GH), pp. 95–107.
ICFP-2014-MarlowBCP #abstraction #concurrent #data access: There is no fork: an abstraction for efficient, concurrent, and concise data access (SM, LB, JC, JP), pp. 325–337.
IFL-2014-AdsitF #analysis #control flow #system f: An Efficient Type- and Control-Flow Analysis for System F (CA, MF), p. 3.
ILC-2014-SmithP #finite #lisp #permutation: Efficient Finite Permutation Groups and Homomesy Computation in Common Lisp (RS, BP), p. 60.
ILC-2014-Strandh #lisp: Fast Generic Dispatch for Common Lisp (RS), p. 89.
CHI-PLAY-2014-BarataGJG #experience #game studies #learning #student: Relating gaming habits with student performance in a gamified learning experience (GB, SG, JAJ, DJVG), pp. 17–25.
CIG-2014-PerezSL #game studies #knowledge-based #video: Knowledge-based fast evolutionary MCTS for general video game playing (DPL, SS, SML), pp. 1–8.
ICGT-2014-AnjorinLST #graph grammar #model transformation #static analysis: A Static Analysis of Non-confluent Triple Graph Grammars for Efficient Model Transformation (AA, EL, AS, GT), pp. 130–145.
CHI-2014-AtachiantsGJD #design #parallel #tool support: Design considerations for parallel performance tools (RA, DG, KJ, GD), pp. 2501–2510.
CHI-2014-BarkhuusEZ #interactive #music: Watching the footwork: second screen interaction at a dance and music performance (LB, AE, GZ), pp. 1305–1314.
CHI-2014-DontchevaMBG #crowdsourcing #learning: Combining crowdsourcing and learning to improve engagement and performance (MD, RRM, JRB, EMG), pp. 3379–3388.
CHI-2014-GerlingMMBS #experience #game studies #physics #self: Effects of balancing for physical abilities on player performance, experience and self-esteem in exergames (KMG, MM, RLM, MVB, JDS), pp. 2201–2210.
CHI-2014-Gilbert #social #what: What if we ask a different question?: social inferences create product ratings faster (EG), pp. 2759–2762.
CHI-2014-GutwinCSMO: Faster command selection on tablets with FastTap (CG, AC, JS, SM, SCO), pp. 2617–2626.
CHI-2014-HalfakerGT #design #named: Snuggle: designing for efficient socialization and ideological critique (AH, RSG, LGT), pp. 311–320.
CHI-2014-HenleyF #editing #navigation #towards: The patchworks code editor: toward faster navigation with less code arranging and fewer navigation mistakes (AZH, SDF), pp. 2511–2520.
CHI-2014-HongA #modelling #predict #recommendation #user interface #using: Novice use of a predictive human performance modeling tool to produce UI recommendations (KWH, RSA), pp. 2251–2254.
CHI-2014-LohseRPKE #gesture: Robot gestures make difficult tasks easier: the impact of gestures on perceived workload and task performance (ML, RR, JGP, DEK, VE), pp. 1459–1466.
CHI-2014-MuellerMGFB #3d #functional #named: faBrickation: fast 3D printing of functional objects by integrating construction kit building blocks (SM, TM, KG, JF, PB), pp. 3827–3834.
CHI-2014-NguyenK #matter #multi: Orientation matters: efficiency of translation-rotation multitouch tasks (QN, MK), pp. 2013–2016.
CHI-2014-NicosiaOK #modelling: Modeling the perception of user performance (MN, AO, POK), pp. 1747–1756.
CHI-2014-RadleJMR #navigation: Bigger is not always better: display size, performance, and task load during peephole map navigation (RR, HCJ, JM, HR), pp. 4127–4136.
CHI-2014-SampathRI #crowdsourcing #design #platform: Cognitively inspired task design to improve user performance on crowdsourcing platforms (HAS, RR, BI), pp. 3665–3674.
CHI-2014-ShamiNC #social #social media: Social media participation and performance at work: a longitudinal study (NSS, JN, JC), pp. 115–118.
CHI-2014-SoloveyZPRM #using: Classifying driver workload using physiological and driving performance data: two field studies (ETS, MZ, EAGP, BR, BM), pp. 4057–4066.
CSCW-2014-EhrlichC #communication #development: The communication patterns of technical leaders: impact on product development team performance (KE, MC), pp. 733–744.
CSCW-2014-MunsonKRR #email #monitoring: Monitoring email to indicate project team performance and mutual attraction (SAM, KK, LPRJ), pp. 542–549.
CSCW-2014-QuinnB #named #spreadsheet: AskSheet: efficient human computation for decision making with spreadsheets (AJQ, BBB), pp. 1456–1466.
CSCW-2014-SaveryGGB #consistency #experience #game studies #maintenance: The effects of consistency maintenance methods on player experience and performance in networked games (CS, TCNG, CG, MB), pp. 1344–1355.
CSCW-2014-TeoJ #functional #online #quality: Fast, functional, and fitting: expert response dynamics and response quality in an online newcomer help forum (HJT, AJ), pp. 332–341.
CSCW-2014-ZhuDKK #assessment #learning: Reviewing versus doing: learning and performance in crowd assessment (HZ, SPD, REK, AK), pp. 1445–1455.
DHM-2014-HuangLCCC #quality: The Influence of Shift Workers Sleeping Quality upon Job Performance (YCH, FLL, HCC, CCC, CLC), pp. 254–262.
DHM-2014-LiuTZSLSF #assessment #behaviour #framework #modelling #named #platform: COMPAss: A Space Cognitive Behavior Modeling and Performance Assessment Platform (YL, ZT, YZ, QS, JL, JS, FF), pp. 630–636.
DHM-2014-NishimuraTGEK: Effect of Wall Material of a Room on Performance in Long Monotonous Work (HN, YT, AG, AE, NK), pp. 282–291.
DHM-2014-YamadaOFYGKH #behaviour #music #visual notation: Visual Behavior in a Japanese Drum Performance of Gion Festival Music (KY, MO, TF, HY, AG, NK, HH), pp. 301–310.
DUXU-TMT-2014-Lamontagne #paradigm #smarttech: Techno-Theoretical Paradigm: Performance, Fashion and Wearables (VL), pp. 153–162.
DUXU-TMT-2014-WetzlingerAD #effectiveness #experience #usability #user interface #using: Comparing Effectiveness, Efficiency, Ease of Use, Usability and User Experience When Using Tablets and Laptops (WW, AA, MD), pp. 402–412.
HCI-AIMT-2014-JonssonD #interactive #speech: Driving with a Speech Interaction System: Effect of Personality on Performance and Attitude of Driver (IMJ, ND), pp. 417–428.
HCI-AS-2014-NoorHAS #design #interactive: Mapping Graceful Interaction Design from Dance Performance (NLMN, WNWH, WAWA, FMS), pp. 301–311.
HCI-AS-2014-YoungCGC #metric #mobile #physics #process: Snappy App: A Mobile Continuous Performance Test with Physical Activity Measurement for Assessing Attention Deficit Hyperactivity Disorder (ZY, MPC, MG, JC), pp. 363–373.
HCI-TMT-2014-HankiewiczB #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.
HCI-TMT-2014-JuniorSFMC: Fast and Not Furious (LLLJ, FES, FAF, LFVM, JPC), pp. 219–229.
HCI-TMT-2014-SzklannySWCW #interface #metaprogramming #named: SyncBox — Synchronizer and Interface for High-Speed Macro Photography (KS, AS, PW, SC, AW), pp. 652–661.
HIMI-AS-2014-MikamiT #learning #music: A Music Search System for Expressive Music Performance Learning (TM, KT), pp. 80–89.
HIMI-DE-2014-SakaguchiIH #development #using: Development of High-Speed Thermal Display Using Water Flow (MS, KI, KH), pp. 233–240.
LCT-TRE-2014-GoodeC #collaboration #online #predict: Online Collaboration: Individual Involvement Used to Predict Team Performance (AWG, GC), pp. 408–416.
LCT-TRE-2014-TzanavariMCP #experience #user interface #using: User Experience Observations on Factors That Affect Performance in a Road-Crossing Training Application for Children Using the CAVE (AT, SM, CGC, CP), pp. 91–101.
CAiSE-2014-PolyvyanyyRH #modelling #process #retrieval #using: Indexing and Efficient Instance-Based Retrieval of Process Models Using Untanglings (AP, MLR, AHMtH), pp. 439–456.
EDOC-2014-BorhaniLLLH #benchmark #metric #named #virtual machine: WPress: An Application-Driven Performance Benchmark for Cloud-Based Virtual Machines (AHB, PL, BSL, XL, TH), pp. 101–109.
ICEIS-v1-2014-DavarG #distributed #information management #object-oriented: Performance Tuning of Object-Oriented Applications in Distributed Information Systems (ZD, JRG), pp. 201–208.
ICEIS-v1-2014-KannistoHPK #architecture #assessment #distributed #information management #mobile #reasoning #rule-based: Distributed Knowledge Management Architecture and Rule Based Reasoning for Mobile Machine Operator Performance Assessment (PK, DH, LP, SK), pp. 440–449.
ICEIS-v1-2014-SilvaNMFMM #algorithm #detection #distributed #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.
ICEIS-v2-2014-SantosBLHC #development #distributed #metric: Managing Distributed Software Development with Performance Measures (GSdS, RB, GCLL, EHMH, EC), pp. 307–314.
ICEIS-v2-2014-SilvaMS #aspect-oriented #evaluation #overview #programming: A Systematic Review on Performance Evaluation of Aspect-Oriented Programming Techniques used to Implement Crosscutting Concerns (RFGdS, MdAM, MSS), pp. 5–13.
ICEIS-v3-2014-KwanroengjaiLTS #framework: Operational Alignment Framework for Improving Business Performance of an Organisation (JK, KL, CT, LS), pp. 352–359.
ICEIS-v3-2014-ObsivacBB #privacy #student: Do Desperate Students Trade Their Privacy for a Hope? — An Evidence of the Privacy Settings Influence on the User Performance (TO, HB, MB), pp. 156–161.
CIKM-2014-AbedjanSN #dependence #functional #named: DFD: Efficient Functional Dependency Discovery (ZA, PS, FN), pp. 949–958.
CIKM-2014-BudaCMK #database #named: VFDS: An Application to Generate Fast Sample Databases (TSB, TC, JM, MK), pp. 2048–2050.
CIKM-2014-CanutoSGRRGRM #classification #effectiveness #on the: On Efficient Meta-Level Features for Effective Text Classification (SDC, TS, MAG, LCdR, GSR, LG, TCR, WSM), pp. 1709–1718.
CIKM-2014-ChatzistergiouV #clustering #data type #heuristic: Fast Heuristics for Near-Optimal Task Allocation in Data Stream Processing over Clusters (AC, SDV), pp. 1579–1588.
CIKM-2014-Huo0LM #query: Improving Tail Query Performance by Fusion Model (SH, MZ, YL, SM), pp. 559–568.
CIKM-2014-KangKL #automation #owl: A Meta-reasoner to Rule Them All: Automated Selection of OWL Reasoners Based on Efficiency (YBK, SK, YFL), pp. 1935–1938.
CIKM-2014-KimC #array: Efficient Static and Dynamic In-Database Tensor Decompositions on Chunk-Based Array Stores (MK, KSC), pp. 969–978.
CIKM-2014-LimCK #data type: Fast, Accurate, and Space-efficient Tracking of Time-weighted Frequent Items from Data Streams (YL, JC, UK), pp. 1109–1118.
CIKM-2014-LiuLK #classification #information management #using: Using Local Information to Significantly Improve Classification Performance (WL, DL, RK), pp. 1947–1950.
CIKM-2014-LiZZW #keyword #named: INK: A Cloud-Based System for Efficient Top-k Interval Keyword Search (RL, XZ, XZ, SW), pp. 2003–2005.
CIKM-2014-OzdemirayA #predict #query: Query Performance Prediction for Aspect Weighting in Search Result Diversification (AMO, ISA), pp. 1871–1874.
CIKM-2014-QinSFSC #internet #linked data #open data #towards: Towards Efficient Dissemination of Linked Data in the Internet of Things (YQ, QZS, NJGF, AS, EC), pp. 1779–1782.
CIKM-2014-SchuthSWLR #evaluation #multi #online: Multileaved Comparisons for Fast Online Evaluation (AS, FS, SW, DL, MdR), pp. 71–80.
CIKM-2014-TaoW #predict #query: Query Performance Prediction By Considering Score Magnitude and Variance Together (YT, SW), pp. 1891–1894.
CIKM-2014-TongZC0 #graph #nondeterminism #probability #scalability: Efficient Probabilistic Supergraph Search Over Large Uncertain Graphs (YT, XZ, CCC, LC), pp. 809–818.
CIKM-2014-UysalBSS #approximate #database #distance #multi #scalability #using: Efficient Filter Approximation Using the Earth Mover’s Distance in Very Large Multimedia Databases with Feature Signatures (MSU, CB, JS, TS), pp. 979–988.
CIKM-2014-WangSZS #scalability #semantics #similarity: Sparse Semantic Hashing for Efficient Large Scale Similarity Search (QW, BS, ZZ, LS), pp. 1899–1902.
CIKM-2014-WilkieA #analysis #bias #retrieval: A Retrievability Analysis: Exploring the Relationship Between Retrieval Bias and Retrieval Performance (CW, LA), pp. 81–90.
CIKM-2014-WuF14a #modelling #query: Analytical Performance Modeling for Top-K Query Processing (HW, HF), pp. 1619–1628.
CIKM-2014-XuHCWHBA #framework: A Demonstration of SearchonTS: An Efficient Pattern Search Framework for Time Series Data (XX, SH, YC, CW, IH, KB, MA), pp. 2015–2017.
CIKM-2014-ZhengZLHZ #graph #scalability: Efficient Subgraph Skyline Search Over Large Graphs (WZ, LZ, XL, LH, DZ), pp. 1529–1538.
ECIR-2014-CatenaMO #on the: On Inverted Index Compression for Search Engine Efficiency (MC, CM, IO), pp. 359–371.
ECIR-2014-KazaiS #difference #evaluation #information retrieval #query: Dissimilarity Based Query Selection for Efficient Preference Based IR Evaluation (GK, HS), pp. 172–183.
ICML-c1-2014-HajiaghayiKWB #estimation #markov: Efficient Continuous-Time Markov Chain Estimation (MH, BK, LW, ABC), pp. 638–646.
ICML-c1-2014-HutterHL #approach: An Efficient Approach for Assessing Hyperparameter Importance (FH, HH, KLB), pp. 754–762.
ICML-c1-2014-LiuJL #approximate #kernel #using: Efficient Approximation of Cross-Validation for Kernel Methods using Bouligand Influence Function (YL, SJ, SL), pp. 324–332.
ICML-c1-2014-NguyenB #process: Fast Allocation of Gaussian Process Experts (TVN, EVB), pp. 145–153.
ICML-c1-2014-Shrivastava0 #permutation: Densifying One Permutation Hashing via Rotation for Fast Near Neighbor Search (AS, PL), pp. 557–565.
ICML-c1-2014-SiHD #approximate #kernel #memory management: Memory Efficient Kernel Approximation (SS, CJH, ISD), pp. 701–709.
ICML-c1-2014-SomaKIK #algorithm: Optimal Budget Allocation: Theoretical Guarantee and Efficient Algorithm (TS, NK, KI, KiK), pp. 351–359.
ICML-c1-2014-ZhangHL #heuristic: Covering Number for Efficient Heuristic-based POMDP Planning (ZZ, DH, WSL), pp. 28–36.
ICML-c1-2014-ZhongK #multi #probability: Fast Stochastic Alternating Direction Method of Multipliers (WZ, JTYK), pp. 46–54.
ICML-c2-2014-0005YJ #algorithm #robust: Efficient Algorithms for Robust One-bit Compressive Sensing (LZ, JY, RJ), pp. 820–828.
ICML-c2-2014-AgarwalHKLLS #algorithm: Taming the Monster: A Fast and Simple Algorithm for Contextual Bandits (AA, DH, SK, JL, LL, RES), pp. 1638–1646.
ICML-c2-2014-AnarakiH #memory management #random: Memory and Computation Efficient PCA via Very Sparse Random Projections (FPA, SMH), pp. 1341–1349.
ICML-c2-2014-CelikLL #estimation #network #reduction: Efficient Dimensionality Reduction for High-Dimensional Network Estimation (SC, BAL, SIL), pp. 1953–1961.
ICML-c2-2014-CuturiD: Fast Computation of Wasserstein Barycenters (MC, AD), pp. 685–693.
ICML-c2-2014-DefazioDC #big data #incremental #named #problem: Finito: A faster, permutable incremental gradient method for big data problems (AD, JD, TSC), pp. 1125–1133.
ICML-c2-2014-FujiwaraI: Efficient Label Propagation (YF, GI), pp. 784–792.
ICML-c2-2014-GiesenLW #kernel #robust: Robust and Efficient Kernel Hyperparameter Paths with Guarantees (JG, SL, PW), pp. 1296–1304.
ICML-c2-2014-GrandeWH #learning #process: Sample Efficient Reinforcement Learning with Gaussian Processes (RCG, TJW, JPH), pp. 1332–1340.
ICML-c2-2014-JunB #memory management #monte carlo: Memory (and Time) Efficient Sequential Monte Carlo (SHJ, ABC), pp. 514–522.
ICML-c2-2014-KingmaW: Efficient Gradient-Based Inference through Transformations between Bayes Nets and Neural Nets (DPK, MW), pp. 1782–1790.
ICML-c2-2014-LimL #learning #metric #ranking: Efficient Learning of Mahalanobis Metrics for Ranking (DL, GRGL), pp. 1980–1988.
ICML-c2-2014-LinK #constraints #learning #representation: Stable and Efficient Representation Learning with Nonnegativity Constraints (THL, HTK), pp. 1323–1331.
ICML-c2-2014-Sohl-DicksteinPG #optimisation #probability #scalability: Fast large-scale optimization by unifying stochastic gradient and quasi-Newton methods (JSD, BP, SG), pp. 604–612.
ICML-c2-2014-WeiIB #multi: Fast Multi-stage Submodular Maximization (KW, RKI, JAB), pp. 1494–1502.
ICPR-2014-AhmetovicBGM #locality #named #precise: ZebraRecognizer: Efficient and Precise Localization of Pedestrian Crossings (DA, CB, AG, SM), pp. 2566–2571.
ICPR-2014-Ahn #adaptation #online #robust: Fast Adaptive Robust Subspace Tracking for Online Background Subtraction (JHA), pp. 2555–2559.
ICPR-2014-BartoliLKBB #adaptation #detection #multi: Unsupervised Scene Adaptation for Faster Multi-scale Pedestrian Detection (FB, GL, SK, ADB, ADB), pp. 3534–3539.
ICPR-2014-BorgiLEA #named #recognition: ShearFace: Efficient Extraction of Anisotropic Features for Face Recognition (MAB, DL, ME, CBA), pp. 1806–1811.
ICPR-2014-BougueliaBB #classification #data type #detection #novel: Efficient Active Novel Class Detection for Data Stream Classification (MRB, YB, AB), pp. 2826–2831.
ICPR-2014-ChandrasekharTMLLL #clustering #graph #incremental #retrieval #streaming #video: Incremental Graph Clustering for Efficient Retrieval from Streaming Egocentric Video Data (VC, CT, WM, LL, XL, JHL), pp. 2631–2636.
ICPR-2014-Desrosiers #adaptation #approach #image #random #segmentation: A Fast and Adaptive Random Walks Approach for the Unsupervised Segmentation of Natural Images (CD), pp. 130–135.
ICPR-2014-EikvilH #automation #evaluation #identification: Evaluation of Binary Descriptors for Fast and Fully Automatic Identification (LE, MH), pp. 154–159.
ICPR-2014-HavaeiJL #classification #interactive #segmentation: Efficient Interactive Brain Tumor Segmentation as Within-Brain kNN Classification (MH, PMJ, HL), pp. 556–561.
ICPR-2014-HiltunenELK #comparison: Comparison of General Object Trackers for Hand Tracking in High-Speed Videos (VH, TE, LL, HK), pp. 2215–2220.
ICPR-2014-HtikeH #adaptation #detection #video: Efficient Non-iterative Domain Adaptation of Pedestrian Detectors to Video Scenes (KKH, DCH), pp. 654–659.
ICPR-2014-HuangCZ: An Improved Filtering for Fast Stereo Matching (XH, GC, YZ), pp. 2448–2452.
ICPR-2014-IshaqEW #evaluation: An Evaluation of the Faster STORM Method for Super-resolution Microscopy (OI, JE, CW), pp. 4435–4440.
ICPR-2014-KasturiGRPKHRZSAPAKCKEVPI #algorithm #evaluation #recognition: Performance Evaluation of Neuromorphic-Vision Object Recognition Algorithms (RK, DBG, ER, GAP, EK, DH, YR, QZ, RS, MA, MP, MA, DK, YC, KK, LE, RCV, DFP, LI), pp. 2401–2406.
ICPR-2014-LiewY #detection #feature model #novel #robust: Generalized BRIEF: A Novel Fast Feature Extraction Method for Robust Hand Detection (CFL, TY), pp. 3014–3019.
ICPR-2014-MajtnerSS #image #named: RSURF — The Efficient Texture-Based Descriptor for Fluorescence Microscopy Images of HEP-2 Cells (TM, RS, DS), pp. 1194–1199.
ICPR-2014-MarteauGR #gesture #kernel #recognition: Down-sampling Coupled to Elastic Kernel Machines for Efficient Recognition of Isolated Gestures (PFM, SG, CR), pp. 363–368.
ICPR-2014-MasselliZ #approach #geometry #problem: A New Geometric Approach for Faster Solving the Perspective-Three-Point Problem (AM, AZ), pp. 2119–2124.
ICPR-2014-MehriMHGMM #benchmark #documentation #evaluation #metric #set: Performance Evaluation and Benchmarking of Six Texture-Based Feature Sets for Segmenting Historical Documents (MM, MM, PH, PGK, MAM, RM), pp. 2885–2890.
ICPR-2014-MicoO #algorithm: Dynamic Insertions in TLAESA Fast NN Search Algorithm (LM, JO), pp. 3828–3833.
ICPR-2014-MoyouIP #3d #estimation #retrieval #using: LBO-Shape Densities: Efficient 3D Shape Retrieval Using Wavelet Density Estimation (MM, KEI, AMP), pp. 52–57.
ICPR-2014-NegrelPG #image #learning #metric #reduction #retrieval #using: Efficient Metric Learning Based Dimension Reduction Using Sparse Projectors for Image Near Duplicate Retrieval (RN, DP, PHG), pp. 738–743.
ICPR-2014-OuyangYLW #robust: A FAST Extreme Illumination Robust Feature in Affine Space (PO, SY, LL, SW), pp. 2365–2370.
ICPR-2014-PatriciaTC #adaptation #learning #multi: Multi-source Adaptive Learning for Fast Control of Prosthetics Hand (NP, TT, BC), pp. 2769–2774.
ICPR-2014-RavalTJ #classification #encoding #evaluation #fault #using: Efficient Evaluation of SVM Classifiers Using Error Space Encoding (NR, RVT, CVJ), pp. 4411–4416.
ICPR-2014-RothermelHWB #generative #modelling #robust #semantics #video: Fast and Robust Generation of Semantic Urban Terrain Models from UAV Video Streams (MR, NH, KW, DB), pp. 592–597.
ICPR-2014-SatzodaT #estimation #evaluation #metric #on the: On Performance Evaluation Metrics for Lane Estimation (RKS, MMT), pp. 2625–2630.
ICPR-2014-Shirakawa #multi #similarity #using: Fast Similarity Search Using Multiple Binary Codes (SS), pp. 3714–3719.
ICPR-2014-SongLZC #adaptation #using: Scale Adaptive Tracking Using Mean Shift and Efficient Feature Matching (YS, SL, JZ, HC), pp. 2233–2238.
ICPR-2014-TaxSRM #type system: The Effect of Aggregating Subtype Performances Depends Strongly on the Performance Measure Used (DMJT, HMJS, MJTR, PDM), pp. 3720–3725.
ICPR-2014-UbukataSTMKMU #detection #image #segmentation: Fast Human Detection Combining Range Image Segmentation and Local Feature Based Detection (TU, MS, KT, AM, TK, GM, KU), pp. 4281–4286.
ICPR-2014-WangFH0KH #detection #image: Fast and Accurate Text Detection in Natural Scene Images with User-Intention (LW, WF, YH, JS, YK, YH), pp. 2920–2925.
ICPR-2014-WatanabeW #analysis #component #distance #learning #metric: Logistic Component Analysis for Fast Distance Metric Learning (KW, TW), pp. 1278–1282.
ICPR-2014-YunJKHC #detection #modelling #self: Self-Organizing Cascaded Structure of Deformable Part Models for Fast Object Detection (SY, HJ, WSK, BH, JYC), pp. 4246–4250.
ICPR-2014-ZhaoTHTY #comparison #segmentation: A Performance Comparison between Circular and Spline-Based Methods for Iris Segmentation (YZ, CT, XH, AOT, RY), pp. 351–356.
ICPR-2014-ZhenS #evaluation #recognition: A Performance Evaluation on Action Recognition with Local Features (XZ, LS), pp. 4495–4500.
ICPR-2014-ZhouIWBPKO #learning: Transfer Learning of a Temporal Bone Performance Model via Anatomical Feature Registration (YZ, II, SNRW, JB, PP, GK, SO), pp. 1916–1921.
KDD-2014-ChenCW #classification #scalability: Fast flux discriminant for large-scale sparse nonlinear classification (WC, YC, KQW), pp. 621–630.
KDD-2014-Cohen #distance #query: Distance queries from sampled data: accurate and efficient (EC), pp. 681–690.
KDD-2014-FangP #algorithm #linear: Fast DTT: a near linear algorithm for decomposing a tensor into factor tensors (XF, RP), pp. 967–976.
KDD-2014-GongZFY #learning #multi: Efficient multi-task feature learning with calibration (PG, JZ, WF, JY), pp. 761–770.
KDD-2014-LiuWY #algorithm: An efficient algorithm for weak hierarchical lasso (YL, JW, JY), pp. 283–292.
KDD-2014-LiZCS #optimisation #probability: Efficient mini-batch training for stochastic optimization (ML, TZ, YC, AJS), pp. 661–670.
KDD-2014-MaeharaKK: Efficient SimRank computation via linearizationPublication of this article pending inquiry (TM, MK, KiK), pp. 1426–1435.
KDD-2014-PrabhuV #classification #learning #multi #named: FastXML: a fast, accurate and stable tree-classifier for extreme multi-label learning (YP, MV), pp. 263–272.
KDD-2014-PurohitPKZS #network #scalability: Fast influence-based coarsening for large networks (MP, BAP, CK, YZ, VSS), pp. 1296–1305.
KDD-2014-TongCC #named #topic: TCS: efficient topic discovery over crowd-oriented service data (YT, CCC, LC), pp. 861–870.
KDD-2014-ZhaoLC: Safe and efficient screening for sparse support vector machine (ZZ, JL, JC), pp. 542–551.
KDIR-2014-ChakrabortyGR #approach #retrieval #word: A Word Association Based Approach for Improving Retrieval Performance from Noisy OCRed Text (AC, KG, UR), pp. 450–456.
KDIR-2014-PlansangketG #evaluation #query #retrieval #state of the art: Performance Evaluation of State-of-the-Art Ranked Retrieval Methods and Their Combinations for Query Suggestion (SP, JQG), pp. 141–148.
KEOD-2014-BellCBB #ontology: Reasoner Performance on Ontologies for Operations (SB, JC, MB, RPB), pp. 304–311.
KMIS-2014-KimKO: System Improvement for the Management of Subcontracted Service Performance Information in Korea’s Public Construction (SJK, NK, HO), pp. 382–386.
KMIS-2014-ToureAD #approach #enterprise #named: AM2O — An Efficient Approach for Managing Training in Enterprise (FT, EA, KD), pp. 405–412.
KR-2014-SazonauSB #owl #predict #question: Predicting Performance of OWL Reasoners: Locally or Globally? (VS, US, GB).
MLDM-2014-AndreaSVU #detection: A New Measure of Outlier Detection Performance (KA, GS, NV, AU), pp. 190–197.
MLDM-2014-BugaychenkoZ #diagrams #learning #multi #pattern matching #pattern recognition #recognition #using: Fast Pattern Recognition and Deep Learning Using Multi-Rooted Binary Decision Diagrams (DB, DZ), pp. 73–77.
MLDM-2014-FuMD #classification #multi #network #towards: Towards the Efficient Recovery of General Multi-Dimensional Bayesian Network Classifier (SF, SM, MCD), pp. 16–30.
MLDM-2014-JayabalR #clustering #modelling #student: Clustering Students Based on Student’s Performance — A Partial Least Squares Path Modeling (PLS-PM) Study (YJ, CR), pp. 393–407.
MLDM-2014-ShahamSB #fault: Efficient Error Setting for Subspace Miners (ES, DS, BBM), pp. 1–15.
SEKE-2014-ChenHQJ #static analysis #using: Improving Static Analysis Performance Using Rule-Filtering Technique (DC, RH, BQ, SJ), pp. 19–24.
SEKE-2014-GrieblerAF #architecture #evaluation #interface #manycore #parallel #programming #usability: Performance and Usability Evaluation of a Pattern-Oriented Parallel Programming Interface for Multi-Core Architectures (DG, DA, LGF), pp. 25–30.
SEKE-2014-RockHW #benchmark #challenge #comparison #evaluation #framework #metric: Performance Benchmarking of BPEL Engines: A Comparison Framework, Status Quo Evaluation and Challenges (CR, SH, GW), pp. 31–34.
SEKE-2014-SchotsRS #analysis #process: A Body of Knowledge for Executing Performance Analysis of Software Processes (NCLS, ARR, GS), pp. 560–565.
SEKE-2014-WangKN #classification #fault #metric #predict: Choosing the Best Classification Performance Metric for Wrapper-based Software Metric Selection for Defect Prediction (HW, TMK, AN), pp. 540–545.
SEKE-2014-WanZWS #analysis #graph #points-to: Efficient Points-To Analysis for Partial Call Graph Construction (ZW, BZ, YW, YS), pp. 416–421.
SIGIR-2014-ArkhipovaG #mobile #web: Evaluating mobile web search performance by taking good abandonment into account (OA, LG), pp. 1043–1046.
SIGIR-2014-CambazogluB #challenge #scalability #web: Scalability and efficiency challenges in large-scale web search engines (BBC, RABY), p. 1285.
SIGIR-2014-KatzSKSR #predict #query: Wikipedia-based query performance prediction (GK, AS, OK, BS, LR), pp. 1235–1238.
SIGIR-2014-PerezJ #microblog #predict #query #retrieval: Predicting query performance in microblog retrieval (JARP, JMJ), pp. 1183–1186.
SIGIR-2014-RavivKC #predict #query #retrieval: Query performance prediction for entity retrieval (HR, OK, DC), pp. 1099–1102.
SIGIR-2014-YuWYTLZ #retrieval #taxonomy: Discriminative coupled dictionary hashing for fast cross-media retrieval (ZY, FW, YY, QT, JL, YZ), pp. 395–404.
SIGIR-2014-ZhangWRS #recommendation: Preference preserving hashing for efficient recommendation (ZZ, QW, LR, LS), pp. 183–192.
SKY-2014-ExmanN #network #recommendation #social: Location-based Fast Recommendation Social Network (IE, EN), pp. 55–62.
ECMFA-2014-AnjorinRDS #graph grammar: Efficient Model Synchronization with View Triple Graph Grammars (AA, SR, FD, AS), pp. 1–17.
ECOOP-2014-LavoieDF #javascript #monitoring #runtime #using #virtual machine: Portable and Efficient Run-time Monitoring of JavaScript Applications Using Virtual Machine Layering (EL, BD, MF), pp. 541–566.
OOPSLA-2014-JonnalageddaCSRO #combinator #parsing #staged: Staged parser combinators for efficient data processing (MJ, TC, SS, TR, MO), pp. 637–653.
OOPSLA-2014-KumarH #compilation #matlab #named: MIX10: compiling MATLAB to X10 for high performance (VK, LJH), pp. 617–636.
OOPSLA-2014-ShahriyarBM #garbage collection: Fast conservative garbage collection (RS, SMB, KSM), pp. 121–139.
OOPSLA-2014-SongL #debugging #problem #statistics: Statistical debugging for real-world performance problems (LS, SL), pp. 561–578.
OOPSLA-2014-SteeleLF #generative #pseudo: Fast splittable pseudorandom number generators (GLSJ, DL, CHF), pp. 453–472.
OOPSLA-2014-ZhangXZYS #alias #analysis #c: Efficient subcubic alias analysis for C (QZ, XX, CZ, HY, ZS), pp. 829–845.
PADL-2014-AreiasR #correctness #logic programming #on the #source code: On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs (MA, RR), pp. 168–183.
PEPM-2014-KerneisSH #continuation #named #static analysis: QEMU/CPC: static analysis and CPS conversion for safe, portable, and efficient coroutines (GK, CS, SH), pp. 83–94.
PLDI-2014-AhnCSGT #javascript #type system: Improving JavaScript performance by deconstructing the type system (WA, JC, TS, MJG, JT), p. 51.
PLDI-2014-BiswasHSB #named #precise: DoubleChecker: efficient sound and precise atomicity checking (SB, JH, AS, MDB), p. 6.
PLDI-2014-DAntoniVLM #named #transducer: Fast: a transducer-based language for tree manipulation (LD, MV, BL, DM), p. 40.
PLDI-2014-SridharanGS #adaptation #execution #parallel #source code: Adaptive, efficient, parallel execution of parallel programs (SS, GG, GSS), p. 21.
PPDP-2014-KranzS #compilation #domain-specific language #functional #integration #legacy: Structure-Preserving Compilation: Efficient Integration of Functional DSLs into Legacy Systems (JK, AS), pp. 187–198.
QAPL-2014-TschaikowskiT #algebra #biology #difference #process: Extended Differential Aggregations in Process Algebra for Performance and Biology (MT, MT), pp. 34–47.
RE-2014-LaueHBN #communication #visual notation: Efficient visual notations for efficient stakeholder communication (RL, FH, BB, MN), pp. 329–330.
RE-2014-WohlrabGKB #experience #industrial #requirements: Experience of pragmatically combining RE methods for performance requirements in industry (RW, TdG, AK, SB), pp. 344–353.
REFSQ-2014-Condori-FernandezESDG #collaboration #interactive #requirements #validation: Analyzing the Effect of the Collaborative Interactions on Performance of Requirements Validation (NCF, SE, KS, MD, AG), pp. 216–231.
REFSQ-2014-RiegelD #analysis #elicitation #heuristic #optimisation: An Analysis of Priority-Based Decision Heuristics for Optimizing Elicitation Efficiency (NR, JD), pp. 268–284.
REFSQ-2014-SethiaP #analysis #elicitation #empirical #requirements: The Effects of Requirements Elicitation Issues on Software Project Performance: An Empirical Analysis (NKS, ASP), pp. 285–300.
ASE-2014-HarmanJMP #effectiveness #empirical #higher-order: 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.
ASE-2014-MarkerBG #comprehension #heuristic: Understanding performance stairs: elucidating heuristics (BM, DSB, RAvdG), pp. 301–312.
ASE-2014-TarvoR #analysis #automation #modelling #parallel #source code #thread: Automated analysis of multithreaded programs for performance modeling (AT, SPR), pp. 7–18.
FSE-2014-Banerjee #energy #static analysis #testing: Static analysis driven performance and energy testing (AB), pp. 791–794.
FSE-2014-BohmeP #automation #on the #testing: On the efficiency of automated testing (MB, SP), pp. 632–642.
FSE-2014-GulwaniRZ #feedback #generative #problem #programming: Feedback generation for performance problems in introductory programming assignments (SG, IR, FZ), pp. 41–51.
FSE-2014-JoinerRJDG #policy #weaving: Efficient runtime-enforcement techniques for policy weaving (RJ, TWR, SJ, MD, VG), pp. 224–234.
FSE-2014-LerchHBM #analysis #named #scalability: FlowTwist: efficient context-sensitive inside-out taint analysis for large codebases (JL, BH, EB, MM), pp. 98–108.
ICSE-2014-ChenSJHNF #anti #detection #using: Detecting performance anti-patterns for applications developed using object-relational mapping (THC, WS, ZMJ, AEH, MNN, PF), pp. 1001–1012.
ICSE-2014-HuangMSZ #analysis #testing: Performance regression testing target prioritization via performance risk analysis (PH, XM, DS, YZ), pp. 60–71.
ICSE-2014-IgnatievJM #optimisation #towards: Towards efficient optimization in package management systems (AI, MJ, JMS), pp. 745–755.
ICSE-2014-LiTH #energy #smarttech #web: Making web applications more energy efficient for OLED smartphones (DL, AHT, WGJH), pp. 527–538.
ICSE-2014-LiuXC #debugging #detection #smarttech: Characterizing and detecting performance bugs for smartphone applications (YL, CX, SCC), pp. 1013–1024.
SAC-2014-AhmedWK #clustering #energy #named: EENC — energy efficient nested clustering in UASN (SHA, AW, DK), pp. 706–710.
SAC-2014-AndradeRMOCFR #architecture #hybrid #scheduling: Efficient dynamic scheduling of heterogeneous applications in hybrid architectures (GA, GSR, DM, RSO, EC, RF, LCdR), pp. 866–871.
SAC-2014-CostaTT #image #named: MFS-Map: efficient context and content combination to annotate images (AFC, AJMT, CTJ), pp. 945–950.
SAC-2014-HuangLD #analysis #delivery #modelling #multi #network: Modeling and analysis on network performance for cloud service delivery with multiple paths (JH, JL, QD), pp. 667–673.
SAC-2014-NabeezathP #algorithm #detection: Global value numbering for redundancy detection: a simple and efficient algorithm (SN, VP), pp. 1609–1611.
SAC-2014-ParkH #analysis #network: Performance analysis of the golden-SM in the V2V network (MCP, DSH), pp. 1739–1740.
SAC-2014-PetroccoCPE: Hiding user content interest while preserving P2P performance (RP, MC, JAP, DHJE), pp. 501–508.
SAC-2014-RockiBS #abstraction #future of #programming #question: The future of accelerator programming: abstraction, performance or can we have both? (KR, MB, RS), pp. 886–895.
SAC-2014-SerranoG: Locking fast (MS, JG), pp. 1556–1561.
SAC-2014-SilveiraMGCFR #energy: Faster seam carving with minimum energy windows (CLBS, FdOM, LGJ, CAdC, KF, RdRR), pp. 45–48.
SAC-2014-SpiegelJA #classification #distance: Fast time series classification under lucky time warping distance (SS, BJJ, SA), pp. 71–78.
SAC-2014-TinK #clustering #distributed: Method for fast clustering of data distributed on a sphere surface (TT, SRK), pp. 1735–1736.
SAC-2014-WangH #data access #fine-grained: An I/O scheduler based on fine-grained access patterns to improve SSD performance and lifespan (MW, YH), pp. 1511–1516.
SAC-2014-WenD #protocol: Efficient protocols for private record linkage (ZW, CD), pp. 1688–1694.
GPCE-2014-MaAZS #product line #testing: Efficient testing of software product lines via centralization (LM, CA, CZ, HS), pp. 49–52.
GPCE-2014-SteindorferV #memory management: Code specialization for memory efficient hash tries (MJS, JJV), pp. 11–14.
SLE-2014-Ridge #combinator #context-free grammar #parsing #using: Simple, Efficient, Sound and Complete Combinator Parsing for All Context-Free Grammars, Using an Oracle (TR), pp. 261–281.
ASPLOS-2014-JungCSK #array #named: Triple-A: a Non-SSD based autonomic all-flash array for high performance storage systems (MJ, WC, JS, MTK), pp. 441–454.
ASPLOS-2014-KastureS #named #strict: Ubik: efficient cache sharing with strict qos for latency-critical workloads (HK, DS), pp. 729–742.
ASPLOS-2014-MenychtasSS #scheduling: Disengaged scheduling for fair, protected access to fast computational accelerators (KM, KS, MLS), pp. 301–316.
ASPLOS-2014-YuHZX #execution: Comprehending performance from real-world execution traces: a device-driver case (XY, SH, DZ, TX), pp. 193–206.
CASE-2014-BehlNM #named: IMpACT: Inverse model accuracy and control performance toolbox for buildings (MB, TXN, RM), pp. 1109–1114.
CASE-2014-CaoMDZ #detection #visual notation: A gabor based fast interest point detector for image-based robot visual servo control (ZC, FM, JSD, JZ), pp. 883–888.
CASE-2014-HuiM #assessment #reduction: Performance assessment of virtual metrology in APC applications for the viability of sampling reductions (KH, JM), pp. 750–755.
CASE-2014-KaoCC #variability: Target setting with consideration of target-induced operation variability for performance improvement of semiconductor fabrication (YTK, SCC, CMC), pp. 774–779.
CASE-2014-KhodabakhshianFW #predict: Predictive control of the engine cooling system for fuel efficiency improvement (MK, LF, JW), pp. 61–66.
CASE-2014-LaiTCL #energy #industrial #monitoring: Non-Intrusive Load Monitoring applied in energy efficiency of the smart manufacturing industry: A case of air-conditioner (YHL, IJT, CYC, CFL), pp. 1127–1132.
CASE-2014-OhnishiY: Switching control of DC-DC converters with Electric Double-Layer Capacitor based on control performance index (YO, TY), pp. 188–193.
CASE-2014-ParidariPSJ #energy #scheduling: Energy and CO2 efficient scheduling of smart appliances in active houses equipped with batteries (KP, AP, HS, KHJ), pp. 632–639.
CASE-2014-ParkLH #generative #using: Trajectory generation method using Bézier spiral curves for high-speed on-road autonomous vehicles (BP, YCL, WYH), pp. 927–932.
CASE-2014-TanakaT #algorithm #bound #problem: A faster branch-and-bound algorithm for the block relocation problem (ST, KT), pp. 7–12.
CASE-2014-ZengXLMS #evaluation: An analytical model for performance evaluation of operating room schedules in orthopedic surgery (ZZ, XX, JL, HM, SGSR), pp. 570–575.
CASE-2014-ZhaoLH #evaluation #exponential #multi: Performance evaluation of multi-product manufacturing systems with asynchronous exponential machines (CZ, JL, NH), pp. 692–697.
CC-2014-AulerBHMT #adaptation #compilation #crowdsourcing #javascript #jit: Addressing JavaScript JIT Engines Performance Quirks: A Crowdsourced Adaptive Compiler (RA, EB, PdH, MM, NT), pp. 218–237.
CC-2014-FeautrierVK #source code: Improving the Performance of X10 Programs by Clock Removal (PF, EV, AK), pp. 113–132.
CC-2014-SulzmannS #flexibility #ml #regular expression: A Flexible and Efficient ML Lexer Tool Based on Extended Regular Expression Submatching (MS, PvS), pp. 174–191.
CGO-2014-BarikKMLSHNA #c++: Efficient Mapping of Irregular C++ Applications to Integrated GPUs (RB, RK, DM, BTL, TS, CH, YN, ARAT), p. 33.
DAC-2014-AmaruGM #algorithm #graph #logic #novel #optimisation: Majority-Inverter Graph: A Novel Data-Structure and Algorithms for Efficient Logic Optimization (LGA, PEG, GDM), p. 6.
DAC-2014-AxerTED #bound #network: Exploiting Shaper Context to Improve Performance Bounds of Ethernet AVB Networks (PA, DT, RE, JD), p. 6.
DAC-2014-DaviKS #control flow #embedded #fine-grained #towards: Hardware-Assisted Fine-Grained Control-Flow Integrity: Towards Efficient Protection of Embedded Systems Against Software Exploitation (LD, PK, ARS), p. 6.
DAC-2014-DengBZW: An Efficient Two-level DC Operating Points Finder for Transistor Circuits (JD, KB, YZ, NW), p. 6.
DAC-2014-DongZC #algorithm #online #reduction: A Cost Efficient Online Algorithm for Automotive Idling Reduction (CD, HZ, MC), p. 6.
DAC-2014-FangYZL #estimation #named: BMF-BD: Bayesian Model Fusion on Bernoulli Distribution for Efficient Yield Estimation of Integrated Circuits (CF, FY, XZ, XL), p. 6.
DAC-2014-HoC #optimisation #pipes and filters: A New Asynchronous Pipeline Template for Power and Performance Optimization (KHH, YWC), p. 6.
DAC-2014-LinLCLH #algorithm: An Efficient Bi-criteria Flow Channel Routing Algorithm For Flow-based Microfluidic Biochips (CXL, CHL, ICC, DTL, TYH), p. 6.
DAC-2014-LinRGDS #algorithm: An Efficient Wire Routing and Wire Sizing Algorithm for Weight Minimization of Automotive Systems (CWL, LR, PG, JD, ALSV), p. 6.
DAC-2014-PanthSDL #3d: Power-Performance Study of Block-Level Monolithic 3D-ICs Considering Inter-Tier Performance Variations (SP, KS, YD, SKL), p. 6.
DAC-2014-PengPL #optimisation: Fast and Accurate Full-chip Extraction and Optimization of TSV-to-Wire Coupling (YP, DP, SKL), p. 6.
DAC-2014-QiuLX #power management: Write Mode Aware Loop Tiling for High Performance Low Power Volatile PCM (KQ, QL, CJX), p. 6.
DAC-2014-RaiHST #detection #fault #framework #realtime: An Efficient Real Time Fault Detection and Tolerance Framework Validated on the Intel SCC Processor (DR, PH, NS, LT), p. 6.
DAC-2014-RaoJDBDM #named: VIX: Virtual Input Crossbar for Efficient Switch Allocation (SR, SJ, RD, DB, RGD, TNM), p. 6.
DAC-2014-RoyMIT #multi: Tile Before Multiplication: An Efficient Strategy to Optimize DSP Multiplier for Accelerating Prime Field ECC for NIST Curves (DBR, DM, MI, JT), p. 6.
DAC-2014-SamalPSSDL #3d #modelling #optimisation: Fast and Accurate Thermal Modeling and Optimization for Monolithic 3D ICs (SKS, SP, KS, MS, YD, SKL), p. 6.
DAC-2014-SamavatianAAS #architecture: An Efficient STT-RAM Last Level Cache Architecture for GPUs (MHS, HA, MA, HSA), p. 6.
DAC-2014-UbalSMGUCSK #design #reliability: Exploring the Heterogeneous Design Space for both Performance and Reliability (RU, DS, PM, XG, YU, ZC, GS, DRK), p. 6.
DAC-2014-WangOC #optimisation #polynomial #synthesis: Enabling Efficient Analog Synthesis by Coupling Sparse Regression and Polynomial Optimization (YW, MO, CC), p. 6.
DAC-2014-WangX #on the #simulation: On the Simulation of NBTI-Induced Performance Degradation Considering Arbitrary Temperature and Voltage Variations (TW, QX), p. 6.
DAC-2014-WietfeldID #mobile: Resource Efficient Mobile Communications for Crowd-Sensing (CW, CI, BD), p. 6.
DATE-2014-0001GWKAWG #optimisation #runtime: Exploiting expendable process-margins in DRAMs for run-time performance optimization (KC, SG, CW, MK, BA, NW, KG), pp. 1–6.
DATE-2014-0002LLCXY #big data #data analysis #energy #network: Energy efficient neural networks for big data analytics (YW, BL, RL, YC, NX, HY), pp. 1–2.
DATE-2014-AghaeePE #3d: An efficient temperature-gradient based burn-in technique for 3D stacked ICs (NA, ZP, PE), pp. 1–4.
DATE-2014-AhmadC #predict #simulation: Fast STA prediction-based gate-level timing simulation (TBA, MJC), pp. 1–6.
DATE-2014-AlaghiH #probability #using: Fast and accurate computation using stochastic circuits (AA, JPH), pp. 1–4.
DATE-2014-AmaruGM #diagrams: An efficient manipulation package for Biconditional Binary Decision Diagrams (LGA, PEG, GDM), pp. 1–6.
DATE-2014-AshammagariMH #configuration management #design #functional #power management: Exploiting STT-NV technology for reconfigurable, high performance, low power, and low temperature functional unit design (ARA, HM, HH), pp. 1–6.
DATE-2014-BeuxLOCLTN #named: Chameleon: Channel efficient Optical Network-on-Chip (SLB, HL, IO, KC, XL, JT, GN), pp. 1–6.
DATE-2014-BhargavaM #encryption #generative #reliability: An efficient reliable PUF-based cryptographic key generator in 65nm CMOS (MB, KM), pp. 1–6.
DATE-2014-ChenCT #simulation: An activity-sensitive contention delay model for highly efficient deterministic full-system simulations (SYC, CHC, RST), pp. 1–6.
DATE-2014-ErbSSB #fault #smt: Efficient SMT-based ATPG for interconnect open defects (DE, KS, MS, BB), pp. 1–6.
DATE-2014-FourmigueBN #3d #simulation: Efficient transient thermal simulation of 3D ICs with liquid-cooling and through silicon vias (AF, GB, GN), pp. 1–6.
DATE-2014-GangopadhyayLNR #adaptation #analysis #linear #modelling: Modeling and analysis of digital linear dropout regulators with adaptive control for high efficiency under wide dynamic range digital loads (SG, YL, SBN, AR), pp. 1–6.
DATE-2014-GomonyAG #optimisation #realtime: Coupling TDM NoC and DRAM controller for cost and performance optimization of real-time systems (MDG, BA, KG), pp. 1–6.
DATE-2014-Guan0 #analysis #scheduling: General and efficient Response Time Analysis for EDF scheduling (NG, WY), pp. 1–6.
DATE-2014-GuerreAL #architecture #benchmark #metric #parallel: A unified methodology for a fast benchmarking of parallel architecture (AG, JTA, YL), pp. 1–4.
DATE-2014-HillerS: Increasing the efficiency of syndrome coding for PUFs with helper data compression (MH, GS), pp. 1–6.
DATE-2014-HsuCMGB #architecture #named #validation: ArChiVED: Architectural checking via event digests for high performance validation (CHH, DC, RM, RG, VB), pp. 1–6.
DATE-2014-Huang: A high performance SEU-tolerant latch for nanoscale CMOS technology (ZH), pp. 1–5.
DATE-2014-Huang14a #manycore #network #predict: Leveraging on-chip networks for efficient prediction on multicore coherence (LH), pp. 1–4.
DATE-2014-KamalGAP #approximate #using: Improving efficiency of extensible processors by using approximate custom instructions (MK, AG, AAK, MP), pp. 1–4.
DATE-2014-KhanSH #architecture #manycore #power management #video: Software architecture of High Efficiency Video Coding for many-core systems with power-efficient workload balancing (MUKK, MS, JH), p