BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
performance
Google performance

Tag #performance

8018 papers:

POPLPOPL-2020-Pavlogiannis #effectiveness #predict
Fast, sound, and effectively complete dynamic race prediction (AP), p. 29.
ASPLOSASPLOS-2020-0002PJ #how #why
Why GPUs are Slow at Executing NFAs and How to Make them Faster (HL0, SP, AJ), pp. 251–265.
ASPLOSASPLOS-2020-AbeydeeraS #named #parallel
Chronos: Efficient Speculative Parallelism for Accelerators (MA, DS0), pp. 1247–1262.
ASPLOSASPLOS-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.
ASPLOSASPLOS-2020-GhasemazarNL #clustering #named
Thesaurus: Efficient Cache Compression via Dynamic Clustering (AG, PN, ML), pp. 527–540.
ASPLOSASPLOS-2020-HyunKCKR #architecture #named
NeuMMU: Architectural Support for Efficient Address Translations in Neural Processing Units (BH, YK, YC, JK, MR), pp. 1109–1124.
ASPLOSASPLOS-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.
ASPLOSASPLOS-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.
ASPLOSASPLOS-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.
ASPLOSASPLOS-2020-LiD0 #architecture #design #quantum #towards
Towards Efficient Superconducting Quantum Processor Architecture Design (GL, YD, YX0), pp. 1031–1045.
ASPLOSASPLOS-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.
ASPLOSASPLOS-2020-LimN #hardware #optimisation #using
Optimizing Nested Virtualization Performance Using Direct Virtual Hardware (JTL, JN), pp. 557–574.
ASPLOSASPLOS-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.
ASPLOSASPLOS-2020-MemaripourIS #data type #named #persistent
Pronto: Easy and Fast Persistence for Volatile Data Structures (AM, JI, SS), pp. 789–806.
ASPLOSASPLOS-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.
ASPLOSASPLOS-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.
ASPLOSASPLOS-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.
ASPLOSASPLOS-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.
ASPLOSASPLOS-2020-ZhangSYZS0 #execution #named #obfuscation
Klotski: Efficient Obfuscated Execution against Controlled-Channel Attacks (PZ, CS, HY, DZ, ES, HJ0), pp. 1263–1276.
CCCC-2020-ChenKKVH #automation #database #query
Improving database query performance with automatic fusion (HC, AK, BK, CV, LJH), pp. 63–73.
CCCC-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.
CCCC-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.
CCCC-2020-SerranoF #javascript #towards
Dynamic property caches: a step towards faster JavaScript proxy objects (MS, RBF), pp. 108–118.
CGOCGO-2020-DamaniJSKYMG
Speculative reconvergence for improved SIMT efficiency (SD, DRJ, MS, SWK, EY, MM, OG), pp. 121–132.
CGOCGO-2020-IsmailS #manycore
Efficient nursery sizing for managed languages on multi-core processors with shared caches (MI, GES), pp. 1–15.
CGOCGO-2020-KangCP #framework #named #precise #scalability
PreScaler: an efficient system-aware precision scaling framework on heterogeneous systems (SK, KC, YP), pp. 280–292.
CGOCGO-2020-WangYZM #hardware #memory management #scalability #transaction
Efficient and scalable cross-ISA virtualization of hardware transactional memory (WW, PCY, AZ, SM), pp. 107–120.
ECSAECSA-2019-Yasaweerasinghelage #architecture #optimisation #security
Optimising Architectures for Performance, Cost, and Security (RY, MS, HYP, IW), pp. 161–177.
ICSAICSA-2019-ArcelliCPET #architecture #modelling #runtime #traceability
Exploiting Architecture/Runtime Model-Driven Traceability for Performance Improvement (DA, VC, DDP, RE, MT0), pp. 81–90.
ICSAICSA-2019-EismannGWKK #architecture #modelling #statistics
Integrating Statistical Response Time Models in Architectural Performance Models (SE, JG, JW, JvK, SK), pp. 71–80.
EDMEDM-2019-BoumiV #markov #modelling #student
Application of Hidden Markov Models to quantify the impact of enrollment patterns on student performance (SB, AV).
EDMEDM-2019-CaoPB #analysis #learning
Incorporating Prior Practice Difficulty into Performance Factor Analysis to Model Mandarin Tone Learning (MC, PIPJ, GMB).
EDMEDM-2019-DoanS #predict #student
Rank-Based Tensor Factorization for Student Performance Prediction (TND, SS).
EDMEDM-2019-EmondV #3d #learning #predict #visualisation
Visualizing Learning Performance Data and Model Predictions as Objects in a 3D Space (BE, JJV).
EDMEDM-2019-FlemmingSMCS #evaluation #game studies
A generalizable performance evaluation model of driving games via risk-weighted trajectories (RF, ES, DM, PCL, PS).
EDMEDM-2019-HuR #estimation #graph #network
Academic Performance Estimation with Attention-based Graph Convolutional Networks (QH, HR).
EDMEDM-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).
EDMEDM-2019-OliveiraM #bias #identification #student
Identifying bias and underlying knowledge structures in Brazilian National Exam of Students Performance (MSO, CEM).
EDMEDM-2019-Unal #composition #modelling #student #using
Modeling Student Performance and Disengagement Using Decomposition of Response Time Data (DSU).
ICSMEICSME-2019-Alshoaibi
Characterizing Performance Regression Introducing Code Changes (DA), pp. 634–638.
ICSMEICSME-2019-Gallaba #deployment #integration #robust
Improving the Robustness and Efficiency of Continuous Integration and Deployment (KG), pp. 619–623.
ICSMEICSME-2019-Khalil #debugging #policy
Studying the Impact of Policy Changes on Bug Handling Performance (ZAK), pp. 590–594.
ICSMEICSME-2019-LyuAH #mobile #sql
Quantifying the Performance Impact of SQL Antipatterns on Mobile Applications (YL, AA, WGJH), pp. 53–64.
ICSMEICSME-2019-Shah #analysis #data type #framework
Lib Metamorphosis: A Performance Analysis Framework for Exchanging Data Structures in Performance Sensitive Applications (MDS), pp. 379–381.
SANERSANER-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.
SEFMSEFM-2019-OliveiraCO #kernel #linux #verification
Efficient Formal Verification for the Linux Kernel (DBdO, TC, RSdO), pp. 315–332.
HaskellHaskell-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.
AIIDEAIIDE-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.
CoGCoG-2019-Eidelberg0D #game studies #using
Using Active Probing by a Game Management AI to Faster Classify Players (AE, CJ0, JD), pp. 1–8.
CoGCoG-2019-LiuR0S #heuristic #using
Using Restart Heuristics to Improve Agent Performance in Angry Birds (TL, JR, PZ0, MS), pp. 1–8.
CoGCoG-2019-RatcliffeHD #optimisation #policy
Win or Learn Fast Proximal Policy Optimisation (DSR, KH, SD), pp. 1–4.
DiGRADiGRA-2019-BryanT #adaptation #game studies
Adapting the Empty Orchestra: the Performance of Play in Karaoke (JSB, TJT).
DiGRADiGRA-2019-Ho #experience
Exploring the Effects of VR Gameplay Videos on Performance and Experience (JCFH).
FDGFDG-2019-KaoS #game studies #how
Exploring how preference and perceived performance vary in different game genres across time of day (DK, JJDS), p. 5.
FDGFDG-2019-RobertsonJY #design
Efficient choice enumeration for narrative world design (JR, AJ, RMY), p. 10.
CoGVS-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.
CoGVS-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.
CIKMCIKM-2019-0002LG #data type #semistructured data
Efficient Join Processing Over Incomplete Data Streams (WR0, XL, KG), pp. 209–218.
CIKMCIKM-2019-ChekolS #graph
Leveraging Graph Neighborhoods for Efficient Inference (MWC, HS), pp. 1893–1902.
CIKMCIKM-2019-ChenSTCS #network #random
Fast and Accurate Network Embeddings via Very Sparse Random Projection (HC, SFS, YT, MC, SS), pp. 399–408.
CIKMCIKM-2019-DongSLLQZD
Forecasting Pavement Performance with a Feature Fusion LSTM-BPNN Model (YD, YS, XL, SL, LQ, WZ0, JD), pp. 1953–1962.
CIKMCIKM-2019-DongZ #algorithm #set
Faster Algorithms for k-Regret Minimizing Sets via Monotonicity and Sampling (QD, JZ), pp. 2213–2216.
CIKMCIKM-2019-FujiwaraIKKAU #algorithm #bound #incremental #random
Fast Random Forest Algorithm via Incremental Upper Bound (YF, YI, SK, AK, JA, NU), pp. 2205–2208.
CIKMCIKM-2019-GaoLL0 #effectiveness #retrieval
A Lossy Compression Method on Positional Index for Efficient and Effective Retrieval (SG, JL, XL, GW0), pp. 2317–2320.
CIKMCIKM-2019-MauryaLM #approximate #graph #network
Fast Approximations of Betweenness Centrality with Graph Neural Networks (SKM, XL0, TM), pp. 2149–2152.
CIKMCIKM-2019-RekatsinasDP #adaptation #crowdsourcing #named #query
CRUX: Adaptive Querying for Efficient Crowdsourced Data Extraction (TR, AD, AGP), pp. 841–850.
CIKMCIKM-2019-Wang0CRR #algorithm #higher-order #parallel
Efficient Sequential and Parallel Algorithms for Estimating Higher Order Spectra (ZW, AAM0, XC, NR, SR), pp. 1743–1752.
CIKMCIKM-2019-WuWZJ #effectiveness #learning #recommendation
Learning to Effectively Estimate the Travel Time for Fastest Route Recommendation (NW, JW, WXZ, YJ), pp. 1923–1932.
CIKMCIKM-2019-YafayA #query
Caching Scores for Faster Query Processing with Dynamic Pruning in Search Engines (EY, ISA), pp. 2457–2460.
ECIRECIR-p1-2019-MalliaP
Faster BlockMax WAND with Longer Skipping (AM, EP), pp. 771–778.
ECIRECIR-p2-2019-PenhaCCGS #automation #classification #documentation #predict
Document Performance Prediction for Automatic Text Classification (GP, RRC, SDC, MAG, RLTS), pp. 132–139.
ECIRECIR-p2-2019-Zlabinger #effectiveness
Improving the Annotation Efficiency and Effectiveness in the Text Domain (MZ), pp. 343–347.
ICMLICML-2019-0001PRW #algorithm #matrix
Faster Algorithms for Binary Matrix Factorization (RK0, RP, AR, DPW), pp. 3551–3559.
ICMLICML-2019-0002VBB #learning
Provably Efficient Imitation Learning from Observation Alone (WS0, AV, BB, DB), pp. 6036–6045.
ICMLICML-2019-AgarwalBCHSZZ #adaptation
Efficient Full-Matrix Adaptive Regularization (NA, BB, XC, EH, KS, CZ, YZ), pp. 102–110.
ICMLICML-2019-AgrawalTHB #interactive #kernel
The Kernel Interaction Trick: Fast Bayesian Discovery of Pairwise Interactions in High Dimensions (RA, BLT, JHH, TB), pp. 141–150.
ICMLICML-2019-BeatsonA #optimisation #random
Efficient optimization of loops and limits with randomized telescoping sums (AB, RPA), pp. 534–543.
ICMLICML-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.
ICMLICML-2019-BibautMVL #evaluation #learning
More Efficient Off-Policy Evaluation through Regularized Targeted Learning (AB, IM, NV, MJvdL), pp. 654–663.
ICMLICML-2019-ChenW0R #algorithm #graph #incremental
Fast Incremental von Neumann Graph Entropy Computation: Theory, Algorithm, and Applications (PYC, LW, SL0, IR), pp. 1091–1101.
ICMLICML-2019-CohenB #analysis #empirical #modelling #sequence
Empirical Analysis of Beam Search Performance Degradation in Neural Sequence Models (EC, JCB), pp. 1290–1299.
ICMLICML-2019-DaoGERR #algorithm #learning #linear #using
Learning Fast Algorithms for Linear Transforms Using Butterfly Factorizations (TD, AG, ME, AR, CR), pp. 1517–1527.
ICMLICML-2019-DuKJAD0
Provably efficient RL with Rich Observations via Latent State Decoding (SSD, AK, NJ, AA, MD, JL0), pp. 1665–1674.
ICMLICML-2019-FrognerP #flexibility
Fast and Flexible Inference of Joint Distributions from their Marginals (CF, TAP), pp. 2002–2011.
ICMLICML-2019-GilboaB0 #learning #taxonomy
Efficient Dictionary Learning with Gradient Descent (DG, SB, JW0), pp. 2252–2259.
ICMLICML-2019-GillenwaterKMV #process
A Tree-Based Method for Fast Repeated Sampling of Determinantal Point Processes (JG, AK, ZM, SV), pp. 2260–2268.
ICMLICML-2019-GongHLQWL
Efficient Training of BERT by Progressively Stacking (LG, DH, ZL, TQ, LW0, TYL), pp. 2337–2346.
ICMLICML-2019-GuY #algorithm #modelling #multi #ranking
Fast Algorithm for Generalized Multinomial Models with Ranking Data (JG, GY), pp. 2445–2453.
ICMLICML-2019-HarshawFWK #algorithm
Submodular Maximization beyond Non-negativity: Guarantees, Fast Algorithms, and Applications (CH, MF, JW, AK), pp. 2634–2643.
ICMLICML-2019-HazanKSS
Provably Efficient Maximum Entropy Exploration (EH, SMK, KS, AVS), pp. 2681–2691.
ICMLICML-2019-HoLCSA #learning #policy
Population Based Augmentation: Efficient Learning of Augmentation Policy Schedules (DH, EL, XC0, IS, PA), pp. 2731–2741.
ICMLICML-2019-HuangCH #multi #optimisation #probability
Faster Stochastic Alternating Direction Method of Multipliers for Nonconvex Optimization (FH, SC, HH), pp. 2839–2848.
ICMLICML-2019-JangJ #clustering #scalability #towards
DBSCAN++: Towards fast and scalable density clustering (JJ, HJ), pp. 3019–3029.
ICMLICML-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.
ICMLICML-2019-KleimanP #machine learning #metric #modelling #multi #named
AUCμ: A Performance Metric for Multi-Class Machine Learning Models (RK, DP), pp. 3439–3447.
ICMLICML-2019-LeeW #algorithm #first-order #problem
First-Order Algorithms Converge Faster than $O(1/k)$ on Convex Problems (CPL, SW), pp. 3754–3762.
ICMLICML-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.
ICMLICML-2019-LinKS #approximate
Fast and Simple Natural-Gradient Variational Inference with Mixture of Exponential-family Approximations (WL, MEK, MWS), pp. 3992–4002.
ICMLICML-2019-LiuSX #learning
Taming MAML: Efficient unbiased meta-reinforcement learning (HL, RS, CX), pp. 4061–4071.
ICMLICML-2019-MakkuvaVKO #algorithm #consistency
Breaking the gridlock in Mixture-of-Experts: Consistent and Efficient Algorithms (AVM, PV, SK, SO), pp. 4304–4313.
ICMLICML-2019-MaTPHNZ #named
EDDI: Efficient Dynamic Discovery of High-Value Information with Partial VAE (CM, ST, KP, JMHL, SN, CZ), pp. 4234–4243.
ICMLICML-2019-MavrinYKWY #learning
Distributional Reinforcement Learning for Efficient Exploration (BM, HY, LK, KW, YY), pp. 4424–4434.
ICMLICML-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.
ICMLICML-2019-MeyerH #classification #kernel #statistics
Optimality Implies Kernel Sum Classifiers are Statistically Efficient (RAM, JH), pp. 4566–4574.
ICMLICML-2019-MoonAS #black box #combinator #optimisation
Parsimonious Black-Box Adversarial Attacks via Efficient Combinatorial Optimization (SM, GA, HOS), pp. 4636–4645.
ICMLICML-2019-MostafaW #network #parametricity
Parameter efficient training of deep convolutional neural networks by dynamic sparse reparameterization (HM, XW), pp. 4646–4655.
ICMLICML-2019-PerraultPV #nondeterminism
Exploiting structure of uncertainty for efficient matroid semi-bandits (PP, VP, MV), pp. 5123–5132.
ICMLICML-2019-RakellyZFLQ #learning #probability
Efficient Off-Policy Meta-Reinforcement Learning via Probabilistic Context Variables (KR, AZ, CF, SL, DQ), pp. 5331–5340.
ICMLICML-2019-Ravi #modelling #using
Efficient On-Device Models using Neural Projections (SR), pp. 5370–5379.
ICMLICML-2019-ReeveK #classification #robust #symmetry
Fast Rates for a kNN Classifier Robust to Unknown Asymmetric Label Noise (HWJR, AK), pp. 5401–5409.
ICMLICML-2019-RoederGPDM
Efficient Amortised Bayesian Inference for Hierarchical and Nonlinear Dynamical Systems (GR, PKG, AP, ND, EM), pp. 4445–4455.
ICMLICML-2019-RollandKISC #learning #probability #testing
Efficient learning of smooth probability functions from Bernoulli tests with guarantees (PR, AK, AI, AS, VC), pp. 5459–5467.
ICMLICML-2019-SharanTBV #rank
Compressed Factorization: Fast and Accurate Low-Rank Factorization of Compressively-Sensed Data (VS, KST, PB, GV), pp. 5690–5700.
ICMLICML-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.
ICMLICML-2019-StelznerPK #modelling #probability
Faster Attend-Infer-Repeat with Tractable Probabilistic Models (KS, RP, KK), pp. 5966–5975.
ICMLICML-2019-Stickland0 #adaptation #learning #multi
BERT and PALs: Projected Attention Layers for Efficient Adaptation in Multi-Task Learning (ACS, IM0), pp. 5986–5995.
ICMLICML-2019-XieCJZZ #on the #scalability
On Scalable and Efficient Computation of Large Scale Optimal Transport (YX, MC, HJ, TZ, HZ), pp. 6882–6892.
ICMLICML-2019-YangWLCXS0X #named #network
LegoNet: Efficient Convolutional Neural Networks with Lego Filters (ZY, YW, CL, HC, CX, BS, CX0, CX0), pp. 7005–7014.
ICMLICML-2019-YaoK0
Efficient Nonconvex Regularized Tensor Completion with Structure-aware Proximal Iterations (QY, JTYK, BH0), pp. 7035–7044.
ICMLICML-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.
ICMLICML-2019-ZhangHY #learning #named #recognition #visual notation
LatentGNN: Learning Efficient Non-local Relations for Visual Recognition (SZ, XH, SY), pp. 7374–7383.
ICMLICML-2019-ZhangY #estimation #modelling #multi
Fast and Stable Maximum Likelihood Estimation for Incomplete Multinomial Models (CZ, GY), pp. 7463–7471.
ICMLICML-2019-ZintgrafSKHW #adaptation
Fast Context Adaptation via Meta-Learning (LMZ, KS, VK, KH, SW), pp. 7693–7702.
KDDKDD-2019-Chang #clique #graph #scalability
Efficient Maximum Clique Computation over Large Sparse Graphs (LC), pp. 529–538.
KDDKDD-2019-ChengSHZ #analysis #modelling
Incorporating Interpretability into Latent Factor Models via Fast Influence Analysis (WC, YS, LH, YZ), pp. 885–893.
KDDKDD-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.
KDDKDD-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.
KDDKDD-2019-FuZCR #gpu #named #optimisation #robust #visualisation
AtSNE: Efficient and Robust Visualization on GPU through Hierarchical Optimization (CF, YZ, DC, XR), pp. 176–186.
KDDKDD-2019-JinSH #architecture #named
Auto-Keras: An Efficient Neural Architecture Search System (HJ, QS, XH), pp. 1946–1956.
KDDKDD-2019-LiZY #effectiveness #learning
Efficient and Effective Express via Contextual Cooperative Reinforcement Learning (YL, YZ, QY), pp. 510–519.
KDDKDD-2019-WangD #approximate #empirical
Fast Approximation of Empirical Entropy via Subsampling (CW, BD), pp. 658–667.
KDDKDD-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.
KDDKDD-2019-WangYCZ #convergence #learning
ADMM for Efficient Deep Learning with Global Convergence (JW, FY, XC0, LZ0), pp. 111–119.
KDDKDD-2019-WengZBT #named
OCC: A Smart Reply System for Efficient In-App Communications (YW, HZ, FB, GT), pp. 2596–2603.
KDDKDD-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.
KDDKDD-2019-YangWZK #named
ET-Lasso: A New Efficient Tuning of Lasso-type Regularization for High-Dimensional Data (SY, JW, XZ, DK), pp. 607–616.
KDDKDD-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.
KDDKDD-2019-Zhang0 #named #similarity
MinJoin: Efficient Edit Similarity Joins via Local Hash Minima (HZ, QZ0), pp. 1093–1103.
ECOOPECOOP-2019-ChungNV #algorithm #tuple #type system
Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples (Pearl) (BC, FZN, JV), p. 15.
ECOOPECOOP-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.
OOPSLAOOPSLA-2019-BastianKN #reliability #stack
Reliable and fast DWARF-based stack unwinding (TB, SK, FZN), p. 24.
OOPSLAOOPSLA-2019-LuX #analysis #context-sensitive grammar #pointer
Precision-preserving yet fast object-sensitive pointer analysis with partial context sensitivity (JL, JX), p. 29.
OOPSLAOOPSLA-2019-WangHZTT #named #polymorphism #type system
IVT: an efficient method for sharing subtype polymorphic objects (YPW, XQH, ZXZ, WT, GT), p. 22.
OOPSLAOOPSLA-2019-WeiCR #composition #metaprogramming #program analysis #staged
Staged abstract interpreters: fast and modular whole-program analysis via meta-programming (GW, YC, TR), p. 32.
OOPSLAOOPSLA-2019-WimmerSHJWKPW
Initialize once, start fast: application initialization at build time (CW, CS, PH, VJ, PW, PBK, OP, TW), p. 29.
OOPSLAOOPSLA-2019-ZurielFSCP #set
Efficient lock-free durable sets (YZ, MF, GS, NC, EP), p. 26.
PADLPADL-2019-PietersS #pipes and filters #re-engineering
Faster Coroutine Pipelines: A Reconstruction (RPP, TS), pp. 133–149.
PLDIPLDI-2019-ChoiST #javascript #reuse
Reusable inline caching for JavaScript performance (JC, TS, JT), pp. 889–901.
PLDIPLDI-2019-GuanSL #framework #named
Wootz: a compiler-based framework for fast CNN pruning via composability (HG, XS, SHL), pp. 717–730.
PLDIPLDI-2019-GysiGBH
A fast analytical model of fully associative caches (TG, TG, LB, TH), pp. 816–829.
PLDIPLDI-2019-KuhlenschmidtAS #towards #type system
Toward efficient gradual typing for structural types via coercions (AK, DA, JGS), pp. 517–532.
PLDIPLDI-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.
PLDIPLDI-2019-PultePKLH #concurrent #named
Promising-ARM/RISC-V: a simpler and faster operational concurrency model (CP, JPP, JK, SHL, CKH), pp. 1–15.
POPLPOPL-2019-ChatterjeeGOP #algorithm
Efficient parameterized algorithms for data packing (KC, AKG, NO, AP), p. 28.
POPLPOPL-2019-FromherzGHPRS #assembly
A verified, efficient embedding of a verifiable assembly language (AF, NG, CH, BP, AR, NS), p. 30.
POPLPOPL-2019-GorinovaGS #flexibility #probability #programming
Probabilistic programming with densities in SlicStan: efficient, flexible, and deterministic (MIG, ADG, CAS), p. 30.
POPLPOPL-2019-TouzeauMMR #analysis
Fast and exact analysis for LRU caches (VT, CM, DM, JR), p. 29.
POPLPOPL-2019-YiCMJ #automation #fault #float #library
Efficient automated repair of high floating-point errors in numerical libraries (XY, LC, XM, TJ), p. 29.
SASSAS-2019-LeiS #analysis #pointer #precise
Fast and Precise Handling of Positive Weight Cycles for Field-Sensitive Pointer Analysis (YL, YS), pp. 27–47.
SASSAS-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.
SASSAS-2019-YuM #linear #parametricity #programming
An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection (HY, DM), pp. 203–224.
ASEASE-2019-GodioBPAF #generative #test coverage #testing
Efficient Test Generation Guided by Field Coverage Criteria (AG, VSB, PP, NA, MFF), pp. 91–101.
ASEASE-2019-HortonP #detection #named #python
V2: Fast Detection of Configuration Drift in Python (EH, CP), pp. 477–488.
ASEASE-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.
ASEASE-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.
ASEASE-2019-MuhlbauerAS #evolution #modelling
Accurate Modeling of Performance Histories for Evolving Software Systems (SM, SA, NS), pp. 640–652.
ASEASE-2019-PobeeMC #concurrent #multi #source code #thread #transaction
Efficient Transaction-Based Deterministic Replay for Multi-threaded Programs (EBP, XM, WKC), pp. 760–771.
ASEASE-2019-ReicheltKH #identification #named
PeASS: A Tool for Identifying Performance Changes at Code Level (DGR, SK, WH), pp. 1146–1149.
ASEASE-2019-TangZZLXZY #android #library
Demystifying Application Performance Management Libraries for Android (YT, XZ, HZ, XL, ZX, YZ, QY), pp. 682–685.
ASEASE-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.
ASEASE-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.
ASEASE-2019-Zhou #collaboration #development
Improving Collaboration Efficiency in Fork-Based Development (SZ), pp. 1218–1221.
ESEC-FSEESEC-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-FSEESEC-FSE-2019-HeMS0PS #statistics #testing
A statistics-based performance testing methodology for cloud applications (SH, GM, JS, WW0, LLP, MLS), pp. 188–199.
ESEC-FSEESEC-FSE-2019-KulaRHDG #case study
Releasing fast and slow: an exploratory case study at ING (EK, AR, HH, AvD, GG), pp. 785–795.
ESEC-FSEESEC-FSE-2019-LiM0CX0 #testing
Boosting operational DNN testing efficiency through conditioning (ZL, XM, CX0, CC, JX0, JL0), pp. 499–509.
ESEC-FSEESEC-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-FSEESEC-FSE-2019-Loukeris
Efficient computing in a safe environment (ML), pp. 1208–1210.
ESEC-FSEESEC-FSE-2019-Moghadam #machine learning #testing
Machine learning-assisted performance testing (MHM), pp. 1187–1189.
ESEC-FSEESEC-FSE-2019-PobeeC #concurrent #multi #named #source code #thread
AggrePlay: efficient record and replay of multi-threaded programs (EBP, WKC), pp. 567–577.
ESEC-FSEESEC-FSE-2019-SuWC0 #java
Pinpointing performance inefficiencies in Java (PS, QW, MC, XL0), pp. 818–829.
ESEC-FSEESEC-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.
SLESLE-2019-SchutzeC #composition
Efficient late binding of dynamic function compositions (LS, JC), pp. 141–151.
ASPLOSASPLOS-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.
ASPLOSASPLOS-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.
ASPLOSASPLOS-2019-KondguliH #hardware #named #smt #thread #using
Bootstrapping: Using SMT Hardware to Improve Single-Thread Performance (SK, MH), pp. 687–700.
ASPLOSASPLOS-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.
ASPLOSASPLOS-2019-MerrifieldRDE #lazy evaluation #multi #thread
Lazy Determinism for Faster Deterministic Multithreading (TM, SR, JD, JE), pp. 879–891.
ASPLOSASPLOS-2019-PanwarBG #fine-grained #named
HawkEye: Efficient Fine-grained OS Support for Huge Pages (AP, SB, KG), pp. 347–360.
ASPLOSASPLOS-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.
ASPLOSASPLOS-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.
ASPLOSASPLOS-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.
ASPLOSASPLOS-2019-WangFL #fine-grained
Fast Fine-Grained Global Synchronization on GPUs (KW, DF, CL), pp. 793–806.
ASPLOSASPLOS-2019-XuKMS #memory management #persistent
Finding and Fixing Performance Pathologies in Persistent Memory Software Stacks (JX0, JK, AM, SS), pp. 427–439.
ASPLOSASPLOS-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.
ASPLOSASPLOS-2019-ZhangZWLFZS #framework #scalability
Fast and Scalable VMM Live Upgrade in Large Cloud Infrastructure (XZ, XZ, ZW0, QL0, JF, YZ, YS), pp. 93–105.
ASPLOSASPLOS-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.
CASECASE-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.
CASECASE-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.
CASECASE-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.
CASECASE-2019-GildertPT #communication
Comparing The Performance of Explicit and Implicit Communication in Simple Object Manipulation Tasks (NG, AP, JT), pp. 1456–1462.
CASECASE-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.
CASECASE-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.
CASECASE-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.
CASECASE-2019-Niu0JM #3d #visual notation
Efficient 3D Visual Perception for Robotic Rock Breaking (LN, KC0, KJ, JM), pp. 1124–1130.
CASECASE-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.
CASECASE-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.
CASECASE-2019-QianAX0 #learning
Improved Production Performance Through Manufacturing System Learning (YQ, JA, GX, QC0), pp. 517–522.
CASECASE-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.
CASECASE-2019-WangMWNWL #reliability
Dynamic Pricing for Autonomous Vehicle E-hailing Services Reliability and Performance Improvement (QW, FM, JW, YN, CW, NEL), pp. 948–953.
CASECASE-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.
CASECASE-2019-Yan #energy #optimisation
Energy Consumption optimization in Two-Machine Bernoulli Serial Lines with Limits on Machine Efficiency (CBY), pp. 85–90.
CCCC-2019-AloorN
Efficiency and expressiveness in UW-OpenMP (RA, VKN), pp. 182–192.
CCCC-2019-BlassP #algorithm #analysis #compilation #fixpoint
GPU-accelerated fixpoint algorithms for faster compiler analyses (TB, MP), pp. 122–134.
CCCC-2019-LiC0 #testing
Efficient concolic testing of MPI applications (HL, ZC, RG0), pp. 193–204.
CGOCGO-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.
CGOCGO-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.
CGOCGO-2019-ZhouM #analysis
A Tool for Performance Analysis of GPU-Accelerated Applications (KZ, JMMC), p. 282.
FASEFASE-2019-FritscheKST #automation #process
Efficient Model Synchronization by Automatically Constructed Repair Processes (LF, JK, AS, GT), pp. 116–133.
CADECADE-2019-0001CV
Faster, Higher, Stronger: E 2.3 (SS0, SC, PV), pp. 495–507.
CADECADE-2019-ChvalovskyJ0U #named
ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E (KC, JJ, MS0, JU), pp. 197–215.
CAVCAV-2019-DrewsAD #constraints #probability #synthesis
Efficient Synthesis with Probabilistic Constraints (SD, AA, LD), pp. 278–296.
CAVCAV-2019-Gastin0S #algorithm #automaton #constraints
Fast Algorithms for Handling Diagonal Constraints in Timed Automata (PG, SM0, BS), pp. 41–59.
CAVCAV-2019-GiannarakisBMW #fault tolerance #network #refinement #verification
Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement (NG, RB, RM, DW), pp. 305–323.
CAVCAV-2019-JonasS #named #quantifier #smt
Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors (MJ, JS), pp. 64–73.
CAVCAV-2019-ReynoldsBNBT #named #synthesis
cvc4sy: Smart and Fast Term Enumeration for Syntax-Guided Synthesis (AR, HB, AN, CWB, CT), pp. 74–83.
ICSTICST-2019-JendeleSCJR #automation #composition #scalability
Efficient Automated Decomposition of Build Targets at Large-Scale (LJ, MS, DC, IJ, MR), pp. 457–464.
ICTSSICTSS-2019-Huerta-GuevaraA #adaptation #testing #towards
Towards an Efficient Performance Testing Through Dynamic Workload Adaptation (OHG, VAR, LM0, AOPD), pp. 215–233.
ICTSSICTSS-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.
ICTSSICTSS-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.
TAPTAP-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.
VMCAIVMCAI-2019-LopesR #scalability #simulation
Fast BGP Simulation of Large Datacenters (NPL, AR), pp. 386–408.
ECSAECSA-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.
ICSAICSA-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.
ICSAICSA-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.
JCDLJCDL-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.
EDMEDM-2018-KimVG #learning #named #predict #student
GritNet: Student Performance Prediction with Deep Learning (BHK, EV, VG).
EDMEDM-2018-PolyzouK #feature model #student
Feature extraction for classifying students based on their academic performance (AP, GK).
EDMEDM-2018-SahebiB #predict #student
Student Performance Prediction by Discovering Inter-Activity Relations (SS, PB).
EDMEDM-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).
ICSMEICSME-2018-BagheriWAM #analysis #android #security
Efficient, Evolutionary Security Analysis of Interacting Android Apps (HB, JW, JA, SM), pp. 357–368.
ICSMEICSME-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.
MSRMSR-2018-CaiJ #analysis #android #precise
Leveraging historical versions of Android apps for efficient and precise taint analysis (HC, JJ), pp. 265–269.
MSRMSR-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.
MSRMSR-2018-LaaberL #assessment #benchmark #evaluation #open source
An evaluation of open-source software microbenchmark suites for continuous performance assessment (CL, PL), pp. 119–130.
MSRMSR-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.
MSRMSR-2018-RodriguezTK #developer #empirical
Empirical study on the relationship between developer's working habits and efficiency (AR, FT, YK), pp. 74–77.
SANERSANER-2018-KaramitasK #bytecode
Efficient features for function matching between binary executables (CK, AK), pp. 335–345.
HaskellHaskell-2018-HandleyH #haskell #named #source code
AutoBench: comparing the time performance of Haskell programs (MATH, GH), pp. 26–37.
HaskellHaskell-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-PLAYCHI-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-PLAYCHI-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.
CoGCIG-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.
CoGCIG-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.
CoGCIG-2018-Lucas #game studies #research
Game AI Research with Fast Planet Wars Variants (SML), pp. 1–4.
DiGRADiGRA-2018-SeulaAF #case study #game studies
Play to Win, Profit & Entertain: a Study of Double Performance as Athlete and Streamer (RS, MA, SF).
CoGVS-Games-2018-SpyridonisDO #collaboration #communication #game studies #multi #online
Efficient In-Game Communication in Collaborative Online Multiplayer Games (FS, DDZ, MPO), pp. 1–4.
CIKMCIKM-2018-CatenaFT #distributed #energy #web
Efficient Energy Management in Distributed Web Search (MC, OF, NT), pp. 1555–1558.
CIKMCIKM-2018-CazzolatoTB #estimation #reliability
Efficient and Reliable Estimation of Cell Positions (MTC, AJMT, KB), pp. 1043–1052.
CIKMCIKM-2018-GaikwadMA #data type #query
Data Structure for Efficient Line of Sight Queries (SG, MM, DCA), pp. 1535–1538.
CIKMCIKM-2018-HuNY #framework #linear #predict
A Fast Linear Computational Framework for User Action Prediction in Tencent MyApp (YH, DN, JY), pp. 2047–2055.
CIKMCIKM-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.
CIKMCIKM-2018-KrishnanSSS #approach #collaboration
An Adversarial Approach to Improve Long-Tail Performance in Neural Collaborative Filtering (AK, AS, AS, HS), pp. 1491–1494.
CIKMCIKM-2018-KuralenokSKS #data analysis #taxonomy
Construction of Efficient V-Gram Dictionary for Sequential Data Analysis (IK, NS, AK, JS), pp. 1343–1352.
CIKMCIKM-2018-LuccheseN0TV #effectiveness #query #web
Efficient and Effective Query Expansion for Web Search (CL, FMN, RP0, RT, RV), pp. 1551–1554.
CIKMCIKM-2018-MizusawaTMAM #crowdsourcing #pipes and filters #workflow
Efficient Pipeline Processing of Crowdsourcing Workflows (KM, KT, MM, TA, AM), pp. 1559–1562.
CIKMCIKM-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.
CIKMCIKM-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.
CIKMCIKM-2018-ShaabaniM #dependence #detection
Improving the Efficiency of Inclusion Dependency Detection (NS, CM), pp. 207–216.
CIKMCIKM-2018-XuL #adaptation #constraints #similarity #taxonomy
Efficient Taxonomic Similarity Joins with Adaptive Overlap Constraint (PX0, JL), pp. 1563–1566.
CIKMCIKM-2018-YangS #learning #multi #named
FALCON: A Fast Drop-In Replacement of Citation KNN for Multiple Instance Learning (SY, XS), pp. 67–76.
CIKMCIKM-2018-ZhangWFSL #mobile #named
FastInput: Improving Input Efficiency on Mobile Devices (JZ, XW, YF, MS, PL0), pp. 2057–2065.
ECIRECIR-2018-ChehreghaniC #nearest neighbour
Efficient Context-Aware K-Nearest Neighbor Search (MHC, MHC), pp. 466–478.
ECIRECIR-2018-JiaS #approach #recommendation
Local Is Good: A Fast Citation Recommendation Approach (HJ, ES), pp. 758–764.
ICMLICML-2018-ArenzZN #policy #using
Efficient Gradient-Free Variational Inference using Policy Search (OA, MZ, GN), pp. 234–243.
ICMLICML-2018-BajgarKK #architecture
A Boo(n) for Evaluating Architecture Performance (OB, RK, JK), pp. 344–352.
ICMLICML-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.
ICMLICML-2018-CaiYZHY #architecture #network
Path-Level Network Transformation for Efficient Architecture Search (HC, JY, WZ0, SH, YY0), pp. 677–686.
ICMLICML-2018-ChenLCWPC #estimation
Continuous-Time Flows for Efficient Inference and Density Estimation (CC, CL, LC, WW, YP, LC), pp. 823–832.
ICMLICML-2018-CorneilGB #learning
Efficient ModelBased Deep Reinforcement Learning with Variational State Tabulation (DSC, WG, JB), pp. 1057–1066.
ICMLICML-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.
ICMLICML-2018-FalknerKH #named #optimisation #robust #scalability
BOHB: Robust and Efficient Hyperparameter Optimization at Scale (SF, AK, FH), pp. 1436–1445.
ICMLICML-2018-FathonyBZZ #consistency
Efficient and Consistent Adversarial Bipartite Matching (RF, SB, XZ, BDZ), pp. 1456–1465.
ICMLICML-2018-FruitPLO #learning
Efficient Bias-Span-Constrained Exploration-Exploitation in Reinforcement Learning (RF, MP, AL, RO), pp. 1573–1581.
ICMLICML-2018-GuHDH #algorithm #memory management #probability
Faster Derivative-Free Stochastic Algorithm for Shared Memory Machines (BG, ZH, CD, HH), pp. 1807–1816.
ICMLICML-2018-HammN #learning #optimisation
K-Beam Minimax: Efficient Optimization for Deep Adversarial Learning (JH, YKN), pp. 1876–1884.
ICMLICML-2018-HoPW #robust
Fast Bellman Updates for Robust MDPs (CPH, MP, WW), pp. 1984–1993.
ICMLICML-2018-ImaniW
Improving Regression Performance with Distributional Losses (EI, MW), pp. 2162–2171.
ICMLICML-2018-JeongS #learning
Efficient end-to-end learning for quantizable representations (YJ, HOS), pp. 2269–2278.
ICMLICML-2018-JinYXYJFY #named #network
WSNet: Compact and Efficient Networks Through Weight Sampling (XJ, YY, NX0, JY, NJ, JF, SY), pp. 2357–2366.
ICMLICML-2018-KaiserBRVPUS #modelling #sequence #using
Fast Decoding in Sequence Models Using Discrete Latent Variables (LK, SB, AR, AV, NP, JU, NS), pp. 2395–2404.
ICMLICML-2018-KalchbrennerESN #synthesis
Efficient Neural Audio Synthesis (NK, EE, KS, SN, NC, EL, FS, AvdO, SD, KK), pp. 2415–2424.
ICMLICML-2018-KhanNTLGS #learning #scalability
Fast and Scalable Bayesian Deep Learning by Weight-Perturbation in Adam (MEK, DN, VT, WL, YG, AS), pp. 2616–2625.
ICMLICML-2018-KolarijaniEK #exponential #framework #hybrid
Fast Gradient-Based Methods with Exponential Rate: A Hybrid Control Framework (ASK, PME, TK), pp. 2733–2741.
ICMLICML-2018-KuhnleSCT #integer
Fast Maximization of Non-Submodular, Monotonic Functions on the Integer Lattice (AK, JDS, VGC, MTT), pp. 2791–2800.
ICMLICML-2018-LangeKA #bound #clustering #correlation
Partial Optimality and Fast Lower Bounds for Weighted Correlation Clustering (JHL, AK, BA), pp. 2898–2907.
ICMLICML-2018-LiuH #probability #reduction
Fast Variance Reduction Method with Stochastic Batch Size (XL, CJH), pp. 3185–3194.
ICMLICML-2018-LiuZCWY #probability
Fast Stochastic AUC Maximization with O(1/n)-Convergence Rate (ML, XZ, ZC, XW, TY), pp. 3195–3203.
ICMLICML-2018-MalikPFHRD #learning
An Efficient, Generalized Bellman Update For Cooperative Inverse Reinforcement Learning (DM, MP, JFF, DHM, SJR, ADD), pp. 3391–3399.
ICMLICML-2018-MartinLV #approximate #clustering #network
Fast Approximate Spectral Clustering for Dynamic Networks (LM, AL, PV), pp. 3420–3429.
ICMLICML-2018-MassiasSG #named
Celer: a Fast Solver for the Lasso with Dual Extrapolation (MM, JS, AG), pp. 3321–3330.
ICMLICML-2018-McLeodRO #optimisation
Optimization, Fast and Slow: Optimally Switching between Local and Bayesian Optimization (MM, SJR, MAO), pp. 3440–3449.
ICMLICML-2018-MussmannL #fault #nondeterminism #on the
On the Relationship between Data Efficiency and Error for Uncertainty Sampling (SM, PL), pp. 3671–3679.
ICMLICML-2018-NguyenRF #framework #robust #testing
Active Testing: An Efficient and Robust Framework for Estimating Accuracy (PXN, DR, CCF), pp. 3756–3765.
ICMLICML-2018-OdenaBOBORG #generative #question
Is Generator Conditioning Causally Related to GAN Performance? (AO, JB, CO, TBB, CO, CR, IJG), pp. 3846–3855.
ICMLICML-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.
ICMLICML-2018-OstrovskiiH #adaptation #algorithm #first-order
Efficient First-Order Algorithms for Adaptive Signal Denoising (DO, ZH), pp. 3943–3952.
ICMLICML-2018-PhamGZLD #architecture #parametricity
Efficient Neural Architecture Search via Parameter Sharing (HP, MYG, BZ, QVL, JD), pp. 4092–4101.
ICMLICML-2018-Pouliot #equivalence #multi #statistics
Equivalence of Multicategory SVM and Simplex Cone SVM: Fast Computations and Statistical Theory (GP), pp. 4130–4137.
ICMLICML-2018-RaeDDL #learning #parametricity
Fast Parametric Learning with Activation Memorization (JWR, CD, PD, TPL), pp. 4225–4234.
ICMLICML-2018-RuMGO #optimisation
Fast Information-theoretic Bayesian Optimisation (BXR, MM, DG, MAO), pp. 4381–4389.
ICMLICML-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.
ICMLICML-2018-SibliniMK #clustering #learning #multi #random
CRAFTML, an Efficient Clustering-based Random Forest for Extreme Multi-label Learning (WS, FM, PK), pp. 4671–4680.
ICMLICML-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.
ICMLICML-2018-WangZLMM #approximate #parametricity
Approximate Leave-One-Out for Fast Parameter Tuning in High Dimensions (SW, WZ, HL, AM, VSM), pp. 5215–5224.
ICMLICML-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.
ICMLICML-2018-YeA
Communication-Computation Efficient Gradient Coding (MY, EA), pp. 5606–5615.
ICMLICML-2018-YenKYHKR #composition #learning #scalability
Loss Decomposition for Fast Learning in Large Output Spaces (IEHY, SK, FXY, DNHR, SK, PR), pp. 5626–5635.
ICMLICML-2018-YuanST #algorithm #clustering
An Efficient Semismooth Newton Based Algorithm for Convex Clustering (YY, DS, KCT), pp. 5704–5712.
ICMLICML-2018-ZhangDG #induction #matrix #multi
Fast and Sample Efficient Inductive Matrix Completion via Multi-Phase Procrustes Flow (XZ, SSD, QG), pp. 5751–5760.
ICMLICML-2018-ZhangFL
High Performance Zero-Memory Overhead Direct Convolutions (JZ, FF, TML), pp. 5771–5780.
ICMLICML-2018-ZhangLD #network
Stabilizing Gradients for Deep Neural Networks via Efficient SVD Parameterization (JZ, QL, ISD), pp. 5801–5809.
ICMLICML-2018-ZhouF #comprehension #optimisation
Understanding Generalization and Optimization Performance of Deep CNNs (PZ, JF), pp. 5955–5964.
ICMLICML-2018-ZhouSC #algorithm #convergence #probability
A Simple Stochastic Variance Reduced Algorithm with Fast Convergence Rates (KZ, FS, JC), pp. 5975–5984.
ICMLICML-2018-ZhouZZ #algorithm
Racing Thompson: an Efficient Algorithm for Thompson Sampling with Non-conjugate Priors (YZ, JZ0, JZ), pp. 5995–6003.
ICPRICPR-2018-CaoLZSLS #detection #named #network
ThinNet: An Efficient Convolutional Neural Network for Object Detection (SC, YL, CZ, QSS, PL, SS), pp. 836–841.
ICPRICPR-2018-ChangWZ #linear #network #self
Piecewise Linear Units for Fast Self-Normalizing Neural Networks (YC, XW, SZ), pp. 429–434.
ICPRICPR-2018-ChenDHLH #automation #classification #clustering #image
Improving Image Classification Performance with Automatically Hierarchical Label Clustering (ZC, CD, LH, DL, HH), pp. 1863–1868.
ICPRICPR-2018-ChenLZ #gesture #recognition #taxonomy
Temporal Hierarchical Dictionary with HMM for Fast Gesture Recognition (HC, XL0, GZ), pp. 3378–3383.
ICPRICPR-2018-FaulaBE #analysis #image
A Fast Local Analysis by Thresholding applied to image matching (YF, SB, VE), pp. 3055–3060.
ICPRICPR-2018-GaoXLY
A fast Cascade Shape Regression Method based on CNN-based Initialization (PG, JX, KL, YY), pp. 3037–3042.
ICPRICPR-2018-GarrettR #3d #network #using
Fast Descriptor Extraction for Contextless 3D Registration Using a Fully Convolutional Network (TG, RR), pp. 1211–1216.
ICPRICPR-2018-LiH #algorithm #estimation #robust #using
Fast and Robust Pose Estimation Algorithm for Bin Picking Using Point Pair Feature (ML, KH), pp. 1604–1609.
ICPRICPR-2018-LiLWL #correlation #image
Fast Single Image Dehazing via Positive Correlation (BL, YL, CW, YL0), pp. 2020–2025.
ICPRICPR-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.
ICPRICPR-2018-LiuMZ #named #quality
Artsy-GAN: A style transfer system with improved quality, diversity and performance (HL, PNM, DZ), pp. 79–84.
ICPRICPR-2018-LuoY #architecture #network #segmentation
Fast Skin Lesion Segmentation via Fully Convolutional Network with Residual Architecture and CRF (WL, MY), pp. 1438–1443.
ICPRICPR-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.
ICPRICPR-2018-MengYXHHY #recognition #robust
A robust and efficient method for license plate recognition (AM, WY0, ZX, HH, LH, CY), pp. 1713–1718.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-2018-MustaniemiKSMH #detection #metric #using
Fast Motion Deblurring for Feature Detection and Matching Using Inertial Measurements (JM, JK, SS, JM, JH), pp. 3068–3073.
ICPRICPR-2018-Savchenko #recognition #statistics #using
Efficient Statistical Face Recognition Using Trigonometric Series and CNN Features (AVS), pp. 3262–3267.
ICPRICPR-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.
ICPRICPR-2018-SuHK #analysis #classification #component #multi #using
Efficient Text Classification Using Tree-structured Multi-linear Principal Component Analysis (YS, YH, CCJK), pp. 585–590.
ICPRICPR-2018-SunYW0 #retrieval
Discriminate Cross-modal Quantization for Efficient Retrieval (PS, CY, SW, XB0), pp. 3328–3334.
ICPRICPR-2018-WangLH #algorithm #multi
An Efficient Budget Allocation Algorithm for Multi-Channel Advertising (XW, PL, AH), pp. 886–891.
ICPRICPR-2018-WangWL #education #learning
Weakly- and Semi-supervised Faster R-CNN with Curriculum Learning (JW, XW, WL0), pp. 2416–2421.
ICPRICPR-2018-WuLPL #embedded #named #robust
Em-SLAM: a Fast and Robust Monocular SLAM Method for Embedded Systems (YW, ZL, SP, TL), pp. 1882–1887.
ICPRICPR-2018-Yan0R #classification #framework #representation #scalability
An Efficient Deep Representation Based Framework for Large-Scale Terrain Classification (YY, AR0, SR), pp. 940–945.
ICPRICPR-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.
ICPRICPR-2018-ZhangZZL #bound #detection #image
Boundary-based Image Forgery Detection by Fast Shallow CNN (ZZ, YZ, ZZ, JL), pp. 2658–2663.
ICPRICPR-2018-ZhongZ #segmentation #semantics
Efficient Object Region Discovery for Weakly-supervised Semantic Segmentation (MZ, GZ), pp. 2166–2171.
ICPRICPR-2018-ZuGBT #scalability
Saliency guided fast interpolation for large displacement optical flow (YZ, KG, XB, WT), pp. 1145–1150.
KDDKDD-2018-0001C #probability #recommendation
Efficient Attribute Recommendation with Probabilistic Guarantee (CW0, KC), pp. 2387–2396.
KDDKDD-2018-ConoverHBSS #named
Pangloss: Fast Entity Linking in Noisy Text Environments (MDC, MH, SB, PS, SS), pp. 168–176.
KDDKDD-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.
KDDKDD-2018-DuT #equation #graph #mining #named
FASTEN: Fast Sylvester Equation Solver for Graph Mining (BD, HT), pp. 1339–1347.
KDDKDD-2018-HuangMFFT #symmetry
Accurate and Fast Asymmetric Locality-Sensitive Hashing Scheme for Maximum Inner Product Search (QH, GM, JF, QF, AKHT), pp. 1561–1570.
KDDKDD-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.
KDDKDD-2018-LiMSGLDQ0 #privacy
An Efficient Two-Layer Mechanism for Privacy-Preserving Truth Discovery (YL, CM, LS, JG0, QL0, BD, ZQ, KR0), pp. 1705–1714.
KDDKDD-2018-LinZXZ #learning #multi #scalability
Efficient Large-Scale Fleet Management via Multi-Agent Deep Reinforcement Learning (KL, RZ, ZX, JZ), pp. 1774–1783.
KDDKDD-2018-LiuZC #learning #metric
Efficient Similar Region Search with Deep Metric Learning (YL, KZ0, GC), pp. 1850–1859.
KDDKDD-2018-ManapragadaWS
Extremely Fast Decision Tree (CM, GIW, MS), pp. 1953–1962.
KDDKDD-2018-ManzoorLA
Extremely Fast Decision Tree (EAM, HL, LA), pp. 1963–1972.
KDDKDD-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.
KDDKDD-2018-Park0 #effectiveness #graph #named #scalability
EvoGraph: An Effective and Efficient Graph Upscaling Method for Preserving Graph Properties (HP, MSK0), pp. 2051–2059.
KDDKDD-2018-PellegrinaV #mining #mutation testing #permutation #testing
Efficient Mining of the Most Significant Patterns with Permutation Testing (LP, FV), pp. 2070–2079.
KDDKDD-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.
KDDKDD-2018-TangW #learning #modelling #ranking #recommendation
Ranking Distillation: Learning Compact Ranking Models With High Performance for Recommender System (JT, KW), pp. 2289–2298.
KDDKDD-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.
KDDKDD-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.
KDDKDD-2018-WongPKFJ #biology #community #named #network
SDREGION: Fast Spotting of Changing Communities in Biological Networks (SWHW, CP, MK, CF, IJ), pp. 867–875.
KDDKDD-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.
KDDKDD-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.
KDDKDD-2018-ZhaoAS0 #classification #dependence #predict #using
Prediction-time Efficient Classification Using Feature Computational Dependencies (LZ0, AAF, MS, KZ0), pp. 2787–2796.
ECMFAECMFA-2018-YohannisRPK #modelling #towards
Towards Efficient Loading of Change-Based Models (AY, HHR, FP, DSK), pp. 235–250.
MoDELSMoDELS-2018-Boronat #domain-specific language #model transformation
Expressive and Efficient Model Transformation with an Internal DSL of Xtend (AB), pp. 78–88.
MoDELSMoDELS-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.
ECOOPECOOP-2018-GrechKS #analysis #graph #string
Efficient Reflection String Analysis via Graph Coloring (NG, GK, YS), p. 25.
OnwardOnward-2018-BrandauerCW #approach #composition #implementation
C♭: a new modular approach to implementing efficient and tunable collections (SB, EC, TW), pp. 57–71.
OOPSLAOOPSLA-2018-BezansonCCKSVZ #design #named
Julia: dynamism and performance reconciled by design (JB, JC, BC, SK, VBS, JV, LZ), p. 23.
OOPSLAOOPSLA-2018-WongMLK #bytecode #execution #program transformation
Faster variational execution with transparent bytecode transformation (CPW, JM, LL, CK), p. 30.
PLATEAUPLATEAU-2018-SantolucitoGWP #programming
Programming by Example: Efficient, but Not “Helpful” (MS, DG, AW, RP), p. 10.
PLDIPLDI-2018-AcarCGRS #parallel #scheduling
Heartbeat scheduling: provable efficiency for nested parallelism (UAA, AC, AG, MR, FS), pp. 769–782.
PLDIPLDI-2018-Adams #float #named #string
Ryū: fast float-to-string conversion (UA), pp. 270–282.
PLDIPLDI-2018-LiuH #analysis #concurrent #debugging #difference #named #parallel
D4: fast concurrency debugging with parallel differential analysis (BL, JH0), pp. 359–373.
PLDIPLDI-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.
PLDIPLDI-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.
POPLPOPL-2018-AgrawalC0 #approach #probability #ranking #source code #termination
Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs (SA, KC, PN0), p. 32.
PPDPPPDP-2018-KlemenS0MH #runtime #source code
Static Performance Guarantees for Programs with Runtime Checks (MK, NS, PLG0, JFM, MVH), p. 13.
SASSAS-2018-BecchiZ #abstract domain
An Efficient Abstract Domain for Not Necessarily Closed Polyhedra (AB, EZ), pp. 146–165.
SASSAS-2018-ChawdharyK
Closing the Performance Gap Between Doubles and Rationals for Octagons (AC, AK), pp. 187–204.
ASEASE-2018-BeyerL #execution #named #symbolic computation
CPA-SymExec: efficient symbolic execution in CPAchecker (DB, TL), pp. 900–903.
ASEASE-2018-HabchiBR #android #on the
On adopting linters to deal with performance concerns in Android apps (SH, XB0, RR), pp. 6–16.
ASEASE-2018-HanYL #debugging #learning #named
PerfLearner: learning from bug reports to understand and generate performance test frames (XH, TY, DL0), pp. 17–28.
ASEASE-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-FSEESEC-FSE-2018-FedorovaMBRWMY #comprehension
Performance comprehension at WiredTiger (AF, CM, IB, JR, AW, SM, LY), pp. 83–94.
ESEC-FSEESEC-FSE-2018-FooCYAS #library #static analysis
Efficient static checking of library updates (DF, HC, JY, MYA, AS), pp. 791–796.
ESEC-FSEESEC-FSE-2018-GadelhaMCN #debugging #detection #towards
Towards counterexample-guided k-induction for fast bug detection (MYRG, FRM, LCC, DAN), pp. 765–769.
ESEC-FSEESEC-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.
ASPLOSASPLOS-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.
ASPLOSASPLOS-2018-DickensGFH #encryption #named #using
StrongBox: Confidentiality, Integrity, and Performance using Stream Ciphers for Full Drive Encryption (BDI, HSG, AJF, HH), pp. 708–721.
ASPLOSASPLOS-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.
ASPLOSASPLOS-2018-MallonGJ #named
DLibOS: Performance and Protection with a Network-on-Chip (SM, VG, GJ), pp. 737–750.
ASPLOSASPLOS-2018-TaassoriSB #named #verification
VAULT: Reducing Paging Overheads in SGX with Efficient Integrity Verification Structures (MT, AS, RB), pp. 665–678.
CASECASE-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.
CASECASE-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.
CASECASE-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.
CASECASE-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.
CASECASE-2018-KangYJ #analysis #realtime #using
Real-time Production Performance Analysis Using Machine Degradation Signals: a Two-Machine Case (YK, HY, FJ), pp. 1501–1506.
CASECASE-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.
CASECASE-2018-KoppMPS #assessment
Simulation-based Performance Assessment of Tool Requalification Strategies in Wafer Fabs (DK, LM, DP, MS), pp. 638–641.
CASECASE-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.
CASECASE-2018-LiXPC #markov #probability
Efficient Sampling Procedure for Selecting the Largest Stationary Probability of a Markov Chain (HL, XX, YP, CHC), pp. 899–905.
CASECASE-2018-MaierUG #automation #continuation #implementation #multi
Efficient Implementation of Task Automation to Support Multidisciplinary Engineering of CPS (RM, SU, MG), pp. 1388–1393.
CASECASE-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.
CASECASE-2018-RoselliBA #comparison #evaluation #modelling #problem #scheduling #smt
SMT Solvers for Job-Shop Scheduling Problems: Models Comparison and Performance Evaluation (SFR, KB, ), pp. 547–552.
CASECASE-2018-SarkarDA #multi #semantics #towards
Semantic knowledge driven utility calculation towards efficient multi-robot task allocation (CS, SD, MA), pp. 144–147.
CASECASE-2018-SundstromWL #energy #probability #robust
Robust and Energy Efficient Trajectories in a Stochastic Common Workspace Setting (NS, OW, BL), pp. 77–83.
CASECASE-2018-VitoloMCM #algorithm #evaluation #navigation
Performance Evaluation of the Dyna-Q algorithm for Robot Navigation (EV, ASM, JC, CM), pp. 322–327.
CASECASE-2018-Zou0HAX #analysis
Analysis of End-of-State Impact on Manufacturing System Production Performance (JZ, QC0, JH0, JA, GX), pp. 823–828.
CCCC-2018-ErtelGAC #compilation
Compiling for concise code and efficient I/O (SE, AG, JA, JC), pp. 104–115.
CCCC-2018-KastrinisBFPS #alias #analysis #data type
An efficient data structure for must-alias analysis (GK, GB, KF, NPK, YS), pp. 48–58.
CCCC-2018-SunBHB #dynamic analysis
Efficient dynamic analysis for Node.js (HS, DB, CH, WB), pp. 196–206.
CCCC-2018-ThierEK #constraints #flexibility
Fast and flexible instruction selection with constraints (PT, MAE, AK), pp. 93–103.
CGOCGO-2018-BaghsorkhiM #automation #power management
Automating efficient variable-grained resiliency for low-power IoT systems (SSB, CM), pp. 38–49.
CGOCGO-2018-CostaA #framework #named
CollectionSwitch: a framework for efficient and dynamic collection selection (DC0, AA0), pp. 16–26.
CGOCGO-2018-HagedornSSGD #code generation
High performance stencil code generation with lift (BH, LS, MS, SG, CD), pp. 100–112.
CGOCGO-2018-ToffolaPG #source code
Synthesizing programs that expose performance bottlenecks (LDT, MP, TRG), pp. 314–326.
CGOCGO-2018-XieZLGJHZ #named
CVR: efficient vectorization of SpMV on x86 processors (BX, JZ, XL0, WG, ZJ, XH, LZ0), pp. 149–162.
FASEFASE-2018-ChechikSDR #analysis #commutative #named
FPH: Efficient Non-commutativity Analysis of Feature-Based Systems (MC, IS, CD, JR), pp. 319–336.
FASEFASE-2018-LechenetKG #dependence
Fast Computation of Arbitrary Control Dependencies (JCL, NK, PLG), pp. 207–224.
CAVCAV-2018-SinghPV #learning #program analysis
Fast Numerical Program Analysis with Reinforcement Learning (GS, MP, MTV), pp. 211–229.
CAVCAV-2018-LiDPRV #approximate #named #reachability
SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability (JL, RD, GP, KYR, MYV), pp. 37–44.
ICSTICST-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.
ICSTICST-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.
ICSTICST-2018-WangTHHSSP #testing
Testing Cloud Applications under Cloud-Uncertainty Performance Effects (WW0, NT, SH, SH, AS, MLS, LLP), pp. 81–92.
IJCARIJCAR-2018-ClaessenS #encoding #equation #first-order #logic
Efficient Encodings of First-Order Horn Formulas in Equational Logic (KC, NS), pp. 388–404.
IJCARIJCAR-2018-HoenickeS #array #formal method
Efficient Interpolation for the Theory of Arrays (JH, TS), pp. 549–565.
IJCARIJCAR-2018-UrbaniKJDC #logic
Efficient Model Construction for Horn Logic with VLog - System Description (JU, MK, CJHJ, ID, DC), pp. 680–688.
ECSAECSA-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.
CSEETCSEET-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.
EDMEDM-2017-KlinglerWKSG #classification #student
Efficient Feature Embeddings for Student Classification with Variational Auto-encoders (SK, RW, TK, BS, MHG).
EDMEDM-2017-RihakP #education #similarity #using
Measuring Similarity of Educational Items Using Data on Learners' Performance (JR, RP).
EDMEDM-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).
EDMEDM-2017-WanDGYL #online #predict
Predicting Performance in a Small Private Online Course (HW, JD, XG, QY, KL).
ICPCICPC-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.
ICSMEICSME-2017-ChenS #case study
An Exploratory Study of Performance Regression Introducing Code Changes (JC, WS), pp. 341–352.
MSRMSR-2017-BisongTB #modelling #predict
Built to last or built too fast?: evaluating prediction models for build times (EB, ET, OB), pp. 487–490.
SANERSANER-2017-AltingerHSGW #fault #predict
Performance tuning for automotive Software Fault Prediction (HA, SH, FS, JG, FW), pp. 526–530.
SANERSANER-2017-EttingerTM #automation
Efficient method extraction for automatic elimination of type-3 clones (RE, SST, SM), pp. 327–337.
SANERSANER-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.
HaskellHaskell-2017-WiegleyD #coq #haskell #using
Using Coq to write fast and correct Haskell (JW, BD), pp. 52–62.
HaskellHaskell-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.
AIIDEAIIDE-2017-ClarkF #random #scalability #search-based
Fast Random Genetic Search for Large-Scale RTS Combat Scenarios (CC, AF), pp. 165–171.
CHI-PLAYCHI-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.
CoGCIG-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.
DiGRADiGRA-2017-WitkowskiM #game studies
Playing with(out) Power: Negotiated conventions of high performance networked play practices (EW, JM).
FDGFDG-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.
FDGFDG-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.
CIKMCIKM-2017-AnwarNH #approach #community #novel
A Novel Approach for Efficient Computation of Community Aware Ridesharing Groups (SA, SN, TH), pp. 1971–1974.
CIKMCIKM-2017-BaskaranKCGS #dependence #functional #ontology
Efficient Discovery of Ontology Functional Dependencies (SB, AK0, FC, LG, JS), pp. 1847–1856.
CIKMCIKM-2017-BastB #named #query
QLever: A Query Engine for Efficient SPARQL+Text Search (HB, BB), pp. 647–656.
CIKMCIKM-2017-ChenAS #analysis #bias #empirical
An Empirical Analysis of Pruning Techniques: Performance, Retrievability and Bias (RCC, LA, FS), pp. 2023–2026.
CIKMCIKM-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.
CIKMCIKM-2017-DingLHM #fault tolerance #recommendation #using
Efficient Fault-Tolerant Group Recommendation Using alpha-beta-core (DD, HL, ZH0, NM), pp. 2047–2050.
CIKMCIKM-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.
CIKMCIKM-2017-HoangL #clustering #mining #network
Highly Efficient Mining of Overlapping Clusters in Signed Weighted Networks (TAH, EPL), pp. 869–878.
CIKMCIKM-2017-HuHQ #algorithm #communication #parallel #parametricity
A Communication Efficient Parallel DBSCAN Algorithm based on Parameter Server (XH, JH0, MQ), pp. 2107–2110.
CIKMCIKM-2017-HuWBZC #clustering #scalability
Fast K-means for Large Scale Clustering (QH, JW, LB0, YZ0, JC0), pp. 2099–2102.
CIKMCIKM-2017-KimPP #machine learning #modelling
Machine Learning based Performance Modeling of Flash SSDs (JK, JP, SP), pp. 2135–2138.
CIKMCIKM-2017-LeL #personalisation #ranking #recommendation
Indexable Bayesian Personalized Ranking for Efficient Top-k Recommendation (DDL, HWL), pp. 1389–1398.
CIKMCIKM-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.
CIKMCIKM-2017-RahmanAKD #category theory
Efficient Computation of Subspace Skyline over Categorical Domains (MFR, AA, NK, GD0), pp. 407–416.
CIKMCIKM-2017-SchaferL #classification
Fast and Accurate Time Series Classification with WEASEL (PS0, UL), pp. 637–646.
CIKMCIKM-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.
CIKMCIKM-2017-WuSZ #approach #behaviour #detection #modelling
A Fast Trajectory Outlier Detection Approach via Driving Behavior Modeling (HW0, WS, BZ), pp. 837–846.
CIKMCIKM-2017-YanCYL #comprehension #database #web
Understanding Database Performance Inefficiencies in Real-world Web Applications (CY, AC, JY, SL), pp. 1299–1308.
CIKMCIKM-2017-YuQL0CZ #algorithm
Fast Algorithms for Pareto Optimal Group-based Skyline (WY, ZQ, JL, LX0, XC, HZ), pp. 417–426.
ECIRECIR-2017-ArguelloA0 #predict #query #using
Using Query Performance Predictors to Reduce Spoken Queries (JA, SA, FD0), pp. 27–39.
ECIRECIR-2017-HafizogluKA #on the
On the Efficiency of Selective Search (FH, ECK, ISA), pp. 705–712.
ECIRECIR-2017-HasibiBB #effectiveness #query
Entity Linking in Queries: Efficiency vs. Effectiveness (FH, KB, SEB), pp. 40–53.
ECIRECIR-2017-KhandelwalA #clustering #estimation
Faster K-Means Cluster Estimation (SK, AA), pp. 520–526.
ICMLICML-2017-AliWK #programming
A Semismooth Newton Method for Fast, Generic Convex Programming (AA, EW, JZK), pp. 70–79.
ICMLICML-2017-Allen-Zhu #named #optimisation #parametricity #probability
Natasha: Faster Non-Convex Stochastic Optimization via Strongly Non-Convex Parameter (ZAZ), pp. 89–97.
ICMLICML-2017-Allen-ZhuL
Doubly Accelerated Methods for Faster CCA and Generalized Eigendecomposition (ZAZ, YL), pp. 98–106.
ICMLICML-2017-Allen-ZhuL17a #approximate #component #matrix
Faster Principal Component Regression and Stable Matrix Chebyshev Approximation (ZAZ, YL), pp. 107–115.
ICMLICML-2017-Allen-ZhuL17b #learning #online
Follow the Compressed Leader: Faster Online Learning of Eigenvectors and Faster MMWU (ZAZ, YL), pp. 116–125.
ICMLICML-2017-AndersonG #algorithm #approximate #online #rank
An Efficient, Sparsity-Preserving, Online Algorithm for Low-Rank Approximation (DGA, MG0), pp. 156–165.
ICMLICML-2017-BackursT #algorithm #clique
Improving Viterbi is Hard: Better Runtimes Imply Faster Clique Algorithms (AB, CT), pp. 311–321.
ICMLICML-2017-BeygelzimerOZ #learning #multi #online
Efficient Online Bandit Multiclass Learning with Õ(√T) Regret (AB, FO, CZ), pp. 488–497.
ICMLICML-2017-BolukbasiWDS #adaptation #network
Adaptive Neural Networks for Efficient Inference (TB, JW0, OD, VS), pp. 527–536.
ICMLICML-2017-BrownS #convergence #game studies
Reduced Space and Faster Convergence in Imperfect-Information Games via Pruning (NB, TS), pp. 596–604.
ICMLICML-2017-CaiDK #testing
Priv'IT: Private and Sample Efficient Identity Testing (BC, CD, GK0), pp. 635–644.
ICMLICML-2017-ChenLK #estimation #matrix #towards
Toward Efficient and Accurate Covariance Matrix Estimation on Compressed Data (XC, MRL, IK), pp. 767–776.
ICMLICML-2017-ChenYLZ #online #optimisation #scalability
Online Partial Least Square Optimization: Dropping Convexity for Better Efficiency and Scalability (ZC, LFY, CJL, TZ), pp. 777–786.
ICMLICML-2017-FinnAL #adaptation #network
Model-Agnostic Meta-Learning for Fast Adaptation of Deep Networks (CF, PA, SL), pp. 1126–1135.
ICMLICML-2017-GautierBV
Zonotope Hit-and-run for Efficient Sampling from Projection DPPs (GG, RB, MV), pp. 1223–1232.
ICMLICML-2017-GraveJCGJ #approximate
Efficient softmax approximation for GPUs (EG, AJ, MC, DG, HJ), pp. 1302–1310.
ICMLICML-2017-HanKPS #process
Faster Greedy MAP Inference for Determinantal Point Processes (IH, PK, KP, JS), pp. 1384–1393.
ICMLICML-2017-HazanSZ #game studies
Efficient Regret Minimization in Non-Convex Games (EH, KS, CZ), pp. 1433–1441.
ICMLICML-2017-HenriquesV
Warped Convolutions: Efficient Invariance to Spatial Transformations (JFH, AV), pp. 1461–1469.
ICMLICML-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.
ICMLICML-2017-JiangMCSMG
Efficient Nonmyopic Active Search (SJ, GM, GC, AS, BM, RG), pp. 1714–1723.
ICMLICML-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.
ICMLICML-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.
ICMLICML-2017-LiM #nearest neighbour
Fast k-Nearest Neighbour Search via Prioritized DCI (KL, JM), pp. 2081–2090.
ICMLICML-2017-MhammediHRB #network #orthogonal #using
Efficient Orthogonal Parametrisation of Recurrent Neural Networks Using Householder Reflections (ZM, ADH, AR, JB0), pp. 2401–2409.
ICMLICML-2017-RahmaniA #robust
Coherence Pursuit: Fast, Simple, and Robust Subspace Recovery (MR, GKA), pp. 2864–2873.
ICMLICML-2017-Shrivastava
Optimal Densification for Fast and Accurate Minwise Hashing (AS), pp. 3154–3163.
ICMLICML-2017-WalderB #estimation #process
Fast Bayesian Intensity Estimation for the Permanental Process (CJW, ANB), pp. 3579–3588.
ICMLICML-2017-WangJ #optimisation
Max-value Entropy Search for Efficient Bayesian Optimization (ZW, SJ), pp. 3627–3635.
ICMLICML-2017-WangKS0 #distributed #learning
Efficient Distributed Learning with Sparsity (JW, MK, NS, TZ0), pp. 3636–3645.
ICMLICML-2017-WuZ #metric #multi
A Unified View of Multi-Label Performance Measures (XZW, ZHZ), pp. 3780–3788.
ICMLICML-2017-XuLY #convergence #optimisation #probability
Stochastic Convex Optimization: Faster Local Growth Implies Faster Global Convergence (YX, QL, TY), pp. 3821–3830.
ICMLICML-2017-ZaheerKAMS
Canopy Fast Sampling with Cover Trees (MZ, SK, AA, JMFM, AJS), pp. 3977–3986.
KDDKDD-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.
KDDKDD-2017-BlalockG #data mining #mining #named
Bolt: Accelerated Data Mining with Fast Vector Compression (DWB, JVG), pp. 727–735.
KDDKDD-2017-BorisyukZK #named #towards
LiJAR: A System for Job Application Redistribution towards Efficient Career Marketplace (FB, LZ, KK), pp. 1397–1406.
KDDKDD-2017-ChenG #optimisation
Fast Newton Hard Thresholding Pursuit for Sparsity Constrained Nonconvex Optimization (JC, QG), pp. 757–766.
KDDKDD-2017-ConteFMPT #scalability
Fast Enumeration of Large k-Plexes (AC, DF, CM, MP, RT), pp. 115–124.
KDDKDD-2017-DuZCT #interactive #named
FIRST: Fast Interactive Attributed Subgraph Matching (BD, SZ, NC, HT), pp. 1447–1456.
KDDKDD-2017-HeHBHX #correlation #modelling #topic
Efficient Correlated Topic Modeling with Topic Embedding (JH, ZH, TBK, YH, EPX), pp. 225–233.
KDDKDD-2017-HillNLIV #algorithm #multi #optimisation #realtime
An Efficient Bandit Algorithm for Realtime Multivariate Optimization (DNH, HN, YL0, AI, SVNV), pp. 1813–1821.
KDDKDD-2017-KoutraDBWIFB #design #named
PNP: Fast Path Ensemble Method for Movie Design (DK, AD, SB, UW, SI, CF, JB), pp. 1527–1536.
KDDKDD-2017-LouO #named
BDT: Gradient Boosted Decision Tables for High Accuracy and Scoring Efficiency (YL, MO), pp. 1893–1901.
KDDKDD-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.
KDDKDD-2017-Song0H #clustering #named #parallel
PAMAE: Parallel k-Medoids Clustering with High Accuracy and Efficiency (HS, JGL0, WSH), pp. 1087–1096.
KDDKDD-2017-WangAL #kernel #random #re-engineering
Randomized Feature Engineering as a Fast and Accurate Alternative to Kernel Methods (SW, CCA, HL0), pp. 485–494.
KDDKDD-2017-Zhang0 #named #similarity
EmbedJoin: Efficient Edit Similarity Joins via Embeddings (HZ, QZ0), pp. 585–594.
ECMFAECMFA-2017-KonigD #consistency #modelling
Efficient Consistency Checking of Interrelated Models (HK, ZD), pp. 161–178.
ICMTICMT-2017-Strueber #generative #modelling #search-based
Generating Efficient Mutation Operators for Search-Based Model-Driven Engineering (DS), pp. 121–137.
ECOOPECOOP-2017-HuangR #concurrent #detection #perspective #precise #what
What's the Optimal Performance of Precise Dynamic Race Detection? - A Redundancy Perspective (JH, AKR), p. 22.
OnwardOnward-2017-FrancoHWDE #abstraction
You can have it all: abstraction and good cache performance (JF, MH, TW, SD, SE), pp. 148–167.
OOPSLAOOPSLA-2017-ChaudhuriVGRL #javascript #precise #type checking
Fast and precise type checking for JavaScript (AC, PV, SG, MR, GL), p. 30.
OOPSLAOOPSLA-2017-CohenFL #memory management #protocol
Efficient logging in non-volatile memory by exploiting coherency protocols (NC, MF, JRL), p. 24.
OOPSLAOOPSLA-2017-SpathAB #alias #analysis #data flow #named #precise
IDEal: efficient and precise alias-aware dataflow analysis (JS, KA0, EB), p. 27.
PADLPADL-2017-FowlerH #testing
Failing Faster: Overlapping Patterns for Property-Based Testing (JF, GH), pp. 103–119.
PLDIPLDI-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.
PLDIPLDI-2017-KediaCPVVB #memory management
Simple, fast, and safe manual memory management (PK, MC, MJP, KV, DV, AB), pp. 233–247.
PLDIPLDI-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.
PLDIPLDI-2017-PetrashkoLO #compilation #composition #named #program transformation #using
Miniphases: compilation using modular and efficient tree transformations (DP, OL, MO), pp. 201–216.
PLDIPLDI-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.
POPLPOPL-2017-SinghPV #abstract domain
Fast polyhedra abstract domain (GS, MP, MTV), pp. 46–59.
PPDPPPDP-2017-BelangerA #exclamation
Shrink fast correctly! (OSB, AWA), pp. 49–60.
SASSAS-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.
ASEASE-2017-AlatawiSM #abstract interpretation #execution #symbolic computation
Leveraging abstract interpretation for efficient dynamic symbolic execution (EA, HS, TM0), pp. 619–624.
ASEASE-2017-IncertoTT #adaptation #predict #self
Software performance self-adaptation through efficient model predictive control (EI, MT, CT), pp. 485–496.
ASEASE-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.
ASEASE-2017-JiangWLC #android #named #sequence
SimplyDroid: efficient event sequence simplification for Android application (BJ0, YW, TL, WKC0), pp. 297–307.
ASEASE-2017-LessenichAKSS #precise
Renaming and shifted code in structured merging: looking ahead for precision and performance (OL, SA, CK, GS, JS), pp. 543–553.
ASEASE-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-FSEESEC-FSE-2017-Schramm #automation #heuristic #program repair #using
Improving performance of automatic program repair using learned heuristics (LS), pp. 1071–1073.
ESEC-FSEESEC-FSE-2017-SiegmundPPAHKBB #comprehension
Measuring neural efficiency of program comprehension (JS, NP, CP, SA, JH, CK, AB, AB, AB), pp. 140–150.
ESEC-FSEESEC-FSE-2017-Tang #design #optimisation
System performance optimization via design and configuration space exploration (CT0), pp. 1046–1049.
ESEC-FSEESEC-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.
GPCEGPCE-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.
SLESLE-2017-LuhunuS #code generation #comparison #tool support
Comparison of the expressiveness and performance of template-based code generation tools (LL, ES), pp. 206–216.
SLESLE-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.
ASPLOSASPLOS-2017-BaiLI #power management
Voltage Regulator Efficiency Aware Power Management (YB, VWL, EI), pp. 825–838.
ASPLOSASPLOS-2017-Bianchini
Improving Datacenter Efficiency (RB), p. 327.
ASPLOSASPLOS-2017-CoxB #architecture #multi
Efficient Address Translation for Architectures with Multiple Page Sizes (GC, AB), pp. 435–448.
ASPLOSASPLOS-2017-ElyasiASKDJ
Exploiting Intra-Request Slack to Improve SSD Performance (NE, MA, AS, MTK, CRD, MJ), pp. 375–388.
ASPLOSASPLOS-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.
ASPLOSASPLOS-2017-HuangAZ #debugging #named #semantics
Pallas: Semantic-Aware Checking for Finding Deep Bugs in Fast Path (JH0, MAB, XZ), pp. 709–722.
ASPLOSASPLOS-2017-ParkPM #multi #resource management
Dynamic Resource Management for Efficient Utilization of Multitasking GPUs (JJKP, YP, SAM), pp. 527–540.
ASPLOSASPLOS-2017-RajbhandariHRCC #multi #optimisation #scalability
Optimizing CNNs on Multicores for Scalability, Performance and Goodput (SR, YH, OR, MC, TMC), pp. 267–280.
ASPLOSASPLOS-2017-VoraGX #approximate #graph #named #streaming
KickStarter: Fast and Accurate Computations on Streaming Graphs via Trimmed Approximations (KV, RG0, G(X), pp. 237–251.
ASPLOSASPLOS-2017-WuLZJ #flexibility #named
FLEP: Enabling Flexible and Efficient Preemption on GPUs (BW0, XL0, XZ0, CJ), pp. 483–496.
CASECASE-2017-ChangCC #how #modelling #variability
How simplified models of different variability affects performance of ordinal transformation (CMC, SCC, CHC), pp. 1065–1066.
CASECASE-2017-ChenGL #analysis #identification #markov #online
Load identification based on Factorial Hidden Markov Model and online performance analysis (SC, FG, TL0), pp. 1249–1253.
CASECASE-2017-HonarpardazMH #design
Fast grasp tool design: From force to form closure (MH, MM, RH), pp. 782–788.
CASECASE-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.
CASECASE-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.
CASECASE-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.
CASECASE-2017-LiuJXX #higher-order #probability
Fast terminal sliding mode control of high-order stochastic systems (XL, XJ, LX, HX), pp. 1592–1597.
CASECASE-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.
CASECASE-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.
CASECASE-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.
CASECASE-2017-WangYCX #evaluation
Performance evaluation of bernoulli serial lines with batching machines (JQW, FYY, PHC, TX), p. 295.
CASECASE-2017-WigstromMRL #energy #multi #optimisation
Computationally efficient energy optimization of multiple robots (OW, NM, SR, BL), pp. 515–522.
CASECASE-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.
CASECASE-2017-XuLC #data analysis
Local AIS data analytics for efficient operation management in Vessel Traffic Service (GX, FL, CHC), pp. 1668–1672.
CASECASE-2017-YanZ #analysis
Efficiency analysis of series machines under operation-dependent-failures (CBY, QZ), pp. 476–481.
CASECASE-2017-ZhangWZ #adaptation
Fast adaptive search on the line in dual environments (JZ, YW, MZ), pp. 1540–1545.
CASECASE-2017-ZhaoLHD #analysis #flexibility #problem
Optimal planning of plant flexibility: Problem formulation and performance analysis (CZ, JL, NH, GAD), p. 986.
CGOCGO-2017-DotM0 #profiling
Removing checks in dynamically typed languages through efficient profiling (GD, AM, AG0), pp. 257–268.
CGOCGO-2017-SuLX #approach #automation #compilation #generative
Automatic generation of fast BLAS3-GEMM: a portable compiler approach (XS, XL, JX), pp. 122–133.
ESOPESOP-2017-ChatterjeeKMP #algorithm #recursion #state machine
Faster Algorithms for Weighted Recursive State Machines (KC, BK, SM, AP), pp. 287–313.
ESOPESOP-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.
CADECADE-2017-Cruz-FilipeHHKS #verification
Efficient Certified RAT Verification (LCF, MJHH, WAHJ, MK, PSK), pp. 220–236.
CADECADE-2017-Lammich #satisfiability
Efficient Verified (UN)SAT Certificate Checking (PL), pp. 237–254.
CAVCAV-2017-KatzBDJK #named #network #smt #verification
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks (GK, CWB, DLD, KJ, MJK), pp. 97–117.
CAVCAV-2017-Fearnley #game studies #parallel
Efficient Parallel Strategy Improvement for Parity Games (JF), pp. 137–154.
CAVCAV-2017-TouzeauMMR #analysis #nondeterminism
Ascertaining Uncertainty for Efficient Exact Cache Analysis (VT, CM, DM, JR), pp. 22–40.
CSLCSL-2017-BresolinMS #logic #reasoning
Fast(er) Reasoning in Interval Temporal Logic (DB, EMV, GS), p. 17.
ICSTICST-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.
ICSTICST-2017-Gyori0PM #linear #metric #runtime
Efficient Incrementalized Runtime Checking of Linear Measures on Lists (AG, PG0, EP, PM), pp. 310–320.
ICSTICST-2017-OliveiraFDHS #effectiveness #named #testing
Perphecy: Performance Regression Test Selection Made Simple but Effective (ABdO, SF, AD, MH, PFS), pp. 103–113.
VMCAIVMCAI-2017-MarechalP
Efficient Elimination of Redundancies in Polyhedra by Raytracing (AM, MP), pp. 367–385.
QoSAQoSA-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.
QoSAQoSA-2016-StierK #adaptation #analysis #modelling #self
Considering Transient Effects of Self-Adaptations in Model-Driven Performance Analyses (CS, AK), pp. 80–89.
WICSAWICSA-2016-GesvindrB #architecture #as a service #design
Architectural Tactics for the Design of Efficient PaaS Cloud Applications (DG, BB), pp. 158–167.
JCDLJCDL-2016-HolzmannGA #named #web
ArchiveSpark: Efficient Web Archive Access, Extraction and Derivation (HH, VG, AA), pp. 83–92.
EDMEDM-2016-al-RifaieYd #predict
Investigating Swarm Intelligence for Performance Prediction (MMaR, MYK, Md), pp. 264–269.
EDMEDM-2016-Bydzovska #analysis #comparative #predict #student
A Comparative Analysis of Techniques for Predicting Student Performance (HB), pp. 306–311.
EDMEDM-2016-Mojarad #student #using
Studying Assignment Size and Student Performance Using Propensity Score Matching (SM), pp. 701–702.
EDMEDM-2016-MoriC #behaviour #identification #online #student
Identifying Student Behaviors Early in the Term for Improving Online Course Performance (MM, PC), pp. 611–612.
EDMEDM-2016-RenRJ #modelling #multi #predict #using
Predicting Performance on MOOC Assessments using Multi-Regression Models (ZR, HR, AJ), pp. 484–489.
EDMEDM-2016-SahebiLB #modelling #predict #student
Tensor Factorization for Student Modeling and Performance Prediction in Unstructured Domain (SS, YRL, PB), pp. 502–506.
EDMEDM-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.
EDMEDM-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.
EDMEDM-2016-SweeneyLRJ #approach #predict #recommendation #student
Next-Term Student Performance Prediction: A Recommender Systems Approach (MS, JL, HR, AJ), p. 7.
EDMEDM-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.
ICSMEICSME-2016-AlghmadiSSH #approach #automation #recommendation #testing
An Automated Approach for Recommending When to Stop Performance Tests (HMA, MDS, WS, AEH), pp. 279–289.
ICSMEICSME-2016-MarijanL #testing
Effect of Time Window on the Performance of Continuous Regression Testing (DM, ML), pp. 568–571.
ICSMEICSME-2016-NewmanMC #named #static typing
srcType: A Tool for Efficient Static Type Resolution (CDN, JIM, MLC), pp. 604–606.
ICSMEICSME-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.
ICSMEICSME-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.
ICSMEICSME-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.
MSRMSR-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.
MSRMSR-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.
MSRMSR-2016-LuoPG #evolution #mining
Mining performance regression inducing code changes in evolving software (QL, DP, MG), pp. 25–36.
SANERSANER-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.
SANERSANER-2016-SwidanHK #case study #scalability #spreadsheet
Improving the Performance of a Large Scale Spreadsheet: A Case Study (AS, FH, RK), pp. 673–677.
SANERSANER-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.
SCAMSCAM-2016-MingW #concurrent #control flow #multi #named #profiling #thread
BinCFP: Efficient Multi-threaded Binary Code Control Flow Profiling (JM0, DW), pp. 61–66.
CIAACIAA-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.
HaskellHaskell-2016-Yamamoto #case study #experience #haskell
Experience report: developing high performance HTTP/2 server in Haskell (KY), pp. 74–79.
AIIDEAIIDE-2016-FarrellW
Fast and Diverse Narrative Planning through Novelty Pruning (RF, SGW), pp. 37–43.
CHI-PLAYCHI-PLAY-2016-EmmerichM #experience
The Influence of Virtual Agents on Player Experience and Performance (KE, MM), pp. 10–21.
CHI-PLAYCHI-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.
CoGCIG-2016-HolmgardTH #assessment #game studies
Computational intelligence and cognitive performance assessment games (CH, JT, LH), pp. 1–8.
DiGRADiGRA-FDG-2016-Karhulahti
Prank, Troll, Gross and Gore: Performance Issues in Esport Live-Streaming (VMK).
DiGRADiGRA-FDG-2016-ParkerG #community #game studies #process
Creative Communities: Shaping Process through Performance and Play (LP, DG).
CIKMCIKM-2016-0003LRA
Q+Tree: An Efficient Quad Tree based Data Indexing for Parallelizing Dynamic and Reverse Skylines (MSI0, CL, JWR, TA), pp. 1291–1300.
CIKMCIKM-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.
CIKMCIKM-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.
CIKMCIKM-2016-EtemadiLT #estimation #graph #scalability
Efficient Estimation of Triangles in Very Large Graphs (RE, JL, YHT), pp. 1251–1260.
CIKMCIKM-2016-HamooniDXZJM #named #pattern matching #pattern recognition #recognition
LogMine: Fast Pattern Recognition for Log Analytics (HH, BD, JX, HZ0, GJ, AM), pp. 1573–1582.
CIKMCIKM-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.
CIKMCIKM-2016-LeekaBBA #framework #named #rdf
Quark-X: An Efficient Top-K Processing Framework for RDF Quad Stores (JL, SB, DB, MA), pp. 831–840.
CIKMCIKM-2016-LiCC0Y #query
Efficient Processing of Location-Aware Group Preference Queries (ML, LC, GC, YG0, GY0), pp. 559–568.
CIKMCIKM-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.
CIKMCIKM-2016-MaSCYKV #distributed #network #query
Query Answering Efficiency in Expert Networks Under Decentralized Search (LM0, MS, DC, XY, SK, MV), pp. 2119–2124.
CIKMCIKM-2016-MaxwellA #analysis #behaviour
Agents, Simulated Users and Humans: An Analysis of Performance and Behaviour (DM, LA), pp. 731–740.
CIKMCIKM-2016-PhamP #scalability
Scalability and Total Recall with Fast CoveringLSH (NP, RP), pp. 1109–1118.
CIKMCIKM-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.
CIKMCIKM-2016-RenZRZYW #learning #optimisation
User Response Learning for Directly Optimizing Campaign Performance in Display Advertising (KR, WZ0, YR, HZ, YY0, JW0), pp. 679–688.
CIKMCIKM-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.
CIKMCIKM-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.
CIKMCIKM-2016-XuK #clustering #effectiveness
Effective and Efficient Spectral Clustering on Text and Link Data (ZX, YK), pp. 357–366.
CIKMCIKM-2016-YangY #re-engineering
Efficient Hidden Trajectory Reconstruction from Sparse Data (NY0, PSY), pp. 821–830.
CIKMCIKM-2016-ZhangTSYS #matrix #orthogonal
Efficient Orthogonal Non-negative Matrix Factorization over Stiefel Manifold (WEZ, MT, QZS, LY, QS), pp. 1743–1752.
ECIRECIR-2016-ArguelloAD #predict #query #using
Using Query Performance Predictors to Improve Spoken Queries (JA, SA, FD0), pp. 309–321.
ECIRECIR-2016-JurgovskyGS #memory management #robust #word
Evaluating Memory Efficiency and Robustness of Word Embeddings (JJ, MG, CS), pp. 200–211.
ECIRECIR-2016-ValcarcePB #collaboration #feedback #pseudo #recommendation
Efficient Pseudo-Relevance Feedback Methods for Collaborative Filtering Recommendation (DV, JP, AB), pp. 602–613.
ECIRECIR-2016-Welleck #optimisation #ranking
Efficient AUC Optimization for Information Ranking Applications (SJW), pp. 159–170.
ICMLICML-2016-AbernethyH #optimisation
Faster Convex Optimization: Simulated Annealing with an Efficient Universal Barrier (JDA, EH), pp. 2520–2528.
ICMLICML-2016-AcharyaDLS #algorithm
Fast Algorithms for Segmented Regression (JA, ID, JL0, LS), pp. 2878–2886.
ICMLICML-2016-BlondelIFU #algorithm #network #polynomial
Polynomial Networks and Factorization Machines: New Insights and Efficient Training Algorithms (MB, MI, AF, NU), pp. 850–858.
ICMLICML-2016-DavidS #algorithm #bound #problem
PAC Lower Bounds and Efficient Algorithms for The Max K-Armed Bandit Problem (YD, NS), pp. 878–887.
ICMLICML-2016-Fan #estimation #fault #robust
Accurate Robust and Efficient Error Estimation for Decision Trees (LF), pp. 239–247.
ICMLICML-2016-GarberHJKMNS
Faster Eigenvector Computation via Shift-and-Invert Preconditioning (DG, EH, CJ, SMK, CM, PN, AS), pp. 2626–2634.
ICMLICML-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.
ICMLICML-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.
ICMLICML-2016-GuiHG #estimation #matrix #rank #towards
Towards Faster Rates and Oracle Property for Low-Rank Matrix Estimation (HG, JH0, QG), pp. 2300–2309.
ICMLICML-2016-HardtRS #probability
Train faster, generalize better: Stability of stochastic gradient descent (MH, BR, YS), pp. 1225–1234.
ICMLICML-2016-Kasiviswanathan #empirical #learning
Efficient Private Empirical Risk Minimization for High-dimensional Learning (SPK, HJ), pp. 488–497.
ICMLICML-2016-KhetanO #data-driven #rank
Data-driven Rank Breaking for Efficient Rank Aggregation (AK, SO), pp. 89–98.
ICMLICML-2016-KomiyamaHN #algorithm #bound #problem
Copeland Dueling Bandit Problem: Regret Lower Bound, Optimal Algorithm, and Computationally Efficient Algorithm (JK, JH, HN), pp. 1235–1244.
ICMLICML-2016-LiJS #kernel
Fast DPP Sampling for Nystrom with Application to Kernel Methods (CL, SJ, SS), pp. 2061–2070.
ICMLICML-2016-LiM #nearest neighbour
Fast k-Nearest Neighbour Search via Dynamic Continuous Indexing (KL, JM), pp. 671–679.
ICMLICML-2016-LouizosW #learning #matrix
Structured and Efficient Variational Deep Learning with Matrix Gaussian Posteriors (CL, MW), pp. 1708–1716.
ICMLICML-2016-MirzasoleimanBK #personalisation #summary
Fast Constrained Submodular Maximization: Personalized Data Summarization (BM, AB, AK), pp. 1358–1367.
ICMLICML-2016-NewlingF #bound
Fast k-means with accurate bounds (JN, FF), pp. 936–944.
ICMLICML-2016-NiuRFH #parametricity #using
Fast Parameter Inference in Nonlinear Dynamical Systems using Iterative Gradient Matching (MN, SR, MF, DH), pp. 1699–1707.
ICMLICML-2016-QuXO #algorithm #analysis #optimisation #probability
Fast Rate Analysis of Some Stochastic Optimization Algorithms (CQ, HX, CJO), pp. 662–670.
ICMLICML-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.
ICMLICML-2016-RakhlinS #named
BISTRO: An Efficient Relaxation-Based Method for Contextual Bandits (AR, KS), pp. 1977–1985.
ICMLICML-2016-SaeediHJA #infinity
The Segmented iHMM: A Simple, Efficient Hierarchical Infinite HMM (AS, MDH, MJJ0, RPA), pp. 2682–2691.
ICMLICML-2016-Shamir #algorithm #convergence #probability
Fast Stochastic Algorithms for SVD and PCA: Convergence Properties and Convexity (OS), pp. 248–256.
ICMLICML-2016-SiHD #approximate #using
Computationally Efficient Nyström Approximation using Fast Transforms (SS, CJH, ISD), pp. 2655–2663.
ICMLICML-2016-SyrgkanisKS #algorithm #learning
Efficient Algorithms for Adversarial Contextual Learning (VS, AK, RES), pp. 2159–2168.
ICMLICML-2016-UbaruS #matrix #rank #scalability
Fast methods for estimating the Numerical rank of large matrices (SU, YS), pp. 468–477.
ICMLICML-2016-WangWK #programming
Epigraph projections for fast general convex programming (PWW, MW, JZK), pp. 2868–2877.
ICMLICML-2016-YaoK #learning #product line
Efficient Learning with a Family of Nonconvex Regularizers by Redistributing Nonconvexity (QY, JTK), pp. 2645–2654.
ICMLICML-2016-YuL #learning #multi
Learning from Multiway Data: Simple and Efficient Tensor Regression (RY, YL0), pp. 373–381.
ICMLICML-2016-ZhuH #optimisation #reduction
Variance Reduction for Faster Non-Convex Optimization (ZAZ, EH), pp. 699–707.
ICMLICML-2016-ZhuQRY #coordination #using
Even Faster Accelerated Coordinate Descent Using Non-Uniform Sampling (ZAZ, ZQ, PR, YY), pp. 1110–1119.
ICPRICPR-2016-Aldana-IuitMCM
In the Saddle: Chasing fast and repeatable features (JAI, DM, OC, JM), pp. 675–680.
ICPRICPR-2016-BandyopadhyayM #axiom #clustering #incremental
Axioms to characterize efficient incremental clustering (SB, MNM), pp. 450–455.
ICPRICPR-2016-Bodis-SzomoruRG #re-engineering
Efficient volumetric fusion of airborne and street-side data for urban reconstruction (ABS, HR, LVG), pp. 3204–3209.
ICPRICPR-2016-BorghiVC #3d #gesture #multi #recognition
Fast gesture recognition with Multiple Stream Discrete HMMs on 3D skeletons (GB, RV, RC), pp. 997–1002.
ICPRICPR-2016-Burlina #named
MRCNN: A stateful Fast R-CNN (PB), pp. 3518–3523.
ICPRICPR-2016-CardosoMA #analysis #problem
Plücker correction problem: Analysis and improvements in efficiency (JRC, PM, HA), pp. 2795–2800.
ICPRICPR-2016-ChowdhuryBMKS #image #network #retrieval #using
An efficient radiographic Image Retrieval system using Convolutional Neural Network (MC, SRB, RM, MKK, ÖS), pp. 3134–3139.
ICPRICPR-2016-DaiMZ #evolution #image #segmentation #set
A Bregman divergence based Level Set Evolution for efficient medical image segmentation (SD, HM, SZ), pp. 1113–1118.
ICPRICPR-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.
ICPRICPR-2016-FleischmannK #interactive
Fast projector-camera calibration for interactive projection mapping (OF, RK), pp. 3798–3803.
ICPRICPR-2016-GaldiD #mobile #recognition
Fusing iris colour and texture information for fast iris recognition on mobile devices (CG, JLD), pp. 160–164.
ICPRICPR-2016-GhorbelBBSL #recognition
A fast and accurate motion descriptor for human action recognition applications (EG, RB, JB, XS, SL), pp. 919–924.
ICPRICPR-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.
ICPRICPR-2016-KabkabHC #network #on the
On the size of Convolutional Neural Networks and generalization performance (MK, EMH, RC), pp. 3572–3577.
ICPRICPR-2016-KimuraKSK #classification #multi #random #scalability
Fast random k-labELsets for large-scale multi-label classification (KK, MK, LS, SK), pp. 438–443.
ICPRICPR-2016-LeHWO #detection
Temporally subsampled detection for accurate and efficient face tracking and diarization (NL, AH, DW0, JMO), pp. 1792–1797.
ICPRICPR-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.
ICPRICPR-2016-LiH #approach #detection #image
A fast approach for traffic panel detection from natural scene images (ZML, LLH), pp. 579–584.
ICPRICPR-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.
ICPRICPR-2016-LiWS #towards
Towards protecting biometric templates without sacrificing performance (JL0, YW, TS), pp. 1029–1034.
ICPRICPR-2016-Lourakis
An efficient solution to absolute orientation (MIAL), pp. 3816–3819.
ICPRICPR-2016-MaoFWH #identification #kernel
Fast kernel SVM training via support vector identification (XM, ZF, OW, WH), pp. 1554–1559.
ICPRICPR-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.
ICPRICPR-2016-McCaneS #network
Deep networks are efficient for circular manifolds (BM, LS), pp. 3464–3469.
ICPRICPR-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.
ICPRICPR-2016-OsmanliogluOHS #analysis #approximate #problem
Efficient approximation of labeling problems with applications to immune repertoire analysis (YO, SO, UH, AS), pp. 2410–2415.
ICPRICPR-2016-PeiM #3d #estimation #interactive #mobile
Fast 3D hand estimation for mobile interactions (YP, GM), pp. 979–984.
ICPRICPR-2016-Pham0PV #network
Faster training of very deep networks via p-norm gates (TP, TT0, DQP, SV), pp. 3542–3547.
ICPRICPR-2016-RampalSI #estimation
Fast and accurate scale estimation method for object tracking (KR, KS, HI), pp. 2712–2715.
ICPRICPR-2016-Rowekamp #using
Fast thresholding of high dimensional Euclidean distances using binary squaring (JHR), pp. 3103–3108.
ICPRICPR-2016-SharabatiX #approach #polynomial
Fast local polynomial regression approach for speckle noise removal (WKS, BX), pp. 3198–3203.
ICPRICPR-2016-SorelB #multi
Efficient JPEG decompression by the alternating direction method of multipliers (MS, MB), pp. 271–276.
ICPRICPR-2016-Teerapittayanon #named #network
BranchyNet: Fast inference via early exiting from deep neural networks (ST, BM, HTK), pp. 2464–2469.
ICPRICPR-2016-ToyamaMS #clustering #using
Fast template matching using Brick Partitioning and initial threshold (FT, HM, KS), pp. 687–691.
ICPRICPR-2016-WuARN #recognition
Computationally efficient template-based face recognition (YW0, WAA, SR, PN), pp. 1424–1429.
ICPRICPR-2016-XiaoY
Efficient tracking with distinctive target colors and silhouette (CX, AY), pp. 2728–2733.
ICPRICPR-2016-YangLWW #empirical
An Empirical Study of Deformable Part Model with fast feature pyramid (JY, GL, WW, RW), pp. 567–572.
ICPRICPR-2016-YorukOA #estimation #multi #recognition
An efficient Hough transform for multi-instance object recognition and pose estimation (EY, KTO, CBA), pp. 1352–1357.
ICPRICPR-2016-ZhangCUL #algorithm
MLPF algorithm for tracking fast moving target against light interference (LZ, YC, ZU, TL), pp. 3939–3944.
ICPRICPR-2016-ZhaoMFQH #predict #using
Fast motion deblurring using gyroscopes and strong edge prediction (JZ, JM, BF, SQ, FH), pp. 739–744.
KDDKDD-2016-BalcanLSW0 #analysis #communication #component #distributed #kernel
Communication Efficient Distributed Kernel Principal Component Analysis (MFB, YL, LS, DPW, BX0), pp. 725–734.
KDDKDD-2016-ChenTXYH #dependence #multi #named #network
FASCINATE: Fast Cross-Layer Dependency Inference on Multi-layered Networks (CC0, HT, LX, LY, QH), pp. 765–774.
KDDKDD-2016-CoskunGK #network #proximity #query
Efficient Processing of Network Proximity Queries via Chebyshev Acceleration (MC, AG, MK), pp. 1515–1524.
KDDKDD-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.
KDDKDD-2016-GhashamiLP #algorithm #matrix
Efficient Frequent Directions Algorithm for Sparse Matrices (MG, EL, JMP), pp. 845–854.
KDDKDD-2016-HanZZ #component #estimation #scalability
Fast Component Pursuit for Large-Scale Inverse Covariance Estimation (LH0, YZ0, TZ0), pp. 1585–1594.
KDDKDD-2016-HuangJA #composition #distributed #online
Online Dual Decomposition for Performance and Delivery-Based Distributed Ad Allocation (JCH, RJ, CA), pp. 117–126.
KDDKDD-2016-HuVQ #detection
Temporal Order-based First-Take-All Hashing for Fast Attention-Deficit-Hyperactive-Disorder Detection (HH, JVG, GJQ), pp. 905–914.
KDDKDD-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.
KDDKDD-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.
KDDKDD-2016-ManzoorMA #detection #graph #streaming
Fast Memory-efficient Anomaly Detection in Streaming Heterogeneous Graphs (EAM, SMM, LA), pp. 1035–1044.
KDDKDD-2016-MueenK
Extracting Optimal Performance from Dynamic Time Warping (AM, EJK), pp. 2129–2130.
KDDKDD-2016-NakagawaSKTT #approach #mining #predict
Safe Pattern Pruning: An Efficient Approach for Predictive Pattern Mining (KN, SS, MK, KT, IT), pp. 1785–1794.
KDDKDD-2016-ReisFMB #detection #incremental #online #using
Fast Unsupervised Online Drift Detection Using Incremental Kolmogorov-Smirnov Test (DMdR, PAF, SM, GEAPAB), pp. 1545–1554.
KDDKDD-2016-WuYCY #convergence #random
Revisiting Random Binning Features: Fast Convergence and Strong Parallelizability (LW, IEHY, JC, RY), pp. 1265–1274.
KDDKDD-2016-ZhangBSS #named #optimisation #pipes and filters
FLASH: Fast Bayesian Optimization for Data Analytic Pipelines (YZ, MTB, HS, JS), pp. 2065–2074.
KDDKDD-2016-ZhangT #named #network
FINAL: Fast Attributed Network Alignment (SZ, HT), pp. 1345–1354.
KDDKDD-2016-ZhengYC #invariant #learning #taxonomy
Efficient Shift-Invariant Dictionary Learning (GZ, YY, JGC), pp. 2095–2104.
SKYSKY-2016-ExmanS #natural language #programming language #reliability
Fast and Reliable Software Translation of Programming Languages to Natural Language (IE, OS), pp. 57–64.
MoDELSMoDELS-2016-FalknerSC #modelling #predict
Model-driven performance prediction of systems of systems (KEF, CS, VC), p. 44.
MoDELSMoDELS-2016-PrzigodaWD #ocl #smt
Ground setting properties for an efficient translation of OCL in SMT-based model finding (NP, RW, RD), pp. 261–271.
OOPSLAOOPSLA-2016-BhandariCB #memory management #named
Makalu: fast recoverable allocation of non-volatile memory (KB, DRC, HJB), pp. 677–694.
OOPSLAOOPSLA-2016-DalozeMBM #dynamic typing #thread
Efficient and thread-safe objects for dynamically-typed languages (BD, SM, DB, HM), pp. 642–659.
LOPSTRLOPSTR-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.
PEPMPEPM-2016-SuzukiKK #query
Finally, safely-extensible and efficient language-integrated query (KS, OK, YK), pp. 37–48.
PLDIPLDI-2016-0001HM #complexity #on the #parsing
On the complexity and performance of parsing with derivatives (MDA0, CH, MM), pp. 224–236.
PLDIPLDI-2016-JacekCMM #garbage collection
Assessing the limits of program-specific garbage collection performance (NJ, MCC, BMM, EM), pp. 584–598.
PLDIPLDI-2016-LoncaricTE #synthesis
Fast synthesis of fast collections (CL, ET, MDE), pp. 355–368.
PLDIPLDI-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.
POPLPOPL-2016-AndryscoJL #float
Printing floating-point numbers: a faster, always correct method (MA, RJ, SL), pp. 555–567.
POPLPOPL-2016-WuXCZZ #approach #named
Casper: an efficient approach to call trace collection (RW, XX0, SCC, HZ0, CZ), pp. 678–690.
QAPLQAPL-2016-BergPH #energy #policy
Evaluating load balancing policies for performance and energy-efficiency (FvdB, BFP, BRH), pp. 98–117.
SASSAS-2016-KojimaKS #invariant #synthesis
Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis (KK, MK, KS), pp. 278–299.
ASEASE-2016-DemuthRE #consistency #detection #developer #multi #nondeterminism
Efficient detection of inconsistencies in a multi-developer engineering environment (AD, MRE, AE), pp. 590–601.
ASEASE-2016-Le #automation #effectiveness #program repair #towards
Towards efficient and effective automatic program repair (XBDL), pp. 876–879.
ASEASE-2016-Puschel #generative
Program generation for performance (MP), p. 1.
ASEASE-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.
FSEFSE-2016-BagheriM #alloy #analysis #evolution #named #specification
Titanium: efficient analysis of evolving alloy specifications (HB, SM), pp. 27–38.
FSEFSE-2016-BergerVJDS #editing #empirical #projectional
Efficiency of projectional editing: a controlled experiment (TB, MV, HPJ, TD, JS), pp. 763–774.
FSEFSE-2016-BruninkR #mining #specification
Mining performance specifications (MB, DSR), pp. 39–49.
FSEFSE-2016-GhassabaniGW #generative #induction #safety
Efficient generation of inductive validity cores for safety properties (EG, AG, MWW), pp. 314–325.
FSEFSE-2016-KangZXL #android #named
DiagDroid: Android performance diagnosis via anatomizing asynchronous executions (YK, YZ, HX, MRL), pp. 410–421.
FSEFSE-2016-KimRLZX #monitoring #named
PerfGuard: binary-centric application performance monitoring in production environments (CHK, JR, KHL, XZ0, DX), pp. 595–606.
FSEFSE-2016-Luo #testing
Input-sensitive performance testing (QL), pp. 1085–1087.
FSEFSE-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.
GPCEGPCE-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.
SLESLE-2016-BenelallamTCLC #clustering #distributed #model transformation
Efficient model partitioning for distributed model transformations (AB, MT, JSC, JdL, JC), pp. 226–238.
SLESLE-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.
ASPLOSASPLOS-2016-AbadalCAT #architecture #communication #named
WiSync: An Architecture for Fast Synchronization through On-Chip Wireless Communication (SA, ACA, EA, JT), pp. 3–17.
ASPLOSASPLOS-2016-DidonaDKGNR #abstraction #memory management #named #transaction
ProteusTM: Abstraction Meets Performance in Transactional Memory (DD, ND, AMK, RG, RN, PR0), pp. 757–771.
ASPLOSASPLOS-2016-KaufmannPSAK
High Performance Packet Processing with FlexNIC (AK, SP, NKS, TEA, AK), pp. 67–81.
ASPLOSASPLOS-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.
ASPLOSASPLOS-2016-MarkuzeMT
True IOMMU Protection from DMA Attacks: When Copy is Faster than Zero Copy (AM, AM0, DT), pp. 249–262.
ASPLOSASPLOS-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.
ASPLOSASPLOS-2016-ZhangH #comparison #hardware #hybrid
Maximizing Performance Under a Power Cap: A Comparison of Hardware, Software, and Hybrid Techniques (HZ, HH), pp. 545–559.
ASPLOSASPLOS-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.
CASECASE-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.
CASECASE-2016-JanSFF #automation #scalability
Fast automatic seat assignment for large-scale passengers reservation systems (GEJ, CCS, CTFT, KF), pp. 239–244.
CASECASE-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.
CASECASE-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.
CASECASE-2016-LiLTYZ #energy
Operational strategies for energy efficiency improvement of CNC machining (CL, LL, YT, QY, YZ), pp. 1270–1275.
CASECASE-2016-OltjenBKO #difference #parallel
Efficient computation of system-specific motion commands for serial and parallel robots based on differential flatness (, DB, JK, TO), pp. 328–334.
CASECASE-2016-PizziBPF #delivery #online
Performance improvement for online schedulers for packaging systems (EP, AB, AP, LF), pp. 1243–1248.
CASECASE-2016-SussD #behaviour #classification #component #simulation
Classification of mechatronic components for efficient plant behaviour simulation (SS, CD), pp. 1146–1151.
CCCC-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.
CCCC-2016-ScholzJSW #datalog #on the #program analysis #scalability
On fast large-scale program analysis in Datalog (BS, HJ, PS, TW), pp. 196–206.
CGOCGO-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.
CGOCGO-2016-JibajaCBM #manycore #symmetry
Portable performance on asymmetric multicore processors (IJ, TC, SMB, KSM), pp. 24–35.
ESOPESOP-2016-MalechaB #automation
Extensible and Efficient Automation Through Reflective Tactics (GM, JB), pp. 532–559.
CAVCAV-2016-KlenzeBH #flexibility #smt #synthesis
Fast, Flexible, and Minimal CTL Synthesis via SMT (TK, SB, AJH), pp. 136–156.
CAVCAV-2016-FuS #float #named #satisfiability
XSat: A Fast Floating-Point Satisfiability Solver (ZF, ZS), pp. 187–209.
CAVCAV-2016-HerdtLGD #named #simulation
ParCoSS: Efficient Parallelized Compiled Symbolic Simulation (VH, HML0, DG, RD), pp. 177–183.
ICSTICST-2016-BernardinoZR #domain-specific language #modelling #named #testing
Canopus: A Domain-Specific Language for Modeling Performance Testing (MB, AFZ, EdMR), pp. 157–167.
IJCARIJCAR-2016-BrombergerW #constraints #testing #theorem proving
Fast Cube Tests for LIA Constraint Solving (MB, CW), pp. 116–132.
IJCARIJCAR-2016-SchulzM #heuristic #proving #theorem proving
Performance of Clause Selection Heuristics for Saturation-Based Theorem Proving (SS0, MM), pp. 330–345.
ECSAECSA-2015-StierKGR #analysis #architecture #energy #modelling
Model-Based Energy Efficiency Analysis of Software Architectures (CS, AK, HG, RHR), pp. 221–238.
ECSAECSA-2015-TrubianiGE #analysis #architecture #modelling #nondeterminism #traceability
Exploiting Traceability Uncertainty Between Software Architectural Models and Performance Analysis Results (CT, AG, AE), pp. 305–321.
ECSAECSA-2015-WangC #architecture #network #social
A Specialised Social Network Software Architecture for Efficient Household Water Use Management (ZW, AC), pp. 146–153.
QoSAQoSA-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.
QoSAQoSA-2015-WuLG #architecture #modelling
Exploring Performance Models of Hadoop Applications on Cloud Architecture (XW, YL, IG), pp. 93–101.
DocEngDocEng-2015-MeiKYRIMM #word
Efficient Computation of Co-occurrence Based Word Relatedness (JM, XK, ZY, ARC, AI, AM, EEM), pp. 43–46.
DRRDRR-2015-Fan0N #documentation #image
Separation of text and background regions for high performance document image compression (WF, JS, SN).
JCDLJCDL-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.
PODSPODS-2015-AcharyaDHLS #algorithm #approximate
Fast and Near-Optimal Algorithms for Approximating Distributions by Histograms (JA, ID, CH, JZL, LS), pp. 249–263.
PODSPODS-2015-BarceloPS #approximate #evaluation
Efficient Evaluation and Approximation of Well-designed Pattern Trees (PB, RP, SS), pp. 131–144.
SIGMODSIGMOD-2015-0001MK #concurrent #database #in memory #multi
Fast Serializable Multi-Version Concurrency Control for Main-Memory Database Systems (TN, TM, AK), pp. 677–689.
SIGMODSIGMOD-2015-Anagnostopoulos #crowdsourcing
The Importance of Being Expert: Efficient Max-Finding in Crowdsourcing (AA, LB, AF, IM, MR), pp. 983–998.
SIGMODSIGMOD-2015-BerlowitzCK
Efficient Enumeration of Maximal k-Plexes (DB, SC, BK), pp. 431–444.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2015-ChevalierSGL #incremental #named
Slider: An Efficient Incremental Reasoner (JC, JS, CG, FL), pp. 1081–1086.
SIGMODSIGMOD-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.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2015-GuoCC #algorithm #keyword #query
Efficient Algorithms for Answering the m-Closest Keywords Query (TG, XC, GC), pp. 405–418.
SIGMODSIGMOD-2015-LiHDL #multi #similarity
Efficient Similarity Join and Search on Multi-Attribute Data (GL, JH, DD, JL), pp. 1137–1151.
SIGMODSIGMOD-2015-OktayMKK #hybrid #named #pipes and filters
SEMROD: Secure and Efficient MapReduce Over HybriD Clouds (KYO, SM, VK, MK), pp. 153–166.
SIGMODSIGMOD-2015-PaparrizosG #clustering #named
k-Shape: Efficient and Accurate Clustering of Time Series (JP, LG), pp. 1855–1870.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2015-SunFSKHX #graph #named
SQLGraph: An Efficient Relational-Based Property Graph Store (WS, AF, KS, AK, GH, GTX), pp. 1887–1901.
SIGMODSIGMOD-2015-TeflioudiGM #matrix #named #retrieval #scalability
LEMP: Fast Retrieval of Large Entries in a Matrix Product (CT, RG, OM), pp. 107–122.
SIGMODSIGMOD-2015-WangLYXZ #approach #network
Efficient Route Planning on Public Transportation Networks: A Labelling Approach (SW, WL, YY, XX, SZ), pp. 967–982.
SIGMODSIGMOD-2015-YangWWW #approximate #query #string
Local Filtering: Improving the Performance of Approximate Queries on String Collections (XY, YW, BW, WW), pp. 377–392.
SIGMODSIGMOD-2015-YuSC #dependence #distributed #matrix
Exploiting Matrix Dependency for Efficient Distributed Matrix Computation (LY, YS, BC), pp. 93–105.
SIGMODSIGMOD-2015-ZhangYQS
Divide & Conquer: I/O Efficient Depth-First Search (ZZ, JXY, LQ, ZS), pp. 445–458.
VLDBVLDB-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.
VLDBVLDB-2015-BursztynGM #query #rdf
Reformulation-based query answering in RDF: alternatives and performance (DB, FG, IM), pp. 1888–1899.
VLDBVLDB-2015-ChangLZYZQ
Optimal Enumeration: Efficient Top-k Tree Matching (LC, XL, WZ, JXY, YZ, LQ), pp. 533–544.
VLDBVLDB-2015-ChoBBFKP #algorithm #named #parallel
PARADIS: An Efficient Parallel Algorithm for In-place Radix Sort (MC, DB, RB, UF, VK, RP), pp. 1518–1529.
VLDBVLDB-2015-DingWDFZZ #clustering #named #scalability
YADING: Fast Clustering of Large-Scale Time Series Data (RD, QW, YD, QF, HZ, DZ), pp. 473–484.
VLDBVLDB-2015-KatsarouNT #query #scalability
Performance and Scalability of Indexed Subgraph Query Processing Methods (FK, NN, PT), pp. 1566–1577.
VLDBVLDB-2015-KhayyatLSOPQ0K #difference
Lightning Fast and Space Efficient Inequality Joins (ZK, WL, MS, MO, PP, JAQR, NT, PK), pp. 2074–2085.
VLDBVLDB-2015-LeisKK0 #query #sql
Efficient Processing of Window Functions in Analytical SQL Queries (VL, KK, AK, TN), pp. 1058–1069.
VLDBVLDB-2015-Liroz-GistauAV #execution #named #parallel
FP-Hadoop: Efficient Execution of Parallel Jobs Over Skewed Data (MLG, RA, PV), pp. 1856–1867.
VLDBVLDB-2015-LoghinTZOT #big data
A Performance Study of Big Data on Small Nodes (DL, BMT, HZ, BCO, YMT), pp. 762–773.
VLDBVLDB-2015-MitliagkasBDC #approximate #exclamation #graph #rank
FrogWild! — Fast PageRank Approximations on Graph Engines (IM, MB, AGD, CC), pp. 874–885.
VLDBVLDB-2015-NaidanBN #permutation
Permutation Search Methods are Efficient, Yet Faster Search is Possible (BN, LB, EN), pp. 1618–1629.
VLDBVLDB-2015-NaziZT0D #network #online #social
Walk, Not Wait: Faster Sampling Over Online Social Networks (AN, ZZ, ST, NZ, GD), pp. 678–689.
VLDBVLDB-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.
VLDBVLDB-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.
VLDBVLDB-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.
VLDBVLDB-2015-SundaramSPDAV0D #effectiveness #graph #named
GraphMat: High performance graph analytics made productive (NS, NS, MMAP, SD, MJA, SGV, DD, PD), pp. 1214–1225.
VLDBVLDB-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.
VLDBVLDB-2015-WuHYY #evaluation #query #visualisation
Efficient Evaluation of Object-Centric Exploration Queries for Visualization (YW, BH, JY, CY), pp. 1752–1763.
VLDBVLDB-2015-YuM #network #scalability
Efficient Partial-Pairs SimRank Search for Large Networks (WY, JAM), pp. 569–580.
VLDBVLDB-2015-Zhou0D #network #online #social
Leveraging History for Faster Sampling of Online Social Networks (ZZ, NZ, GD), pp. 1034–1045.
VLDBVLDB-2015-ZhouLLZ #graph #named #optimisation
GraphTwist: Fast Iterative Graph Computation with Two-tier Optimizations (YZ, LL, KL, QZ), pp. 1262–1273.
EDMEDM-2015-BotelhoAWH #predict #student #using
Predicting Student Aptitude Using Performance History (AFB, SAA, HW, NTH), pp. 622–623.
EDMEDM-2015-BrownLEABBBM #community #question
Good Communities and Bad Communities: Does Membership Affect Performance? (RB, CL, ME, JA, TB, RSB, YB, DSM), pp. 612–613.
EDMEDM-2015-Bydzovska #predict #towards
Towards Freshmen Performance Prediction (HB), pp. 602–603.
EDMEDM-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.
EDMEDM-2015-Feild #student #using
Improving Student Performance Using Nudge Analytics (JLF), pp. 464–467.
EDMEDM-2015-Garcia-SaizZ #consistency #detection
Detection of Learners with a Performance Inconsistent with Their Effort (DGS, MEZ), pp. 606–607.
EDMEDM-2015-JiangPBC #student
Comparing Novice and Experienced Students in Virtual Performance Assessments (YJ, LP, RSB, JCM), pp. 136–143.
EDMEDM-2015-KlinglerKSG #modelling #on the
On the Performance Characteristics of Latent-Factor and Knowledge Tracing Models (SK, TK, BS, MHG), pp. 37–44.
EDMEDM-2015-LuoK0 #classification #predict #student
Discrimination-Aware Classifiers for Student Performance Prediction (LL, IK, WL0), pp. 384–387.
EDMEDM-2015-OlsenAR #collaboration #learning #predict #student
Predicting Student Performance In a Collaborative Learning Environment (JKO, VA, NR), pp. 211–217.
EDMEDM-2015-OstrowDH #algorithm #optimisation #predict #student
Optimizing Partial Credit Algorithms to Predict Student Performance (KO, CD, NTH), pp. 404–407.
EDMEDM-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.
EDMEDM-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.
EDMEDM-2015-WanB
Considering the Influence of Prerequisite Performance on Wheel Spinning (HW, JB), pp. 129–135.
EDMEDM-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.
ITiCSEITiCSE-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.
ITiCSEITiCSE-2015-CaetanoO
Computational Thinking and Child Performance in a Preschool (GC, OO), pp. 57–62.
ITiCSEITiCSE-2015-ClearCKLSC #education #quality
Global Perspectives on Assessing Educational Performance and Quality (AC, JC, AK, CL, S, ECV), pp. 326–327.
SIGITESIGITE-2015-StrongGS #network
Work in Progress: Improving the Performance of the Radial Basis Function Network (AS, TG, LS), p. 103.
ICSMEICSME-2015-EkelundE #evaluation #industrial #testing
Efficient regression testing based on test history: An industrial evaluation (EDE, EE), pp. 449–457.
ICSMEICSME-2015-VasquezVLP #android #detection #developer #how
How developers detect and fix performance bottlenecks in Android apps (MLV, CV, QL, DP), pp. 352–361.
MSRMSR-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.
SANERSANER-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.
SANERSANER-2015-BezemerPG #comprehension #difference #graph #using
Understanding software performance regressions using differential flame graphs (CPB, JP, BG), pp. 535–539.
SCAMSCAM-2015-PintoKT #analysis #automation #multi
Automating the performance deviation analysis for multiple system releases: An evolutionary study (FP, UK, CT), pp. 201–210.
ICALPICALP-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.
ICALPICALP-v1-2015-GrosseGKSS #algorithm
Fast Algorithms for Diameter-Optimally Augmenting Paths (UG, JG, CK, MHMS, FS), pp. 678–688.
LATALATA-2015-BjorklundDZ #algorithm #automaton
An Efficient Best-Trees Algorithm for Weighted Tree Automata over the Tropical Semiring (JB, FD, NZ), pp. 97–108.
RTARTA-2015-LepperW #towards
A Simple and Efficient Step Towards Type-Correct XSLT Transformations (ML, BTyW), pp. 350–364.
SEFMSEFM-2015-HusterBELRKR #testing
Efficient Testing of Different Loop Paths (SH, SB, HE, JL, JR, TK, WR), pp. 117–131.
ICFPICFP-2015-SmolkaEFG #compilation
A fast compiler for NetKAT (SS, SAE, NF, AG), pp. 328–341.
ICFPICFP-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.
ICFPICFP-2015-YangCAEKN #communication #normalisation
Efficient communication and collection with compact normal forms (EZY, GC, ÖSA, AEH, AK, RRN), pp. 362–374.
CHI-PLAYCHI-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.
CoGCIG-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.
CoGCIG-2015-KaoH #education #game studies #modelling #towards
Toward avatar models to enhance performance and engagement in educational games (DK, DFH), pp. 246–253.
CoGCIG-2015-OliveiraM #game studies #realtime #using
Creating efficient walls using potential fields in real-time strategy games (CFdO, CAGM), pp. 138–145.
CoGVS-Games-2015-WangC #approach #gamification
A Social-Centred Gamification Approach to Improve Household Water Use Efficiency (ZW, AC), pp. 1–4.
CHICHI-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.
CHICHI-2015-Avrahami
The Effect of Edge Targets on Touch Performance (DA), pp. 1837–1846.
CHICHI-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.
CHICHI-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.
CHICHI-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.
CHICHI-2015-GunaratneN #behaviour #user interface #using
Informing and Improving Retirement Saving Performance using Behavioral Economics Theory-driven User Interfaces (JG, ON), pp. 917–920.
CHICHI-2015-HarozKF #memory management #visualisation
ISOTYPE Visualization: Working Memory, Performance, and Engagement with Pictographs (SH, RK, SLF), pp. 1191–1200.
CHICHI-2015-HarteveldS #education #game studies
The Goal of Scoring: Exploring the Role of Game Performance in Educational Games (CH, SCS), pp. 2235–2244.
CHICHI-2015-LeeHL
Investigating the Information Transfer Efficiency of a 3x3 Watch-back Tactile Display (JL, JH, GL), pp. 1229–1232.
CHICHI-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.
CHICHI-2015-OppermannPBLP #smarttech
The Smartphone Project: An Augmented Dance Performance (LO, CP, CB, OL, FP), pp. 2569–2572.
CHICHI-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.
CHICHI-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.
CHICHI-2015-RobertR
Crowd Size, Diversity and Performance (LR, DMR), pp. 1379–1382.
CHICHI-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.
CHICHI-2015-TholanderN #experience #using
Snot, Sweat, Pain, Mud, and Snow: Performance and Experience in the Use of Sports Watches (JT, SN), pp. 2913–2922.
CHICHI-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.
CHICHI-2015-ZezschwitzLBH #named #smarttech
SwiPIN: Fast and Secure PIN-Entry on Smartphones (EvZ, ADL, BB, HH), pp. 1403–1406.
CSCWCSCW-2015-PinelleG
The Effects of View Portals on Performance and Awareness in Co-Located Tabletop Groupware (DP, CG), pp. 195–206.
HCIDHM-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.
HCIDHM-HM-2015-BoringJM #analysis #modelling #reliability
Human Performance Modeling for Dynamic Human Reliability Analysis (RLB, JCJ, DM), pp. 223–234.
HCIDHM-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.
HCIHCI-IT-2015-DibitontoM #automation
Improving User Performance in a Smart Surveillance Scenario through Different Levels of Automation (MD, CMM), pp. 706–716.
HCIHCI-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.
HCIHCI-IT-2015-WalkerSJ #interactive
Interactive Sonification Markup Language (ISML) for Efficient Motion-Sound Mappings (JWW, MTS, MJ), pp. 385–394.
HCIHCI-UC-2015-JeongJ #on the #personalisation
On Time: Efficient and Personalized Hospital Service (SYJ, DYJ), pp. 190–197.
HCILCT-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.
HCILCT-2015-FatahiMZ
A Computational Model to Determine Desirability of Events Based on Personality for Performance Motivational Orientation Learners (SF, HM, ANZ), pp. 227–237.
HCILCT-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.
HCISCSM-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.
CAiSECAiSE-2015-WeilerGS #detection #runtime #twitter
Run-Time and Task-Based Performance of Event Detection Techniques for Twitter (AW, MG, MHS), pp. 35–49.
ICEISICEIS-v1-2015-AbakumovK
Approaches to Enhancing Efficiency of Production Management on Shop Floor Level (EMA, SBK), pp. 559–564.
ICEISICEIS-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.
ICEISICEIS-v1-2015-GruppiMAFL #heuristic
An Efficient and Topologically Correct Map Generalization Heuristic (MGG, SVGM, MVAA, WRF, WL), pp. 516–525.
ICEISICEIS-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.
ICEISICEIS-v2-2015-DutraPC #development #question #what
What Are the Main Characteristics of High Performance Teams for Software Development? (ACSD, RP, TC), pp. 145–152.
ICEISICEIS-v2-2015-KamalKVB #delivery #using
Efficient Use of Voice as a Channel for Delivering Public Services (KKK, MK, BV, KB), pp. 626–631.
ICEISICEIS-v2-2015-Martin-Fernandez #alias #encryption #using
Efficient Management of Revoked Pseudonyms in VANETs using ID-Based Cryptography (FMF, PCG, CCG), pp. 701–708.
ICEISICEIS-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.
ICEISICEIS-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.
CIKMCIKM-2015-AnastasiuK #graph #named #nearest neighbour
L2Knng: Fast Exact K-Nearest Neighbor Graph Construction with L2-Norm Pruning (DCA, GK), pp. 791–800.
CIKMCIKM-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.
CIKMCIKM-2015-BidoitHT #polynomial
Efficient Computation of Polynomial Explanations of Why-Not Questions (NB, MH, AT), pp. 713–722.
CIKMCIKM-2015-BjorklundMT #evaluation #incremental #regular expression
Efficient Incremental Evaluation of Succinct Regular Expressions (HB, WM, TT), pp. 1541–1550.
CIKMCIKM-2015-DavtyanEH #crowdsourcing #documentation
Exploiting Document Content for Efficient Aggregation of Crowdsourcing Votes (MD, CE, TH), pp. 783–790.
CIKMCIKM-2015-GuoSA #correlation #distributed #streaming
Fast Distributed Correlation Discovery Over Streaming Time-Series Data (TG0, SS, KA), pp. 1161–1170.
CIKMCIKM-2015-HashemBAKT #product line
Efficient Computation of Trips with Friends and Families (TH, SB, MEA, LK, ET), pp. 931–940.
CIKMCIKM-2015-HuangLY #approach #clustering #data type #parallel
A Parallel GPU-Based Approach to Clustering Very Fast Data Streams (PH, XL, BY0), pp. 23–32.
CIKMCIKM-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.
CIKMCIKM-2015-ParkHL #nearest neighbour #using
A Fast k-Nearest Neighbor Search Using Query-Specific Signature Selection (YP, HH, SgL), pp. 1883–1886.
CIKMCIKM-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.
CIKMCIKM-2015-WangG #metric #multi #tuple
Partially Labeled Data Tuple Can Optimize Multivariate Performance Measures (JJYW, XG0), pp. 1915–1918.
CIKMCIKM-2015-WilkieA #bias #query
Query Length, Retrievability Bias and Performance (CW, LA), pp. 1787–1790.
ECIRECIR-2015-EdwardsKA #design #interface #query
The Impact of Query Interface Design on Stress, Workload and Performance (AE, DK, LA), pp. 691–702.
ICMLICML-2015-BachHBG #learning
Paired-Dual Learning for Fast Training of Latent Variable Hinge-Loss MRFs (SHB, BH, JLBG, LG), pp. 381–390.
ICMLICML-2015-FlaxmanWNNS #process
Fast Kronecker Inference in Gaussian Processes with non-Gaussian Likelihoods (SF, AGW, DN, HN, AJS), pp. 607–616.
ICMLICML-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.
ICMLICML-2015-GarberH #set
Faster Rates for the Frank-Wolfe Method over Strongly-Convex Sets (DG, EH), pp. 541–549.
ICMLICML-2015-GouwsBC #distributed #named #word
BilBOWA: Fast Bilingual Distributed Representations without Word Alignments (SG, YB, GC), pp. 748–756.
ICMLICML-2015-IzbickiS
Faster cover trees (MI, CRS), pp. 1162–1170.
ICMLICML-2015-JerniteRS #approach #learning #markov #modelling #random
A Fast Variational Approach for Learning Markov Random Field Language Models (YJ, AMR, DS), pp. 2209–2217.
ICMLICML-2015-KuklianskyS #linear
Attribute Efficient Linear Regression with Distribution-Dependent Sampling (DK, OS), pp. 153–161.
ICMLICML-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.
ICMLICML-2015-NarasimhanK0 #metric #optimisation
Optimizing Non-decomposable Performance Measures: A Tale of Two Classes (HN, PK, PJ), pp. 199–208.
ICMLICML-2015-NarasimhanRS0 #algorithm #consistency #metric #multi
Consistent Multiclass Algorithms for Complex Performance Measures (HN, HGR, AS, SA), pp. 2398–2407.
ICMLICML-2015-NutiniSLFK #coordination #random
Coordinate Descent Converges Faster with the Gauss-Southwell Rule Than Random Selection (JN, MWS, IHL, MPF, HAK), pp. 1632–1641.
ICMLICML-2015-TristanTS #estimation #gpu
Efficient Training of LDA on a GPU by Mean-for-Mode Estimation (JBT, JT, GLSJ), pp. 59–68.
ICMLICML-2015-WenKA #combinator #learning #scalability
Efficient Learning in Large-Scale Combinatorial Semi-Bandits (ZW, BK, AA), pp. 1113–1122.
ICMLICML-2015-YiCP #algorithm
Binary Embedding: Fundamental Limits and Fast Algorithm (XY, CC, EP), pp. 2162–2170.
ICMLICML-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.
KDDKDD-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.
KDDKDD-2015-CaiTFJH #higher-order #mining #named
Facets: Fast Comprehensive Mining of Coevolving High-order Time Series (YC, HT, WF, PJ, QH), pp. 79–88.
KDDKDD-2015-ChierichettiEKL #algorithm #network #social
Efficient Algorithms for Public-Private Social Networks (FC, AE, RK, SL, VSM), pp. 139–148.
KDDKDD-2015-FujiwaraNSIT #adaptation
Adaptive Message Update for Fast Affinity Propagation (YF, MN, HS, YI, MT), pp. 309–318.
KDDKDD-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.
KDDKDD-2015-OhHYJ #matrix #parallel #robust
Fast and Robust Parallel SGD Matrix Factorization (JO, WSH, HY, XJ), pp. 865–874.
KDDKDD-2015-OhsakaMK #evolution #network #rank
Efficient PageRank Tracking in Evolving Networks (NO, TM, KiK), pp. 875–884.
KDDKDD-2015-SongMT #network #recommendation
Efficient Latent Link Recommendation in Signed Networks (DS, DAM, DT), pp. 1105–1114.
KDDKDD-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.
KDDKDD-2015-XieBDG #personalisation #rank
Edge-Weighted Personalized PageRank: Breaking A Decade-Old Performance Barrier (WX, DB, AJD, JG), pp. 1325–1334.
KDDKDD-2015-YanRHC #distributed #learning #modelling #optimisation #scalability
Performance Modeling and Scalability Optimization of Distributed Deep Learning Systems (FY, OR, YH, TMC), pp. 1355–1364.
KDDKDD-2015-Yi0YLW #algorithm #clustering #constraints
An Efficient Semi-Supervised Clustering Algorithm with Sequential Constraints (JY, LZ, TY, WL, JW), pp. 1405–1414.
KDDKDD-2015-ZhangTMTJL #named #network #scalability #similarity
Panther: Fast Top-k Similarity Search on Large Networks (JZ, JT, CM, HT, YJ, JL), pp. 1445–1454.
KDDKDD-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.
KDDKDD-2015-ZhaoJCJ #estimation #parametricity #quality
SAME but Different: Fast and High Quality Gibbs Parameter Estimation (HZ, BJ, JFC, BJ), pp. 1495–1502.
MLDMMLDM-2015-Al-SaleemAAB #education #mining #predict #student
Mining Educational Data to Predict Students’ Academic Performance (MAS, NAK, SAO, GB), pp. 403–414.
MLDMMLDM-2015-MoldovanM #data mining #learning #mining #using
Learning the Relationship Between Corporate Governance and Company Performance Using Data Mining (DM, SM), pp. 368–381.
MLDMMLDM-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.
MLDMMLDM-2015-ZidaFWLT #mining
Efficient Mining of High-Utility Sequential Rules (SZ, PFV, CWW, JCWL, VST), pp. 157–171.
RecSysRecSys-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.
RecSysRecSys-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.
RecSysRecSys-2015-LiuWS #matrix
Fast Differentially Private Matrix Factorization (ZL, YXW, AJS), pp. 171–178.
RecSysRecSys-2015-MaksaiGF #evaluation #metric #online #predict #recommendation
Predicting Online Performance of News Recommender Systems Through Richer Evaluation Metrics (AM, FG, BF), pp. 179–186.
SEKESEKE-2015-GoswamiWS #learning #using
Using Learning Styles of Software Professionals to Improve their Inspection Team Performance (AG, GSW, AS), pp. 680–685.
SEKESEKE-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.
SEKESEKE-2015-ManiPW #co-evolution #modelling #using
Exploring SOA Pattern Performance using Coupled Transformations and Performance Models (NM, DCP, CMW), pp. 552–557.
SEKESEKE-2015-PeiYF #data access #in the cloud #policy
Achieving Efficient Access Control via XACML Policy in Cloud Computing (XP, HY, GF), pp. 110–115.
SIGIRSIGIR-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.
SIGIRSIGIR-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.
SIGIRSIGIR-2015-MalherbeCB #categorisation #order
Bringing Order to the Job Market: Efficient Job Offer Categorization in E-Recruitment (EM, MC, AB), pp. 1101–1104.
MoDELSMoDELS-2015-KetataMFLC #migration #modelling #predict
Performance prediction upon toolchain migration in model-based software (AK, CM, SF, JHL, KC), pp. 302–311.
MoDELSMoDELS-2015-Moawad0FNKT #modelling
Beyond discrete modeling: A continuous and efficient model for IoT (AM, TH, FF, GN, JK, YLT), pp. 90–99.
SPLCSPLC-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.
SPLCSPLC-2015-ValovGC #comparison #empirical #predict #variability
Empirical comparison of regression methods for variability-aware performance prediction (PV, JG, KC), pp. 186–190.
ECOOPECOOP-2015-FangDX #detection #named #problem
PerfBlower: Quickly Detecting Memory-Related Performance Problems via Amplification (LF, LD, G(X), pp. 296–320.
OnwardOnward-2015-GreweEWM #proving #type system
Type systems for the masses: deriving soundness proofs and efficient checkers (SG, SE, PW, MM), pp. 137–150.
OnwardOnward-2015-MattisHRHA
Columnar objects: improving the performance of analytical applications (TM, JH, PR, RH, MA), pp. 197–210.
OOPSLAOOPSLA-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.
OOPSLAOOPSLA-2015-BiswasZBL #exception #named
Valor: efficient, software-only region conflict exceptions (SB, MZ, MDB, BL), pp. 241–259.
OOPSLAOOPSLA-2015-SteindorferV #agile #optimisation #virtual machine
Optimizing hash-array mapped tries for fast and lean immutable JVM collections (MJS, JJV), pp. 783–800.
OOPSLAOOPSLA-2015-ToffolaPG #dynamic analysis #problem
Performance problems you can fix: a dynamic analysis of memoization opportunities (LDT, MP, TRG), pp. 607–622.
PLATEAUPLATEAU-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.
AdaEuropeAdaEurope-2015-NelissenPP #architecture #monitoring #novel #runtime
A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring (GN, DP, LMP), pp. 66–82.
PADLPADL-2015-ShterionovJ #implementation #pipes and filters #probability
Implementation and Performance of Probabilistic Inference Pipelines (DSS, GJ), pp. 90–104.
PLDIPLDI-2015-MarrSD #metaprogramming #protocol
Zero-overhead metaprogramming: reflection and metaobject protocols fast and without compromises (SM, CS, SD), pp. 545–554.
PLDIPLDI-2015-McClurgHCF #network #synthesis
Efficient synthesis of network updates (JM, HH, PC, NF), pp. 196–207.
PLDIPLDI-2015-NoriORV #probability #source code #synthesis
Efficient synthesis of probabilistic programs (AVN, SO, SKR, DV), pp. 208–217.
PLDIPLDI-2015-OlivoDL #debugging #detection #static analysis #traversal
Static detection of asymptotic performance bugs in collection traversals (OO, ID, CL), pp. 369–378.
PLDIPLDI-2015-RenJKAK #execution #hardware #recursion #source code
Efficient execution of recursive programs on commodity vector hardware (BR, YJ, SK, KA, MK), pp. 509–520.
PLDIPLDI-2015-SinghPV #program analysis
Making numerical program analysis fast (GS, MP, MTV), pp. 303–313.
POPLPOPL-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.
POPLPOPL-2015-RastogiSFBV #type system #typescript
Safe & Efficient Gradual Typing for TypeScript (AR, NS, CF, GMB, PV), pp. 167–180.
QAPLQAPL-2015-BortolussiH #markov #modelling
Efficient Checking of Individual Rewards Properties in Markov Population Models (LB, JH), pp. 32–47.
REFSQREFSQ-2015-LiHT #case study #formal method #requirements #towards
Towards More Efficient Requirements Formalization: A Study (WL, JHH, MT), pp. 181–197.
ASEASE-2015-BocicB #logic #verification
Efficient Data Model Verification with Many-Sorted Logic (T) (IB, TB), pp. 42–52.
ASEASE-2015-DeligiannisDR #analysis #concurrent #debugging #precise
Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers (T) (PD, AFD, ZR), pp. 166–177.
ASEASE-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.
ASEASE-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.
ASEASE-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.
ASEASE-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.
ASEASE-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-FSEESEC-FSE-2015-BellKMD #dependence #detection #java
Efficient dependency detection for safe Java test acceleration (JB, GEK, EM, MD), pp. 770–781.
ESEC-FSEESEC-FSE-2015-KimNYCK #api #fault #named #predict #testing
REMI: defect prediction for efficient API testing (MK, JN, JY, SC, SK), pp. 990–993.
ESEC-FSEESEC-FSE-2015-WestNM #concurrent #object-oriented
Efficient and reasonable object-oriented concurrency (SW, SN, BM), pp. 734–744.
ESEC-FSEESEC-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.
ICSEICSE-v1-2015-BaresiKR #ltl #scalability #specification #verification
Efficient Scalable Verification of LTL Specifications (LB, MMPK, MR), pp. 711–721.
ICSEICSE-v1-2015-BocicB #verification
Coexecutability for Efficient Verification of Data Model Updates (IB, TB), pp. 744–754.
ICSEICSE-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.
ICSEICSE-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.
ICSEICSE-v1-2015-NistorCRL #detection #named #problem
CARAMEL: Detecting and Fixing Performance Problems That Have Non-Intrusive Fixes (AN, PCC, CR, SL), pp. 902–912.
ICSEICSE-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.
ICSEICSE-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.
ICSEICSE-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.
ICSEICSE-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.
ICSEICSE-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.
ICSEICSE-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.
ICSEICSE-v2-2015-ProcacciantiLVF #energy
The Green Lab: Experimentation in Software Energy Efficiency (GP, PL, AV, DMF, RW), pp. 941–942.
ICSEICSE-v2-2015-Rastogi
Contributor’s Performance, Participation Intentions, Its Influencers and Project Performance (AR), pp. 919–922.
ICSEICSE-v2-2015-Roos #code completion #precise #statistics
Fast and Precise Statistical Code Completion (PR), pp. 757–759.
ICSEICSE-v2-2015-VetroOF0 #empirical #feedback #re-engineering #research
Fast Feedback Cycles in Empirical Software Engineering Research (AV, SO, DMF, SW), pp. 583–586.
SACSAC-2015-BoitoKND #profiling #towards
Towards fast profiling of storage devices regarding access sequentiality (FZB, RK, POAN, YD), pp. 2015–2020.
SACSAC-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.
SACSAC-2015-BritoE #branch #named #query
BranchGuide: an indexing technique for efficient, lossless processing of branching path queries (TBV, GEdS), pp. 1086–1092.
SACSAC-2015-DecatBLJ #as a service #data access #middleware #multitenancy #named
Amusa: middleware for efficient access control management of multi-tenant SaaS applications (MD, JB, BL, WJ), pp. 2141–2148.
SACSAC-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.
SACSAC-2015-ErnstKR #evaluation #network
Performance evaluation of heterogeneous wireless networks considering competing objectives and viewpoints (JBE, SCK, JJPCR), pp. 680–687.
SACSAC-2015-Fournier-VigerZ #mining #named
FOSHU: faster on-shelf high utility itemset mining — with or without negative unit profit (PFV, SZ), pp. 857–864.
SACSAC-2015-HendersonGE #clustering #empirical #named #parametricity #probability
EP-MEANS: an efficient nonparametric clustering of empirical probability distributions (KH, BG, TER), pp. 893–900.
SACSAC-2015-HsiehNKC #approximate #query #recommendation
Efficient approximate thompson sampling for search query recommendation (CCH, JN, TK, JC), pp. 740–746.
SACSAC-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.
SACSAC-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.
SACSAC-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.
SACSAC-2015-JuniorDOFB #web
Handling flash-crowd events to improve the performance of web applications (UdPJ, LMdAD, DdO, YF, VCB), pp. 769–774.
SACSAC-2015-KapoorDC #capacity #energy #reduction
Static energy reduction by performance linked cache capacity management in tiled CMPs (HKK, SD, SC), pp. 1913–1918.
SACSAC-2015-LeeRH #file system #memory management
Performance implications of cache flushes for non-volatile memory file systems (KL, SR, HH), pp. 2069–2071.
SACSAC-2015-LopesT #framework
A framework for investigating the performance of sum aggregations over encrypted data warehouses (CCL, VCT), pp. 1000–1007.
SACSAC-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.
SACSAC-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.
SACSAC-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.
SACSAC-2015-OliveiraLV #framework #security #web #web service
Characterizing the performance of web service frameworks under security attacks (RAO, NL, MV), pp. 1711–1718.
SACSAC-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.
SACSAC-2015-ReddySC #approach #aspect-oriented #incremental #learning #weaving
Incremental aspect weaving: an approach for faster AOP learning (YRR, AS, MC), pp. 1480–1485.
SACSAC-2015-Rekha #big data #detection #using
A fast support vector data description system for anomaly detection using big data (AGR), pp. 931–932.
SACSAC-2015-RiediBP #algorithm #scalability
Channel and power allocation algorithm to optimize the performance of large WLANs (MR, GGB, MEP), pp. 673–679.
SACSAC-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.
SACSAC-2015-SidneyMRH #predict #set #similarity
Performance prediction for set similarity joins (CFS, DSM, LAR, TH), pp. 967–972.
SACSAC-2015-TodaT #satisfiability
BDD construction for all solutions SAT and efficient caching mechanism (TT, KT), pp. 1880–1886.
SACSAC-2015-YangCHCLK
Reliability-aware striping with minimized performance overheads for flash-based storage devices (MCY, YMC, PCH, YHC, LJL, TWK), pp. 1906–1912.
SLESLE-2015-BousseCCGB #debugging
Supporting efficient and advanced omniscient debugging for xDSMLs (EB, JC, BC, JGG, BB), pp. 137–148.
ASPLOSASPLOS-2015-DuanHT #memory management #optimisation #symmetry
Asymmetric Memory Fences: Optimizing Both Performance and Implementability (YD, NH, JT), pp. 531–543.
ASPLOSASPLOS-2015-HosekC #execution #framework
VARAN the Unbelievable: An Efficient N-version Execution Framework (PH, CC), pp. 339–353.
ASPLOSASPLOS-2015-MalkaABT #named
rIOMMU: Efficient IOMMU for I/O Devices that Employ Ring Buffers (MM, NA, MBY, DT), pp. 355–368.
ASPLOSASPLOS-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.
ASPLOSASPLOS-2015-SungA #named
DeNovoSync: Efficient Support for Arbitrary Synchronization without Writer-Initiated Invalidations (HS, SVA), pp. 545–559.
CASECASE-2015-AndersenDBH #architecture #flexibility #reuse
An architecture for efficient reuse in flexible production scenarios (RHA, LD, ABB, JH), pp. 151–157.
CASECASE-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.
CASECASE-2015-HandokoL #delivery #order #privacy
Efficient order sharing with privacy preservation via double auction with split delivery (SDH, HCL), pp. 69–74.
CASECASE-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.
CASECASE-2015-HuangHCC #synthesis
Efficient grasp synthesis and control strategy for robot hand-arm system (MBH, HPH, CCC, CAC), pp. 1256–1257.
CASECASE-2015-JiaZAX #analysis
Performance analysis of Bernoulli serial production lines with switch-on/off machine control (ZJ, LZ, JA, GX), pp. 477–482.
CASECASE-2015-LiuC #algorithm #evaluation #quality #using
A fast algorithm for grasp quality evaluation using the object wrench space (SL, SC), pp. 558–563.
CASECASE-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.
CASECASE-2015-PellicciariBBG #energy
Increasing position accuracy and energy efficiency of servo-actuated mechanisms (MP, GB, FB, MG), pp. 1339–1344.
CASECASE-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.
CASECASE-2015-WangTG #automation
Automated performance tracking for heat exchangers in HVAC (PW, XT, RG), pp. 949–954.
CASECASE-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.
CASECASE-2015-ZhangWZZ #automaton #learning #optimisation
Incorporation of ordinal optimization into learning automata for high learning efficiency (JZ, CW, DZ, MZ), pp. 1206–1211.
CASECASE-2015-ZhaoLH #estimation #flexibility #problem
Plant flexibility planning: Problem formulation and performance estimation (CZ, JL, NH), pp. 659–664.
CCCC-2015-AfroozehI #gll #parsing
Faster, Practical GLL Parsing (AA, AI), pp. 89–108.
CCCC-2015-DemangePS #coq #optimisation #verification
Verifying Fast and Sparse SSA-Based Optimizations in Coq (DD, DP, LS), pp. 233–252.
CGOCGO-2015-RohouSS #branch #predict #trust
Branch prediction and the performance of interpreters: don’t trust folklore (ER, BNS, AS), pp. 103–114.
CGOCGO-2015-StepanovS #c++ #detection #memory management #named
MemorySanitizer: fast detector of uninitialized memory use in C++ (ES, KS), pp. 46–55.
CGOCGO-2015-ZhangGCCH #named
HERMES: a fast cross-ISA binary translator with post-optimization (XZ, QG, YC, TC, WH), pp. 246–256.
CGOCGO-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.
DACDAC-2015-Bowen #quality
Walking a thin line: performance and quality grading vs. yield overcut (CB), p. 2.
DACDAC-2015-ChangCKLL #memory management
Achieving SLC performance with MLC flash memory (YMC, YHC, TWK, YCL, HPL), p. 6.
DACDAC-2015-ChenMRC #execution #paradigm
Opportunistic turbo execution in NTC: exploiting the paradigm shift in performance bottlenecks (HC, DM, SR, KC), p. 6.
DACDAC-2015-DingCZ #algorithm #invariant
An efficient shift invariant rasterization algorithm for all-angle mask patterns in ILT (YD, CCNC, XZ), p. 6.
DACDAC-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.
DACDAC-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.
DACDAC-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.
DACDAC-2015-IsmailLS #worst-case
Improving worst-case cache performance through selective bypassing and register-indexed cache (MI, DL, GES), p. 6.
DACDAC-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.
DACDAC-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.
DACDAC-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.
DACDAC-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.
DACDAC-2015-LeeNL #optimisation
Optimizing stream program performance on CGRA-based systems (HL, DN, JL), p. 6.
DACDAC-2015-LiBTO #communication #energy
Complementary communication path for energy efficient on-chip optical interconnects (HL, SLB, YT, IO), p. 6.
DACDAC-2015-LinYP #constraints
High performance dummy fill insertion with coupling and uniformity constraints (YL, BY, DZP), p. 6.
DACDAC-2015-LiuZ #configuration management
A reconfigurable analog substrate for highly efficient maximum flow computation (GL, ZZ), p. 6.
DACDAC-2015-LiZHLHX #automation #compilation #stack
Compiler directed automatic stack trimming for efficient non-volatile processors (QL, MZ, JH, YL, YH, CJX), p. 6.
DACDAC-2015-LukasiewyczSS #design #embedded #platform
Efficient design space exploration of embedded platforms (ML, FS, SS), p. 6.
DACDAC-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.
DACDAC-2015-MilutinovicQAC #estimation #named
PACO: fast average-performance estimation for time-randomized caches (SM, EQ, JA, FJC), p. 6.
DACDAC-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.
DACDAC-2015-RamprasathV #algorithm #optimisation #statistics
An efficient algorithm for statistical timing yield optimization (SR, VV), p. 6.
DACDAC-2015-RanjanVFRR #approximate #energy
Approximate storage for energy efficient spintronic memories (AR, SV, XF, KR, AR), p. 6.
DACDAC-2015-RoseM #analysis #design
Performance analysis of a memristive crossbar PUF design (GSR, CAM), p. 6.
DACDAC-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.
DACDAC-2015-RozicYDV #generative #random
Highly efficient entropy extraction for true random number generators on FPGAs (VR, BY, WD, IV), p. 6.
DACDAC-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.
DACDAC-2015-VasudevanR #algorithm
An efficient algorithm for frequency-weighted balanced truncation of VLSI interconnects in descriptor form (VV, MR), p. 6.
DACDAC-2015-VenkataramaniCR #approximate
Approximate computing and the quest for computing efficiency (SV, STC, KR, AR), p. 6.
DACDAC-2015-WangJZWY #energy
Selective restore: an energy efficient read disturbance mitigation scheme for future STT-MRAM (RW, LJ, YZ, LW, JY), p. 6.
DACDAC-2015-ZaheerWGL #markov #named #process
mTunes: efficient post-silicon tuning of mixed-signal/RF integrated circuits based on Markov decision process (MZ, FW, CG, XL), p. 6.
DACDAC-2015-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.
DATEDATE-2015-0001B #clustering #energy #manycore
A ultra-low-energy convolution engine for fast brain-inspired vision in multicore clusters (FC, LB), pp. 683–688.
DATEDATE-2015-AhmadyanGNCV #analysis #diagrams
Fast eye diagram analysis for high-speed CMOS circuits (SNA, CG, SN, EC, SV), pp. 1377–1382.
DATEDATE-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.
DATEDATE-2015-AwanoHS #named #probability
ECRIPSE: an efficient method for calculating RTN-induced failure probability of an SRAM cell (HA, MH, TS), pp. 549–554.
DATEDATE-2015-AzarkhishRLB #memory management
High performance AXI-4.0 based interconnect for extensible smart memory cubes (EA, DR, IL, LB), pp. 1317–1322.
DATEDATE-2015-ChenM #distributed #learning #manycore #optimisation
Distributed reinforcement learning for power limited many-core system performance optimization (ZC, DM), pp. 1521–1526.
DATEDATE-2015-ChenWY #parallel
A fast parallel sparse solver for SPICE-based circuit simulators (XC, YW, HY), pp. 205–210.
DATEDATE-2015-ClercqRVV #encryption #implementation
Efficient software implementation of ring-LWE encryption (RdC, SSR, FV, IV), pp. 339–344.
DATEDATE-2015-CourbonLFT #detection #hardware
A high efficiency hardware trojan detection technique based on fast SEM imaging (FC, PLM, JJAF, AT), pp. 788–793.
DATEDATE-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.
DATEDATE-2015-DoumaAP #estimation #execution #precise
Fast and precise cache performance estimation for out-of-order execution (RD, SA, ADP), pp. 1132–1137.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2015-FaravelonFP #branch #predict #simulation
Fast and accurate branch predictor simulation (AF, NF, FP), pp. 317–320.
DATEDATE-2015-GarciaMSN #multi
High performance single supply CMOS inverter level up shifter for multi: supply voltages domains (JCG, JAMN, JS, SN), pp. 1273–1276.
DATEDATE-2015-GerumBR #gpu #simulation
Source level performance simulation of GPU cores (CG, OB, WR), pp. 217–222.
DATEDATE-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.
DATEDATE-2015-KobbeBH #adaptation #modelling #on the fly
Adaptive on-the-fly application performance modeling for many cores (SK, LB, JH), pp. 730–735.
DATEDATE-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.
DATEDATE-2015-LeeJG #functional #hardware #simulation
Dynamic power and performance back-annotation for fast and accurate functional hardware simulation (DL, LKJ, AG), pp. 1126–1131.
DATEDATE-2015-LiaperdosSATAL #deployment #using
Fast deployment of alternate analog test using Bayesian model fusion (JL, HGDS, LA, YT, AA, XL), pp. 1030–1035.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2015-MirkhaniMCA #design #estimation #fault
Efficient soft error vulnerability estimation of complex designs (SM, SM, CYC, JA), pp. 103–108.
DATEDATE-2015-NguyenSCM #robust #set
Efficient attacks on robust ring oscillator PUF with enhanced challenge-response set (PHN, DPS, RSC, DM), pp. 641–646.
DATEDATE-2015-PaganiCSH #modelling #named
MatEx: efficient transient and peak temperature computation for compact thermal models (SP, JJC, MS, JH), pp. 1515–1520.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2015-ParkTNII #platform
Platform-aware dynamic configuration support for efficient text processing on heterogeneous system (MSP, OT, VN, MJI, RI), pp. 1503–1508.
DATEDATE-2015-PsarrasSND #named #network #scheduling
PhaseNoC: TDM scheduling at the virtual-channel level for efficient network traffic isolation (AP, IS, CN, GD), pp. 1090–1095.
DATEDATE-2015-RahaVRR #approximate #configuration management #energy #quality
Quality configurable reduce-and-rank for energy efficient approximate computing (AR, SV, VR, AR), pp. 665–670.
DATEDATE-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.
HPCAHPCA-2015-BeckmannS #named
Talus: A simple way to remove cliffs in cache performance (NB, DS), pp. 64–75.
HPCAHPCA-2015-JimenezBBOCV #manycore
Increasing multicore system efficiency through intelligent bandwidth shifting (VJ, AB, PB, FPO, FJC, MV), pp. 39–50.
HPCAHPCA-2015-KimE #reliability #trade-off
Balancing reliability, cost, and performance tradeoffs with FreeFault (DWK, ME), pp. 439–450.
HPCAHPCA-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.
HPCAHPCA-2015-OzsoyDGAP #detection #framework #online
Malware-aware processors: A framework for efficient online malware detection (MO, CD, IG, NBAG, DVP), pp. 651–661.
HPCAHPCA-2015-PalframanKL #energy #fault #named
iPatch: Intelligent fault patching to improve energy efficiency (DJP, NSK, MHL), pp. 428–438.
HPCAHPCA-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.
HPCAHPCA-2015-WuGLJC #estimation #machine learning #using
GPGPU performance and power estimation using machine learning (GYW, JLG, AL, NJ, DC), pp. 564–576.
HPDCHPDC-2015-KocoloskiL #memory management #multi #named
XEMEM: Efficient Shared Memory for Composed Applications on Multi-OS/R Exascale Systems (BK, JRL), pp. 89–100.
HPDCHPDC-2015-Malony #adaptation
Through the Looking-Glass: From Performance Observation to Dynamic Adaptation (ADM), p. 1.
HPDCHPDC-2015-OuyangKLP #kernel #lightweight
Achieving Performance Isolation with Lightweight Co-Kernels (JO, BK, JRL, KTP), pp. 149–160.
HPDCHPDC-2015-PatkiLSMRSS #resource management
Practical Resource Management in Power-Constrained, High Performance Computing (TP, DKL, AS, MM, BR, MS, BRdS), pp. 121–132.
HPDCHPDC-2015-SuWA #data analysis #generative
In-Situ Bitmaps Generation and Efficient Data Analysis based on Bitmaps (YS, YW, GA), pp. 61–72.
HPDCHPDC-2015-ZhouLLPZ #abstraction #graph #parallel
Fast Iterative Graph Computation with Resource Aware Graph Parallel Abstractions (YZ, LL, KL, CP, QZ), pp. 179–190.
ISMMISMM-2015-Kuszmaul #named #parallel #thread
SuperMalloc: a super fast multithreaded malloc for 64-bit machines (BCK), pp. 41–55.
ISMMISMM-2015-MirandaB #object-oriented #programming
A partial read barrier for efficient support of live object-oriented programming (EM, CB), pp. 93–104.
ISMMISMM-2015-StancuWBLF #hybrid #java #memory management
Safe and efficient hybrid memory management for Java (CS, CW, SB, PL, MF), pp. 81–92.
LCTESLCTES-2015-BardizbanyanSWL #data access #using
Improving Data Access Efficiency by Using Context-Aware Loads and Stores (AB, MS, DBW, PLE), p. 10.
LCTESLCTES-2015-GhoshPR #alias
Enabling Efficient Alias Speculation (SG, YP, AR), p. 10.
PDPPDP-2015-BravoSW #algorithm #architecture #implementation
Efficient Implementation of a Fast Viewshed Algorithm on SIMD Architectures (JCB, TS, JW), pp. 199–202.
PDPPDP-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.
PDPPDP-2015-CostaP
DVFS Governor for HPC: Higher, Faster, Greener (GDC, JMP), pp. 533–540.
PDPPDP-2015-CruzDPN #algorithm
An Efficient Algorithm for Communication-Based Task Mapping (EHMdC, MD, LLP, POAN), pp. 207–214.
PDPPDP-2015-DiavastosST #data flow #manycore #named
TFluxSCC: Exploiting Performance on Future Many-Core Systems through Data-Flow (AD, GS, PT), pp. 190–198.
PDPPDP-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.
PDPPDP-2015-GeorgakarakosTL #evaluation #parallel
Performance Evaluation of Parallel HEVC Strategies (GG, LT, JL, JH, UF), pp. 137–144.
PDPPDP-2015-GuerreiroIRT #energy #kernel #multi #optimisation
Multi-kernel Auto-Tuning on GPUs: Performance and Energy-Aware Optimization (JG, AI, NR, PT), pp. 438–445.
PDPPDP-2015-KonstantinidisC #bound #gpu #kernel #memory management
A Practical Performance Model for Compute and Memory Bound GPU Kernels (EK, YC), pp. 651–658.
PDPPDP-2015-Loucif
Concentration and Its Impact on Mesh and Torus-Based NoC Performance (SL), pp. 361–364.
PDPPDP-2015-LuWWCZ #identification #named
RaceChecker: Efficient Identification of Harmful Data Races (KL, ZW, XW, CC, XZ), pp. 78–85.
PDPPDP-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.
PDPPDP-2015-MukunokiIT #implementation #multi
Fast Implementation of General Matrix-Vector Multiplication (GEMV) on Kepler GPUs (DM, TI, DT), pp. 642–650.
PDPPDP-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.
PDPPDP-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.
PDPPDP-2015-ProkopecPO
Efficient Lock-Free Work-Stealing Iterators for Data-Parallel Collections (AP, DP, MO), pp. 248–252.
PDPPDP-2015-SelfaSRG #metric #multi
Methodologies and Performance Metrics to Evaluate Multiprogram Workloads (VS, JS, CGR, MEG), pp. 150–154.
PDPPDP-2015-SieglBB #hybrid
Revealing Potential Performance Improvements by Utilizing Hybrid Work-Sharing for Resource-Intensive Seismic Applications (PS, RB, MB), pp. 659–663.
PDPPDP-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.
PDPPDP-2015-SousaMP #algorithm #parallel
A Generic and Highly Efficient Parallel Variant of Boruvka’s Algorithm (CdSS, AM, AP), pp. 610–617.
PDPPDP-2015-UtreraGM #communication #multi
Evaluating the Performance Impact of Communication Imbalance in Sparse Matrix-Vector Multiplication (GU, MG, XM), pp. 321–328.
PDPPDP-2015-XavierORPMR #analysis
A Performance Isolation Analysis of Disk-Intensive Workloads on Container-Based Clouds (MGX, ICDO, FDR, RDDP, KJM, CAFDR), pp. 253–260.
PDPPDP-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.
PDPPDP-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.
PPoPPPPoPP-2015-AlSaberK #multi #semantics
SemCache++: semantics-aware caching for efficient multi-GPU offloading (NA, MK), pp. 255–256.
PPoPPPPoPP-2015-BaldassinBA #memory management #transaction
Performance implications of dynamic memory allocators on transactional memory systems (AB, EB, GA), pp. 87–96.
PPoPPPPoPP-2015-BensonB #framework #matrix #parallel
A framework for practical parallel fast matrix multiplication (ARB, GB), pp. 42–53.
PPoPPPPoPP-2015-ChabbiFM #multi
High performance locks for multi-level NUMA systems (MC, MWF, JMMC), pp. 215–226.
PPoPPPPoPP-2015-MuralidharanGCSH #programming
A collection-oriented programming model for performance portability (SM, MG, BCC, AS, MWH), pp. 263–264.
PPoPPPPoPP-2015-RamachandranM #concurrent #named #using
CASTLE: fast concurrent internal binary search tree using edge-based locking (AR, NM), pp. 281–282.
PPoPPPPoPP-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.
PPoPPPPoPP-2015-WestNM #concurrent #object-oriented
Efficient and reasonable object-oriented concurrency (SW, SN, BM), pp. 273–274.
SOSPSOSP-2015-DragojevicNNRSB #consistency #distributed #transaction
No compromises: distributed transactions with consistency, availability, and performance (AD, DN, EBN, MR, AS, AB, MC), pp. 54–70.
SOSPSOSP-2015-WeiSCCC #in memory #transaction #using
Fast in-memory transaction processing using RDMA and HTM (XW, JS, YC, RC, HC), pp. 87–104.
ESOPESOP-2015-AbdullaAP
The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO (PAA, MFA, NTP), pp. 308–332.
ESOPESOP-2015-SiekVCTG #type system
Monotonic References for Efficient Gradual Typing (JGS, MMV, MC, STH, RG), pp. 432–456.
FASEFASE-2015-StruberRCT #approach #model transformation #reuse #variability
A Variability-Based Approach to Reusable and Efficient Model Transformations (DS, JR, MC, GT), pp. 283–298.
STOCSTOC-2015-AmbainisFG #matrix #multi
Fast Matrix Multiplication: Limitations of the Coppersmith-Winograd Method (AA, YF, FLG), pp. 585–593.
STOCSTOC-2015-BassilyS #protocol
Local, Private, Efficient Protocols for Succinct Histograms (RB, ADS), pp. 127–135.
STOCSTOC-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.
STOCSTOC-2015-SunW #canonical
Faster Canonical Forms for Primitive Coherent Configurations: Extended Abstract (XS, JW), pp. 693–702.
STOCSTOC-2015-ZhuO #convergence
Nearly-Linear Time Positive LP Solver with Faster Convergence Rate (ZAZ, LO), pp. 229–236.
CAVCAV-2015-BozzanoCGM #analysis #modelling #safety
Efficient Anytime Techniques for Model-Based Safety Analysis (MB, AC, AG, CM), pp. 603–621.
CAVCAV-2015-ChatterjeeIP #algorithm #constant #graph #verification
Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs (KC, RIJ, AP), pp. 140–157.
CAVCAV-2015-VizelGM
Fast Interpolating BMC (YV, AG, SM), pp. 641–657.
ICLPICLP-2015-Saleh
Transforming Delimited Control: Achieving Faster Effect Handlers (AHS), pp. 338–347.
ICSTICST-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.
ICSTICST-2015-RodriguesBCZO #modelling #named #testing
PLeTsPerf — A Model-Based Performance Testing Tool (EdMR, MB, LTC, AFZ, FMdO), pp. 1–8.
ISSTAISSTA-2015-EpitropakisYHB #empirical #evaluation #multi #testing
Empirical evaluation of pareto efficient multi-objective regression test case prioritisation (MGE, SY, MH, EKB), pp. 234–245.
ISSTAISSTA-2015-Narayanaswamy #concurrent
When truth is efficient: analysing concurrency (GN), pp. 141–152.
ISSTAISSTA-2015-ShenLPG #automation #detection #profiling #search-based #using
Automating performance bottleneck detection using search-based application profiling (DS, QL, DP, MG), pp. 270–281.
LICSLICS-2015-FigueiraL #graph #logic #query
Path Logics for Querying Graphs: Combining Expressiveness and Efficiency (DF, LL), pp. 329–340.
ICSTSAT-2015-ArifMM #axiom
Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing (MFA, CM, JMS), pp. 324–342.
ICSTSAT-2015-FalknerLH #analysis #automation #named #satisfiability
SpySMAC: Automated Configuration and Performance Analysis of SAT Solvers (SF, MTL, FH), pp. 215–222.
TAPTAP-2015-BirchFP #fault #locality #modelling #testing
Fast Model-Based Fault Localisation with Test Suites (GB, BF, MRP), pp. 38–57.
CBSECBSE-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.
ECSAECSA-2014-BerardinelliMP #analysis #design #network
fUML-Driven Design and Performance Analysis of Software Agents for Wireless Sensor Network (LB, ADM, SP), pp. 324–339.
ECSAECSA-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.
ECSAECSA-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.
QoSAQoSA-2014-BrunnertWK #architecture #enterprise #modelling #using
Using architecture-level performance models as resource profiles for enterprise applications (AB, KW, HK), pp. 53–62.
QoSAQoSA-2014-JohnsonC #architecture #evolution #smt #specification
Efficient re-resolution of SMT specifications for evolving software architectures (KJ, RC), pp. 93–102.
QoSAQoSA-2014-Perez-PalacinM #modelling #nondeterminism
Dealing with uncertainties in the performance modelling of software systems (DPP, RM), pp. 33–42.
QoSAQoSA-2014-WertOHF #anti #automation #component #detection
Automatic detection of performance anti-patterns in inter-component communications (AW, MO, CH, RF), pp. 3–12.
WICSAWICSA-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.
DocEngDocEng-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.
DRRDRR-2014-GaoRKL #database #documentation #image #retrieval
Fast structural matching for document image retrieval through spatial databases (HG, MR, DK, JL), p. ?–10.
HTHT-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.
JCDLJCDL-2014-GaoWLXMW #retrieval #scalability
Fast Image-based Chinese Calligraphic Character Retrieval on Large Scale Data (PG, JW, YL, YX, TM, BW), pp. 211–220.
JCDLJCDL-2014-KellyNW #html #javascript
The Archival Acid Test: Evaluating archive performance on advanced HTML and JavaScript (MK, MLN, MCW), pp. 25–28.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2014-CheneyLW #evaluation #multi #query #relational
Query shredding: efficient relational evaluation of queries over nested multisets (JC, SL, PW), pp. 1027–1038.
SIGMODSIGMOD-2014-ChenLWXML #algorithm #network #query
Efficient algorithms for optimal location queries in road networks (ZC, YL, RCWW, JX, GM, CL), pp. 123–134.
SIGMODSIGMOD-2014-GoelCGMMHW #database #facebook
Fast database restarts at facebook (AG, BC, CG, DM, JM, FUH, JLW), pp. 541–549.
SIGMODSIGMOD-2014-KarnagelHLHLHM #query
Demonstrating efficient query processing in heterogeneous environments (TK, MH, ML, DH, WL, MH, VM), pp. 693–696.
SIGMODSIGMOD-2014-LiCFTL
Efficient location-aware influence maximization (GL, SC, JF, KLT, WSL), pp. 87–98.
SIGMODSIGMOD-2014-PapailiouTKKK #data transformation #graph #rdf
H2RDF+: an efficient data management system for big RDF graphs (NP, DT, IK, PK, NK), pp. 909–912.
SIGMODSIGMOD-2014-ShaoCC #detection #parallel
Efficient cohesive subgraphs detection in parallel (YS, LC, BC), pp. 613–624.
SIGMODSIGMOD-2014-TangXS #complexity
Influence maximization: near-optimal time complexity meets practical efficiency (YT, XX, YS), pp. 75–86.
SIGMODSIGMOD-2014-TaoL #similarity
Efficient top-K SimRank-based similarity join (WT, GL), pp. 1603–1604.
SIGMODSIGMOD-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.
SIGMODSIGMOD-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.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2014-XuKM #framework #multi #nondeterminism #summary
Efficient summarization framework for multi-attribute uncertain data (JX, DVK, SM), pp. 421–432.
SIGMODSIGMOD-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.
VLDBVLDB-2014-AlaviZPC #in the cloud #named #query
RASP-QS: Efficient and Confidential Query Services in the Cloud (ZA, LZ, JP, KC), pp. 1685–1688.
VLDBVLDB-2014-AndersonCJWZ #development #ide #re-engineering
An Integrated Development Environment for Faster Feature Engineering (MRA, MJC, YJ, GW, BZ), pp. 1657–1660.
VLDBVLDB-2014-CaoYX #database #low cost
Realization of the Low Cost and High Performance MySQL Cloud Database (WC, FY, JX), pp. 1742–1747.
VLDBVLDB-2014-ChenCCC #named
SOPS: A System for Efficient Processing of Spatial-Keyword Publish/Subscribe (LC, YC, GC, XC), pp. 1601–1604.
VLDBVLDB-2014-ChenNC #detection #sql
Fast Foreign-Key Detection in Microsoft SQL Server PowerPivot for Excel (ZC, VRN, SC), pp. 1417–1428.
VLDBVLDB-2014-ChiangDN #algorithm
Tracking Entities in the Dynamic World: A Fast Algorithm for Matching Temporal Records (YHC, AD, JFN), pp. 469–480.
VLDBVLDB-2014-JugelJHM #visual notation
Faster Visual Analytics through Pixel-Perfect Aggregation (UJ, ZJ, GH, VM), pp. 1705–1708.
VLDBVLDB-2014-KlonatosKRC #query
Building Efficient Query Engines in a High-Level Language (YK, CK, TR, HC), pp. 853–864.
VLDBVLDB-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.
VLDBVLDB-2014-KorulaL #algorithm #network #social
An efficient reconciliation algorithm for social networks (NK, SL), pp. 377–388.
VLDBVLDB-2014-LiagourisT #identification #knowledge base #owl
Efficient Identification of Implicit Facts in Incomplete OWL2-EL Knowledge Bases (JL, MT), pp. 1993–2004.
VLDBVLDB-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.
VLDBVLDB-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.
VLDBVLDB-2014-NagelBV #code generation #query
Code Generation for Efficient Query Processing in Managed Runtimes (FN, GMB, SDV), pp. 1095–1106.
VLDBVLDB-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.
VLDBVLDB-2014-YanCXLNB #algorithm #graph #problem
Pregel Algorithms for Graph Connectivity Problems with Performance Guarantees (DY, JC, KX, YL, WN, YB), pp. 1821–1832.
VLDBVLDB-2014-ZhangCT #database
An Efficient Publish/Subscribe Index for ECommerce Databases (DZ, CYC, KLT), pp. 613–624.
VLDBVLDB-2014-ZhangTCO #analysis #data transformation #in memory
Efficient In-memory Data Management: An Analysis (HZ, BMT, GC, BCO), pp. 833–836.
VLDBVLDB-2015-GraefeVKKTLV14 #big data #in memory
In-Memory Performance for Big Data (GG, HV, HK, HAK, JT, ML, ACV), pp. 37–48.
VLDBVLDB-2015-InoueOT14 #branch #predict #set
Faster Set Intersection with SIMD instructions by Reducing Branch Mispredictions (HI, MO, KT), pp. 293–304.
VLDBVLDB-2015-ShenCJLOT14 #distributed #graph
Fast Failure Recovery in Distributed Graph Processing Systems (YS, GC, HVJ, WL, BCO, BMT), pp. 437–448.
VLDBVLDB-2015-TaoYL14 #similarity
Efficient Top-K SimRank-based Similarity Join (WT, MY, GL), pp. 317–328.
VLDBVLDB-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.
EDMEDM-2014-Barmaki #communication #education
Nonverbal Communication and Teaching Performance (RB), pp. 441–443.
EDMEDM-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.
EDMEDM-2014-JiangWSWO #behaviour #predict
Predicting MOOC performance with Week 1 Behavior (SJ, AEW, KS, MW, DKO), pp. 273–275.
EDMEDM-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.
EDMEDM-2014-XiongAH #predict
Improving Retention Performance Prediction with Prerequisite Skill Features (XX, SA, NTH), pp. 375–376.
ITiCSEITiCSE-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.
SIGITESIGITE-2014-Hartpence #challenge #metric
Curricular and performance measurement challenges in cloud environments (BH), pp. 51–54.
SIGITESIGITE-2014-JacksonEC #analysis #contest #programming
An analysis of team performance in high school programming contests (SJ, HJCE, RC), pp. 27–32.
ICPCICPC-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.
ICSMEICSME-2014-AsaduzzamanRSH #code completion #named
CSCC: Simple, Efficient, Context Sensitive Code Completion (MA, CKR, KAS, DH), pp. 71–80.
ICSMEICSME-2014-BellomoENO
Evolutionary Improvements of Cross-Cutting Concerns: Performance in Practice (SB, NAE, RLN, IO), pp. 545–548.
ICSMEICSME-2014-Syer #evolution #maintenance #testing
The Maintenance and Evolution of Field-Representative Performance Tests (MDS), p. 665.
ICSMEICSME-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.
MSRMSR-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.
SCAMSCAM-2014-BazrafshanK #debugging #developer
Effect of Clone Information on the Performance of Developers Fixing Cloned Bugs (SB, RK), pp. 1–10.
SCAMSCAM-2014-KargenS #scalability #slicing
Efficient Utilization of Secondary Storage for Scalable Dynamic Slicing (UK, NS), pp. 155–164.
SCAMSCAM-2014-LiangSM #analysis
Fast Flow Analysis with Godel Hashes (SL, WS, MM), pp. 225–234.
ICALPICALP-v1-2014-AbboudWW #sequence
Consequences of Faster Alignment of Sequences (AA, VVW, OW), pp. 39–51.
ICALPICALP-v1-2014-BringmannKPPT #physics #simulation
Internal DLA: Efficient Simulation of a Physical Growth Model — (KB, FK, KP, UP, HT), pp. 247–258.
ICALPICALP-v1-2014-ColeK #algorithm #summary
Fast Algorithms for Constructing Maximum Entropy Summary Trees (RC, HJK), pp. 332–343.
ICALPICALP-v1-2014-DobzinskiL
Efficiency Guarantees in Auctions with Budgets (SD, RPL), pp. 392–404.
ICALPICALP-v1-2014-KoppartyKS #finite
Efficient Indexing of Necklaces and Irreducible Polynomials over Finite Fields (SK, MK, MES), pp. 726–737.
ICALPICALP-v1-2014-MekaRRR #independence #pseudo
Fast Pseudorandomness for Independence and Load Balancing — (RM, OR, GNR, RDR), pp. 859–870.
ICALPICALP-v1-2014-ReidlRVS #algorithm
A Faster Parameterized Algorithm for Treedepth (FR, PR, FSV, SS), pp. 931–942.
ICALPICALP-v1-2014-Wulff-Nilsen #approximate #distance #graph
Faster Separators for Shallow Minor-Free Graphs via Dynamic Approximate Distance Oracles (CWN), pp. 1063–1074.
LATALATA-2014-BellaouarCZ #kernel #sequence #string
Efficient List-Based Computation of the String Subsequence Kernel (SB, HC, DZ), pp. 138–148.
FMFM-2014-GunadiT #android #case study #logic #metric #monitoring #operating system #runtime
Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System (HG, AT), pp. 296–311.
FMFM-2014-PonzioRAF #bound
Efficient Tight Field Bounds Computation Based on Shape Predicates (PP, NR, NA, MFF), pp. 531–546.
FMFM-2014-RinastSG #graph #reduction
A Graph-Based Transformation Reduction to Reach UPPAAL States Faster (JR, SS, DG), pp. 547–562.
FMFM-2014-SchebenS #calculus #composition #self
Efficient Self-composition for Weakest Precondition Calculi (CS, PHS), pp. 579–594.
HaskellHaskell-2014-Pike #automation #named #reduction
SmartCheck: automatic and efficient counterexample reduction and generalization (LP), pp. 53–64.
ICFPICFP-2014-HackettH
Worker/wrapper/makes it/faster (JH, GH), pp. 95–107.
ICFPICFP-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.
IFLIFL-2014-AdsitF #analysis #control flow #system f
An Efficient Type- and Control-Flow Analysis for System F (CA, MF), p. 3.
LISPILC-2014-SmithP #finite #lisp #permutation
Efficient Finite Permutation Groups and Homomesy Computation in Common Lisp (RS, BP), p. 60.
LISPILC-2014-Strandh #lisp
Fast Generic Dispatch for Common Lisp (RS), p. 89.
CHI-PLAYCHI-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.
CoGCIG-2014-PerezSL #game studies #knowledge-based #video
Knowledge-based fast evolutionary MCTS for general video game playing (DPL, SS, SML), pp. 1–8.
ICGTICGT-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.
CHICHI-2014-AtachiantsGJD #design #parallel #tool support
Design considerations for parallel performance tools (RA, DG, KJ, GD), pp. 2501–2510.
CHICHI-2014-BarkhuusEZ #interactive #music
Watching the footwork: second screen interaction at a dance and music performance (LB, AE, GZ), pp. 1305–1314.
CHICHI-2014-DontchevaMBG #crowdsourcing #learning
Combining crowdsourcing and learning to improve engagement and performance (MD, RRM, JRB, EMG), pp. 3379–3388.
CHICHI-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.
CHICHI-2014-Gilbert #social #what
What if we ask a different question?: social inferences create product ratings faster (EG), pp. 2759–2762.
CHICHI-2014-GutwinCSMO
Faster command selection on tablets with FastTap (CG, AC, JS, SM, SCO), pp. 2617–2626.
CHICHI-2014-HalfakerGT #design #named
Snuggle: designing for efficient socialization and ideological critique (AH, RSG, LGT), pp. 311–320.
CHICHI-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.
CHICHI-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.
CHICHI-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.
CHICHI-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.
CHICHI-2014-NguyenK #matter #multi
Orientation matters: efficiency of translation-rotation multitouch tasks (QN, MK), pp. 2013–2016.
CHICHI-2014-NicosiaOK #modelling
Modeling the perception of user performance (MN, AO, POK), pp. 1747–1756.
CHICHI-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.
CHICHI-2014-SampathRI #crowdsourcing #design #platform
Cognitively inspired task design to improve user performance on crowdsourcing platforms (HAS, RR, BI), pp. 3665–3674.
CHICHI-2014-ShamiNC #social #social media
Social media participation and performance at work: a longitudinal study (NSS, JN, JC), pp. 115–118.
CHICHI-2014-SoloveyZPRM #using
Classifying driver workload using physiological and driving performance data: two field studies (ETS, MZ, EAGP, BR, BM), pp. 4057–4066.
CSCWCSCW-2014-EhrlichC #communication #development
The communication patterns of technical leaders: impact on product development team performance (KE, MC), pp. 733–744.
CSCWCSCW-2014-MunsonKRR #email #monitoring
Monitoring email to indicate project team performance and mutual attraction (SAM, KK, LPRJ), pp. 542–549.
CSCWCSCW-2014-QuinnB #named #spreadsheet
AskSheet: efficient human computation for decision making with spreadsheets (AJQ, BBB), pp. 1456–1466.
CSCWCSCW-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.
CSCWCSCW-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.
CSCWCSCW-2014-ZhuDKK #assessment #learning
Reviewing versus doing: learning and performance in crowd assessment (HZ, SPD, REK, AK), pp. 1445–1455.
HCIDHM-2014-HuangLCCC #quality
The Influence of Shift Workers Sleeping Quality upon Job Performance (YCH, FLL, HCC, CCC, CLC), pp. 254–262.
HCIDHM-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.
HCIDHM-2014-NishimuraTGEK
Effect of Wall Material of a Room on Performance in Long Monotonous Work (HN, YT, AG, AE, NK), pp. 282–291.
HCIDHM-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.
HCIDUXU-TMT-2014-Lamontagne #paradigm #smarttech
Techno-Theoretical Paradigm: Performance, Fashion and Wearables (VL), pp. 153–162.
HCIDUXU-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.
HCIHCI-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.
HCIHCI-AS-2014-NoorHAS #design #interactive
Mapping Graceful Interaction Design from Dance Performance (NLMN, WNWH, WAWA, FMS), pp. 301–311.
HCIHCI-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.
HCIHCI-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.
HCIHCI-TMT-2014-JuniorSFMC
Fast and Not Furious (LLLJ, FES, FAF, LFVM, JPC), pp. 219–229.
HCIHCI-TMT-2014-SzklannySWCW #interface #metaprogramming #named
SyncBox — Synchronizer and Interface for High-Speed Macro Photography (KS, AS, PW, SC, AW), pp. 652–661.
HCIHIMI-AS-2014-MikamiT #learning #music
A Music Search System for Expressive Music Performance Learning (TM, KT), pp. 80–89.
HCIHIMI-DE-2014-SakaguchiIH #development #using
Development of High-Speed Thermal Display Using Water Flow (MS, KI, KH), pp. 233–240.
HCILCT-TRE-2014-GoodeC #collaboration #online #predict
Online Collaboration: Individual Involvement Used to Predict Team Performance (AWG, GC), pp. 408–416.
HCILCT-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.
CAiSECAiSE-2014-PolyvyanyyRH #modelling #process #retrieval #using
Indexing and Efficient Instance-Based Retrieval of Process Models Using Untanglings (AP, MLR, AHMtH), pp. 439–456.
EDOCEDOC-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.
ICEISICEIS-v1-2014-DavarG #distributed #information management #object-oriented
Performance Tuning of Object-Oriented Applications in Distributed Information Systems (ZD, JRG), pp. 201–208.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-v2-2014-SantosBLHC #development #distributed #metric
Managing Distributed Software Development with Performance Measures (GSdS, RB, GCLL, EHMH, EC), pp. 307–314.
ICEISICEIS-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.
ICEISICEIS-v3-2014-KwanroengjaiLTS #framework
Operational Alignment Framework for Improving Business Performance of an Organisation (JK, KL, CT, LS), pp. 352–359.
ICEISICEIS-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.
CIKMCIKM-2014-AbedjanSN #dependence #functional #named
DFD: Efficient Functional Dependency Discovery (ZA, PS, FN), pp. 949–958.
CIKMCIKM-2014-BudaCMK #database #named
VFDS: An Application to Generate Fast Sample Databases (TSB, TC, JM, MK), pp. 2048–2050.
CIKMCIKM-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.
CIKMCIKM-2014-ChatzistergiouV #clustering #data type #heuristic
Fast Heuristics for Near-Optimal Task Allocation in Data Stream Processing over Clusters (AC, SDV), pp. 1579–1588.
CIKMCIKM-2014-Huo0LM #query
Improving Tail Query Performance by Fusion Model (SH, MZ, YL, SM), pp. 559–568.
CIKMCIKM-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.
CIKMCIKM-2014-KimC #array
Efficient Static and Dynamic In-Database Tensor Decompositions on Chunk-Based Array Stores (MK, KSC), pp. 969–978.
CIKMCIKM-2014-LimCK #data type
Fast, Accurate, and Space-efficient Tracking of Time-weighted Frequent Items from Data Streams (YL, JC, UK), pp. 1109–1118.
CIKMCIKM-2014-LiuLK #classification #information management #using
Using Local Information to Significantly Improve Classification Performance (WL, DL, RK), pp. 1947–1950.
CIKMCIKM-2014-LiZZW #keyword #named
INK: A Cloud-Based System for Efficient Top-k Interval Keyword Search (RL, XZ, XZ, SW), pp. 2003–2005.
CIKMCIKM-2014-OzdemirayA #predict #query
Query Performance Prediction for Aspect Weighting in Search Result Diversification (AMO, ISA), pp. 1871–1874.
CIKMCIKM-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.
CIKMCIKM-2014-SchuthSWLR #evaluation #multi #online
Multileaved Comparisons for Fast Online Evaluation (AS, FS, SW, DL, MdR), pp. 71–80.
CIKMCIKM-2014-TaoW #predict #query
Query Performance Prediction By Considering Score Magnitude and Variance Together (YT, SW), pp. 1891–1894.
CIKMCIKM-2014-TongZC0 #graph #nondeterminism #probability #scalability
Efficient Probabilistic Supergraph Search Over Large Uncertain Graphs (YT, XZ, CCC, LC), pp. 809–818.
CIKMCIKM-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.
CIKMCIKM-2014-WangSZS #scalability #semantics #similarity
Sparse Semantic Hashing for Efficient Large Scale Similarity Search (QW, BS, ZZ, LS), pp. 1899–1902.
CIKMCIKM-2014-WilkieA #analysis #bias #retrieval
A Retrievability Analysis: Exploring the Relationship Between Retrieval Bias and Retrieval Performance (CW, LA), pp. 81–90.
CIKMCIKM-2014-WuF14a #modelling #query
Analytical Performance Modeling for Top-K Query Processing (HW, HF), pp. 1619–1628.
CIKMCIKM-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.
CIKMCIKM-2014-ZhengZLHZ #graph #scalability
Efficient Subgraph Skyline Search Over Large Graphs (WZ, LZ, XL, LH, DZ), pp. 1529–1538.
ECIRECIR-2014-CatenaMO #on the
On Inverted Index Compression for Search Engine Efficiency (MC, CM, IO), pp. 359–371.
ECIRECIR-2014-KazaiS #difference #evaluation #information retrieval #query
Dissimilarity Based Query Selection for Efficient Preference Based IR Evaluation (GK, HS), pp. 172–183.
ICMLICML-c1-2014-HajiaghayiKWB #estimation #markov
Efficient Continuous-Time Markov Chain Estimation (MH, BK, LW, ABC), pp. 638–646.
ICMLICML-c1-2014-HutterHL #approach
An Efficient Approach for Assessing Hyperparameter Importance (FH, HH, KLB), pp. 754–762.
ICMLICML-c1-2014-LiuJL #approximate #kernel #using
Efficient Approximation of Cross-Validation for Kernel Methods using Bouligand Influence Function (YL, SJ, SL), pp. 324–332.
ICMLICML-c1-2014-NguyenB #process
Fast Allocation of Gaussian Process Experts (TVN, EVB), pp. 145–153.
ICMLICML-c1-2014-Shrivastava0 #permutation
Densifying One Permutation Hashing via Rotation for Fast Near Neighbor Search (AS, PL), pp. 557–565.
ICMLICML-c1-2014-SiHD #approximate #kernel #memory management
Memory Efficient Kernel Approximation (SS, CJH, ISD), pp. 701–709.
ICMLICML-c1-2014-SomaKIK #algorithm
Optimal Budget Allocation: Theoretical Guarantee and Efficient Algorithm (TS, NK, KI, KiK), pp. 351–359.
ICMLICML-c1-2014-ZhangHL #heuristic
Covering Number for Efficient Heuristic-based POMDP Planning (ZZ, DH, WSL), pp. 28–36.
ICMLICML-c1-2014-ZhongK #multi #probability
Fast Stochastic Alternating Direction Method of Multipliers (WZ, JTYK), pp. 46–54.
ICMLICML-c2-2014-0005YJ #algorithm #robust
Efficient Algorithms for Robust One-bit Compressive Sensing (LZ, JY, RJ), pp. 820–828.
ICMLICML-c2-2014-AgarwalHKLLS #algorithm
Taming the Monster: A Fast and Simple Algorithm for Contextual Bandits (AA, DH, SK, JL, LL, RES), pp. 1638–1646.
ICMLICML-c2-2014-AnarakiH #memory management #random
Memory and Computation Efficient PCA via Very Sparse Random Projections (FPA, SMH), pp. 1341–1349.
ICMLICML-c2-2014-CelikLL #estimation #network #reduction
Efficient Dimensionality Reduction for High-Dimensional Network Estimation (SC, BAL, SIL), pp. 1953–1961.
ICMLICML-c2-2014-CuturiD
Fast Computation of Wasserstein Barycenters (MC, AD), pp. 685–693.
ICMLICML-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.
ICMLICML-c2-2014-FujiwaraI
Efficient Label Propagation (YF, GI), pp. 784–792.
ICMLICML-c2-2014-GiesenLW #kernel #robust
Robust and Efficient Kernel Hyperparameter Paths with Guarantees (JG, SL, PW), pp. 1296–1304.
ICMLICML-c2-2014-GrandeWH #learning #process
Sample Efficient Reinforcement Learning with Gaussian Processes (RCG, TJW, JPH), pp. 1332–1340.
ICMLICML-c2-2014-JunB #memory management #monte carlo
Memory (and Time) Efficient Sequential Monte Carlo (SHJ, ABC), pp. 514–522.
ICMLICML-c2-2014-KingmaW
Efficient Gradient-Based Inference through Transformations between Bayes Nets and Neural Nets (DPK, MW), pp. 1782–1790.
ICMLICML-c2-2014-LimL #learning #metric #ranking
Efficient Learning of Mahalanobis Metrics for Ranking (DL, GRGL), pp. 1980–1988.
ICMLICML-c2-2014-LinK #constraints #learning #representation
Stable and Efficient Representation Learning with Nonnegativity Constraints (THL, HTK), pp. 1323–1331.
ICMLICML-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.
ICMLICML-c2-2014-WeiIB #multi
Fast Multi-stage Submodular Maximization (KW, RKI, JAB), pp. 1494–1502.
ICPRICPR-2014-AhmetovicBGM #locality #named #precise
ZebraRecognizer: Efficient and Precise Localization of Pedestrian Crossings (DA, CB, AG, SM), pp. 2566–2571.
ICPRICPR-2014-Ahn #adaptation #online #robust
Fast Adaptive Robust Subspace Tracking for Online Background Subtraction (JHA), pp. 2555–2559.
ICPRICPR-2014-BartoliLKBB #adaptation #detection #multi
Unsupervised Scene Adaptation for Faster Multi-scale Pedestrian Detection (FB, GL, SK, ADB, ADB), pp. 3534–3539.
ICPRICPR-2014-BorgiLEA #named #recognition
ShearFace: Efficient Extraction of Anisotropic Features for Face Recognition (MAB, DL, ME, CBA), pp. 1806–1811.
ICPRICPR-2014-BougueliaBB #classification #data type #detection #novel
Efficient Active Novel Class Detection for Data Stream Classification (MRB, YB, AB), pp. 2826–2831.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-2014-EikvilH #automation #evaluation #identification
Evaluation of Binary Descriptors for Fast and Fully Automatic Identification (LE, MH), pp. 154–159.
ICPRICPR-2014-HavaeiJL #classification #interactive #segmentation
Efficient Interactive Brain Tumor Segmentation as Within-Brain kNN Classification (MH, PMJ, HL), pp. 556–561.
ICPRICPR-2014-HiltunenELK #comparison
Comparison of General Object Trackers for Hand Tracking in High-Speed Videos (VH, TE, LL, HK), pp. 2215–2220.
ICPRICPR-2014-HtikeH #adaptation #detection #video
Efficient Non-iterative Domain Adaptation of Pedestrian Detectors to Video Scenes (KKH, DCH), pp. 654–659.
ICPRICPR-2014-HuangCZ
An Improved Filtering for Fast Stereo Matching (XH, GC, YZ), pp. 2448–2452.
ICPRICPR-2014-IshaqEW #evaluation
An Evaluation of the Faster STORM Method for Super-resolution Microscopy (OI, JE, CW), pp. 4435–4440.
ICPRICPR-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.
ICPRICPR-2014-LiewY #detection #feature model #novel #robust
Generalized BRIEF: A Novel Fast Feature Extraction Method for Robust Hand Detection (CFL, TY), pp. 3014–3019.
ICPRICPR-2014-MajtnerSS #image #named
RSURF — The Efficient Texture-Based Descriptor for Fluorescence Microscopy Images of HEP-2 Cells (TM, RS, DS), pp. 1194–1199.
ICPRICPR-2014-MarteauGR #gesture #kernel #recognition
Down-sampling Coupled to Elastic Kernel Machines for Efficient Recognition of Isolated Gestures (PFM, SG, CR), pp. 363–368.
ICPRICPR-2014-MasselliZ #approach #geometry #problem
A New Geometric Approach for Faster Solving the Perspective-Three-Point Problem (AM, AZ), pp. 2119–2124.
ICPRICPR-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.
ICPRICPR-2014-MicoO #algorithm
Dynamic Insertions in TLAESA Fast NN Search Algorithm (LM, JO), pp. 3828–3833.
ICPRICPR-2014-MoyouIP #3d #estimation #retrieval #using
LBO-Shape Densities: Efficient 3D Shape Retrieval Using Wavelet Density Estimation (MM, KEI, AMP), pp. 52–57.
ICPRICPR-2014-NegrelPG #image #learning #metric #reduction #retrieval #using
Efficient Metric Learning Based Dimension Reduction Using Sparse Projectors for Image Near Duplicate Retrieval (RN, DP, PHG), pp. 738–743.
ICPRICPR-2014-OuyangYLW #robust
A FAST Extreme Illumination Robust Feature in Affine Space (PO, SY, LL, SW), pp. 2365–2370.
ICPRICPR-2014-PatriciaTC #adaptation #learning #multi
Multi-source Adaptive Learning for Fast Control of Prosthetics Hand (NP, TT, BC), pp. 2769–2774.
ICPRICPR-2014-RavalTJ #classification #encoding #evaluation #fault #using
Efficient Evaluation of SVM Classifiers Using Error Space Encoding (NR, RVT, CVJ), pp. 4411–4416.
ICPRICPR-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.
ICPRICPR-2014-SatzodaT #estimation #evaluation #metric #on the
On Performance Evaluation Metrics for Lane Estimation (RKS, MMT), pp. 2625–2630.
ICPRICPR-2014-Shirakawa #multi #similarity #using
Fast Similarity Search Using Multiple Binary Codes (SS), pp. 3714–3719.
ICPRICPR-2014-SongLZC #adaptation #using
Scale Adaptive Tracking Using Mean Shift and Efficient Feature Matching (YS, SL, JZ, HC), pp. 2233–2238.
ICPRICPR-2014-TaxSRM #type system
The Effect of Aggregating Subtype Performances Depends Strongly on the Performance Measure Used (DMJT, HMJS, MJTR, PDM), pp. 3720–3725.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-2014-WatanabeW #analysis #component #distance #learning #metric
Logistic Component Analysis for Fast Distance Metric Learning (KW, TW), pp. 1278–1282.
ICPRICPR-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.
ICPRICPR-2014-ZhaoTHTY #comparison #segmentation
A Performance Comparison between Circular and Spline-Based Methods for Iris Segmentation (YZ, CT, XH, AOT, RY), pp. 351–356.
ICPRICPR-2014-ZhenS #evaluation #recognition
A Performance Evaluation on Action Recognition with Local Features (XZ, LS), pp. 4495–4500.
ICPRICPR-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.
KDDKDD-2014-ChenCW #classification #scalability
Fast flux discriminant for large-scale sparse nonlinear classification (WC, YC, KQW), pp. 621–630.
KDDKDD-2014-Cohen #distance #query
Distance queries from sampled data: accurate and efficient (EC), pp. 681–690.
KDDKDD-2014-FangP #algorithm #linear
Fast DTT: a near linear algorithm for decomposing a tensor into factor tensors (XF, RP), pp. 967–976.
KDDKDD-2014-GongZFY #learning #multi
Efficient multi-task feature learning with calibration (PG, JZ, WF, JY), pp. 761–770.
KDDKDD-2014-LiuWY #algorithm
An efficient algorithm for weak hierarchical lasso (YL, JW, JY), pp. 283–292.
KDDKDD-2014-LiZCS #optimisation #probability
Efficient mini-batch training for stochastic optimization (ML, TZ, YC, AJS), pp. 661–670.
KDDKDD-2014-MaeharaKK
Efficient SimRank computation via linearizationPublication of this article pending inquiry (TM, MK, KiK), pp. 1426–1435.
KDDKDD-2014-PrabhuV #classification #learning #multi #named
FastXML: a fast, accurate and stable tree-classifier for extreme multi-label learning (YP, MV), pp. 263–272.
KDDKDD-2014-PurohitPKZS #network #scalability
Fast influence-based coarsening for large networks (MP, BAP, CK, YZ, VSS), pp. 1296–1305.
KDDKDD-2014-TongCC #named #topic
TCS: efficient topic discovery over crowd-oriented service data (YT, CCC, LC), pp. 861–870.
KDDKDD-2014-ZhaoLC
Safe and efficient screening for sparse support vector machine (ZZ, JL, JC), pp. 542–551.
KDIRKDIR-2014-ChakrabortyGR #approach #retrieval #word
A Word Association Based Approach for Improving Retrieval Performance from Noisy OCRed Text (AC, KG, UR), pp. 450–456.
KDIRKDIR-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.
KEODKEOD-2014-BellCBB #ontology
Reasoner Performance on Ontologies for Operations (SB, JC, MB, RPB), pp. 304–311.
KMISKMIS-2014-KimKO
System Improvement for the Management of Subcontracted Service Performance Information in Korea’s Public Construction (SJK, NK, HO), pp. 382–386.
KMISKMIS-2014-ToureAD #approach #enterprise #named
AM2O — An Efficient Approach for Managing Training in Enterprise (FT, EA, KD), pp. 405–412.
KRKR-2014-SazonauSB #owl #predict #question
Predicting Performance of OWL Reasoners: Locally or Globally? (VS, US, GB).
MLDMMLDM-2014-AndreaSVU #detection
A New Measure of Outlier Detection Performance (KA, GS, NV, AU), pp. 190–197.
MLDMMLDM-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.
MLDMMLDM-2014-FuMD #classification #multi #network #towards
Towards the Efficient Recovery of General Multi-Dimensional Bayesian Network Classifier (SF, SM, MCD), pp. 16–30.
MLDMMLDM-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.
MLDMMLDM-2014-ShahamSB #fault
Efficient Error Setting for Subspace Miners (ES, DS, BBM), pp. 1–15.
SEKESEKE-2014-ChenHQJ #static analysis #using
Improving Static Analysis Performance Using Rule-Filtering Technique (DC, RH, BQ, SJ), pp. 19–24.
SEKESEKE-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.
SEKESEKE-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.
SEKESEKE-2014-SchotsRS #analysis #process
A Body of Knowledge for Executing Performance Analysis of Software Processes (NCLS, ARR, GS), pp. 560–565.
SEKESEKE-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.
SEKESEKE-2014-WanZWS #analysis #graph #points-to
Efficient Points-To Analysis for Partial Call Graph Construction (ZW, BZ, YW, YS), pp. 416–421.
SIGIRSIGIR-2014-ArkhipovaG #mobile #web
Evaluating mobile web search performance by taking good abandonment into account (OA, LG), pp. 1043–1046.
SIGIRSIGIR-2014-CambazogluB #challenge #scalability #web
Scalability and efficiency challenges in large-scale web search engines (BBC, RABY), p. 1285.
SIGIRSIGIR-2014-KatzSKSR #predict #query
Wikipedia-based query performance prediction (GK, AS, OK, BS, LR), pp. 1235–1238.
SIGIRSIGIR-2014-PerezJ #microblog #predict #query #retrieval
Predicting query performance in microblog retrieval (JARP, JMJ), pp. 1183–1186.
SIGIRSIGIR-2014-RavivKC #predict #query #retrieval
Query performance prediction for entity retrieval (HR, OK, DC), pp. 1099–1102.
SIGIRSIGIR-2014-YuWYTLZ #retrieval #taxonomy
Discriminative coupled dictionary hashing for fast cross-media retrieval (ZY, FW, YY, QT, JL, YZ), pp. 395–404.
SIGIRSIGIR-2014-ZhangWRS #recommendation
Preference preserving hashing for efficient recommendation (ZZ, QW, LR, LS), pp. 183–192.
SKYSKY-2014-ExmanN #network #recommendation #social
Location-based Fast Recommendation Social Network (IE, EN), pp. 55–62.
ECMFAECMFA-2014-AnjorinRDS #graph grammar
Efficient Model Synchronization with View Triple Graph Grammars (AA, SR, FD, AS), pp. 1–17.
ECOOPECOOP-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.
OOPSLAOOPSLA-2014-JonnalageddaCSRO #combinator #parsing #staged
Staged parser combinators for efficient data processing (MJ, TC, SS, TR, MO), pp. 637–653.
OOPSLAOOPSLA-2014-KumarH #compilation #matlab #named
MIX10: compiling MATLAB to X10 for high performance (VK, LJH), pp. 617–636.
OOPSLAOOPSLA-2014-ShahriyarBM #garbage collection
Fast conservative garbage collection (RS, SMB, KSM), pp. 121–139.
OOPSLAOOPSLA-2014-SongL #debugging #problem #statistics
Statistical debugging for real-world performance problems (LS, SL), pp. 561–578.
OOPSLAOOPSLA-2014-SteeleLF #generative #pseudo
Fast splittable pseudorandom number generators (GLSJ, DL, CHF), pp. 453–472.
OOPSLAOOPSLA-2014-ZhangXZYS #alias #analysis #c
Efficient subcubic alias analysis for C (QZ, XX, CZ, HY, ZS), pp. 829–845.
PADLPADL-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.
PEPMPEPM-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.
PLDIPLDI-2014-AhnCSGT #javascript #type system
Improving JavaScript performance by deconstructing the type system (WA, JC, TS, MJG, JT), p. 51.
PLDIPLDI-2014-BiswasHSB #named #precise
DoubleChecker: efficient sound and precise atomicity checking (SB, JH, AS, MDB), p. 6.
PLDIPLDI-2014-DAntoniVLM #named #transducer
Fast: a transducer-based language for tree manipulation (LD, MV, BL, DM), p. 40.
PLDIPLDI-2014-SridharanGS #adaptation #execution #parallel #source code
Adaptive, efficient, parallel execution of parallel programs (SS, GG, GSS), p. 21.
PPDPPPDP-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.
QAPLQAPL-2014-TschaikowskiT #algebra #biology #difference #process
Extended Differential Aggregations in Process Algebra for Performance and Biology (MT, MT), pp. 34–47.
RERE-2014-LaueHBN #communication #visual notation
Efficient visual notations for efficient stakeholder communication (RL, FH, BB, MN), pp. 329–330.
RERE-2014-WohlrabGKB #experience #industrial #requirements
Experience of pragmatically combining RE methods for performance requirements in industry (RW, TdG, AK, SB), pp. 344–353.
REFSQREFSQ-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.
REFSQREFSQ-2014-RiegelD #analysis #elicitation #heuristic #optimisation
An Analysis of Priority-Based Decision Heuristics for Optimizing Elicitation Efficiency (NR, JD), pp. 268–284.
REFSQREFSQ-2014-SethiaP #analysis #elicitation #empirical #requirements
The Effects of Requirements Elicitation Issues on Software Project Performance: An Empirical Analysis (NKS, ASP), pp. 285–300.
ASEASE-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.
ASEASE-2014-MarkerBG #comprehension #heuristic
Understanding performance stairs: elucidating heuristics (BM, DSB, RAvdG), pp. 301–312.
ASEASE-2014-TarvoR #analysis #automation #modelling #parallel #source code #thread
Automated analysis of multithreaded programs for performance modeling (AT, SPR), pp. 7–18.
FSEFSE-2014-Banerjee #energy #static analysis #testing
Static analysis driven performance and energy testing (AB), pp. 791–794.
FSEFSE-2014-BohmeP #automation #on the #testing
On the efficiency of automated testing (MB, SP), pp. 632–642.
FSEFSE-2014-GulwaniRZ #feedback #generative #problem #programming
Feedback generation for performance problems in introductory programming assignments (SG, IR, FZ), pp. 41–51.
FSEFSE-2014-JoinerRJDG #policy #weaving
Efficient runtime-enforcement techniques for policy weaving (RJ, TWR, SJ, MD, VG), pp. 224–234.
FSEFSE-2014-LerchHBM #analysis #named #scalability
FlowTwist: efficient context-sensitive inside-out taint analysis for large codebases (JL, BH, EB, MM), pp. 98–108.
ICSEICSE-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.
ICSEICSE-2014-HuangMSZ #analysis #testing
Performance regression testing target prioritization via performance risk analysis (PH, XM, DS, YZ), pp. 60–71.
ICSEICSE-2014-IgnatievJM #optimisation #towards
Towards efficient optimization in package management systems (AI, MJ, JMS), pp. 745–755.
ICSEICSE-2014-LiTH #energy #smarttech #web
Making web applications more energy efficient for OLED smartphones (DL, AHT, WGJH), pp. 527–538.
ICSEICSE-2014-LiuXC #debugging #detection #smarttech
Characterizing and detecting performance bugs for smartphone applications (YL, CX, SCC), pp. 1013–1024.
SACSAC-2014-AhmedWK #clustering #energy #named
EENC — energy efficient nested clustering in UASN (SHA, AW, DK), pp. 706–710.
SACSAC-2014-AndradeRMOCFR #architecture #hybrid #scheduling
Efficient dynamic scheduling of heterogeneous applications in hybrid architectures (GA, GSR, DM, RSO, EC, RF, LCdR), pp. 866–871.
SACSAC-2014-CostaTT #image #named
MFS-Map: efficient context and content combination to annotate images (AFC, AJMT, CTJ), pp. 945–950.
SACSAC-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.
SACSAC-2014-NabeezathP #algorithm #detection
Global value numbering for redundancy detection: a simple and efficient algorithm (SN, VP), pp. 1609–1611.
SACSAC-2014-ParkH #analysis #network
Performance analysis of the golden-SM in the V2V network (MCP, DSH), pp. 1739–1740.
SACSAC-2014-PetroccoCPE
Hiding user content interest while preserving P2P performance (RP, MC, JAP, DHJE), pp. 501–508.
SACSAC-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.
SACSAC-2014-SerranoG
Locking fast (MS, JG), pp. 1556–1561.
SACSAC-2014-SilveiraMGCFR #energy
Faster seam carving with minimum energy windows (CLBS, FdOM, LGJ, CAdC, KF, RdRR), pp. 45–48.
SACSAC-2014-SpiegelJA #classification #distance
Fast time series classification under lucky time warping distance (SS, BJJ, SA), pp. 71–78.
SACSAC-2014-TinK #clustering #distributed
Method for fast clustering of data distributed on a sphere surface (TT, SRK), pp. 1735–1736.
SACSAC-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.
SACSAC-2014-WenD #protocol
Efficient protocols for private record linkage (ZW, CD), pp. 1688–1694.
GPCEGPCE-2014-MaAZS #product line #testing
Efficient testing of software product lines via centralization (LM, CA, CZ, HS), pp. 49–52.
GPCEGPCE-2014-SteindorferV #memory management
Code specialization for memory efficient hash tries (MJS, JJV), pp. 11–14.
SLESLE-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.
ASPLOSASPLOS-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.
ASPLOSASPLOS-2014-KastureS #named #strict
Ubik: efficient cache sharing with strict qos for latency-critical workloads (HK, DS), pp. 729–742.
ASPLOSASPLOS-2014-MenychtasSS #scheduling
Disengaged scheduling for fair, protected access to fast computational accelerators (KM, KS, MLS), pp. 301–316.
ASPLOSASPLOS-2014-YuHZX #execution
Comprehending performance from real-world execution traces: a device-driver case (XY, SH, DZ, TX), pp. 193–206.
CASECASE-2014-BehlNM #named
IMpACT: Inverse model accuracy and control performance toolbox for buildings (MB, TXN, RM), pp. 1109–1114.
CASECASE-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.
CASECASE-2014-HuiM #assessment #reduction
Performance assessment of virtual metrology in APC applications for the viability of sampling reductions (KH, JM), pp. 750–755.
CASECASE-2014-KaoCC #variability
Target setting with consideration of target-induced operation variability for performance improvement of semiconductor fabrication (YTK, SCC, CMC), pp. 774–779.
CASECASE-2014-KhodabakhshianFW #predict
Predictive control of the engine cooling system for fuel efficiency improvement (MK, LF, JW), pp. 61–66.
CASECASE-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.
CASECASE-2014-OhnishiY
Switching control of DC-DC converters with Electric Double-Layer Capacitor based on control performance index (YO, TY), pp. 188–193.
CASECASE-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.
CASECASE-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.
CASECASE-2014-TanakaT #algorithm #bound #problem
A faster branch-and-bound algorithm for the block relocation problem (ST, KT), pp. 7–12.
CASECASE-2014-ZengXLMS #evaluation
An analytical model for performance evaluation of operating room schedules in orthopedic surgery (ZZ, XX, JL, HM, SGSR), pp. 570–575.
CASECASE-2014-ZhaoLH #evaluation #exponential #multi
Performance evaluation of multi-product manufacturing systems with asynchronous exponential machines (CZ, JL, NH), pp. 692–697.
CCCC-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.
CCCC-2014-FeautrierVK #source code
Improving the Performance of X10 Programs by Clock Removal (PF, EV, AK), pp. 113–132.
CCCC-2014-SulzmannS #flexibility #ml #regular expression
A Flexible and Efficient ML Lexer Tool Based on Extended Regular Expression Submatching (MS, PvS), pp. 174–191.
CGOCGO-2014-BarikKMLSHNA #c++
Efficient Mapping of Irregular C++ Applications to Integrated GPUs (RB, RK, DM, BTL, TS, CH, YN, ARAT), p. 33.
DACDAC-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.
DACDAC-2014-AxerTED #bound #network
Exploiting Shaper Context to Improve Performance Bounds of Ethernet AVB Networks (PA, DT, RE, JD), p. 6.
DACDAC-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.
DACDAC-2014-DengBZW
An Efficient Two-level DC Operating Points Finder for Transistor Circuits (JD, KB, YZ, NW), p. 6.
DACDAC-2014-DongZC #algorithm #online #reduction
A Cost Efficient Online Algorithm for Automotive Idling Reduction (CD, HZ, MC), p. 6.
DACDAC-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.
DACDAC-2014-HoC #optimisation #pipes and filters
A New Asynchronous Pipeline Template for Power and Performance Optimization (KHH, YWC), p. 6.
DACDAC-2014-LinLCLH #algorithm
An Efficient Bi-criteria Flow Channel Routing Algorithm For Flow-based Microfluidic Biochips (CXL, CHL, ICC, DTL, TYH), p. 6.
DACDAC-2014-LinRGDS #algorithm
An Efficient Wire Routing and Wire Sizing Algorithm for Weight Minimization of Automotive Systems (CWL, LR, PG, JD, ALSV), p. 6.
DACDAC-2014-PanthSDL #3d
Power-Performance Study of Block-Level Monolithic 3D-ICs Considering Inter-Tier Performance Variations (SP, KS, YD, SKL), p. 6.
DACDAC-2014-PengPL #optimisation
Fast and Accurate Full-chip Extraction and Optimization of TSV-to-Wire Coupling (YP, DP, SKL), p. 6.
DACDAC-2014-QiuLX #power management
Write Mode Aware Loop Tiling for High Performance Low Power Volatile PCM (KQ, QL, CJX), p. 6.
DACDAC-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.
DACDAC-2014-RaoJDBDM #named
VIX: Virtual Input Crossbar for Efficient Switch Allocation (SR, SJ, RD, DB, RGD, TNM), p. 6.
DACDAC-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.
DACDAC-2014-SamalPSSDL #3d #modelling #optimisation
Fast and Accurate Thermal Modeling and Optimization for Monolithic 3D ICs (SKS, SP, KS, MS, YD, SKL), p. 6.
DACDAC-2014-SamavatianAAS #architecture
An Efficient STT-RAM Last Level Cache Architecture for GPUs (MHS, HA, MA, HSA), p. 6.
DACDAC-2014-UbalSMGUCSK #design #reliability
Exploring the Heterogeneous Design Space for both Performance and Reliability (RU, DS, PM, XG, YU, ZC, GS, DRK), p. 6.
DACDAC-2014-WangOC #optimisation #polynomial #synthesis
Enabling Efficient Analog Synthesis by Coupling Sparse Regression and Polynomial Optimization (YW, MO, CC), p. 6.
DACDAC-2014-WangX #on the #simulation
On the Simulation of NBTI-Induced Performance Degradation Considering Arbitrary Temperature and Voltage Variations (TW, QX), p. 6.
DACDAC-2014-WietfeldID #mobile
Resource Efficient Mobile Communications for Crowd-Sensing (CW, CI, BD), p. 6.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2014-AghaeePE #3d
An efficient temperature-gradient based burn-in technique for 3D stacked ICs (NA, ZP, PE), pp. 1–4.
DATEDATE-2014-AhmadC #predict #simulation
Fast STA prediction-based gate-level timing simulation (TBA, MJC), pp. 1–6.
DATEDATE-2014-AlaghiH #probability #using
Fast and accurate computation using stochastic circuits (AA, JPH), pp. 1–4.
DATEDATE-2014-AmaruGM #diagrams
An efficient manipulation package for Biconditional Binary Decision Diagrams (LGA, PEG, GDM), pp. 1–6.
DATEDATE-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.
DATEDATE-2014-BeuxLOCLTN #named
Chameleon: Channel efficient Optical Network-on-Chip (SLB, HL, IO, KC, XL, JT, GN), pp. 1–6.
DATEDATE-2014-BhargavaM #encryption #generative #reliability
An efficient reliable PUF-based cryptographic key generator in 65nm CMOS (MB, KM), pp. 1–6.
DATEDATE-2014-ChenCT #simulation
An activity-sensitive contention delay model for highly efficient deterministic full-system simulations (SYC, CHC, RST), pp. 1–6.
DATEDATE-2014-ErbSSB #fault #smt
Efficient SMT-based ATPG for interconnect open defects (DE, KS, MS, BB), pp. 1–6.
DATEDATE-2014-FourmigueBN #3d #simulation
Efficient transient thermal simulation of 3D ICs with liquid-cooling and through silicon vias (AF, GB, GN), pp. 1–6.
DATEDATE-2014-GangopadhyayLNR #adaptation #analysis #linear #modelling
Modeling and analysis of digital linear dropout regulators with adaptive control for high efficiency under wide dynamic range digital loads (SG, YL, SBN, AR), pp. 1–6.
DATEDATE-2014-GomonyAG #optimisation #realtime
Coupling TDM NoC and DRAM controller for cost and performance optimization of real-time systems (MDG, BA, KG), pp. 1–6.
DATEDATE-2014-Guan0 #analysis #scheduling
General and efficient Response Time Analysis for EDF scheduling (NG, WY), pp. 1–6.
DATEDATE-2014-GuerreAL #architecture #benchmark #metric #parallel
A unified methodology for a fast benchmarking of parallel architecture (AG, JTA, YL), pp. 1–4.
DATEDATE-2014-HillerS
Increasing the efficiency of syndrome coding for PUFs with helper data compression (MH, GS), pp. 1–6.
DATEDATE-2014-HsuCMGB #architecture #named #validation
ArChiVED: Architectural checking via event digests for high performance validation (CHH, DC, RM, RG, VB), pp. 1–6.
DATEDATE-2014-Huang
A high performance SEU-tolerant latch for nanoscale CMOS technology (ZH), pp. 1–5.
DATEDATE-2014-Huang14a #manycore #network #predict
Leveraging on-chip networks for efficient prediction on multicore coherence (LH), pp. 1–4.
DATEDATE-2014-KamalGAP #approximate #using
Improving efficiency of extensible processors by using approximate custom instructions (MK, AG, AAK, MP), pp. 1–4.
DATEDATE-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