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
optimisation
Google optimisation

Tag #optimisation

2776 papers:

ASPLOSASPLOS-2020-LimN #hardware #performance #using
Optimizing Nested Virtualization Performance Using Direct Virtual Hardware (JTL, JN), pp. 557–574.
ASPLOSASPLOS-2020-Zheng0WCS #automation #framework #named
FlexTensor: An Automatic Schedule Exploration and Optimization Framework for Tensor Computation on Heterogeneous System (SZ, YL0, SW, RC, KS), pp. 859–873.
CCCC-2020-VuHG0 #compilation #delivery
Secure delivery of program properties through optimizing compilation (STV, KH, AdG, AC0), pp. 14–26.
CGOCGO-2020-SavageJ #named
HALO: post-link heap-layout optimisation (JS, TMJ0), pp. 94–106.
CGOCGO-2020-ShaikhhaSGO #data analysis #multi
Multi-layer optimizations for end-to-end data analytics (AS, MS, AG, DO), pp. 145–157.
CGOCGO-2020-ShobakiKM #approach #combinator #gpu #using
Optimizing occupancy and ILP on the GPU using a combinatorial approach (GS, AK, SM), pp. 133–144.
CGOCGO-2020-ZhangBCDKAS #algorithm #graph #order
Optimizing ordered graph algorithms with GraphIt (YZ, AB, XC, LD, SK, SPA, JS), pp. 158–170.
ECSAECSA-2019-MattosBO #deployment #named
ACE: Easy Deployment of Field Optimization Experiments (DIM, JB, HHO), pp. 264–279.
ECSAECSA-2019-WagemannKS #architecture #multi #product line
ADOOPLA - Combining Product-Line- and Product-Level Criteria in Multi-objective Optimization of Product Line Architectures (TW, RTK, KS), pp. 126–142.
ECSAECSA-2019-Yasaweerasinghelage #architecture #performance #security
Optimising Architectures for Performance, Cost, and Security (RY, MS, HYP, IW), pp. 161–177.
EDMEDM-2019-ShimadaMTOTK #learning #process #student
Optimizing Assignment of Students to Courses based on Learning Activity Analytics (AS, KM, YT, HO, RiT, SK).
ICSMEICSME-2019-Kashiwa #named
RAPTOR: Release-Aware and Prioritized Bug-Fixing Task Assignment Optimization (YK), pp. 629–633.
IFM-2019-BowlesC #approach #combinator #problem
An Integrated Approach to a Combinatorial Optimisation Problem (JB, MBC), pp. 284–302.
IFM-2019-LutebergetCJ #automation #satisfiability #using
Automated Drawing of Railway Schematics Using Numerical Optimization in SAT (BL, KC, CJ), pp. 341–359.
CoGCoG-2019-BraviLL0 #game studies #named #statistics
Rinascimento: Optimising Statistical Forward Planning Agents for Playing Splendor (IB, DPL, SML, JL0), pp. 1–8.
CoGCoG-2019-ChurchillBK #robust
Robust Continuous Build-Order Optimization in StarCraft (DC, MB, RK), pp. 1–8.
CoGCoG-2019-DragesetWGL #game studies #generative #video
Optimising Level Generators for General Video Game AI (OD, MHMW, RDG, DPL), pp. 1–8.
CoGCoG-2019-HuangL #approach #policy #self
A Self-Play Policy Optimization Approach to Battling Pokémon (DH, SL), pp. 1–4.
CoGCoG-2019-RatcliffeHD #performance #policy
Win or Learn Fast Proximal Policy Optimisation (DSR, KH, SD), pp. 1–4.
CIKMCIKM-2019-LiuWYZSMZGZYQ #graph #learning #mobile #representation
Graph Representation Learning for Merchant Incentive Optimization in Mobile Payment Marketing (ZL, DW, QY, ZZ, YS, JM, WZ, JG, JZ, SY, YQ), pp. 2577–2584.
ECIRECIR-p1-2019-OosterhuisR #modelling #online #ranking
Optimizing Ranking Models in an Online Setting (HO, MdR), pp. 382–396.
ICMLICML-2019-AhmedR0S #comprehension #policy
Understanding the Impact of Entropy on Policy Optimization (ZA, NLR, MN0, DS), pp. 151–160.
ICMLICML-2019-AlviRCRO
Asynchronous Batch Bayesian Optimisation with Improved Local Penalisation (ASA, BXR, JPC, SJR, MAO), pp. 253–262.
ICMLICML-2019-AroraDHLW #analysis #fine-grained #network
Fine-Grained Analysis of Optimization and Generalization for Overparameterized Two-Layer Neural Networks (SA, SSD, WH, ZL0, RW), pp. 322–332.
ICMLICML-2019-AstudilloF
Bayesian Optimization of Composite Functions (RA, PIF), pp. 354–363.
ICMLICML-2019-BateniCEFMR #category theory
Categorical Feature Compression via Submodular Optimization (MB, LC, HE, TF, VSM, AR), pp. 515–523.
ICMLICML-2019-BeatsonA #performance #random
Efficient optimization of loops and limits with randomized telescoping sums (AB, RPA), pp. 534–543.
ICMLICML-2019-ChengYRB #policy #predict
Predictor-Corrector Policy Optimization (CAC, XY, NDR, BB), pp. 1151–1161.
ICMLICML-2019-DaiYLJ
Bayesian Optimization Meets Bayesian Optimal Stopping (ZD, HY, BKHL, PJ), pp. 1496–1506.
ICMLICML-2019-DiakonikolasKK0 #named #probability #robust
Sever: A Robust Meta-Algorithm for Stochastic Optimization (ID, GK0, DK, JL0, JS, AS), pp. 1596–1606.
ICMLICML-2019-DingDGHY #approximate
Approximated Oracle Filter Pruning for Destructive CNN Width Optimization (XD, GD, YG, JH, CY), pp. 1607–1616.
ICMLICML-2019-DuH #linear #matter #network
Width Provably Matters in Optimization for Deep Linear Neural Networks (SSD, WH), pp. 1655–1664.
ICMLICML-2019-FercoqANC
Almost surely constrained convex optimization (OF, AA, IN, VC), pp. 1910–1919.
ICMLICML-2019-FuLTL #black box #generative #metric #named #network #speech
MetricGAN: Generative Adversarial Networks based Black-box Metric Scores Optimization for Speech Enhancement (SWF, CFL, YT0, SDL), pp. 2031–2041.
ICMLICML-2019-GhorbaniKX
An Investigation into Neural Net Optimization via Hessian Eigenvalue Density (BG, SK, YX), pp. 2232–2241.
ICMLICML-2019-Gong0L
Quantile Stein Variational Gradient Descent for Batch Bayesian Optimization (CG, JP0, QL0), pp. 2347–2356.
ICMLICML-2019-HaddadpourKMC #communication #distributed
Trading Redundancy for Communication: Speeding up Distributed SGD for Non-convex Optimization (FH, MMK, MM, VRC), pp. 2545–2554.
ICMLICML-2019-HorvathR
Nonconvex Variance Reduced Optimization with Arbitrary Sampling (SH, PR), pp. 2781–2789.
ICMLICML-2019-HuangCH #multi #performance #probability
Faster Stochastic Alternating Direction Method of Multipliers for Nonconvex Optimization (FH, SC, HH), pp. 2839–2848.
ICMLICML-2019-JiWZL #algorithm #analysis
Improved Zeroth-Order Variance Reduced Algorithms and Analysis for Nonconvex Optimization (KJ, ZW, YZ, YL), pp. 3100–3109.
ICMLICML-2019-Kajino #graph grammar
Molecular Hypergraph Grammar with Its Application to Molecular Optimization (HK), pp. 3183–3191.
ICMLICML-2019-KirschnerMHI0 #adaptation
Adaptive and Safe Bayesian Optimization in High Dimensions via One-Dimensional Subspaces (JK, MM, NH, RI, AK0), pp. 3429–3438.
ICMLICML-2019-KoloskovaSJ #algorithm #communication #distributed #probability
Decentralized Stochastic Optimization and Gossip Algorithms with Compressed Communication (AK, SUS, MJ), pp. 3478–3487.
ICMLICML-2019-KulunchakovM #probability #sequence
Estimate Sequences for Variance-Reduced Stochastic Composite Optimization (AK, JM), pp. 3541–3550.
ICMLICML-2019-LiakopoulosDPSM #constraints #online
Cautious Regret Minimization: Online Optimization with Long-Term Budget Constraints (NL, AD, GSP, TS, PM), pp. 3944–3952.
ICMLICML-2019-LuHW #convergence #higher-order #named
PA-GD: On the Convergence of Perturbed Alternating Gradient Descent to Second-Order Stationary Points for Structured Nonconvex Optimization (SL, MH, ZW), pp. 4134–4143.
ICMLICML-2019-MetelT #probability
Simple Stochastic Gradient Methods for Non-Smooth Non-Convex Regularized Optimization (MRM, AT), pp. 4537–4545.
ICMLICML-2019-MoonAS #black box #combinator #performance
Parsimonious Black-Box Adversarial Attacks via Efficient Combinatorial Optimization (SM, GA, HOS), pp. 4636–4645.
ICMLICML-2019-NayebiMP #embedded #framework
A Framework for Bayesian Optimization in Embedded Subspaces (AN, AM, MP), pp. 4752–4761.
ICMLICML-2019-NguyenSR #analysis #monte carlo
Non-Asymptotic Analysis of Fractional Langevin Monte Carlo for Non-Convex Optimization (THN, US, GR), pp. 4810–4819.
ICMLICML-2019-PanageasPW #algorithm #convergence #distributed #higher-order #multi
Multiplicative Weights Updates as a distributed constrained optimization algorithm: Convergence to second-order stationary points almost always (IP, GP, XW), pp. 4961–4969.
ICMLICML-2019-PapiniMLR #multi #policy
Optimistic Policy Optimization via Multiple Importance Sampling (MP, AMM, LL, MR), pp. 4989–4999.
ICMLICML-2019-PaulOW #learning #policy #robust
Fingerprint Policy Optimisation for Robust Reinforcement Learning (SP, MAO, SW), pp. 5082–5091.
ICMLICML-2019-RaghunathanCJ #game studies
Game Theoretic Optimization via Gradient-based Nikaido-Isoda Function (AUR, AC, DKJ), pp. 5291–5300.
ICMLICML-2019-RosenbergM #markov #online #process
Online Convex Optimization in Adversarial Markov Decision Processes (AR0, YM), pp. 5478–5486.
ICMLICML-2019-SantiagoS #multi
Multivariate Submodular Optimization (RS, FBS), pp. 5599–5609.
ICMLICML-2019-WuLZ #multi #reuse
Heterogeneous Model Reuse via Optimizing Multiparty Multiclass Margin (XZW, SL, ZHZ), pp. 6840–6849.
ICMLICML-2019-XuQLJY #convergence #probability
Stochastic Optimization for DC Functions and Non-smooth Non-convex Regularizers with Non-asymptotic Convergence (YX, QQ, QL, RJ, TY), pp. 6942–6951.
ICMLICML-2019-YuJ #communication #complexity #on the #parallel #probability
On the Computation and Communication Complexity of Parallel SGD with Dynamic Batch Sizes for Stochastic Non-Convex Optimization (HY, RJ), pp. 7174–7183.
ICMLICML-2019-YuJY #analysis #communication #distributed #linear #on the #performance
On the Linear Speedup Analysis of Communication Efficient Momentum SGD for Distributed Non-Convex Optimization (HY, RJ, SY), pp. 7184–7193.
ICMLICML-2019-YunZYLA #analysis #learning #statistics
Trimming the l₁ Regularizer: Statistical Analysis, Optimization, and Applications to Deep Learning (JY, PZ, EY, ACL, AYA), pp. 7242–7251.
ICMLICML-2019-Zhou0Y #probability
Stochastic Iterative Hard Thresholding for Graph-structured Sparsity Optimization (BZ, FC0, YY), pp. 7563–7573.
ICMLICML-2019-ZhouG #bound
Lower Bounds for Smooth Nonconvex Finite-Sum Optimization (DZ, QG), pp. 7574–7583.
ICMLICML-2019-ZhuangCO #learning #online #probability
Surrogate Losses for Online Learning of Stepsizes in Stochastic Non-Convex Optimization (ZZ, AC, FO), pp. 7664–7672.
KDDKDD-2019-AharonSSSTVD
Carousel Ads Optimization in Yahoo Gemini Native (MA, OS, AS, AS, BT, HV, DD), pp. 1993–2001.
KDDKDD-2019-AkibaSYOK #framework #named
Optuna: A Next-generation Hyperparameter Optimization Framework (TA, SS, TY, TO, MK), pp. 2623–2631.
KDDKDD-2019-Chen0 #data mining #machine learning #mining #order #robust
Recent Progress in Zeroth Order Optimization and Its Applications to Adversarial Robustness in Data Mining and Machine Learning (PYC, SL0), pp. 3233–3234.
KDDKDD-2019-ChenreddyPNCA #learning #named
SMOILE: A Shopper Marketing Optimization and Inverse Learning Engine (ARC, PP, SN, RC, RA), pp. 2934–2942.
KDDKDD-2019-DingGV #constraints
Whole Page Optimization with Global Constraints (WD, DG, SVNV), pp. 3153–3161.
KDDKDD-2019-EsfandiariWAR #learning #online
Optimizing Peer Learning in Online Groups with Affinities (ME, DW, SAY, SBR), pp. 1216–1226.
KDDKDD-2019-FuZCR #gpu #named #performance #robust #visualisation
AtSNE: Efficient and Robust Visualization on GPU through Hierarchical Optimization (CF, YZ, DC, XR), pp. 176–186.
KDDKDD-2019-GongZDLGSOZ #clique #recommendation
Exact-K Recommendation via Maximal Clique Optimization (YG, YZ, LD, QL, ZG, FS, WO, KQZ), pp. 617–626.
KDDKDD-2019-GuptaCY
Internal Promotion Optimization (RG, GC, SY), pp. 2358–2366.
KDDKDD-2019-LiYZBQL
Individualized Indicator for All: Stock-wise Technical Indicator Optimization with Stock Embedding (ZL, DY, LZ, JB0, TQ, TYL), pp. 894–902.
KDDKDD-2019-Rosales #ecosystem
Product Ecosystem Optimization at LinkedIn (RR), p. 3178.
KDDKDD-2019-TuM0P0 #named #network
AutoNE: Hyperparameter Optimization for Massive Network Embedding (KT, JM, PC0, JP, WZ0), pp. 216–225.
KDDKDD-2019-YangLWWTXG #multi
Bid Optimization by Multivariable Control in Display Advertising (XY, YL, HW, DW, QT, JX, KG), pp. 1966–1974.
KDDKDD-2019-ZhangLBMZ
Optimizing Impression Counts for Outdoor Advertising (YZ, YL, ZB, SM, PZ), pp. 1205–1215.
KDDKDD-2019-ZhouM0H #education #learning
Optimizing the Wisdom of the Crowd: Inference, Learning, and Teaching (YZ, FM, JG0, JH), pp. 3231–3232.
KDDKDD-2019-ZouZCW0 #policy #trust
Separated Trust Regions Policy Optimization Method (LZ, ZZ, YC, XW, WZ0), pp. 1471–1479.
OOPSLAOOPSLA-2019-BarikSRC #protocol
Optimization of swift protocols (RB, MS, MKR, MC), p. 27.
OOPSLAOOPSLA-2019-SharifSHKJSZAMA #compilation #information retrieval #named
ApproxHPVM: a portable compiler IR for accuracy-aware optimizations (HS, PS, MH, MK, KJ, YS, NZ, VSA, SM, SVA), p. 30.
PLDIPLDI-2019-AndersonPDC #abstraction #approach #network #robust
Optimization and abstraction: a synergistic approach for analyzing neural network robustness (GA, SP, ID, SC), pp. 731–744.
PLDIPLDI-2019-DathathriS0LLMM #compilation #named
CHET: an optimizing compiler for fully-homomorphic neural-network inferencing (RD, OS, HC0, KL, KEL, SM, MM, TM), pp. 142–156.
POPLPOPL-2019-SatoABGGH #approximate #convergence #higher-order #probability #reasoning #source code #verification
Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, Bayesian inference, and optimization (TS, AA0, GB, MG, DG0, JH), p. 30.
ICSE-2019-WangWSTCS0WZL #algebra #probability #source code
Global optimization of numerical programs via prioritized stochastic algebraic transformations (XW, HW, ZS, ET, XC, WS, ZC0, LW, XZ, XL), pp. 1131–1141.
ICSE-2019-YangYWLC #performance #web
View-centric performance optimization for database-backed web applications (JY, CY, CW, SL, AC), pp. 994–1004.
ASPLOSASPLOS-2019-JinH #memory management #named #network
Split-CNN: Splitting Window-based Operations in Convolutional Neural Networks for Memory System Optimization (TJ, SH), pp. 835–847.
ASPLOSASPLOS-2019-KungMZ #array #implementation #network #performance
Packing Sparse Convolutional Neural Networks for Efficient Systolic Array Implementations: Column Combining Under Joint Optimization (HTK, BM, SQZ), pp. 821–834.
CASECASE-2019-Barhebwa-Mushamuka #multi #scheduling #throughput
Multi-objective optimization for Work-In-Process balancing and throughput maximization in global fab scheduling (FBM, SDP, CY), pp. 697–702.
CASECASE-2019-CaoLHX #composition
Short-Term Load Forecasting Based on Variational Modal Decomposition and optimization Model (ZC, LL, BH, HX), pp. 121–126.
CASECASE-2019-ChengYG #energy
Energy Cost optimization in Two-Machine Bernoulli Serial Lines Under Time-of-Use Pricing (XC, CBY, FG), pp. 91–96.
CASECASE-2019-CunhaL #energy #realtime
Real-Time Path-Constrained Trajectory Tracking for Robot Manipulators with Energy Budget Optimization (DVC, FL), pp. 1327–1332.
CASECASE-2019-HovgardLB #energy #parametricity #simulation
Simulation Based Energy Optimization of Robot Stations by Motion Parameter Tuning (MH, BL, KB), pp. 456–461.
CASECASE-2019-KangJ #health #process #realtime #sequence
Joint Optimization of Operating Mode and Part Sequence for Robot Loading Process Considering Real-time Health Condition (YK, FJ), pp. 48–53.
CASECASE-2019-LiWXLGL #design #multi #robust
Conditional Value at Riskbased Multidisciplinary Robust Design Optimization (WL, TW, MX, ML, LG, CL), pp. 30–35.
CASECASE-2019-LuoLLWG #multi #problem #scheduling #using
Green Job Shop Scheduling Problem with Machine at Different Speeds using a multi-objective grey wolf optimization algorithm* (YL, CL, XL, LW, LG0), pp. 573–578.
CASECASE-2019-MaoDSK #network
Optimizing a UAV-based Emergency Medical Service Network for Trauma Injury Patients (RM, BD, DS, NK), pp. 721–726.
CASECASE-2019-MathesenYPF #adaptation #cyber-physical #nondeterminism #probability #quantifier #robust
Falsification of Cyber-Physical Systems with Robustness Uncertainty Quantification Through Stochastic optimization with Adaptive Restart (LM, SY, GP, GF), pp. 991–997.
CASECASE-2019-PangXHP #modelling #multi #using
optimizing outpatient Department Staffing Level using Multi-Fidelity Models (BP, XX, BH, YP), pp. 715–720.
CASECASE-2019-ShinLM #assembly #on the #parallel
On the Optimization Of Cycle Time in Assembly Lines with Parallel Workstations and Tasks Requiring Multiple Workers (JS, ML, JRM), pp. 916–921.
CASECASE-2019-SongLLSG #clustering #fault
A New Spectral Clustering Based on Particle Swarm Optimization for Unsupervised Fault Diagnosis of Bearings (WS, ML, XL, YS, LG0), pp. 386–391.
CASECASE-2019-Wu0Z #data-driven
Data-driven Manufacturing Service Optimization Model in Smart Factory (WW, JL0, HZ), pp. 362–367.
CASECASE-2019-Yan #energy #performance
Energy Consumption optimization in Two-Machine Bernoulli Serial Lines with Limits on Machine Efficiency (CBY), pp. 85–90.
CASECASE-2019-YanZ #energy
Energy Consumption Optimization in Three-Machine Bernoulli Serial Lines (CBY, ZZ), pp. 590–595.
CASECASE-2019-ZhangH #modelling #random
Enhancing Random Search with Surrogate Models for Lipschitz Continuous Optimization (QZ, JH), pp. 768–773.
CCCC-2019-LavaeeCD #interprocedural #layout #named
Codestitcher: inter-procedural basic block layout optimization (RL, JC, CD), pp. 65–75.
CGOCGO-2019-LiL0 #gpu #runtime
Accelerating GPU Computing at Runtime with Binary Optimization (GL, LL, XF0), pp. 276–277.
CGOCGO-2019-MururuGP #commit #execution #modelling
Quantifying and Reducing Execution Variance in STM via Model Driven Commit Optimization (GM, AG, SP), pp. 109–121.
CGOCGO-2019-QiaoRHT #approach #kernel #locality
From Loop Fusion to Kernel Fusion: A Domain-Specific Approach to Locality Optimization (BQ, OR, FH, JT), pp. 242–253.
CGOCGO-2019-TeixeiraAPG #named
Locus: A System and a Language for Program Optimization (TSFXT, CA, DAP, WG), pp. 217–228.
CGOCGO-2019-Varadarajan #interactive
Optimizing RNA-RNA Interaction Computations (SV), pp. 269–270.
CADECADE-2019-TrentinS #float #formal method
Optimization Modulo the Theory of Floating-Point Numbers (PT, RS), pp. 550–567.
CAVCAV-2019-AvniBCHKP #game studies #runtime
Run-Time Optimization for Learned Controllers Through Quantitative Games (GA, RB, KC, TAH, BK, SP), pp. 630–649.
CAVCAV-2019-BeckerDMT #compilation #named
Icing: Supporting Fast-Math Style Optimizations in a Verified Compiler (HB, ED, MOM, ZT), pp. 155–173.
CAVCAV-2019-LeeHL #named #verification
AliveInLean: A Verified LLVM Peephole Optimization Verifier (JL, CKH, NPL), pp. 445–455.
ICSMEICSME-2018-LebeufVHS #comprehension #debugging #design #distributed
Understanding, Debugging, and Optimizing Distributed Software Builds: A Design Study (CL, EV, KH, MADS), pp. 496–507.
SCAMSCAM-2018-DiarraMV #plugin #source code
[Engineering Paper] RECKA and RPromF: Two Frama-C Plug-ins for Optimizing Registers Usage in CUDA, OpenACC and OpenMP Programs (RD, AM, BV), pp. 187–192.
SCAMSCAM-2018-GueltonGBCDS #obfuscation #research
[Research Paper] Combining Obfuscation and Optimizations in the Real World (SG, AG, PB, JMMC, FD, NS), pp. 24–33.
SCAMSCAM-2018-KhatchadourianT #automation #java #refactoring
[Engineering Paper] A Tool for Optimizing Java 8 Stream Software via Automated Refactoring (RK, YT, MB, SA), pp. 34–39.
FMFM-2018-BeckerPDT #analysis #float #tool support
Combining Tools for Optimization and Analysis of Floating-Point Computations (HB, PP, ED, ZT), pp. 355–363.
ICFP-2018-OhoriUM #compilation #morphism #polymorphism
Finitary polymorphism for optimizing type-directed compilation (AO, KU, HM), p. 29.
CoGCIG-2018-DubeyGLL #multi #realtime
Evolutionary Multi-objective Optimization of Real-Time Strategy Micro (RD, JG, SJL, SL0), pp. 1–8.
CoGVS-Games-2018-TregelMGS #game studies
Where's Pikachu: Route Optimization in Location-Based Games (TT, PM0, SG0, RS), pp. 1–8.
CIKMCIKM-2018-ChuLXPLR0Z #e-commerce #graph #ranking
Deep Graph Embedding for Ranking Optimization in E-commerce (CC, ZL, BX, FP, CL, RR, QL0, JZ), pp. 2007–2015.
CIKMCIKM-2018-DingLX0S #machine learning #realtime
Optimizing Boiler Control in Real-Time with Machine Learning for Sustainability (YD, JL, JX, MJ0, YS), pp. 2147–2154.
CIKMCIKM-2018-LiangYTLYXZ #linear #modelling
Optimizing Generalized Linear Models with Billions of Variables (YL, YY, MT, CL, WY, WX, RZ), pp. 2155–2163.
CIKMCIKM-2018-RajpalP #consistency #nondeterminism #sorting
Holistic Crowd-Powered Sorting via AID: Optimizing for Accuracies, Inconsistencies, and Difficulties (SR, AGP), pp. 1607–1610.
CIKMCIKM-2018-WangLGBN #framework #metric #ranking
The LambdaLoss Framework for Ranking Metric Optimization (XW, CL0, NG, MB, MN), pp. 1313–1322.
ECIRECIR-2018-MeladianosXNV #approach #detection #summary #twitter
An Optimization Approach for Sub-event Detection and Summarization in Twitter (PM, CX, GN, MV), pp. 481–493.
ICMLICML-2018-0001KS #named #probability
Shampoo: Preconditioned Stochastic Tensor Optimization (VG0, TK, YS), pp. 1837–1845.
ICMLICML-2018-0004K #finite #infinity #lightweight #probability
Lightweight Stochastic Optimization for Minimizing Finite Sums with Infinite Data (SZ0, JTYK), pp. 5927–5935.
ICMLICML-2018-AlaaS18a #automation #kernel #learning #modelling #named
AutoPrognosis: Automated Clinical Prognostic Modeling via Bayesian Optimization with Structured Kernel Learning (AMA, MvdS), pp. 139–148.
ICMLICML-2018-Alabdulmohsin #empirical #scalability
Information Theoretic Guarantees for Empirical Risk Minimization with Applications to Model Selection and Large-Scale Optimization (IMA), pp. 149–158.
ICMLICML-2018-Allen-Zhu #probability
Katyusha X: Practical Momentum Method for Stochastic Sum-of-Nonconvex Optimization (ZAZ), pp. 179–185.
ICMLICML-2018-AroraCH #network #on the
On the Optimization of Deep Networks: Implicit Acceleration by Overparameterization (SA, NC, EH), pp. 244–253.
ICMLICML-2018-BamlerM #modelling #symmetry
Improving Optimization in Models With Continuous Symmetry Breaking (RB, SM), pp. 432–441.
ICMLICML-2018-BaptistaP #combinator
Bayesian Optimization of Combinatorial Structures (RB, MP), pp. 471–480.
ICMLICML-2018-BaqueRFF
Geodesic Convolutional Shape Optimization (PB, ER, FF, PF), pp. 481–490.
ICMLICML-2018-BernsteinWAA #named #problem
SIGNSGD: Compressed Optimisation for Non-Convex Problems (JB, YXW, KA, AA), pp. 559–568.
ICMLICML-2018-BojanowskiJLS #generative #network
Optimizing the Latent Space of Generative Networks (PB, AJ, DLP, AS), pp. 599–608.
ICMLICML-2018-ChenHHK #online #probability
Projection-Free Online Optimization with Stochastic Gradient: From Convexity to Submodularity (LC0, CH, HH, AK), pp. 813–822.
ICMLICML-2018-ChenXW0G #estimation #matrix #precise
Covariate Adjusted Precision Matrix Estimation via Nonconvex Optimization (JC, PX0, LW, JM0, QG), pp. 921–930.
ICMLICML-2018-ChoromanskiRSTW #architecture #evolution #policy #scalability
Structured Evolution with Compact Architectures for Scalable Policy Optimization (KC, MR, VS, RET, AW), pp. 969–977.
ICMLICML-2018-DouikH #clustering #graph #matrix #probability #rank
Low-Rank Riemannian Optimization on Positive Semidefinite Stochastic Matrices with Applications to Graph Clustering (AD, BH), pp. 1298–1307.
ICMLICML-2018-FalknerKH #named #performance #robust #scalability
BOHB: Robust and Efficient Hyperparameter Optimization at Scale (SF, AK, FH), pp. 1436–1445.
ICMLICML-2018-FranceschiFSGP #programming
Bilevel Programming for Hyperparameter Optimization and Meta-Learning (LF, PF, SS, RG, MP), pp. 1563–1572.
ICMLICML-2018-GaoCL #named #network
Spotlight: Optimizing Device Placement for Training Deep Neural Networks (YG, LC0, BL), pp. 1662–1670.
ICMLICML-2018-GunasekarLSS #bias #geometry
Characterizing Implicit Bias in Terms of Optimization Geometry (SG, JDL, DS, NS), pp. 1827–1836.
ICMLICML-2018-HammN #learning #performance
K-Beam Minimax: Efficient Optimization for Deep Adversarial Learning (JH, YKN), pp. 1876–1884.
ICMLICML-2018-HongRL #algorithm #distributed #higher-order #network
Gradient Primal-Dual Algorithm Converges to Second-Order Stationary Solution for Nonconvex Distributed Optimization Over Networks (MH, MR, JDL), pp. 2014–2023.
ICMLICML-2018-ItoYF #estimation #predict
Unbiased Objective Estimation in Predictive Optimization (SI, AY, RF), pp. 2181–2190.
ICMLICML-2018-JainJ
Firing Bandits: Optimizing Crowdfunding (LJ, KGJ), pp. 2211–2219.
ICMLICML-2018-KangJF #policy
Policy Optimization with Demonstrations (BK, ZJ, JF), pp. 2474–2483.
ICMLICML-2018-KhamaruW #convergence #problem
Convergence guarantees for a class of non-convex and non-smooth optimization problems (KK, MJW), pp. 2606–2615.
ICMLICML-2018-KomiyamaTHS #constraints
Nonconvex Optimization for Regression with Fairness Constraints (JK, AT, JH, HS), pp. 2742–2751.
ICMLICML-2018-LinMY
Level-Set Methods for Finite-Sum Constrained Convex Optimization (QL, RM, TY), pp. 3118–3127.
ICMLICML-2018-LuGDL
Structured Variationally Auto-encoded Optimization (XL, JG, ZD, NDL), pp. 3273–3281.
ICMLICML-2018-Lyu0YZ0 #automation #design #multi
Batch Bayesian Optimization via Multi-objective Acquisition Ensemble for Automated Analog Circuit Design (WL, FY0, CY, DZ, XZ0), pp. 3312–3320.
ICMLICML-2018-MaXM #approximate #message passing
Approximate message passing for amplitude based optimization (JM0, JX, AM), pp. 3371–3380.
ICMLICML-2018-McLeodRO #performance
Optimization, Fast and Slow: Optimally Switching between Local and Bayesian Optimization (MM, SJR, MAO), pp. 3440–3449.
ICMLICML-2018-Nguyen0
Optimization Landscape and Expressivity of Deep CNNs (QN0, MH0), pp. 3727–3736.
ICMLICML-2018-OhGW #kernel
BOCK : Bayesian Optimization with Cylindrical Kernels (CO, EG, MW), pp. 3865–3874.
ICMLICML-2018-RuMGO #performance
Fast Information-theoretic Bayesian Optimisation (BXR, MM, DG, MAO), pp. 4381–4389.
ICMLICML-2018-Scarlett #bound
Tight Regret Bounds for Bayesian Optimization in One Dimension (JS), pp. 4507–4515.
ICMLICML-2018-SenKS #black box #multi
Multi-Fidelity Black-Box Optimization with Hierarchical Partitions (RS, KK, SS), pp. 4545–4554.
ICMLICML-2018-SimsekliYNCR #probability
Asynchronous Stochastic Quasi-Newton MCMC for Non-Convex Optimization (US, CY, THN, ATC, GR), pp. 4681–4690.
ICMLICML-2018-SuiZBY #process
Stagewise Safe Bayesian Optimization with Gaussian Processes (YS, VZ, JWB, YY), pp. 4788–4796.
ICMLICML-2018-SunTLZ #adaptation #visual notation
Graphical Nonconvex Optimization via an Adaptive Convex Relaxation (QS, KMT, HL0, TZ0), pp. 4817–4824.
ICMLICML-2018-VogelBC #learning #probability #similarity
A Probabilistic Theory of Supervised Similarity Learning for Pointwise ROC Curve Optimization (RV, AB, SC), pp. 5062–5071.
ICMLICML-2018-Wu0H0 #distributed #fault #scalability
Error Compensated Quantized SGD and its Applications to Large-scale Distributed Optimization (JW, WH0, JH, TZ0), pp. 5321–5329.
ICMLICML-2018-ZhangCLC #policy
Policy Optimization as Wasserstein Gradient Flows (RZ, CC, CL, LC), pp. 5741–5750.
ICMLICML-2018-ZhouF #comprehension #performance
Understanding Generalization and Optimization Performance of Deep CNNs (PZ, JF), pp. 5955–5964.
ICMLICML-2018-ZhouMBGYLF #bound #distributed #how #question
Distributed Asynchronous Optimization with Unbounded Delays: How Slow Can You Go? (ZZ, PM, NB, PWG, YY, LJL, LFF0), pp. 5965–5974.
ICPRICPR-2018-HanselmannN #invariant #recognition
Optimizing Energies for Pose-Invariant Face Recognition (HH, HN), pp. 3463–3468.
ICPRICPR-2018-LiuH0 #online #using
Online Temporal Calibration of Camera and IMU using Nonlinear Optimization (JL, ZH, WG0), pp. 1761–1766.
ICPRICPR-2018-LiuLKDYZYJY #classification #collaboration #framework #representation
A joint optimization framework of low-dimensional projection and collaborative representation for discriminative classification (XL0, ZL, LK, ZD, JY, YZ, CY0, PJ, JY), pp. 1493–1498.
ICPRICPR-2018-PanNZ #matrix #orthogonal
Structured Convex Optimization Method for Orthogonal Nonnegative Matrix Factorization (JP, MKN, XZ), pp. 459–464.
ICPRICPR-2018-Windeatt #analysis #classification #using
Optimising Ensemble of Two-Class classifiers using Spectral Analysis (TW), pp. 710–715.
KDDKDD-2018-0022PYT #algorithm #effectiveness #network
Network Connectivity Optimization: Fundamental Limits and Effective Algorithms (CC0, RP, LY, HT), pp. 1167–1176.
KDDKDD-2018-BateniEM #distributed #sketching
Optimal Distributed Submodular Optimization via Sketching (MB, HE, VSM), pp. 1138–1147.
KDDKDD-2018-ChenCYY #scalability
Scalable Optimization for Embedding Highly-Dynamic and Recency-Sensitive Data (XC, PC0, LY, SY), pp. 130–138.
KDDKDD-2018-GaoGYSTXWYRMC #realtime
Near Real-time Optimization of Activity-based Notifications (YG, VG, JY, CS, ZT, PJX, CW, SY, RR, AM, SC), pp. 283–292.
KDDKDD-2018-HauserEM
PCA by Determinant Optimisation has no Spurious Local Optima (RAH, AE, HFM), pp. 1504–1511.
KDDKDD-2018-JauvionGSGG #using
Optimization of a SSP's Header Bidding Strategy using Thompson Sampling (GJ, NG, PDS, AG, SG), pp. 425–432.
KDDKDD-2018-KochGGWGX #framework #named
Autotune: A Derivative-free Optimization Framework for Hyperparameter Tuning (PK, OG, SG, BW, JG, YX), pp. 443–452.
KDDKDD-2018-Pouget-AbadieMP #clustering #random
Optimizing Cluster-based Randomized Experiments under Monotonicity (JPA, VSM, DCP, EMA), pp. 2090–2099.
KDDKDD-2018-SiddiquiFDWTA #online
Feedback-Guided Anomaly Discovery via Online Optimization (MAS, AF, TGD, RW, AT, DWA), pp. 2200–2209.
KDDKDD-2018-ZhaoNOE
Notification Volume Control and Optimization System at Pinterest (BZ, KN, BO, JE), pp. 1012–1020.
ECMFAECMFA-2018-Cuadrado #ocl
Optimising OCL Synthesized Code (JSC), pp. 28–45.
ECOOPECOOP-2018-QunaibitBNVF #dynamic typing #platform #using
Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization (MQ, SB, YN, SV, MF), p. 29.
OOPSLAOOPSLA-2018-LeeHJLRL #low level
Reconciling high-level optimizations and low-level code in LLVM (JL, CKH, RJ0, ZL, JR, NPL), p. 28.
PADLPADL-2018-CalimeriFPZ #composition #heuristic #set
Optimizing Answer Set Computation via Heuristic-Based Decomposition (FC, DF, SP, JZ), pp. 135–151.
PLDIPLDI-2018-HongSKRKPRS #analysis #gpu #kernel #using
GPU code optimization using abstract kernel emulation and sensitivity analysis (CH, ASR, JK, PSR, SK, LNP, FR, PS), pp. 736–751.
POPLPOPL-2018-FluckigerSYGAV #correctness
Correctness of speculative optimizations with dynamic deoptimization (OF, GS, MHY, AG, AA, JV), p. 28.
PPDPPPDP-2018-SakanashiS #combinator #constraints #problem #sql
Transformation of Combinatorial Optimization Problems Written in Extended SQL into Constraint Problems (GS, MS), p. 13.
ESEC-FSEESEC-FSE-2018-CaninoLM #energy #mobile #probability
Stochastic energy optimization for mobile GPS applications (AC, YDL, HM), pp. 703–713.
ESEC-FSEESEC-FSE-2018-ChenLZZWH0 #analysis
Optimizing test prioritization via test distribution analysis (JC0, YL, LZ, JZ, XW, DH, LZ0), pp. 656–667.
ESEC-FSEESEC-FSE-2018-LiangJCWZS #fuzzing #industrial #named #parallel
PAFL: extend fuzzing optimizations of single mode to industrial parallel mode (JL, YJ0, YC, MW, CZ, JS), pp. 809–814.
ICSE-2018-ChenCXWCLX #named #performance
Speedoo: prioritizing performance optimization opportunities (ZC, BC0, LX0, XW, LC0, YL0, BX), pp. 811–821.
ICSE-2018-XueL #feature model #integer #multi #problem #programming
Multi-objective integer programming approaches for solving optimal feature selection problem: a new perspective on multi-objective optimization problems in SBSE (YX, YFL), pp. 1231–1242.
GPCEGPCE-2018-SusungiRCCT #metaprogramming
Meta-programming for cross-domain tensor optimizations (AS, NAR, AC, JC, CT), pp. 79–92.
ASPLOSASPLOS-2018-MaLKSN0WWL0 #named
NEOFog: Nonvolatility-Exploiting Optimizations for Fog Computing (KM, XL, MTK, JS, VN, JL0, TW, ZW, YL, YX0), pp. 782–796.
CASECASE-2018-AssadRAAH #approach #energy
An Approach of Optimising S-curve Trajectory for a Better Energy Consumption (FA, ER, MHA, BA, RH), pp. 98–103.
CASECASE-2018-CheonKKKC #design #fuzzy #using
Systematic Design Method of Controller using Discrete Fuzzy PI Control and Particle Swarm Optimization (JC, JK, HK, SK, YC), pp. 1581–1586.
CASECASE-2018-FrancoAGABB #approach #deployment #probability #using
Strategic territorial deployment of hospital pharmacy robots using a stochastic p-robust optimization approach (CF, VA, TG, EAL, MB, HB), pp. 390–395.
CASECASE-2018-HagebringL #composition
Compositional Optimization of Discrete Event Systems (FH, BL), pp. 849–856.
CASECASE-2018-LiuCXLT #design #novel
Design and Optimization of a Novel Swirling Sucker for Underwater Wall-Climbing Robots (XL, RC, ZX, YL, JT), pp. 1000–1005.
CASECASE-2018-LuZH #assembly #delivery #problem
Optimization of Material Delivery Problem for Aircraft Moving Assembly Line (ZL, HZ, XH), pp. 926–930.
CASECASE-2018-SarkaleNCEM #markov #process #simulation
Solving Markov decision processes for network-level post-hazard recovery via simulation optimization and rollout (YS, SN, EKPC, BRE, HM), pp. 906–912.
CASECASE-2018-WuJX #coordination #distributed #energy #on the #physics
On Distributed Optimization for Supply Demand Coordination in Cyber Physical Energy Systems (JW, QSJ, ZX), pp. 553–558.
CASECASE-2018-XuL #algorithm #clustering
A New Particle Swarm Optimization Algorithm for Clustering (XX, JL), pp. 768–773.
CASECASE-2018-YanCGG #energy
Energy Consumption Optimization in Two-Machine Bernoulli Serial Lines (CBY, XC, FG, XG), pp. 1302–1307.
CASECASE-2018-ZhangLFG #nondeterminism
Chiller Plant Operation Optimization with Input and Model Uncertainties (DZ, PBL, JF, SG), pp. 8–13.
CASECASE-2018-ZhangZG #case study #multi #problem
Multiobjective Optimization Approaches to Airline Crew Rostering Problems: A Case Study (ZZ, MZ, SG), pp. 750–755.
CASECASE-2018-ZouOHVC #automation #design #parametricity
Design Parameter Optimization of Automated Production Systems (MZ, FO, EH, BVH, CHC), pp. 359–364.
CCCC-2018-Barany #compilation #difference #testing
Finding missed compiler optimizations by differential testing (GB), pp. 82–92.
CGOCGO-2018-LeopoldsederSWE #compilation #simulation
Dominance-based duplication simulation (DBDS): code duplication to enable compiler optimizations (DL, LS, TW, JE, DS, HM), pp. 126–137.
CGOCGO-2018-RosaRB #virtual machine
Analyzing and optimizing task granularity on the JVM (AR, ER, WB), pp. 27–37.
ESOPESOP-2018-DoddsBG #compilation #composition #memory management #verification
Compositional Verification of Compiler Optimisations on Relaxed Memory (MD, MB, AG), pp. 1027–1055.
FASEFASE-2018-LandsbergSK #fault #locality #source code #specification #using
Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications (DL, YS, DK), pp. 246–263.
ICSMEICSME-2017-Shi #algorithm #constraints #theorem proving
Combining Evolutionary Algorithms with Constraint Solving for Configuration Optimization (KS), pp. 665–669.
SANERSANER-2017-HeLWW #adaptation #framework #search-based #self
Self-adaptive systems framework based on agent and search-based optimization (LH, QL, LW, JW), pp. 557–558.
ICFP-2017-Mainland #compilation #protocol #semantics
Better living through operational semantics: an optimizing compiler for radio protocols (GM), p. 26.
CoGCIG-2017-LeeY #game studies #mobile
Optimizing game live service for mobile free-to-play games (SKL, SIY), pp. 189–190.
CoGVS-Games-2017-BugejaSB
Telemetry-based optimisation for user training in racing simulators (KB, SS, FB), pp. 31–38.
CIKMCIKM-2017-GuptaLR #email
Optimizing Email Volume For Sitewide Engagement (RG, GL, RR), pp. 1947–1955.
CIKMCIKM-2017-VuCKTXYYZ #data-driven #energy
Data Driven Chiller Plant Energy Optimization with Domain Knowledge (HDV, KSC, BK, NT, BX, KY, XY, ZZ), pp. 1309–1317.
CIKMCIKM-2017-WuWHS #recommendation
Returning is Believing: Optimizing Long-term User Engagement in Recommender Systems (QW, HW, LH, YS), pp. 1927–1936.
ICMLICML-2017-0002TLFYG #adaptation #distributed
Adaptive Consensus ADMM for Distributed Optimization (ZX0, GT, HL0, MATF, XY, TG), pp. 3841–3850.
ICMLICML-2017-AchiamHTA #policy
Constrained Policy Optimization (JA, DH, AT, PA), pp. 22–31.
ICMLICML-2017-AkrourS0N
Local Bayesian Optimization of Motor Skills (RA, DS, JP0, GN), pp. 41–50.
ICMLICML-2017-Allen-Zhu #named #parametricity #performance #probability
Natasha: Faster Non-Convex Stochastic Optimization via Strongly Non-Convex Parameter (ZAZ), pp. 89–97.
ICMLICML-2017-AmosK #named #network
OptNet: Differentiable Optimization as a Layer in Neural Networks (BA, JZK), pp. 136–145.
ICMLICML-2017-BarmannPS #learning #online
Emulating the Expert: Inverse Optimization through Online Learning (AB, SP, OS), pp. 400–410.
ICMLICML-2017-BotevRB #learning
Practical Gauss-Newton Optimisation for Deep Learning (AB, HR, DB), pp. 557–565.
ICMLICML-2017-Busa-FeketeSWM #multi
Multi-objective Bandits: Optimizing the Generalized Gini Index (RBF, BS, PW, SM), pp. 625–634.
ICMLICML-2017-CalandrielloLV #adaptation #higher-order #kernel #online #sketching
Second-Order Kernel Online Convex Optimization with Adaptive Sketching (DC, AL, MV), pp. 645–653.
ICMLICML-2017-ChenGWWYY #np-hard
Strong NP-Hardness for Sparse Optimization with Concave Penalty Functions (YC, DG, MW, ZW, YY, HY), pp. 740–747.
ICMLICML-2017-ChenYLZ #online #performance #scalability
Online Partial Least Square Optimization: Dropping Convexity for Better Efficiency and Scalability (ZC, LFY, CJL, TZ), pp. 777–786.
ICMLICML-2017-DaxbergerL #distributed #process
Distributed Batch Gaussian Process Optimization (EAD, BKHL), pp. 951–960.
ICMLICML-2017-FranceschiDFP
Forward and Reverse Gradient-Based Hyperparameter Optimization (LF, MD, PF, MP), pp. 1165–1173.
ICMLICML-2017-GonzalezDDL
Preferential Bayesian Optimization (JG, ZD, ACD, NDL), pp. 1282–1291.
ICMLICML-2017-HongHZ #algorithm #distributed #learning #named #network #performance
Prox-PDA: The Proximal Primal-Dual Algorithm for Fast Distributed Nonconvex Optimization and Learning Over Networks (MH, DH, MMZ), pp. 1529–1538.
ICMLICML-2017-HornakovaLA #analysis #graph #multi
Analysis and Optimization of Graph Decompositions by Lifted Multicuts (AH, JHL, BA), pp. 1539–1548.
ICMLICML-2017-JenattonAGS #dependence
Bayesian Optimization with Tree-structured Dependencies (RJ, CA, JG, MWS), pp. 1655–1664.
ICMLICML-2017-KandasamyDSP #approximate #multi
Multi-fidelity Bayesian Optimisation with Continuous Approximations (KK, GD, JGS, BP), pp. 1799–1808.
ICMLICML-2017-KhannaEDGN #approximate #on the #rank
On Approximation Guarantees for Greedy Low Rank Optimization (RK, ERE, AGD, JG, SNN), pp. 1837–1846.
ICMLICML-2017-KohlerL #polynomial
Sub-sampled Cubic Regularization for Non-convex Optimization (JMK, AL), pp. 1895–1904.
ICMLICML-2017-LiZLV #analysis #convergence
Convergence Analysis of Proximal Gradient with Momentum for Nonconvex Optimization (QL, YZ, YL, PKV), pp. 2111–2119.
ICMLICML-2017-MalherbeV
Global optimization of Lipschitz functions (CM, NV), pp. 2314–2323.
ICMLICML-2017-MirhoseiniPLSLZ #learning
Device Placement Optimization with Reinforcement Learning (AM, HP, QVL, BS, RL0, YZ, NK, MN0, SB, JD), pp. 2430–2439.
ICMLICML-2017-NamkoongSYD #adaptation
Adaptive Sampling Probabilities for Non-Smooth Optimization (HN, AS, SY, JCD), pp. 2574–2583.
ICMLICML-2017-RanaL0NV #process
High Dimensional Bayesian Optimization with Elastic Gaussian Process (SR, CL0, SG0, VN0, SV), pp. 2883–2891.
ICMLICML-2017-ScamanBBLM #algorithm #distributed #network
Optimal Algorithms for Smooth and Strongly Convex Distributed Optimization in Networks (KS, FRB, SB, YTL, LM), pp. 3027–3036.
ICMLICML-2017-ShenLYM #algorithm #multi #named
GSOS: Gauss-Seidel Operator Splitting Algorithm for Multi-Term Nonsmooth Convex Composite Optimization (LS, WL0, GY, SM), pp. 3125–3134.
ICMLICML-2017-WangGM #sketching #statistics
Sketched Ridge Regression: Optimization Perspective, Statistical Perspective, and Model Averaging (SW, AG, MWM), pp. 3608–3616.
ICMLICML-2017-WangJ #performance
Max-value Entropy Search for Efficient Bayesian Optimization (ZW, SJ), pp. 3627–3635.
ICMLICML-2017-WangLJK #kernel #learning
Batched High-dimensional Bayesian Optimization via Structural Kernel Learning (ZW, CL, SJ, PK), pp. 3656–3664.
ICMLICML-2017-XuLY #convergence #performance #probability
Stochastic Convex Optimization: Faster Local Growth Implies Faster Global Convergence (YX, QL, TY), pp. 3821–3830.
ICMLICML-2017-YangL0
A Richer Theory of Convex Constrained Optimization with Reduced Projections and Improved Rates (TY, QL, LZ0), pp. 3901–3910.
KDDKDD-2017-ChahuaraGJR #realtime #web
Real-Time Optimization of Web Publisher RTB Revenues (PC, NG, GJ, JMR), pp. 1743–1751.
KDDKDD-2017-ChenG #performance
Fast Newton Hard Thresholding Pursuit for Sparsity Constrained Nonconvex Optimization (JC, QG), pp. 757–766.
KDDKDD-2017-GolovinSMKKS #black box
Google Vizier: A Service for Black-Box Optimization (DG, BS, SM, GK, JK, DS), pp. 1487–1495.
KDDKDD-2017-HillNLIV #algorithm #multi #performance #realtime
An Efficient Bandit Algorithm for Realtime Multivariate Optimization (DNH, HN, YL0, AI, SVNV), pp. 1813–1821.
KDDKDD-2017-ItoF #predict
Optimization Beyond Prediction: Prescriptive Price Optimization (SI, RF), pp. 1833–1841.
KDDKDD-2017-RistovskiGHT #integration #machine learning #simulation
Dispatch with Confidence: Integration of Machine Learning, Optimization and Simulation for Open Pit Mines (KR, CG0, KH, HKT), pp. 1981–1989.
KDDKDD-2017-Xu0TTL #distance #higher-order #named #rating #recommendation
HoORaYs: High-order Optimization of Rating Distance for Recommender Systems (JX0, YY0, HT, XT, JL0), pp. 525–534.
KDDKDD-2017-ZhangHMWZFGY #combinator #modelling #order
A Taxi Order Dispatch Model based On Combinatorial Optimization (LZ, TH, YM, GW, JZ, PF, PG, JY), pp. 2151–2159.
PLDIPLDI-2017-LifflanderK #locality #recursion #source code
Cache locality optimization for recursive programs (JL, SK), pp. 1–16.
PLDIPLDI-2017-MenendezN #data-driven #named
Alive-Infer: data-driven precondition inference for peephole optimizations in LLVM (DM, SN), pp. 49–63.
POPLPOPL-2017-ScullyC #automation #database
A program optimization for automatic database result caching (ZS, AC), pp. 271–284.
QAPLQAPL-2017-LatellaM #coordination #design
Design and Optimisation of the FlyFast Front-end for Attribute-based Coordination (DL, MM), pp. 92–110.
ASEASE-2017-WangZJS0S #reachability #static analysis
A static analysis tool with optimizations for reachability determination (YW, MZ0, YJ0, XS, MG0, JS), pp. 925–930.
ESEC-FSEESEC-FSE-2017-GarbervetskyP0M #big data #query #static analysis
Static analysis for optimizing big data queries (DG, ZP, MB0, MM, TM, EZ), pp. 932–937.
ESEC-FSEESEC-FSE-2017-Schuler #development #evolution #mobile #re-engineering #search-based #testing
Application of search-based software engineering methodologies for test suite optimization and evolution in mission critical mobile application development (AS), pp. 1034–1037.
ESEC-FSEESEC-FSE-2017-Tang #design #performance
System performance optimization via design and configuration space exploration (CT0), pp. 1046–1049.
ICSE-2017-LiuSSJGS #obfuscation #probability
Stochastic optimization of program obfuscation (HL0, CS, ZS, YJ0, MG0, JS), pp. 221–231.
ICSE-2017-ShiTLBC #testing
Optimizing test placement for module-level regression testing (AS, ST, SKL, NB, JC), pp. 689–699.
GPCEGPCE-2017-ParreauxSK #approach #staged
Quoted staged rewriting: a practical approach to library-defined optimizations (LP, AS, CEK), pp. 131–145.
GPCEGPCE-2017-SusungiRCHCTSF #composition #generative #towards
Towards compositional and generative tensor optimizations (AS, NAR, JC, IH, AC, CT, JS, JF), pp. 169–175.
ASPLOSASPLOS-2017-AjaySRZX #3d #analysis #energy #named
3DGates: An Instruction-Level Energy Analysis and Optimization of 3D Printers (JA, CS0, ASR, CZ, WX), pp. 419–433.
ASPLOSASPLOS-2017-KhazraeeZVT #named
Moonwalk: NRE Optimization in ASIC Clouds (MK, LZ, LV, MBT), pp. 511–526.
ASPLOSASPLOS-2017-RajbhandariHRCC #multi #performance #scalability
Optimizing CNNs on Multicores for Scalability, Performance and Goodput (SR, YH, OR, MC, TMC), pp. 267–280.
CASECASE-2017-0004SWPL #data-driven #industrial #predict
Data-based predictive optimization for by product gas system in steel industry (JZ0, CS, WW0, WP, QL), p. 87.
CASECASE-2017-0013YG #graph #image #using
Accurate image mosaicing for bridge deck using graph optimization with GPS data (FL0, JY, NG), pp. 1090–1095.
CASECASE-2017-HeLG #graph
Optimization of deterministic timed weighted marked graphs (ZH, ZL, AG), pp. 956–957.
CASECASE-2017-JiangJG #predict
Optimization of sensor location for improving wind power prediction accuracy (ZJ, QSJ, XG), pp. 1220–1225.
CASECASE-2017-LiLTL #energy #integration #parametricity #process
Integration of process planning and cutting parameter optimization for energy-aware CNC machining (LL, CL, YT, LL), pp. 263–268.
CASECASE-2017-LiuJZ #metric #network
An evacuation guider location optimization method based on road network centrality measures (ZL, QSJ, HZ), pp. 838–843.
CASECASE-2017-LiZCPJW #3d #algorithm
3D laser scanner calibration method based on invasive weed optimization and Levenberg-Marquardt algorithm (YL, WZ, JC, JP, BJ, LW), pp. 1280–1285.
CASECASE-2017-LongTJ #multi #nondeterminism
Multi-scale event-based optimization for matching uncertain wind supply with EV charging demand (TL, JXT, QSJ), pp. 847–852.
CASECASE-2017-LyuSDLL17a
Tool path interpolation and redundancy optimization of manipulator (HL, XS, DD, JL, ZL), pp. 770–775.
CASECASE-2017-NieGYG #energy #multi
Realizability guaranteed multi-timescale optimization decision for home energy management (ZN, FG, CBY, XG), pp. 875–881.
CASECASE-2017-PengHXC #approach #coordination #information management
An optimization approach for team coordination through information sharing (YP, EH, JX, CHC), pp. 282–287.
CASECASE-2017-QiaoYXXCGC #energy #social #towards
Energy trading between microgrids towards individual cost and social welfare optimization (ZQ, BY0, QX, FX, CC, XG, BC), pp. 1243–1248.
CASECASE-2017-RiaziWBL #bound #energy
Energy and peak-power optimization of time-bounded robot trajectories (SR, OW, KB, BL), p. 1301.
CASECASE-2017-TuncaliYPF #automation #functional #generative #testing
Functional gradient descent optimization for automatic test case generation for vehicle controllers (CET, SY, TPP, GEF), pp. 1059–1064.
CASECASE-2017-WangLJ #algorithm
A memetic algorithm for optimization of combination chemotherapy with dose adjustment (PW, RL0, ZJ), pp. 207–212.
CASECASE-2017-WangLZH #approach #design
A design approach for event-driven optimization in complex air conditioning systems (JW, SL, PZ, GH), pp. 912–917.
CASECASE-2017-WigstromMRL #energy #multi #performance
Computationally efficient energy optimization of multiple robots (OW, NM, SR, BL), pp. 515–522.
CASECASE-2017-YuDZH #communication #distributed #resource management
Distributed resource allocation optimization with discrete-time communication and application to economic dispatch in power systems (WY, ZD, HZ, YH), pp. 1226–1231.
CASECASE-2017-ZhouGJW #capacity
Public hospital inpatient rooms configuration and capacity allocation optimization considering equity (LZ, NG, ZJ, XW), pp. 9–14.
CCCC-2017-BeaugnonPPPC
Optimization space pruning without regrets (UB, AP, MP, JAP, AC), pp. 34–44.
CCCC-2017-PopovCJS #php
Static optimization in PHP 7 (NP, BC, BHHJ, DS), pp. 65–75.
CGOCGO-2017-DoerfertGH
Optimistic loop optimization (JD, TG, SH), pp. 292–304.
CGOCGO-2017-MitraGMB #approximate
Phase-aware optimization in approximate computing (SM, MKG, SM, SB), pp. 185–196.
CGOCGO-2017-OttoniM #scalability
Optimizing function placement for large-scale data-center applications (GO, BM), pp. 233–244.
CGOCGO-2017-SathyanathanHT #compilation #incremental
Incremental whole program optimization and compilation (PWS, WH, THT), pp. 221–232.
FASEFASE-2017-LeblebiciAS #consistency #graph grammar #linear #using
Inter-model Consistency Checking Using Triple Graph Grammars and Linear Optimization Techniques (EL, AA, AS), pp. 191–207.
ICSTICST-2017-MarijanLGSI #configuration management #named #testing
TITAN: Test Suite Optimization for Highly Configurable Software (DM, ML, AG, SS, CI), pp. 524–531.
ICSTICST-2017-PradhanWAYL #algorithm #clustering #multi #named #search-based
CBGA-ES: A Cluster-Based Genetic Algorithm with Elitist Selection for Supporting Multi-Objective Test Optimization (DP, SW0, SA0, TY0, ML), pp. 367–378.
QoSAQoSA-2016-WillneckerK #deployment #distributed #enterprise
Optimization of Deployment Topologies for Distributed Enterprise Applications (FW, HK), pp. 106–115.
ICSMEICSME-2016-PatilKDB #approach #domain model #modelling
An Optimization Approach for Matching Textual Domain Models with Existing Code (TP, RK, DD, IB), pp. 133–143.
ICSMEICSME-2016-WangL #adaptation #framework #multi #search-based #self
A Multiagent-Based Framework for Self-Adaptive Software with Search-Based Optimization (LW, QL), pp. 621–625.
SANERSANER-2016-SaboridoBKAA #android #experience #user interface
Optimizing User Experience in Choosing Android Applications (RS, GB, FK, EA, GA), pp. 438–448.
SCAMSCAM-2016-0002G #energy #framework #mobile
A Source-Level Energy Optimization Framework for Mobile Applications (XL0, JPG), pp. 31–40.
CoGCIG-2016-CookGC #automation #generative #towards
Towards the automatic optimisation of procedural content generators (MC0, JG, SC), pp. 1–8.
CIKMCIKM-2016-BaruahZGLSV #learning
Optimizing Nugget Annotations with Active Learning (GB, HZ0, RG, JJL, MDS, OV), pp. 2359–2364.
CIKMCIKM-2016-Camacho-Rodriguez
Reuse-based Optimization for Pig Latin (JCR, DC, MH, IM, SRC), pp. 2215–2220.
CIKMCIKM-2016-ChuahWLYB #data analysis #design
Bus Routes Design and Optimization via Taxi Data Analytics (SPC, HW0, YL0, LY, SB), pp. 2417–2420.
CIKMCIKM-2016-FanWL #analysis #metric #mobile #network #on the
On Backup Battery Data in Base Stations of Mobile Networks: Measurement, Analysis, and Optimization (XF, FW0, JL), pp. 1513–1522.
CIKMCIKM-2016-LinCWC #predict #realtime
Combining Powers of Two Predictors in Optimizing Real-Time Bidding Strategy under Constrained Budget (CCL, KTC, WCHW, MSC), pp. 2143–2148.
CIKMCIKM-2016-LiTCELB #interactive #named #network
TEAMOPT: Interactive Team Optimization in Big Networks (LL, HT, NC, KE, YRL, NB), pp. 2485–2487.
CIKMCIKM-2016-Razniewski
Optimizing Update Frequencies for Decaying Information (SR), pp. 1191–1200.
CIKMCIKM-2016-RenZRZYW #learning #performance
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 #performance #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-TangY #social
Optimizing Ad Allocation in Social Advertising (ST, JY0), pp. 1383–1392.
CIKMCIKM-2016-ZhuangLRE #named #query
PRO: Preference-Aware Recurring Query Optimization (ZZ, CL, EAR, MYE), pp. 2191–2196.
ECIRECIR-2016-KimCCM #question
Does Selective Search Benefit from WAND Optimization? (YK, JC, JSC, AM), pp. 145–158.
ECIRECIR-2016-Welleck #performance #ranking
Efficient AUC Optimization for Information Ranking Applications (SJW), pp. 159–170.
ICMLICML-2016-AbernethyH #performance
Faster Convex Optimization: Simulated Annealing with an Efficient Universal Barrier (JDA, EH), pp. 2520–2528.
ICMLICML-2016-AkrourNAA #learning
Model-Free Trajectory Optimization for Reinforcement Learning (RA, GN, HA, AA), pp. 2961–2970.
ICMLICML-2016-ArjevaniS #algorithm #complexity #first-order #on the
On the Iteration Complexity of Oblivious First-Order Optimization Algorithms (YA, OS), pp. 908–916.
ICMLICML-2016-AroraMM #learning #multi #probability #representation #using
Stochastic Optimization for Multiview Representation Learning using Partial Least Squares (RA, PM, TVM), pp. 1786–1794.
ICMLICML-2016-BaiIWB #algorithm
Algorithms for Optimizing the Ratio of Submodular Functions (WB, RKI, KW, JAB), pp. 2751–2759.
ICMLICML-2016-BubeckL #black box
Black-box Optimization with a Politician (SB, YTL), pp. 1624–1631.
ICMLICML-2016-CarrGL #energy #named
BASC: Applying Bayesian Optimization to the Search for Global Minima on Potential Energy Surfaces (SC, RG, CL), pp. 898–907.
ICMLICML-2016-ColinBSC #distributed
Gossip Dual Averaging for Decentralized Optimization of Pairwise Functions (IC, AB, JS, SC), pp. 1388–1396.
ICMLICML-2016-Curtis #algorithm #probability #self
A Self-Correcting Variable-Metric Algorithm for Stochastic Optimization (FC), pp. 632–641.
ICMLICML-2016-FinnLA #learning #policy
Guided Cost Learning: Deep Inverse Optimal Control via Policy Optimization (CF, SL, PA), pp. 49–58.
ICMLICML-2016-HazanL #probability
Variance-Reduced and Projection-Free Stochastic Optimization (EH, HL), pp. 1263–1271.
ICMLICML-2016-HazanLS #on the #probability #problem
On Graduated Optimization for Stochastic Non-Convex Problems (EH, KYL, SSS), pp. 1833–1841.
ICMLICML-2016-Hernandez-Lobato #multi #predict
Predictive Entropy Search for Multi-objective Bayesian Optimization (DHL, JMHL, AS, RPA), pp. 1492–1501.
ICMLICML-2016-HoGE #learning #policy
Model-Free Imitation Learning with Policy Optimization (JH, JKG, SE), pp. 2760–2769.
ICMLICML-2016-JenattonHA #adaptation #algorithm #constraints #online
Adaptive Algorithms for Online Convex Optimization with Long-term Constraints (RJ, JCH, CA), pp. 402–411.
ICMLICML-2016-LiuWS #constraints #convergence #linear #orthogonal #polynomial
Quadratic Optimization with Orthogonality Constraints: Explicit Lojasiewicz Exponent and Linear Convergence of Line-Search Methods (HL, WW, AMCS), pp. 1158–1167.
ICMLICML-2016-LiZALH #learning #probability
Stochastic Variance Reduced Optimization for Nonconvex Sparse Learning (XL, TZ, RA, HL0, JDH), pp. 917–925.
ICMLICML-2016-MalherbeCV #approach #ranking
A ranking approach to global optimization (CM, EC, NV), pp. 1539–1547.
ICMLICML-2016-Metzen #multi
Minimum Regret Search for Single- and Multi-Task Optimization (JHM), pp. 192–200.
ICMLICML-2016-OsokinALDL
Minding the Gaps for Block Frank-Wolfe Optimization of Structured SVMs (AO, JBA, IL, PKD, SLJ), pp. 593–602.
ICMLICML-2016-Pedregosa #approximate
Hyperparameter optimization with approximate gradient (FP), pp. 737–746.
ICMLICML-2016-QuXO #algorithm #analysis #performance #probability
Fast Rate Analysis of Some Stochastic Optimization Algorithms (CQ, HX, CJO), pp. 662–670.
ICMLICML-2016-ReddiHSPS #probability #reduction
Stochastic Variance Reduction for Nonconvex Optimization (SJR, AH, SS, BP, AJS), pp. 314–323.
ICMLICML-2016-RodomanovK #finite
A Superlinearly-Convergent Proximal Newton-type Method for the Optimization of Finite Sums (AR, DK), pp. 2597–2605.
ICMLICML-2016-XuZCL #matrix #probability
Matrix Eigen-decomposition via Doubly Stochastic Riemannian Optimization (ZX, PZ, JC, XL0), pp. 1660–1669.
ICMLICML-2016-ZhangYJXZ #feedback #linear #online #probability
Online Stochastic Linear Optimization under One-bit Feedback (LZ0, TY, RJ, YX, ZHZ), pp. 392–401.
ICMLICML-2016-ZhuH #performance #reduction
Variance Reduction for Faster Non-Convex Optimization (ZAZ, EH), pp. 699–707.
ICPRICPR-2016-0005LH
Accelerated sparse optimization for missing data completion (ZX0, YL, JH), pp. 1267–1272.
ICPRICPR-2016-JoyR0V #big data #using
Hyperparameter tuning for big data using Bayesian optimisation (TTJ, SR, SG0, SV), pp. 2574–2579.
ICPRICPR-2016-LiangSWMWSG #image #learning #performance #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-LiCWY #image #self
Optimization of radial distortion self-calibration for structure from motion from uncalibrated UAV images (YL, YC, DW, YY), pp. 3721–3726.
ICPRICPR-2016-LimK #approach #feature model #multi
Convex optimization approach for multi-label feature selection based on mutual information (HL, DWK), pp. 1512–1517.
ICPRICPR-2016-LuoLQ #analysis #bound #probability
Bound analysis of natural gradient descent in stochastic optimization setting (ZL, DL, YQ), pp. 4166–4171.
ICPRICPR-2016-MarkusPA #learning
Learning local descriptors by optimizing the keypoint-correspondence criterion (NM, ISP, JA), pp. 2380–2385.
ICPRICPR-2016-MorariuTPDT
Sequential vs. batch machine-learning with evolutionary hyperparameter optimization for segmenting aortic dissection thrombus (CAM, MT, JP, DSD, KT), pp. 1189–1194.
ICPRICPR-2016-SakaiMK
Unmixing three types of lung sounds by convex optimization (TS, SM, SK), pp. 2884–2888.
ICPRICPR-2016-WeissenbergRDG #np-hard #problem
Dilemma First Search for effortless optimization of NP-hard problems (JW, HR, RD, LVG), pp. 4154–4159.
ICPRICPR-2016-YB #3d #using #video
Rate distortion optimization using SSIM for 3D video coding (HY, PKB), pp. 1261–1266.
ICPRICPR-2016-ZorYMWKA #matrix #named
BeamECOC: A local search for the optimization of the ECOC matrix (CZ, BAY, EM, TW, JK, EA), pp. 198–203.
KDDKDD-2016-GeyikFSOK #metric #multi #online #performance #video
Joint Optimization of Multiple Performance Metrics in Online Video Advertising (SCG, SF, JS, SO, SK), pp. 471–480.
KDDKDD-2016-GuptaLTVCR #email
Email Volume Optimization at LinkedIn (RG, GL, HPT, RKHV, XC, RR), pp. 97–106.
KDDKDD-2016-KarLNC0 #online #problem #quantifier
Online Optimization Methods for the Quantification Problem (PK, SL, HN, SC, FS0), pp. 1625–1634.
KDDKDD-2016-LiQJTYW #big data #parallel
Parallel Lasso Screening for Big Data Optimization (QL, SQ, SJ, PMT, JY, JW0), pp. 1705–1714.
KDDKDD-2016-LiuSCX #multi
Rebalancing Bike Sharing Systems: A Multi-source Data Smart Optimization (JL, LS, WC0, HX), pp. 1005–1014.
KDDKDD-2016-Schneider #embedded #learning
Bayesian Optimization and Embedded Learning Systems (JS), p. 413.
KDDKDD-2016-SiyariDD #framework #named
Lexis: An Optimization Framework for Discovering the Hierarchical Structure of Sequential Data (PS, BD, CD), pp. 1185–1194.
KDDKDD-2016-YuanYZH #approximate #difference #linear #privacy #query
Convex Optimization for Linear Query Processing under Approximate Differential Privacy (GY, YY, ZZ, ZH), pp. 2005–2014.
KDDKDD-2016-ZadehMUYPVSSZ #matrix
Matrix Computations and Optimization in Apache Spark (RBZ, XM, AU, BY, LP, SV, ERS, AS, MZ), pp. 31–38.
KDDKDD-2016-ZhangBSS #named #performance #pipes and filters
FLASH: Fast Bayesian Optimization for Data Analytic Pipelines (YZ, MTB, HS, JS), pp. 2065–2074.
ECMFAECMFA-2016-KessentiniSW #approach #automation #co-evolution #metamodelling #multi #using
Automated Metamodel/Model Co-evolution Using a Multi-objective Optimization Approach (WK, HAS, MW), pp. 138–155.
OOPSLAOOPSLA-2016-DoeraeneS #incremental #parallel #scala
Parallel incremental whole-program optimizations for Scala.js (SD, TS), pp. 59–73.
OOPSLAOOPSLA-2016-PaiP #algorithm #compilation #graph #throughput
A compiler for throughput optimization of graph algorithms on GPUs (SP, KP), pp. 1–19.
LOPSTRLOPSTR-2016-BichlerMW #named #programming #set
lpopt: A Rule Optimization Tool for Answer Set Programming (MB, MM, SW), pp. 114–130.
PLDIPLDI-2016-MullenZTG
Verified peephole optimizations for CompCert (EM, DZ, ZT, DG), pp. 448–461.
POPLPOPL-2016-BhaskaracharyaB #approach #named
SMO: an integrated approach to intra-array and inter-array storage optimization (SGB, UB, AC0), pp. 526–538.
POPLPOPL-2016-BornholtTGC #sketching #synthesis
Optimizing synthesis with metasketches (JB, ET, DG, LC), pp. 775–788.
POPLPOPL-2016-Pichon-Pharabod #concurrent #semantics
A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions (JPP, PS), pp. 622–633.
SASSAS-2016-MenendezNG #automation #float #named #verification
Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM (DM, SN, AG), pp. 317–337.
ASEASE-2016-OhmannBNLL
Optimizing customized program coverage (PO, DBB, NN, JL, BL), pp. 27–38.
FSEFSE-2016-Mazinanian #css #maintenance #migration #refactoring #towards
Refactoring and migration of cascading style sheets: towards optimization and improved maintainability (DM), pp. 1057–1059.
ICSE-2016-LiLGH #automation #energy #mobile
Automated energy optimization of HTTP requests for mobile applications (DL, YL, JG, WGJH), pp. 249–260.
ICSE-2016-MenendezN
Termination-checking for LLVM peephole optimizations (DM, SN), pp. 191–202.
ICSE-2016-SelakovicP #empirical #javascript #performance
Performance issues and optimizations in JavaScript: an empirical study (MS, MP), pp. 61–72.
ICSE-2016-TanCSLAXD #probability #refinement
Optimizing selection of competing services with probabilistic hierarchical refinement (THT, MC, JS0, YL0, ÉA, YX, JSD), pp. 85–95.
ICSE-2016-Tantithamthavorn #automation #classification #fault #modelling #parametricity #predict
Automated parameter optimization of classification techniques for defect prediction models (CT, SM, AEH, KM), pp. 321–332.
CASECASE-2016-AboutalebBST #multi
Systematic optimization of Laser-based Additive Manufacturing for multiple mechanical properties (AMA, LB, NS, SMT), pp. 780–785.
CASECASE-2016-QiaoZWZL #clustering #linear #process #tool support
Optimizing close-down processes of single-robot cluster tools via linear programing (YQ, MZ, NW, QZ, ZL), pp. 148–153.
CASECASE-2016-RiaziBBAWL #energy
Energy and peak-power optimization of existing time-optimal robot trajectories (SR, KB, RB0, AA, OW, BL), pp. 321–327.
CASECASE-2016-SuXLZ #energy
An energy and productivity optimization model in Bernoulli serial lines (WS, XX, JL, LZ), pp. 855–860.
CASECASE-2016-ZhangXHC #multi
A new optimal sampling rule for multi-fidelity optimization via ordinal transformation (SZ, JX, EH, CHC), pp. 670–674.
CGOCGO-2016-ChakrabortyV #c #c++ #concurrent #source code #validation
Validating optimizations of concurrent C/C++ programs (SC, VV), pp. 216–226.
CGOCGO-2016-ChenLM #automation #named
AutoFDO: automatic feedback-directed optimization for warehouse-scale applications (DC, DXL, TM), pp. 12–23.
CBSECBSE-2015-KitPMBK #communication #component
Employing Domain Knowledge for Optimizing Component Communication (MK, FP, VM, TB, OK), pp. 59–64.
DocEngDocEng-2015-KidoYTA #automation #documentation #layout
Document Layout Optimization with Automated Paraphrasing (YK, HY, GT, AA), pp. 13–16.
SIGMODSIGMOD-2015-BernsteinDDP #concurrent #database
Optimizing Optimistic Concurrency Control for Tree-Structured, Log-Structured Databases (PAB, SD, BD, MP), pp. 1295–1309.
SIGMODSIGMOD-2015-DugganPBS #array #database
Skew-Aware Join Optimization for Array Databases (JD, OP, LB, MS), pp. 123–135.
SIGMODSIGMOD-2015-TrummerK #algorithm #incremental #multi #query
An Incremental Anytime Algorithm for Multi-Objective Query Optimization (IT, CK), pp. 1941–1953.
VLDBVLDB-2015-DasYZVVKGKM #database #in memory #query
Query Optimization in Oracle 12c Database In-Memory (DD, JY, MZ, SRV, NV, RK, PG, JK, NM), pp. 1770–1781.
VLDBVLDB-2015-DingSMM #algorithm #framework #named #problem
TOP: A Framework for Enabling Algorithmic Optimizations for Distance-Related Problems (YD, XS, MM, TM), pp. 1046–1057.
VLDBVLDB-2015-El-HelwRSCGP #database
Optimization of Common Table Expressions in MPP Database Systems (AEH, VR, MAS, GCC, ZG, MP), pp. 1704–1715.
VLDBVLDB-2015-KumarJYNP #machine learning #normalisation
Demonstration of Santoku: Optimizing Machine Learning over Normalized Data (AK, MJ, BY, JFN, JMP), pp. 1864–1875.
VLDBVLDB-2015-OhKLM #memory management #mobile
SQLite Optimization with Phase Change Memory for Mobile Applications (GO, SK, SWL, BM), pp. 1454–1465.
VLDBVLDB-2015-SharovSMS #distributed #exclamation #online
Take me to your leader! Online Optimization of Distributed Storage Configurations (AS, AS, AM, MS), pp. 1490–1501.
VLDBVLDB-2015-ZhouLLZ #graph #named #performance
GraphTwist: Fast Iterative Graph Computation with Two-tier Optimizations (YZ, LL, KL, QZ), pp. 1262–1273.
EDMEDM-2015-JugoKS #learning #tool support #visual notation
Integrating a Web-based ITS with DM tools for Providing Learning Path Optimization and Visual Analytics (IJ, BK, VS), pp. 574–575.
EDMEDM-2015-OstrowDH #algorithm #performance #predict #student
Optimizing Partial Credit Algorithms to Predict Student Performance (KO, CD, NTH), pp. 404–407.
ITiCSEITiCSE-2015-Tudor #learning #query #xml
Virtual Learning Laboratory about Query Optimization against XML Data (LNT), p. 348.
MSRMSR-2015-HashimotoTMM #effectiveness #fact extraction #performance #predict
Extracting Facts from Performance Tuning History of Scientific Applications for Predicting Effective Optimization Patterns (MH, MT, TM, KM), pp. 13–23.
ICALPICALP-v1-2015-HuangL #approximate #combinator #probability #problem
Approximating the Expected Values for Combinatorial Optimization Problems over Stochastic Points (LH, JL), pp. 910–921.
ICFPICFP-2015-Chlipala #compilation #functional
An optimizing compiler for a purely functional web-application language (AC), pp. 10–21.
AIIDEAIIDE-2015-YuR #interactive
Optimizing Players' Expected Enjoyment in Interactive Stories (HY0, MOR), pp. 100–107.
CoGCIG-2015-QuadfliegRP #how #multi #parametricity
How costly is a good compromise: Multi-objective TORCS controller parameter optimization (JQ, GR, MP), pp. 454–460.
CoGCIG-2015-YoonLSKK #distributed
Optimization of Angry Birds AI controllers with distributed computing (DMY, JSL, HSS, JHK, KJK), pp. 544–545.
CHICHI-2015-MatejkaAF
Dynamic Opacity Optimization for Scatter Plots (JM, FA, GWF), pp. 2707–2710.
CHICHI-2015-SmithBZ #gesture #type system
Optimizing Touchscreen Keyboards for Gesture Typing (BAS, XB, SZ), pp. 3365–3374.
HCIDHM-EH-2015-CheffiRBBS #approach #cost analysis #feedback
A Bi-level Optimization Approach to Get an Optimal Combination of Cost Functions for Pilot’s Arm Movement: The Case of Helicopter’s Flying Aid Functions with Haptic Feedback (SC, TR, LB, PB, JCS), pp. 248–257.
HCIDHM-EH-2015-HarihBR #interface #parametricity
Optimisation of Product’s Hand-Handle Interface Material Parameters for Improved Ergonomics (GH, MB, ZR), pp. 15–25.
HCIHCI-IT-2015-BakaevA #complexity #human-computer #user interface
Defining and Optimizing User Interfaces Information Complexity for AI Methods Application in HCI (MB, TA), pp. 397–405.
HCIHCI-UC-2015-ChagasMFC #case study #challenge #community #experience #human-computer #user interface
Prospecting HCI Challenges for Extreme Poverty Communities: Redefining and Optimizing User Experiences with Technology (DAC, CLBM, EF, CRMdC), pp. 281–290.
ICEISICEIS-v1-2015-JuniorS #approach #compilation #reasoning #set
Finding Good Compiler Optimization Sets — A Case-based Reasoning Approach (NLQJ, AFdS), pp. 504–515.
ICEISICEIS-v1-2015-LongoLSP #maintenance
Optimizing Routine Maintenance Team Routes (FL, ARL, MS, AP), pp. 535–546.
ICEISICEIS-v1-2015-SirohiS #multitenancy #performance #query #sql
Context-sensitive Indexes in RDBMS for Performance Optimization of SQL Queries in Multi-tenant/Multi-application Environments (AKS, VS), pp. 259–270.
CIKMCIKM-2015-LeeACS #framework #multi
An Optimization Framework for Merging Multiple Result Lists (CJL, QA, WBC, DS), pp. 303–312.
CIKMCIKM-2015-LiNLCTG #named
Lingo: Linearized Grassmannian Optimization for Nuclear Norm Minimization (QL0, WN, GL0, YC, JT, LG0), pp. 801–809.
CIKMCIKM-2015-SheinCL #named #query
F1: Accelerating the Optimization of Aggregate Continuous Queries (AUS, PKC, AL), pp. 1151–1160.
CIKMCIKM-2015-YangZ #classification #framework #graph #online
A Min-Max Optimization Framework For Online Graph Classification (PY, PZ), pp. 643–652.
CIKMCIKM-2015-ZhukovskiyKGS #framework #query #similarity
An Optimization Framework for Propagation of Query-Document Features by Query Similarity Functions (MZ, TK, GG, PS), pp. 981–990.
ICMLICML-2015-AgarwalB #bound #finite
A Lower Bound for the Optimization of Finite Sums (AA, LB), pp. 78–86.
ICMLICML-2015-AybatWI #distributed
An Asynchronous Distributed Proximal Gradient Method for Composite Convex Optimization (NSA, ZW, GI), pp. 2454–2462.
ICMLICML-2015-BlechschmidtGL #approximate #multi #parametricity #problem
Tracking Approximate Solutions of Parameterized Optimization Problems over Multi-Dimensional (Hyper-)Parameter Domains (KB, JG, SL), pp. 438–447.
ICMLICML-2015-Hernandez-Lobato15a #constraints #predict
Predictive Entropy Search for Bayesian Optimization with Unknown Constraints (JMHL, MAG, MWH, RPA, ZG), pp. 1699–1707.
ICMLICML-2015-JohnsonG #named #scalability
Blitz: A Principled Meta-Algorithm for Scaling Sparse Optimization (TJ, CG), pp. 1171–1179.
ICMLICML-2015-KandasamySP #modelling
High Dimensional Bayesian Optimisation and Bandits via Additive Models (KK, JGS, BP), pp. 295–304.
ICMLICML-2015-KusnerGGW
Differentially Private Bayesian Optimization (MJK, JRG, RG, KQW), pp. 918–927.
ICMLICML-2015-LeeR #distributed #linear #polynomial
Distributed Box-Constrained Quadratic Optimization for Dual Linear SVM (CPL, DR), pp. 987–996.
ICMLICML-2015-LimCX #clustering #framework
A Convex Optimization Framework for Bi-Clustering (SHL, YC, HX), pp. 1679–1688.
ICMLICML-2015-MaclaurinDA #learning
Gradient-based Hyperparameter Optimization through Reversible Learning (DM, DKD, RPA), pp. 2113–2122.
ICMLICML-2015-MartensG #approximate #network
Optimizing Neural Networks with Kronecker-factored Approximate Curvature (JM, RBG), pp. 2408–2417.
ICMLICML-2015-MaSJJRT #distributed
Adding vs. Averaging in Distributed Primal-Dual Optimization (CM, VS, MJ, MIJ, PR, MT), pp. 1973–1982.
ICMLICML-2015-NarasimhanK0 #metric #performance
Optimizing Non-decomposable Performance Measures: A Tale of Two Classes (HN, PK, PJ), pp. 199–208.
ICMLICML-2015-SchulmanLAJM #policy #trust
Trust Region Policy Optimization (JS, SL, PA, MIJ, PM), pp. 1889–1897.
ICMLICML-2015-SnoekRSKSSPPA #network #scalability #using
Scalable Bayesian Optimization Using Deep Neural Networks (JS, OR, KS, RK, NS, NS, MMAP, P, RPA), pp. 2171–2180.
ICMLICML-2015-SuiGBK #process
Safe Exploration for Optimization with Gaussian Processes (YS, AG, JWB, AK), pp. 997–1005.
ICMLICML-2015-SunQW #taxonomy #using
Complete Dictionary Recovery Using Nonconvex Optimization (JS, QQ, JW), pp. 2351–2360.
ICMLICML-2015-ZhangL15a #distributed #empirical #named #self
DiSCO: Distributed Optimization for Self-Concordant Empirical Loss (YZ, XL), pp. 362–370.
ICMLICML-2015-ZhaoZ #probability
Stochastic Optimization with Importance Sampling for Regularized Loss Minimization (PZ, TZ), pp. 1–9.
KDDKDD-2015-HallacLB #clustering #graph #network #scalability
Network Lasso: Clustering and Optimization in Large Graphs (DH, JL, SB), pp. 387–396.
KDDKDD-2015-IitsukaM #problem
Website Optimization Problem and Its Solutions (SI, YM), pp. 447–456.
KDDKDD-2015-Kamath #data-driven
Optimizing Marketing Impact through Data Driven Decisioning (AK), p. 1631.
KDDKDD-2015-XuLLQL #effectiveness #online
Smart Pacing for Effective Online Ad Campaign Optimization (JX, KcL, WL, HQ, QL), pp. 2217–2226.
KDDKDD-2015-YangLJ #big data #data analysis
Big Data Analytics: Optimization and Randomization (TY, QL, RJ), p. 2327.
KDDKDD-2015-YanRHC #distributed #learning #modelling #performance #scalability
Performance Modeling and Scalability Optimization of Distributed Deep Learning Systems (FY, OR, YH, TMC), pp. 1355–1364.
KDDKDD-2015-ZhuYH #clustering #predict
Co-Clustering based Dual Prediction for Cargo Pricing Optimization (YZ, HY, JH), pp. 1583–1592.
MLDMMLDM-2015-KrasotkinaM #approach #ranking
A Bayesian Approach to Sparse Learning-to-Rank for Search Engine Optimization (OK, VM), pp. 382–394.
MLDMMLDM-2015-SalahAM #mining #performance #pipes and filters
Optimizing the Data-Process Relationship for Fast Mining of Frequent Itemsets in MapReduce (SS, RA, FM), pp. 217–231.
SEKESEKE-2015-ChangB #file system #object-oriented
Optimizing of an Object-Oriented File System (OOFS) (LHC, SB), pp. 208–212.
SIGIRSIGIR-2015-KiselevaMBDKEKT
Where to Go on Your Next Trip?: Optimizing Travel Destinations Based on User Preferences (JK, MJIM, LB, CD, IK, MSE, JK, AT, DH), pp. 1097–1100.
SIGIRSIGIR-2015-SpirinKKSI #metric #quality #tuple
Relevance-aware Filtering of Tuples Sorted by an Attribute Value via Direct Optimization of Search Quality Metrics (NVS, MK, JK, YVS, PAI), pp. 979–982.
SIGIRSIGIR-2015-TranTCN #random #ranking #web
A Random Walk Model for Optimization of Search Impact in Web Frontier Ranking (GT, AT, BBC, WN), pp. 153–162.
SIGIRSIGIR-2015-XiaXLGC #evaluation #learning #metric
Learning Maximal Marginal Relevance Model via Directly Optimizing Diversity Evaluation Measures (LX, JX, YL, JG, XC), pp. 113–122.
SIGIRSIGIR-2015-ZhangZ #formal method #game studies #information retrieval #interactive #interface
Information Retrieval as Card Playing: A Formal Model for Optimizing Interactive Retrieval Interface (YZ, CZ), pp. 685–694.
ECOOPECOOP-2015-St-AmourG #javascript
Optimization Coaching for JavaScript (VSA, SyG), pp. 271–295.
OOPSLAOOPSLA-2015-OhYY #adaptation #learning #program analysis
Learning a strategy for adapting a program analysis via bayesian optimisation (HO, HY, KY), pp. 572–588.
OOPSLAOOPSLA-2015-SteindorferV #agile #performance #virtual machine
Optimizing hash-array mapped tries for fast and lean immutable JVM collections (MJS, JJV), pp. 783–800.
LOPSTRLOPSTR-2015-DamoucheMC #convergence
Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods (ND, MM, AC), pp. 143–160.
PLDIPLDI-2015-DingTKZK #multi
Optimizing off-chip accesses in multicores (WD, XT, MTK, YZ, EK), pp. 131–142.
PLDIPLDI-2015-LopesMNR
Provably correct peephole optimizations with alive (NPL, DM, SN, JR), pp. 22–32.
PLDIPLDI-2015-MehtaY #compilation #scalability #source code
Improving compiler scalability: optimizing large programs at small price (SM, PCY), pp. 143–152.
POPLPOPL-2015-VafeiadisBCMN #compilation #memory management #what
Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it (VV, TB, SC, RM, FZN), pp. 209–220.
SASSAS-2015-AdjeGM #generative #invariant #polynomial #using
Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization (AA, PLG, VM), pp. 235–251.
SASSAS-2015-HashimotoU #constraints #refinement #type inference
Refinement Type Inference via Horn Constraint Optimization (KH, HU), pp. 199–216.
ASEASE-2015-CarinoA #testing #user interface #using
Dynamically Testing GUIs Using Ant Colony Optimization (T) (SC, JHA), pp. 138–148.
ESEC-FSEESEC-FSE-2015-Feth #security #trade-off #usability
User-centric security: optimization of the security-usability trade-off (DF), pp. 1034–1037.
ESEC-FSEESEC-FSE-2015-VasquezBBOPP #android #approach #energy #multi #user interface
Optimizing energy consumption of GUIs in Android apps: a multi-objective approach (MLV, GB, CEBC, RO, MDP, DP), pp. 143–154.
ICSEICSE-v2-2015-NoureddineR #design pattern #energy
Optimising Energy Consumption of Design Patterns (AN, AR), pp. 623–626.
SACSAC-2015-Chakraborti #identification #multi #summary #topic
Multi-document text summarization for competitor intelligence: a methodology based on topic identification and artificial bee colony optimization (SC), pp. 1110–1111.
SACSAC-2015-CinalliMPG #multi
Collective preferences in evolutionary multi-objective optimization: techniques and potential contributions of collective intelligence (DC, LM, NSP, ACBG), pp. 133–138.
SACSAC-2015-HogenboomNJFV #distributed #query #rdf
RDF chain query optimization in a distributed environment (AH, EN, MJ, FF, DV), pp. 353–359.
SACSAC-2015-Khenfri #approach #architecture #synthesis
A holistic optimization approach for the synthesis of AUTOSAR E/E architecture (FK), pp. 1960–1961.
SACSAC-2015-LiuI #clustering #framework #parallel #using
An ETL optimization framework using partitioning and parallelization (XL, NI), pp. 1015–1022.
SACSAC-2015-PapeBH #adaptation #data type #execution #performance
Adaptive just-in-time value class optimization: transparent data structure inlining for fast execution (TP, CFB, RH), pp. 1970–1977.
SACSAC-2015-WangCR #multi
Dynamic optimization of multi-layered reinsurance treaties (HW, OACC, ARC), pp. 125–132.
ASPLOSASPLOS-2015-DuanHT #memory management #performance #symmetry
Asymmetric Memory Fences: Optimizing Both Performance and Implementability (YD, NH, JT), pp. 531–543.
ASPLOSASPLOS-2015-MullapudiVB #automation #image #named #pipes and filters
PolyMage: Automatic Optimization for Image Processing Pipelines (RTM, VV, UB), pp. 429–443.
CASECASE-2015-CarliDPR #energy #multi #performance #using
Using multi-objective optimization for the integrated energy efficiency improvement of a smart city public buildings’ portfolio (RC, MD, RP, LR), pp. 21–26.
CASECASE-2015-ChanW #segmentation
Progressive segmentation for MRR-based feed-rate optimization in CNC machining (KCC, CCLW), pp. 691–696.
CASECASE-2015-ChengTLCH #algorithm #modelling #network
Modeling and optimizing tensile strength and yield point on steel bar by artificial neural network with evolutionary algorithm (CKC, JTT, TTL, JHC, KSH), pp. 1562–1563.
CASECASE-2015-ChenTLY #multi #parametricity
Multi-objective parameter optimization of multi-pass CNC machining (XC, YT, CL, QY), pp. 45–50.
CASECASE-2015-ChenXZCL #effectiveness #learning #multi #simulation
An effective learning procedure for multi-fidelity simulation optimization with ordinal transformation (RC, JX, SZ, CHC, LHL), pp. 702–707.
CASECASE-2015-CheongSB #ad hoc #automation
Ad-hoc automated teller machine failure forecast and field service optimization (MLFC, KPS, BCB), pp. 1427–1433.
CASECASE-2015-ForstnerM #safety #using
Using simulation-based optimization to determine production strategies and safety stock levels in semiconductor supply chains (LF, LM), pp. 655–656.
CASECASE-2015-GiulianiC #problem #using
Derivative-free optimization with use of problem structure: Applications to oil production (CMG, EC), pp. 764–768.
CASECASE-2015-GleesonBBCL #automation #code generation
Optimizing robot trajectories for automatic robot code generation (DG, SB, RB, JSC, BL), pp. 495–500.
CASECASE-2015-HeLG #graph
Cycle time optimization of deterministic timed weighted marked graphs (ZH, ZL, AG), pp. 274–279.
CASECASE-2015-HuangJG #distributed #generative #multi
Multi-timescale optimization between distributed wind generators and electric vehicles in microgrid (QH, QSJ, XG), pp. 671–676.
CASECASE-2015-HuC #distributed
Decentralized ordinal optimization (DOO) for networked systems (PH, XC), pp. 787–792.
CASECASE-2015-Kruif #maintenance #sequence
Wet-etch sequence optimisation incorporating time dependent chemical maintenance (BJdK), pp. 1389–1394.
CASECASE-2015-LennartsonBW #hybrid #petri net
Optimization of hybrid Petri nets with shared variables (BL, KB, OW), pp. 1395–1396.
CASECASE-2015-NetoCHS #approximate
A piecewise linear-quadratic approximation for production optimization of gas-lifted oil fields (LRN, EC, RH, TLS), pp. 793–798.
CASECASE-2015-PanXSL #capacity #energy
Capacity optimization of battery energy storage systems for frequency regulation (XP, HX, JS, CL), pp. 1139–1144.
CASECASE-2015-RiaziBWVL #energy #multi
Energy optimization of multi-robot systems (SR, KB, OW, EV, BL), pp. 1345–1350.
CASECASE-2015-RoyelYLLH #identification #parametricity #using
A hysteresis model and parameter identification for MR pin joints using immune particle swarm optimization (SR, YY, YL, JL, QPH), pp. 1319–1324.
CASECASE-2015-SterlingSZC #algorithm #parametricity #process
Welding parameter optimization based on Gaussian process regression Bayesian optimization algorithm (DS, TS, YZ, HC), pp. 1490–1496.
CASECASE-2015-SunWWL15a #scheduling
Simulation-based production scheduling with optimization of electricity consumption and cost in smart manufacturing systems (ZS, DW, LW, LL), pp. 992–997.
CASECASE-2015-WanCPH #parametricity
Optimizing the parameters of tilting surfaces in robotic workcells (WW, ECHC, JP, KH), pp. 593–599.
CASECASE-2015-WuJG #complexity
Local and global event-based optimization: Performace and complexity (ZW, QSJ, XG), pp. 1375–1380.
CASECASE-2015-ZakharovZYJ #algorithm #configuration management #distributed #fault tolerance #performance #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 #performance
Incorporation of ordinal optimization into learning automata for high learning efficiency (JZ, CW, DZ, MZ), pp. 1206–1211.
CCCC-2015-AckermannRMS #java #runtime
A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation (HA, CR, CM, YS), pp. 111–130.
CCCC-2015-Buchwald #generative #named
Optgen: A Generator for Local Optimizations (SB), pp. 171–189.
CCCC-2015-DarteI #approximate #parametricity
Exact and Approximated Data-Reuse Optimizations for Tiling with Parametric Sizes (AD, AI), pp. 151–170.
CCCC-2015-DemangePS #coq #performance #verification
Verifying Fast and Sparse SSA-Based Optimizations in Coq (DD, DP, LS), pp. 233–252.
CGOCGO-2015-HawkinsDBZ
Optimizing binary translation of dynamically generated code (BH, BD, DB, QZ), pp. 68–78.
CGOCGO-2015-PallisterEH #embedded #energy #trade-off
Optimizing the flash-RAM energy trade-off in deeply embedded systems (JP, KE, SJH), pp. 115–124.
CGOCGO-2015-TangZLLHLG #multi
Optimizing and auto-tuning scale-free sparse matrix-vector multiplication on Intel Xeon Phi (WTT, RZ, ML, YL, HPH, XL, RSMG), pp. 136–145.
DACDAC-2015-ChenSZDJ
Optimizing data placement for reducing shift operations on domain wall memories (XC, EHMS, QZ, PD, WJ), p. 6.
DACDAC-2015-HanLKNL #framework #multi #reduction
A global-local optimization framework for simultaneous multi-mode multi-corner clock skew variation reduction (KH, JL, ABK, SN, JL), p. 6.
DACDAC-2015-LeeNL #performance
Optimizing stream program performance on CGRA-based systems (HL, DN, JL), p. 6.
DACDAC-2015-LiLSH #approximate #precise #synthesis
Joint precision optimization and high level synthesis for approximate computing (CL, WL, SSS, JH), p. 6.
DACDAC-2015-RamprasathV #algorithm #performance #statistics
An efficient algorithm for statistical timing yield optimization (SR, VV), p. 6.
DACDAC-2015-RoyLUP #multi #named #paradigm #performance
OSFA: a new paradigm of gate-sizing for power/performance optimizations under multiple operating conditions (SR, DL, JU, DZP), p. 6.
DACDAC-2015-XiaoGWYTW #layout #self #verification
Layout optimization and template pattern verification for directed self-assembly (DSA) (ZX, DG, MDFW, HY, MCT, HSPW), p. 6.
DATEDATE-2015-0001CY #approach #process #robust
A robust approach for process variation aware mask optimization (JK, WKC, EFYY), pp. 1591–1594.
DATEDATE-2015-AhsanK #architecture #quantum #using
Optimization of quantum computer architecture using a resource-performance simulator (MA, JK), pp. 1108–1113.
DATEDATE-2015-AntoniadisKEBS #architecture #memory management #on the #statistics
On the statistical memory architecture exploration and optimization (CA, GK, NEE, APB, GIS), pp. 543–548.
DATEDATE-2015-CasagrandeR #algorithm #fuzzy #game studies #named #novel #robust
GTFUZZ: a novel algorithm for robust dynamic power optimization via gate sizing with fuzzy games (TC, NR), pp. 677–682.
DATEDATE-2015-ChenM #distributed #learning #manycore #performance
Distributed reinforcement learning for power limited many-core system performance optimization (ZC, DM), pp. 1521–1526.
DATEDATE-2015-KauerNLSC #geometry #programming #using
Inductor optimization for active cell balancing using geometric programming (MK, SN, ML, SS, SC), pp. 281–284.
DATEDATE-2015-KhosraviMGT #analysis #reliability
Uncertainty-aware reliability analysis and optimization (FK, MM, MG, JT), pp. 97–102.
DATEDATE-2015-LezosDM #analysis #distance #locality #reuse
Reuse distance analysis for locality optimization in loop-dominated applications (CL, GD, KM), pp. 1237–1240.
DATEDATE-2015-LiJHWCGLKW #design #using
Variation-aware, reliability-emphasized design and optimization of RRAM using SPICE model (HL, ZJ, PH, YW, HYC, BG, XYL, JFK, HSPW), pp. 1425–1430.
DATEDATE-2015-PeemenMC #embedded #reuse
Inter-tile reuse optimization applied to bandwidth constrained embedded accelerators (MP, BM, HC), pp. 169–174.
DATEDATE-2015-Sharma #power management
Minimum current consumption transition time optimization methodology for low power CTS (VS), pp. 412–416.
DATEDATE-2015-XieKBWPC #design #energy #hybrid
Efficiency-driven design time optimization of a hybrid energy storage system with networked charge transfer interconnect (QX, YK, DB, YW, MP, NC), pp. 1607–1610.
DATEDATE-2015-YanF #design #energy #mobile #platform
Energy-efficient cache design in emerging mobile platforms: the implications and optimizations (KY, XF), pp. 375–380.
DATEDATE-2015-ZhuM #linear #machine learning #programming #using
Optimizing dynamic trace signal selection using machine learning and linear programming (CSZ, SM), pp. 1289–1292.
HPCAHPCA-2015-CaiLHMM #memory management
Data retention in MLC NAND flash memory: Characterization, optimization, and recovery (YC, YL, EFH, KM, OM), pp. 551–563.
HPCAHPCA-2015-LeeKPKSCM #adaptation
Adaptive-latency DRAM: Optimizing DRAM timing for the common-case (DL, YK, GP, SMK, VS, KKWC, OM), pp. 489–501.
HPCAHPCA-2015-MaddahSM #named #symmetry
CAFO: Cost aware flip optimization for asymmetric memories (RM, SMS, RGM), pp. 320–330.
HPDCHPDC-2015-HeintzCS #streaming
Optimizing Grouped Aggregation in Geo-Distributed Streaming Analytics (BH, AC, RKS), pp. 133–144.
HPDCHPDC-2015-KlusacekCR
Planning and Optimization in TORQUE Resource Manager (DK, VC, HR), pp. 203–206.
HPDCHPDC-2015-RamosH
Cache Line Aware Optimizations for ccNUMA Systems (SR, TH), pp. 85–88.
HPDCHPDC-2015-ZhouHCL #as a service #declarative #resource management #workflow
A Declarative Optimization Engine for Resource Provisioning of Scientific Workflows in IaaS Clouds (ACZ, BH, XC, CTL), pp. 223–234.
ISMMISMM-2015-CliffordPST
Memento mori: dynamic allocation-site-based optimizations (DC, HP, MS, BT), pp. 105–117.
LCTESLCTES-2015-BairdGSWU #architecture #pipes and filters
Optimizing Transfers of Control in the Static Pipeline Architecture (RB, PG, MS, DBW, GRU), p. 10.
PDPPDP-2015-ArresKB #clustering #multi
Optimizing OLAP Cubes Construction by Improving Data Placement on Multi-nodes Clusters (BA, NK, OB), pp. 520–524.
PDPPDP-2015-GuerreiroIRT #energy #kernel #multi #performance
Multi-kernel Auto-Tuning on GPUs: Performance and Energy-Aware Optimization (JG, AI, NR, PT), pp. 438–445.
PDPPDP-2015-LosadaMRG #parallel
I/O Optimization in the Checkpointing of OpenMP Parallel Applications (NL, MJM, GR, PG), pp. 222–229.
PDPPDP-2015-SayutiI #embedded #realtime
Simultaneous Optimisation of Task Mapping and Priority Assignment for Real-Time Embedded NoCs (MNSMS, LSI), pp. 692–695.
PDPPDP-2015-YounessIMO #gpu #implementation #performance #problem #satisfiability
An Efficient Implementation of Ant Colony Optimization on GPU for the Satisfiability Problem (HAY, AI, MM, MO), pp. 230–235.
PPoPPPPoPP-2015-AshariTBRCKS #kernel #machine learning #on the
On optimizing machine learning workloads via kernel fusion (AA, ST, MB, BR, KC, JK, PS), pp. 173–182.
PPoPPPPoPP-2015-MajoG #composition #library #locality
A library for portable and composable data locality optimizations for NUMA systems (ZM, TRG), pp. 227–238.
PPoPPPPoPP-2015-ShiLDHJLWLZ #gpu #graph #hybrid
Optimization of asynchronous graph processing on GPU with hybrid coloring model (XS, JL, SD, BH, HJ, LL, ZW, XL, JZ), pp. 271–272.
FASEFASE-2015-LandsbergCKL #evaluation #fault #locality #metric #statistics
Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme (DL, HC, DK, ML), pp. 115–129.
FASEFASE-2015-LiuPL #energy
Data-Oriented Characterization of Application-Level Energy Optimization (KL, GP, YDL), pp. 316–331.
TACASTACAS-2015-BjornerPF #named #smt
νZ — An Optimizing SMT Solver (NB, ADP, LF), pp. 194–199.
TACASTACAS-2015-SebastianiT #cost analysis #modulo theories
Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions (RS, PT), pp. 335–349.
CAVCAV-2015-SebastianiT #modulo theories #named
OptiMathSAT: A Tool for Optimization Modulo Theories (RS, PT), pp. 447–454.
ICLPICLP-J-2015-KoponenOJS #programming #set #using
Optimizing phylogenetic supertrees using answer set programming (LK, EO, TJ, LS), pp. 604–619.
ICSTICST-2015-NoguchiWFSO #black box #testing #using
History-Based Test Case Prioritization for Black Box Testing Using Ant Colony Optimization (TN, HW, YF, AS, KO), pp. 1–2.
ICSTICST-2015-PanichellaKT #branch #problem
Reformulating Branch Coverage as a Many-Objective Optimization Problem (AP, FMK, PT), pp. 1–10.
ICSTICST-2015-YamadaKACOB #combinator #incremental #satisfiability #testing
Optimization of Combinatorial Testing by Incremental SAT Solving (AY, TK, CA, EHC, YO, AB), pp. 1–10.
ISSTAISSTA-2015-TanXCSLD #algorithm
Optimizing selection of competing features via feedback-directed evolutionary algorithms (THT, YX, MC, JS, YL, JSD), pp. 246–256.
TAPTAP-2015-GrinchteinCP #analysis #constraints #protocol
A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs (OG, MC, JP), pp. 137–154.
VMCAIVMCAI-2015-GjomemoNPVZ #verification
From Verification to Optimizations (RG, KSN, PHP, VNV, LDZ), pp. 300–317.
HTHT-2014-Santos-NetoPAR #data flow #on the
On the choice of data sources to improve content discoverability via textual feature optimization (ESN, TP, JMA, MR), pp. 273–278.
SIGMODSIGMOD-2014-AntovaESGPW #query
Optimizing queries over partitioned tables in MPP systems (LA, AEH, MAS, ZG, MP, FW), pp. 373–384.
SIGMODSIGMOD-2014-GhodsniaBN #parallel #query
Parallel I/O aware query optimization (PG, ITB, AN), pp. 349–360.
SIGMODSIGMOD-2014-KaranasosBKOEXJ #platform #query #scalability
Dynamically optimizing queries over large scale data platforms (KK, AB, MK, , VE, CX, JJ), pp. 943–954.
SIGMODSIGMOD-2014-LiuH #cost analysis #online
Online optimization and fair costing for dynamic data sharing in a cloud data market (ZL, HH), pp. 1359–1370.
SIGMODSIGMOD-2014-RheinlanderBKHSL #data flow
Versatile optimization of UDF-heavy data flows with sofa (AR, MB, AK, AH, TS, UL), pp. 685–688.
SIGMODSIGMOD-2014-TrummerK #approximate #query
Approximation schemes for many-objective query optimization (IT, CK), pp. 1299–1310.
SIGMODSIGMOD-2014-ZhangDI #complexity #on the #query
On complexity and optimization of expensive queries in complex event processing (HZ, YD, NI), pp. 217–228.
SIGMODSIGMOD-2014-ZhangKR #feature model
Materialization optimizations for feature selection workloads (CZ, AK, CR), pp. 265–276.
VLDBVLDB-2014-GiannikisMAK
Shared Workload Optimization (GG, DM, GA, DK), pp. 429–440.
VLDBVLDB-2014-KonstantinidisA #constraints #integration #scalability
Optimizing the Chase: Scalable Data Integration under Constraints (GK, JLA), pp. 1869–1880.
VLDBVLDB-2014-SalihogluW #algorithm #graph
Optimizing Graph Algorithms on Pregel-like Systems (SS, JW), pp. 577–588.
VLDBVLDB-2014-ShanbhagS #query
Optimizing Join Enumeration in Transformation-based Query Optimizers (AS, SS), pp. 1243–1254.
VLDBVLDB-2014-ShiZLCLW #named #pipes and filters #tool support
MRTuner: A Toolkit to Enable Holistic Optimization for MapReduce Jobs (JS, JZ, JL, ZC, SL, CW), pp. 1319–1330.
VLDBVLDB-2015-TrummerK14 #multi #parametricity #query
Multi-Objective Parametric Query Optimization (IT, CK), pp. 221–232.
EDMEDM-2014-ClementORL #education #multi #online #sequence
Online Optimization of Teaching Sequences with Multi-Armed Bandits (BC, PYO, DR, ML0), pp. 269–272.
ICALPICALP-v1-2014-GuptaTW #multi
Changing Bases: Multistage Optimization for Matroids and Matchings (AG, KT, UW), pp. 563–575.
SEFMSEFM-2014-DobrikovL #model checking #partial order #reduction #using
Optimising the ProB Model Checker for B Using Partial Order Reduction (ID, ML), pp. 220–234.
ICFPICFP-2014-BergstromFLRS #effectiveness #higher-order
Practical and effective higher-order optimizations (LB, MF, ML, JHR, NS), pp. 81–93.
AIIDEAIIDE-2014-RichouxUO #constraints #game studies
Walling in Strategy Games via Constraint Optimization (FR, AU, SO).
AIIDEAIIDE-2014-RoweML #approach #composition #experience #interactive #learning
Optimizing Player Experience in Interactive Narrative Planning: A Modular Reinforcement Learning Approach (JPR, BWM, JCL).
GRAPHITEGRAPHITE-2014-ManskyGG #parallel #source code #specification
Specifying and Executing Optimizations for Parallel Programs (WM, DG, ELG), pp. 58–70.
CHICHI-2014-BiOZ #multi
Both complete and correct?: multi-objective optimization of touchscreen keyboard (XB, TO, SZ), pp. 2297–2306.
HCIDUXU-DP-2014-AlmeidaRN #evaluation #framework
Methodological Framework for Control Centres Evaluation and Optimization (AA, FR, PN), pp. 3–11.
ICEISICEIS-v1-2014-PintoNH #multi
Multi-objective Optimization of Investment Strategies — Based on Evolutionary Computation Techniques, in Volatile Environments (JMP, RFN, NH), pp. 480–488.
CIKMCIKM-2014-AnandMBB #query
Phrase Query Optimization on Inverted Indexes (AA, IM, SJB, KB), pp. 1807–1810.
CIKMCIKM-2014-DrumondDSN #modelling #multi
Optimizing Multi-Relational Factorization Models for Multiple Target Relations (LRD, EDA, LST, WN), pp. 191–200.
CIKMCIKM-2014-LinLZX #named #programming #search-based
GPQ: Directly Optimizing Q-measure based on Genetic Programming (YL, HL, PZ, BX), pp. 1859–1862.
CIKMCIKM-2014-Wu0LJ #constraints #ranking
Ranking Optimization with Constraints (FW, JX, HL, XJ), pp. 1049–1058.
ECIRECIR-2014-SchuthSWR #case study #using
Optimizing Base Rankers Using Clicks — A Case Study Using BM25 (AS, FS, SW, MdR), pp. 75–87.
ICMLICML-c1-2014-CicaleseLS #testing
Diagnosis determination: decision trees optimizing simultaneously worst and expected testing cost (FC, ESL, AMS), pp. 414–422.
ICMLICML-c1-2014-LinX #adaptation #continuation
An Adaptive Accelerated Proximal Gradient Method and its Homotopy Continuation for Sparse Optimization (QL, LX), pp. 73–81.
ICMLICML-c1-2014-MohriM #algorithm #learning
Learning Theory and Algorithms for revenue optimization in second price auctions with reserve (MM, AMM), pp. 262–270.
ICMLICML-c2-2014-AzarLB #correlation #feedback #online #probability
Online Stochastic Optimization under Correlated Bandit Feedback (MGA, AL, EB), pp. 1557–1565.
ICMLICML-c2-2014-ContalPV #process
Gaussian Process Optimization with Mutual Information (EC, VP, NV), pp. 253–261.
ICMLICML-c2-2014-GardnerKZWC #constraints #difference
Bayesian Optimization with Inequality Constraints (JRG, MJK, ZEX, KQW, JC), pp. 937–945.
ICMLICML-c2-2014-LevineK #learning #network #policy
Learning Complex Neural Network Policies with Trajectory Optimization (SL, VK), pp. 829–837.
ICMLICML-c2-2014-PapailiopoulosMDC #rank
Finding Dense Subgraphs via Low-Rank Bilinear Optimization (DSP, IM, AGD, CC), pp. 1890–1898.
ICMLICML-c2-2014-QinLJ #learning
Sparse Reinforcement Learning via Convex Optimization (ZQ, WL, FJ), pp. 424–432.
ICMLICML-c2-2014-ShamirS0 #approximate #distributed #using
Communication-Efficient Distributed Optimization using an Approximate Newton-type Method (OS, NS, TZ), pp. 1000–1008.
ICMLICML-c2-2014-SnoekSZA
Input Warping for Bayesian Optimization of Non-Stationary Functions (JS, KS, RSZ, RPA), pp. 1674–1682.
ICMLICML-c2-2014-Sohl-DicksteinPG #performance #probability #scalability
Fast large-scale optimization by unifying stochastic gradient and quasi-Newton methods (JSD, BP, SG), pp. 604–612.
ICMLICML-c2-2014-YangPK #equivalence
Optimization Equivalence of Divergences Improves Neighbor Embedding (ZY, JP, SK), pp. 460–468.
ICMLICML-c2-2014-YuanLZ
Gradient Hard Thresholding Pursuit for Sparsity-Constrained Optimization (XY, PL, TZ), pp. 127–135.
ICMLICML-c2-2014-ZhangK #distributed
Asynchronous Distributed ADMM for Consensus Optimization (RZ, JTK), pp. 1701–1709.
ICPRICPR-2014-DiezVPRB #recognition
Optimizing PLLR Features for Spoken Language Recognition (MD, AV, MP, LJRF, GB), pp. 779–784.
ICPRICPR-2014-Kanatani #estimation #geometry #statistics
Statistical Optimization for Geometric Estimation: Minimization vs. Non-minimization (KK), pp. 1–8.
ICPRICPR-2014-LindbladSMBMM #pattern matching #pattern recognition #recognition
Optimizing Optics and Imaging for Pattern Recognition Based Screening Tasks (JL, NS, PM, EB, RM, AM), pp. 3333–3338.
ICPRICPR-2014-LiuZH #energy #graph
Improved Optimization Based on Graph Cuts for Discrete Energy Minimization (KL, JZ, KH), pp. 2424–2429.
ICPRICPR-2014-MekonnenLHB #detection #people
People Detection with Heterogeneous Features and Explicit Optimization on Computation Time (AAM, FL, AH, CB), pp. 4322–4327.
ICPRICPR-2014-YooJKC #learning
Transfer Learning of Motion Patterns in Traffic Scene via Convex Optimization (YJY, HJ, SWK, JYC), pp. 4158–4163.
ICPRICPR-2014-ZhuY #image #quality
A Bit Allocation Optimization Method for ROI Based Image Compression with Stable Image Quality (YZ, JY), pp. 849–854.
KDDKDD-2014-KhalilDS #network #scalability
Scalable diffusion-aware optimization of network topology (EBK, BND, LS), pp. 1226–1235.
KDDKDD-2014-LiZCS #performance #probability
Efficient mini-batch training for stochastic optimization (ML, TZ, YC, AJS), pp. 661–670.
KDDKDD-2014-YuanWCMS #empirical #realtime
An empirical study of reserve price optimisation in real-time bidding (SY, JW, BC, PM, SS), pp. 1897–1906.
KDDKDD-2014-ZhaiXW #multi
A multi-class boosting method with direct optimization (SZ, TX, SW), pp. 273–282.
KDDKDD-2014-ZhengZLJXLSZLTLDLW #data mining #mining #process
Applying data mining techniques to address critical process optimization needs in advanced manufacturing (LZ, CZ, LL, YJ, WX, JL, CS, WZ, HL, LT, TL, BD, ML, PW), pp. 1739–1748.
KRKR-2014-SiderisD #heuristic
Heuristic Guided Optimization for Propositional Planning (AS, YD).
MLDMMLDM-2014-JiangDPL #approach #estimation #markov #recognition
Modified Bootstrap Approach with State Number Optimization for Hidden Markov Model Estimation in Small-Size Printed Arabic Text Line Recognition (ZJ, XD, LP, CL), pp. 437–441.
RecSysRecSys-2014-Aiolli #feedback #recommendation
Convex AUC optimization for top-N recommendation with implicit feedback (FA), pp. 293–296.
SIGIRSIGIR-2014-FangZ #analysis #axiom #information retrieval #modelling
Axiomatic analysis and optimization of information retrieval models (HF, CZ), p. 1288.
SIGIRSIGIR-2014-TangJY #ranking #runtime
Cache-conscious runtime optimization for ranking ensembles (XT, XJ, TY), pp. 1123–1126.
SPLCSPLC-2014-OlaecheaRGC #approximate #comparison #multi #product line
Comparison of exact and approximate multi-objective optimization for software product lines (RO, DR, JG, KC), pp. 92–101.
OOPSLAOOPSLA-2014-MisailovicCAQR #approximate #kernel #named
Chisel: reliability- and accuracy-aware optimization of approximate computational kernels (SM, MC, SA, ZQ, MCR), pp. 309–328.
OOPSLAOOPSLA-2014-ZhangLBF #abstract syntax tree
Accelerating iterators in optimizing AST interpreters (WZ, PL, SB, MF), pp. 727–743.
OOPSLAOOPSLA-2014-ZhouSGY #adaptation #multi
Space-efficient multi-versioning for input-adaptive feedback-driven program optimizations (MZ, XS, YG, GY), pp. 763–776.
PEPMPEPM-2014-AdamsFM #exclamation #scrap your boilerplate
Optimizing SYB is easy! (MDA, AF, JPM), pp. 71–82.
PLDIPLDI-2014-Schkufza0A #float #precise #probability #source code
Stochastic optimization of floating-point programs with tunable precision (ES, RS, AA), p. 9.
POPLPOPL-2014-LiAKGC #smt
Symbolic optimization with SMT solvers (YL, AA, ZK, AG, MC), pp. 607–618.
REFSQREFSQ-2014-RiegelD #analysis #elicitation #heuristic #performance
An Analysis of Priority-Based Decision Heuristics for Optimizing Elicitation Efficiency (NR, JD), pp. 268–284.
ASEASE-2014-AbdeenVSNDHH #design #multi #rule-based
Multi-objective optimization in rule-based design space exploration (HA, DV, HAS, ASN, CD, ÁH, ÁH), pp. 289–300.
ASEASE-2014-GuoZORCAA #combinator #parallel #scalability
Scaling exact multi-objective combinatorial optimization by parallelization (JG, EZ, RO, DR, KC, SA, JMA), pp. 409–420.
ASEASE-2014-KusanoW #abstraction #partial order #reduction
Assertion guided abstraction: a cooperative optimization for dynamic partial order reduction (MK, CW), pp. 175–186.
ASEASE-2014-MkaouerKBDC #interactive #recommendation #refactoring #using
Recommendation system for software refactoring using innovization and interactive dynamic optimization (MWM, MK, SB, KD, MÓC), pp. 331–336.
ICSEICSE-2014-IgnatievJM #performance #towards
Towards efficient optimization in package management systems (AI, MJ, JMS), pp. 745–755.
SACSAC-2014-ChangHL #adaptation #clustering #using
Optimizing FTL mapping cache for random-write workloads using adaptive block partitioning (LPC, SMH, WPL), pp. 1504–1510.
SACSAC-2014-KatebFNMAT #framework #modelling #multi #platform #runtime
Generic cloud platform multi-objective optimization leveraging models@run.time (DEK, FF, GN, JAM, MA, YLT), pp. 343–350.
LDTALDTA-J-2011-SauthoffG #analysis #domain-specific language #programming
Yield grammar analysis and product optimization in a domain-specific language for dynamic programming (GS, RG), pp. 2–22.
GPCEGPCE-2014-KaminGAXYC #multi #runtime
Optimization by runtime specialization for sparse matrix-vector multiplication (SK, MJG, BA, DX, BY, ZC), pp. 93–102.
ASPLOSASPLOS-2014-SchulteDHFW #energy
Post-compiler software optimization for reducing energy (EMS, JD, SH, SF, WW), pp. 639–652.
CASECASE-2014-GlorieuxDSL #approach #using
Optimisation of interacting production stations using a Constructive Cooperative Coevolutionary approach (EG, FD, BS, BL), pp. 322–327.
CASECASE-2014-HeLG #graph
Marking optimization of deterministic timed weighted marked graphs (ZH, ZL, AG), pp. 413–418.
CASECASE-2014-HuangCM
Motion planning of a 7-axis robot manipulator via Modified Tension Spline and convex optimization (SH, HHC, AGM), pp. 1278–1283.
CASECASE-2014-KanagarajPL #algorithm #process
Application of a hybridized cuckoo search-genetic algorithm to path optimization for PCB holes drilling process (GK, SGP, WCEL), pp. 373–378.
CASECASE-2014-MaTLZLD #algorithm #hybrid #scheduling
A hybrid particle swarm optimization and simulated annealing algorithm for job-shop scheduling (PCM, FT, YL, LZ, HXL, ZD), pp. 125–130.
CASECASE-2014-MingMT
Reducing carbon emission of ocean shipments by optimizing container size selection (ECLM, NLM, KWT), pp. 480–485.
CASECASE-2014-QiuSL #multi #simulation
A simulation based GA for multi-objective optimization in patient flow distribution (YQ, JS, ZL), pp. 1–6.
CASECASE-2014-TiengYHC #approach #multi #process
A multi-objective optimization approach for selecting key features of machining processes (HT, HCY, MHH, FTC), pp. 899–904.
CASECASE-2014-WangQ #collaboration #energy #enterprise
Cost and energy consumption collaborative optimization for sintering burdening in iron and steel enterprise (JW, FQ), pp. 486–491.
CASECASE-2014-XuZHCLC #framework #multi #simulation
An ordinal transformation framework for multi-fidelity simulation optimization (JX, SZ, EH, CHC, LHL, NC), pp. 385–390.
CASECASE-2014-ZhangLYL #parametricity #simulation
Simulation and parameter optimization of the key working procedure of engine box (CZ, JL, RY, GL), pp. 315–319.
CGOCGO-2014-MargiolasO #communication
Portable and Transparent Host-Device Communication Optimization for GPGPU Environments (CM, MFPO), p. 55.
CGOCGO-2014-WangWP #reduction #virtual machine
Optimizing R VM: Allocation Removal and Path Length Reduction via Interpreter-level Specialization (HW, PW, DAP), p. 295.
DACDAC-2014-0001SMAKV #manycore
Reinforcement Learning-Based Inter- and Intra-Application Thermal Optimization for Lifetime Improvement of Multicore Systems (AD, RAS, GVM, BMAH, AK, BV), p. 6.
DACDAC-2014-AmaruGM #algorithm #graph #logic #novel #performance
Majority-Inverter Graph: A Novel Data-Structure and Algorithms for Efficient Logic Optimization (LGA, PEG, GDM), p. 6.
DACDAC-2014-ChenWLXY #runtime
Run-Time Technique for Simultaneous Aging and Power Optimization in GPGPUs (XC, YW, YL, YX, HY), p. 6.
DACDAC-2014-CuiCBC #set
A Swap-based Cache Set Index Scheme to Leverage both Superpage and Page Coloring Optimizations (ZC, LC, YB, MC), p. 6.
DACDAC-2014-DingCM #layout #throughput
Throughput Optimization for SADP and E-beam based Manufacturing of 1D Layout (YD, CC, WKM), p. 6.
DACDAC-2014-GaoXYP #named #process
MOSAIC: Mask Optimizing Solution With Process Window Aware Inverse Correction (JRG, XX, BY, DZP), p. 6.
DACDAC-2014-HeldS
Post-Routing Latch Optimization for Timing Closure (SH, US), p. 6.
DACDAC-2014-HoC #performance #pipes and filters
A New Asynchronous Pipeline Template for Power and Performance Optimization (KHH, YWC), p. 6.
DACDAC-2014-KhosraviRGT #multi #reliability #using
Multi-Objective Local-Search Optimization using Reliability Importance Measuring (FK, FR, MG, JT), p. 6.
DACDAC-2014-PengPL #performance
Fast and Accurate Full-chip Extraction and Optimization of TSV-to-Wire Coupling (YP, DP, SKL), p. 6.
DACDAC-2014-SamalPSSDL #3d #modelling #performance
Fast and Accurate Thermal Modeling and Optimization for Monolithic 3D ICs (SKS, SP, KS, MS, YD, SKL), p. 6.
DACDAC-2014-WangOC #performance #polynomial #synthesis
Enabling Efficient Analog Synthesis by Coupling Sparse Regression and Polynomial Optimization (YW, MO, CC), p. 6.
DACDAC-2014-ZhuoGS #design #grid #modelling #power management
Early-Stage Power Grid Design: Extraction, Modeling and Optimization (CZ, HG, WKS), p. 6.
DATEDATE-2014-0001GWKAWG #performance #runtime
Exploiting expendable process-margins in DRAMs for run-time performance optimization (KC, SG, CW, MK, BA, NW, KG), pp. 1–6.
DATEDATE-2014-AfacanAFDB #automation #design #modelling
Model based hierarchical optimization strategies for analog design automation (EA, SA, FVF, GD, IFB), pp. 1–4.
DATEDATE-2014-AksoyFM #complexity #constant #design #multi
Optimization of design complexity in time-multiplexed constant multiplications (LA, PFF, JCM), pp. 1–4.
DATEDATE-2014-AlamPTSN #android #energy
Energy optimization in Android applications through wakelock placement (FA, PRP, NT, NS, SN), pp. 1–4.
DATEDATE-2014-BournoutianO #framework #mobile
On-device objective-C application optimization framework for high-performance mobile processors (GB, AO), pp. 1–6.
DATEDATE-2014-DuW #process #standard
Optimization of standard cell based detailed placement for 16 nm FinFET process (YD, MDFW), pp. 1–6.
DATEDATE-2014-GomonyAG #performance #realtime
Coupling TDM NoC and DRAM controller for cost and performance optimization of real-time systems (MDG, BA, KG), pp. 1–6.
DATEDATE-2014-KangYKBHT #manycore
Reliability-aware mapping optimization of multi-core systems with mixed-criticality (SHK, HY, SK, IB, SH, LT), pp. 1–4.
DATEDATE-2014-LiuSZSC #constraints #latency #streaming
Resource optimization for CSDF-modeled streaming applications with latency constraints (DL, JS, JTZ, TS, GC), pp. 1–6.
DATEDATE-2014-RossiTB #hybrid #realtime
Real-time optimization of the battery banks lifetime in Hybrid Residential Electrical Systems (MR, AT, DB), pp. 1–6.
DATEDATE-2014-RoyJ #named #thread
ALLARM: Optimizing sparse directories for thread-local data (AR, TMJ), pp. 1–6.
DATEDATE-2014-Sadri0WWB #3d #energy #using
Energy optimization in 3D MPSoCs with Wide-I/O DRAM using temperature variation aware bank-wise refresh (MS, MJ, CW, NW, LB), pp. 1–4.
DATEDATE-2014-VartziotisKCPJ #multi #using
Multi-site test optimization for multi-Vdd SoCs using space- and time- division multiplexing (FV, XK, KC, RAP, AJ), pp. 1–6.
LCTESLCTES-2014-HenryAMM #encoding #execution #how #modulo theories #semantics #worst-case
How to compute worst-case execution time by optimization modulo theory and a clever encoding of program semantics (JH, MA, DM, CM), pp. 43–52.
LCTESLCTES-2014-LozanoCBS #combinator
Combinatorial spill code optimization and ultimate coalescing (RCL, MC, GHB, CS), pp. 23–32.
LCTESLCTES-2014-MartinsNDMC #clustering #compilation #sequence #using
Exploration of compiler optimization sequences using clustering-based selection (LGAM, RN, ACBD, EM, JMPC), pp. 63–72.
PDPPDP-2014-BuonoMMV #architecture #hardware #manycore #message passing #thread #using
Optimizing Message-Passing on Multicore Architectures Using Hardware Multi-threading (DB, TDM, GM, MV), pp. 262–270.
PDPPDP-2014-FalcoLOSTT #distributed #source code
Extremal Optimization with Guided State Changes in Load Balancing of Distributed Programs (IDF, EL, RO, US, ET, MT), pp. 228–231.
STOCSTOC-2014-SinghV
Entropy, optimization and counting (MS, NKV), pp. 50–59.
ICSTICST-2014-BallerLLS #incremental #multi #product line #testing
Multi-objective Test Suite Optimization for Incremental Product Family Testing (HB, SL, ML, IS), pp. 303–312.
ICSTICST-2014-DemuthLE #automation #incremental #product line
Automatic and Incremental Product Optimization for Software Product Lines (AD, RELH, AE), pp. 31–40.
ISSTAISSTA-2014-LiJSCH #energy #testing
Integrated energy-directed test suite optimization (DL, YJ, CS, JC, WGJH), pp. 339–350.
VMCAIVMCAI-2014-LopesM #compilation #synthesis
Weakest Precondition Synthesis for Compiler Optimizations (NPL, JM), pp. 203–221.
ICDARICDAR-2013-LiMVC #distance #multi
A Multi-stroke Dynamic Time Warping Distance Based on A* Optimization (JL, HM, CVG, ZC), pp. 1330–1334.
ICDARICDAR-2013-MaW #automation #component #database #online #segmentation
Semi-automatic Tibetan Component Annotation from Online Handwritten Tibetan Character Database by Optimizing Segmentation Hypotheses (LLM, JW), pp. 1340–1344.
SIGMODSIGMOD-2013-GiannikisMAK #using
Workload optimization using SharedDB (GG, DM, GA, DK), pp. 1045–1048.
SIGMODSIGMOD-2013-HuangB0 #data analysis #in the cloud #named #statistics
Cumulon: optimizing statistical data analysis in the cloud (BH, SB, JY), pp. 1–12.
SIGMODSIGMOD-2013-LimB #execution #query
Execution and optimization of continuous queries with cyclops (HL, SB), pp. 1069–1072.
VLDBVLDB-2013-BrunatoB #learning
Learning and Intelligent Optimization (LION): One Ring to Rule Them All (MB, RB), pp. 1176–1177.
VLDBVLDB-2013-BrunoJZ #query
Continuous Cloud-Scale Query Optimization and Processing (NB, SJ, JZ), pp. 961–972.
VLDBVLDB-2013-CherniakZZ #testing
Optimization Strategies for A/B Testing on HADOOP (AC, HZ, VZ), pp. 973–984.
VLDBVLDB-2013-Elmeleegy #named
Piranha: Optimizing Short Jobs in Hadoop (KE), pp. 985–996.
VLDBVLDB-2013-MottinMRDPV #framework #probability #problem
A Probabilistic Optimization Framework for the Empty-Answer Problem (DM, AM, SBR, GD, TP, YV), pp. 1762–1773.
VLDBVLDB-2013-ParkW #crowdsourcing #query
Query Optimization over Crowdsourced Data (HP, JW), pp. 781–792.
VLDBVLDB-2014-OnizukaKHNH13 #pipes and filters #query
Optimization for iterative queries on MapReduce (MO, HK, SH, KN, ZH), pp. 241–252.
VLDBVLDB-2014-ShuaiYYC13 #process #social
Willingness Optimization for Social Group Activity (HHS, DNY, PSY, MSC), pp. 253–264.
VLDBVLDB-2014-WangC13 #framework #multi #pipes and filters
Multi-Query Optimization in MapReduce Framework (GW, CYC), pp. 145–156.
CSMRCSMR-2013-NerellaMW #approach #query #using
An Approach for Optimization of Object Queries on Collections Using Annotations (VKSN, SKM, TW), pp. 273–282.
ICSMEICSM-2013-KrishnanT #problem #refactoring
Refactoring Clones: An Optimization Problem (GPK, NT), pp. 360–363.
ICALPICALP-v1-2013-BabenkoGGN #algorithm
Algorithms for Hub Label Optimization (MAB, AVG, AG, VN), pp. 69–80.
ICALPICALP-v2-2013-MertziosMCS #constraints #network
Temporal Network Optimization Subject to Connectivity Constraints (GBM, OM, IC, PGS), pp. 657–668.
ICFPICFP-2013-JohnsonLMH #automaton
Optimizing abstract abstract machines (JIJ, NL, MM, DVH), pp. 443–454.
ICFPICFP-2013-McDonellCKL #functional #gpu #source code
Optimising purely functional GPU programs (TLM, MMTC, GK, BL), pp. 49–60.
IFLIFL-2013-HackettHJ #approach #recursion #source code
The Under-Performing Unfold: A new approach to optimising corecursive programs (JH, GH, MJ), p. 1.
AIIDEAIIDE-2013-ShakerST13a #authoring #design #named
Ropossum: An Authoring Tool for Designing, Optimizing and Solving Cut the Rope Levels (NS, MS, JT).
CHICHI-2013-LomasPFK #challenge #design #education #game studies #scalability #using
Optimizing challenge in an educational game using large-scale design experiments (DL, KP, JF, KRK), pp. 89–98.
HCIDHM-HB-2013-ZhangZLDW
Optimization for Lunar Mission Training Scheme Based on AnyBody Software (JZ, RZ, JL, LD, LW), pp. 169–178.
HCIDUXU-NTE-2013-FukumotoI #algorithm #interactive #mobile #search-based
A Proposal for Optimization Method of Vibration Pattern of Mobile Device with Interactive Genetic Algorithm (MF, TI), pp. 264–269.
HCIHIMI-D-2013-KomineN #evaluation #smarttech #user interface #visual notation
Optimization of GUI on Touchscreen Smartphones Based on Physiological Evaluation — Feasibility of Small Button Size and Spacing for Graphical Objects (SK, MN), pp. 80–88.
ICEISICEIS-J-2013-HarbuschP13a #exclamation #smarttech #usability #user interface
Optimizing the User Interface of a First-Aid App: A “Realistic” Usability Study with the Smartphone Application “Defi Now!” (KH, JP), pp. 421–437.
ICEISICEIS-J-2013-NganBEB13a #capacity #energy #framework
Optimizing Power, Heating, and Cooling Capacity on a Decision-Guided Energy Investment Framework (CKN, AB, NEE, EB), pp. 154–173.
ICEISICEIS-v1-2013-DiabatAAAF #framework #performance
A Framework for Optimizing the Supply Chain Performance of a Steel Producer (AHD, RAA, MHA, AJA, MNF), pp. 554–562.
ICEISICEIS-v1-2013-HayashiK #performance
Data Location Optimization Method to Improve Tiered Storage Performance (SH, NK), pp. 112–119.
ICEISICEIS-v2-2013-KimMMK #visualisation
Application of Information Technology for Visualizing and Optimizing Construction Project Schedule (HSK, SYM, HSM, LSK), pp. 329–332.
ICEISICEIS-v2-2013-OgataK #multi #parametricity
The Parameter Optimization in Multiple Layered Deduplication System (MO, NK), pp. 143–150.
ECIRECIR-2013-MetrikovPA #consistency #nondeterminism
Optimizing nDCG Gains by Minimizing Effect of Label Inconsistency (PM, VP, JAA), pp. 760–763.
ECIRECIR-2013-YasudaNHN #combinator
Sub-sentence Extraction Based on Combinatorial Optimization (NY, MN, TH, MN), pp. 812–815.
ICMLICML-c1-2013-BergstraYC #architecture
Making a Science of Model Search: Hyperparameter Optimization in Hundreds of Dimensions for Vision Architectures (JB, DY, DDC), pp. 115–123.
ICMLICML-c1-2013-ChenK #adaptation #learning
Near-optimal Batch Mode Active Learning and Adaptive Submodular Optimization (YC, AK), pp. 160–168.
ICMLICML-c1-2013-GrinbergP
Average Reward Optimization Objective In Partially Observable Domains (YG, DP), pp. 320–328.
ICMLICML-c1-2013-Hennig #performance #probability
Fast Probabilistic Optimization from Noisy Gradients (PH), pp. 62–70.
ICMLICML-c1-2013-Jaggi
Revisiting Frank-Wolfe: Projection-Free Sparse Convex Optimization (MJ), pp. 427–435.
ICMLICML-c1-2013-Lacoste-JulienJSP #coordination
Block-Coordinate Frank-Wolfe Optimization for Structural SVMs (SLJ, MJ, MWS, PP), pp. 53–61.
ICMLICML-c1-2013-NarasimhanA #approach
A Structural SVM Based Approach for Optimizing Partial AUC (HN, SA), pp. 516–524.
ICMLICML-c1-2013-RamdasS #probability
Optimal rates for stochastic convex optimization under Tsybakov noise condition (AR, AS), pp. 365–373.
ICMLICML-c1-2013-Shamir0 #convergence #probability
Stochastic Gradient Descent for Non-smooth Optimization: Convergence Results and Optimal Averaging Schemes (OS, TZ), pp. 71–79.
ICMLICML-c1-2013-XiangTY #feature model #performance
Efficient Sparse Group Feature Selection via Nonconvex Optimization (SX, XT, JY), pp. 284–292.
ICMLICML-c1-2013-ZuluagaSKP #learning #multi
Active Learning for Multi-Objective Optimization (MZ, GS, AK, MP), pp. 462–470.
ICMLICML-c2-2013-ErmonGSS #integration
Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization (SE, CPG, AS, BS), pp. 334–342.
ICMLICML-c2-2013-GongZLHY #algorithm #problem
A General Iterative Shrinkage and Thresholding Algorithm for Non-convex Regularized Optimization Problems (PG, CZ, ZL, JH, JY), pp. 37–45.
ICMLICML-c2-2013-ValkoCM #probability
Stochastic Simultaneous Optimistic Optimization (MV, AC, RM), pp. 19–27.
ICMLICML-c2-2013-YangPK #scalability #visualisation
Scalable Optimization of Neighbor Embedding for Visualization (ZY, JP, SK), pp. 127–135.
ICMLICML-c3-2013-DembczynskiJKWH #approach #classification #multi #plugin
Optimizing the F-Measure in Multi-Label Classification: Plug-in Rule Approach versus Structured Loss Minimization (KD, AJ, WK, WW, EH), pp. 1130–1138.
ICMLICML-c3-2013-GaoJZZ
One-Pass AUC Optimization (WG, RJ, SZ, ZHZ), pp. 906–914.
ICMLICML-c3-2013-IyerJB #performance
Fast Semidifferential-based Submodular Function Optimization (RKI, SJ, JAB), pp. 855–863.
ICMLICML-c3-2013-Mairal #first-order
Optimization with First-Order Surrogate Functions (JM), pp. 783–791.
ICMLICML-c3-2013-NguyenS #algorithm #classification
Algorithms for Direct 0-1 Loss Optimization in Binary Classification (TN, SS), pp. 1085–1093.
ICMLICML-c3-2013-TeschSC #probability
Expensive Function Optimization with Stochastic Binary Outcomes (MT, JGS, HC), pp. 1283–1291.
ICMLICML-c3-2013-ZhangYJH #probability
O(logT) Projections for Stochastic Optimization of Smooth and Strongly Convex Functions (LZ, TY, RJ, XH), pp. 1121–1129.
KDDKDD-2013-ChenLYSY #clustering #query
Query clustering based on bid landscape for sponsored search auction optimization (YC, WL, JY, AS, TWY), pp. 1150–1158.
KDDKDD-2013-NarasimhanA #bound #named
SVMpAUCtight: a new support vector method for optimizing partial AUC based on a tight convex upper bound (HN, SA), pp. 167–175.
KDDKDD-2013-SunBK #identification #polynomial
Quadratic optimization to identify highly heritable quantitative traits from complex phenotypic features (JS, JB, HRK), pp. 811–819.
KDDKDD-2013-TangLSPG #automation #framework #monitoring #scalability
An integrated framework for optimizing automatic monitoring systems in large IT infrastructures (LT, TL, LS, FP, GG), pp. 1249–1257.
KDDKDD-2013-TanXGW #learning #metric #modelling #rank #ranking
Direct optimization of ranking measures for learning to rank models (MT, TX, LG, SW), pp. 856–864.
KDDKDD-2013-ThorntonHHL #algorithm #classification #named
Auto-WEKA: combined selection and hyperparameter optimization of classification algorithms (CT, FH, HHH, KLB), pp. 847–855.
KDDKDD-2013-Wright #data analysis #learning
Optimization in learning and data analysis (SJW), p. 3.
KDDKDD-2013-ZhengM #parallel
Optimizing parallel belief propagation in junction treesusing regression (LZ, OJM), pp. 757–765.
RecSysRecSys-2013-ShiKBLH #multi #named #rank
xCLiMF: optimizing expected reciprocal rank for data with multiple levels of relevance (YS, AK, LB, ML, AH), pp. 431–434.
SEKESEKE-2013-AssuncaoV #diagrams #retrieval
Class Diagram Retrieval with Particle Swarm Optimization (WKGA, SRV), pp. 632–637.
SEKESEKE-2013-BelleEDM #architecture #problem #question
The Layered Architecture revisited: Is it an Optimization Problem? (ABB, GEB, CD, HM), pp. 344–349.
SIGIRSIGIR-2013-AlabduljalilTY #performance #similarity
Cache-conscious performance optimization for similarity search (MA, XT, TY), pp. 713–722.
SIGIRSIGIR-2013-RaiberCK
Shame to be sham: addressing content-based grey hat search engine optimization (FR, KCT, OK), pp. 1013–1016.
SIGIRSIGIR-2013-ZhangCWY #collaboration
Optimizing top-n collaborative filtering via dynamic negative item sampling (WZ, TC, JW, YY), pp. 785–788.
ECOOPECOOP-2013-WuZSGSY #fault #statistics
Simple Profile Rectifications Go a Long Way — Statistically Exploring and Alleviating the Effects of Sampling Errors for Program Optimizations (BW, MZ, XS, YG, RS, GY), pp. 654–678.
OOPSLAOOPSLA-2013-NollG #java #online #parallel
Online feedback-directed optimizations for parallel Java code (AN, TRG), pp. 713–728.
OOPSLAOOPSLA-2013-ShiBH #using
Code optimizations using formally verified properties (YS, BB, GH), pp. 427–442.
OOPSLAOOPSLA-2013-Xu #named #profiling #source code
Resurrector: a tunable object lifetime profiling technique for optimizing real-world programs (G(X), pp. 111–130.
HILTHILT-2013-EfstathopoulosH #verification
Optimizing verification effort with SPARK 2014 (PE, AH), pp. 19–20.
PLDIPLDI-2013-CheungSM #query #synthesis
Optimizing database-backed applications with query synthesis (AC, ASL, SM), pp. 3–14.
PLDIPLDI-2013-MorissetPN #compilation #formal method #memory management #testing
Compiler testing via a theory of sound optimisations in the C11/C++11 memory model (RM, PP, FZN), pp. 187–196.
PLDIPLDI-2013-Ragan-KelleyBAPDA #compilation #image #locality #named #parallel #pipes and filters
Halide: a language and compiler for optimizing parallelism, locality, and recomputation in image processing pipelines (JRK, CB, AA, SP, FD, SPA), pp. 519–530.
PLDIPLDI-2013-ZhaoNMZ #verification
Formal verification of SSA-based optimizations for LLVM (JZ, SN, MMKM, SZ), pp. 175–186.
POPLPOPL-2013-RompfSABJLJOO #compilation #data type #source code #staging
Optimizing data structures in high-level programs: new directions for extensible compilers based on staging (TR, AKS, NA, KJB, VJ, HL, MJ, KO, MO), pp. 497–510.
SASSAS-2013-WhiteM #algebra #analysis #memory management #using
Concise Analysis Using Implication Algebras for Task-Local Memory Optimisation (LW, AM), pp. 433–453.
ASEASE-2013-SaadaHNS #model transformation #multi #using
Recovering model transformation traces using multi-objective optimization (HS, MH, CN, HAS), pp. 688–693.
ASEASE-2013-SimburgerAGL #empirical
The potential of polyhedral optimization: An empirical study (AS, SA, AG, CL), pp. 508–518.
ESEC-FSEESEC-FSE-2013-JiangLZDSGS #design #embedded #multi #using
Design and optimization of multi-clocked embedded systems using formal technique (YJ, ZL, HZ, YD, XS, MG, JS), pp. 703–706.
ICSEICSE-2013-FreyFH #configuration management #deployment #in the cloud #search-based
Search-based genetic optimization for deployment and reconfiguration of software in the cloud (SF, FF, WH), pp. 512–521.
SACSAC-2013-CostaFLAV #metaheuristic #statistics
Optimization metaheuristics for minimizing variance in a real-world statistical application (EC, FF, ARL, HA, FMV), pp. 206–207.
SACSAC-2013-FlushingC #network
A flow-based optimization model for throughput-oriented relay node placement in wireless sensor networks (EFF, GADC), pp. 632–639.
SACSAC-2013-GaudesiMMST #design
Evolutionary optimization of wetlands design (MG, AM, TM, GS, APT), pp. 176–181.
SACSAC-2013-KimGKTSK
Maximizing availability of content in disruptive environments by cross-layer optimization (MK, AG, JMK, DT, MOS, JSK), pp. 447–454.
SACSAC-2013-LarrosaR #bound #constraints #distributed
Risk-neutral bounded max-sum for distributed constraint optimization (JL, ER), pp. 92–97.
SACSAC-2013-LeitaoC #adaptation #detection #performance #using #xml
Efficient XML duplicate detection using an adaptive two-level optimization (LL, PC), pp. 832–837.
SACSAC-2013-SinghR #algorithm #architecture #predict
Meta-learning based architectural and algorithmic optimization for achieving green-ness in predictive workload analytics (NS, SR), pp. 1169–1176.
ASPLOSASPLOS-2013-WangW #hardware #named #performance
TSO_ATOMICITY: efficient hardware primitive for TSO-preserving region optimizations (CW, YW), pp. 509–520.
CASECASE-2013-ChenTSPSSN #design
Optimization processing unit (OPU) applied to integrated circuit design and manufacturing (DCLC, JTT, DBS, SWP, MHS, KTS, PN), pp. 1008–1015.
CASECASE-2013-ChuS #deployment #estimation
Optimization of probe vehicle deployment for traffic status estimation (KCC, KS), pp. 880–885.
CASECASE-2013-GiulianiCP #analysis
A computational analysis of nondifferentiable optimization: Applications to production maximization in gas-lifted oil fields (CMG, EC, AP), pp. 286–291.
CASECASE-2013-LinG #detection #framework #network #synthesis
Synthesis and optimization of a Bayesian belief network based observation platform for anomaly detection under partial and unreliable observations (WCL, HEG), pp. 51–58.
CASECASE-2013-LiuCXG #distributed #energy
A decentralized optimization method for energy saving of HVAC systems (ZL, XC, XX, XG), pp. 225–230.
CASECASE-2013-ShenWWW #modelling
Application of vector ordinal optimization to the transportation systems with agent based modelling (ZS, KW, FYW, KW), pp. 898–903.
CASECASE-2013-SilvaCTS #automation #linear #programming
A mixed-integer linear programming model for automatic routing decisions in oil production optimization (TLS, EC, AFT, SS), pp. 280–285.
CASECASE-2013-SunLJY #energy #nondeterminism
Event-based optimization with non-stationary uncertainties to save energy costs of HVAC systems in buildings (BS, PBL, QSJ, BY), pp. 436–441.
CASECASE-2013-SunSS #scheduling
Integrated operating room scheduling optimization under particularly workload constrain of surgeon (BS, JS, LS), pp. 972–977.
CASECASE-2013-SunSSZS #heuristic
A linearized model and nested-partitions heuristics for VMAT radiation treatment planning optimization (BS, ZS, JS, GZ, LS), pp. 629–633.
CASECASE-2013-SunSZS #approach
A two-stage approach for VMAT treatment plan optimization (BS, JS, GZ, LS), pp. 455–460.
CASECASE-2013-XuJLYL #energy #using
Optimal building energy management using intelligent optimization (YX, KJ, YL, YY, WL), pp. 95–99.
CASECASE-2013-YeWZML #approach #network #predict #scalability
A signal split optimization approach based on model predictive control for large-scale urban traffic networks (BLY, WW, XZ, WJM, JL), pp. 904–909.
CASECASE-2013-YiTLL #parametricity
Optimization of CNC machine processing parameters for low carbon manufacturing (QY, YT, CL, PL), pp. 498–503.
CASECASE-2013-ZhangH #algorithm #analysis #convergence #coordination #implementation #parallel
Convergence analysis and parallel computing implementation for the multiagent coordination optimization algorithm with applications (HZ, QH), pp. 825–830.
CCCC-2013-CammarotaNVKDM #on the
On the Determination of Inlining Vectors for Program Optimization (RC, AN, AVV, AK, DD, MM), pp. 164–183.
CGOCGO-2013-LaiS #analysis #bound #performance
Performance upper bound analysis and optimization of SGEMM on Fermi and Kepler GPUs (JL, AS), p. 10.
CGOCGO-2013-SuiLX #adaptation #compilation
Query-directed adaptive heap cloning for optimizing compilers (YS, YL, JX), p. 11.
DACDAC-2013-JahnPKCH #configuration management #pipes and filters
Optimizations for configuring and mapping software pipelines in many core systems (JJ, SP, SK, JJC, JH), p. 8.
DACDAC-2013-KuruvillaSPVC #analysis #set #statistics
Speeding up computation of the max/min of a set of gaussians for statistical timing analysis and optimization (VK, DS, JP, CV, NC), p. 7.
DACDAC-2013-LiuKL
Optimization of placement solutions for routability (WHL, CKK, YLL), p. 9.
DACDAC-2013-LiuYLW #modelling
Polyhedral model based mapping optimization of loop nests for CGRAs (DL, SY, LL, SW), p. 8.
DACDAC-2013-MinJP #energy #named #reduction
XDRA: exploration and optimization of last-level cache for energy reduction in DDR DRAMs (SMM, HJ, SP), p. 10.
DACDAC-2013-ShafaeiSP #architecture #distance #interactive #linear #nearest neighbour #quantum
Optimization of quantum circuits for interaction distance in linear nearest neighbor architectures (AS, MS, MP), p. 6.
DACDAC-2013-ShafiqueRAH #fault #reliability
Exploiting program-level masking and error propagation for constrained reliability optimization (MS, SR, PVA, JH), p. 9.
DACDAC-2013-SinghDK #energy #execution #multi #streaming
Energy optimization by exploiting execution slacks in streaming applications on multiprocessor systems (AKS, AD, AK), p. 7.
DACDAC-2013-SongLPL #3d #multi
Full-chip multiple TSV-to-TSV coupling extraction and optimization in 3D ICs (TS, CL, YP, SKL), p. 7.
DACDAC-2013-YangRHX #behaviour #design #equivalence #implementation #synthesis
Handling design and implementation optimizations in equivalence checking for behavioral synthesis (ZY, SR, KH, FX), p. 6.
DACDAC-2013-ZhanSOTNX #design #embedded #energy #realtime
Designing energy-efficient NoC for real-time embedded systems through slack optimization (JZ, NS, JO, LT, VN, YX), p. 6.
DATEDATE-2013-AliasDP #kernel #synthesis
Optimizing remote accesses for offloaded kernels: application to high-level synthesis for FPGA (CA, AD, AP), pp. 575–580.
DATEDATE-2013-CabodiLV #bound #model checking
Optimization techniques for craig interpolant compaction in unbounded model checking (GC, CL, DV), pp. 1417–1422.
DATEDATE-2013-ChenHBK #energy #multi #pipes and filters #worst-case
Energy optimization with worst-case deadline guarantee for pipelined multiprocessor systems (GC, KH, CB, AK), pp. 45–50.
DATEDATE-2013-ChenZ #design
Resource-constrained high-level datapath optimization in ASIP design (YC, HZ), pp. 198–201.
DATEDATE-2013-Gomez-PradoCT #latency #using
FPGA latency optimization using system-level transformations and DFG restructuring (DGP, MJC, RT), pp. 1553–1558.
DATEDATE-2013-JiangEP #embedded #set
Optimization of secure embedded systems with dynamic task sets (KJ, PE, ZP), pp. 1765–1770.
DATEDATE-2013-KatoenNWSS #energy #modelling
Model-based energy optimization of automotive control systems (JPK, TN, HW, TS, DS), pp. 761–766.
DATEDATE-2013-KazmierskiWAM #energy #performance
DoE-based performance optimization of energy management in sensor nodes powered by tunable energy-harvesters (TJK, LW, BMAH, GVM), p. 484.
DATEDATE-2013-ManiatakosMM #array #memory management
AVF-driven parity optimization for MBU protection of in-core memory arrays (MM, MKM, YM), pp. 1480–1485.
DATEDATE-2013-StergiouJ #dataset
Optimizing BDDs for time-series dataset manipulation (SS, JJ), pp. 1018–1021.
DATEDATE-2013-UnutulmazDF #using
Area optimization on fixed analog floorplans using convex area functions (AU, GD, FVF), pp. 1843–1848.
DATEDATE-2013-WangLPKC #architecture #configuration management #cost analysis #design
Capital cost-aware design and partial shading-aware architecture optimization of a reconfigurable photovoltaic system (YW, XL, MP, JK, NC), pp. 909–912.
DATEDATE-2013-YoonKBS #design #multi #parametricity #scheduling
Holistic design parameter optimization of multiple periodic resources in hierarchical scheduling (MKY, JEK, RMB, LS), pp. 1313–1318.
DATEDATE-2013-ZhouMS #locality #power management
Placement optimization of power supply pads based on locality (PZ, VM, SSS), pp. 1655–1660.
HPCAHPCA-2013-RaoWZX #manycore #scheduling #virtual machine
Optimizing virtual machine scheduling in NUMA multicore systems (JR, KW, XZ, CZX), pp. 306–317.
HPCAHPCA-2013-TangMZHHT #experience
Optimizing Google’s warehouse scale computers: The NUMA experience (LT, JM, XZ, RH, RH, ET), pp. 188–197.
HPDCHPDC-2013-CuiBLD #performance
Virtual TCP offload: optimizing ethernet overlay performance on advanced interconnects (ZC, PGB, JRL, PAD), pp. 49–60.
LCTESLCTES-2013-MehiaouiWPMNZBLG #clustering #distributed
A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systems (AM, EW, STP, CM, MDN, HZ, JPB, LL, SG), pp. 121–132.
PDPPDP-2013-DeftuM
Optimization Techniques for Dimensionally Truncated Sparse Grids on Heterogeneous Systems (AD, AFM), pp. 351–358.
PDPPDP-2013-EskandariKBJ #algorithm #constraints #quality #using
Quality of Service Optimization for Network-on-Chip Using Bandwidth-Constraint Mapping Algorithm (AE, AK, NB, MJ), pp. 504–508.
PPoPPPPoPP-2013-LiuDJK #architecture #layout
Data layout optimization for GPGPU architectures (JL, WD, OJ, MTK), pp. 283–284.
FASEFASE-2013-AbdallahGHJ #constraints
Scenario Realizability with Constraint Optimization (RA, AG, LH, CJ), pp. 194–209.
STOCSTOC-2013-LiY #approximate #combinator #probability
Stochastic combinatorial optimization via poisson approximation (JL, WY), pp. 971–980.
STOCSTOC-2013-Miller #graph #problem #scalability #using
Solving large optimization problems using spectral graph theory (GLM), p. 981.
ISSTAISSTA-2013-PurandareDE #finite #monitoring
Optimizing monitoring of finite state properties through monitor compaction (RP, MBD, SGE), pp. 280–290.
QoSAQoSA-2012-Marzolla #energy #scalability
Optimizing the energy consumption of large-scale applications (MM), pp. 123–132.
DRRDRR-2012-ChengWAST #algorithm #classification #image #visual notation
Graphical image classification combining an evolutionary algorithm and binary particle swarm optimization (BC, RW, SA, RJS, GRT).
PODSPODS-2012-LetelierPPS #query #semantics #static analysis #web
Static analysis and optimization of semantic web queries (AL, JP, RP, SS), pp. 89–100.
SIGMODSIGMOD-2012-0002S #query
Holistic optimization by prefetching query results (KR, SS), pp. 133–144.
SIGMODSIGMOD-2012-BrunoAKSWZ
Recurring job optimization in scope (NB, SA, SK, BS, MCW, JZ), pp. 805–806.
SIGMODSIGMOD-2012-DingWJHW #keyword #taxonomy
Optimizing index for taxonomy keyword search (BD, HW, RJ, JH, ZW), pp. 493–504.
SIGMODSIGMOD-2012-GhazalSCA #adaptation #query #recursion
Adaptive optimizations of recursive queries in teradata (AG, DYS, AC, MAK), pp. 851–860.
SIGMODSIGMOD-2012-OrdonezGC #query #sql
Dynamic optimization of generalized SQL queries with horizontal aggregations (CO, JGG, ZC), pp. 637–640.
SIGMODSIGMOD-2012-ShankarNACEHRSDG #query #sql
Query optimization in microsoft SQL server PDW (SS, RVN, JAS, AC, ME, AH, ER, MSS, DJD, CAGL), pp. 767–776.
SIGMODSIGMOD-2012-SimitsisWCD #data flow #execution #multi
Optimizing analytic data flows for multiple execution engines (AS, KW, MC, UD), pp. 829–840.
VLDBVLDB-2012-CaoCLT
Optimization of Analytic Window Functions (YC, CYC, JL, KLT), pp. 1244–1255.
VLDBVLDB-2012-HueskePSRBKT #black box #data flow
Opening the Black Boxes in Data Flow Optimization (FH, MP, MS, AR, RB, AK, KT), pp. 1256–1267.
VLDBVLDB-2012-LiuRLMB #constraints #declarative #distributed #framework #named #platform
Cologne: A Declarative Distributed Constraint Optimization Platform (CL, LR, BTL, YM, PB), pp. 752–763.
VLDBVLDB-2012-UpadhyayaBS #how #in the cloud
How to Price Shared Optimizations in the Cloud (PU, MB, DS), pp. 562–573.
VLDBVLDB-2012-XuTW #database #energy #named #query
PET: Reducing Database Energy Cost via Query Optimization (ZX, YCT, XW), pp. 1954–1957.
VLDBVLDB-2012-YuanZWXYH #difference #privacy #query #rank
Low-Rank Mechanism: Optimizing Batch Queries under Differential Privacy (GY, ZZ, MW, XX, YY, ZH), pp. 1352–1363.
VLDBVLDB-2012-ZhangY #array
Optimizing I/O for Big Array Analytics (YZ, JY), pp. 764–775.
CSMRCSMR-2012-SoetensD #named
ChEOPSJ: Change-Based Test Optimization (QDS, SD), pp. 535–538.
SCAMSCAM-2012-WilcoxSB #program transformation
Optimizing Expression Selection for Lookup Table Program Transformation (CW, MMS, JMB), pp. 84–93.
ICALPICALP-v1-2012-ShiW
Epsilon-Net Method for Optimizations over Separable States (YS, XW), pp. 798–809.
SEFMSEFM-2012-AbdelhalimST #approach #effectiveness #model checking
An Optimization Approach for Effective Formalized fUML Model Checking (IA, SS, HT), pp. 248–262.
IFLIFL-2012-Magalhaes #source code
Optimisation of Generic Programs Through Inlining (JPM), pp. 104–121.
CoGCIG-2012-NasriDCHLG
Simulation-based optimization of StarCraft tactical AI through evolutionary computation (NBO, JD, WC, NH, MYHL, AG), pp. 394–401.
CoGCIG-2012-PapadopoulosTCM #game studies
Exploring optimization strategies in board game Abalone for Alpha-Beta search (AP, KT, ACC, PAM), pp. 63–70.
FDGFDG-2012-Andersen #adaptation #education #game studies
Optimizing adaptivity in educational games (EA), pp. 279–281.
GT-VMTGT-VMT-2012-AnjorinOZS #graph transformation #modelling #product line #testing
Optimizing Model-Based Software Product Line Testing with Graph Transformations (AA, SO, IZ, AS).
CHICHI-2012-DunlopL #multi
Multidimensional pareto optimization of touchscreen keyboards for speed, familiarity and improved spell checking (MDD, JL), pp. 2669–2678.
ICEISICEIS-v1-2012-Ali #data flow #integration #query #web
Optimizing Data Integration Queries over Web Data Sources (OPTIQ) (MIA), pp. 163–168.
CIKMCIKM-2012-BalakrishnanB #realtime
Real-time bid optimization for group-buying ads (RB, RPB), pp. 1707–1711.
CIKMCIKM-2012-QinZWWZH #migration
Optimizing data migration for cloud-based key-value stores (XQ, WZ, WW, JW, XZ, TH), pp. 2204–2208.
CIKMCIKM-2012-SalomatinLY #delivery #framework #online
A unified optimization framework for auction and guaranteed delivery in online advertising (KS, TYL, YY), pp. 2005–2009.
ICMLICML-2012-AzimiJF #hybrid
Hybrid Batch Bayesian Optimization (JA, AJ, XZF), p. 45.
ICMLICML-2012-BalleQC #learning #modelling
Local Loss Optimization in Operator Models: A New Insight into Spectral Learning (BB, AQ, XC), p. 236.
ICMLICML-2012-ChenCK #process
Joint Optimization and Variable Selection of High-dimensional Gaussian Processes (BC, RMC, AK), p. 179.
ICMLICML-2012-DenchevDVN #classification #quantum #robust
Robust Classification with Adiabatic Quantum Optimization (VSD, ND, SVNV, HN), p. 131.
ICMLICML-2012-DesautelsKB #process #trade-off
Parallelizing Exploration-Exploitation Tradeoffs with Gaussian Process Bandit Optimization (TD, AK, JWB), p. 109.
ICMLICML-2012-Honorio #convergence #learning #modelling #probability
Convergence Rates of Biased Stochastic Optimization for Learning Sparse Ising Models (JH), p. 144.
ICMLICML-2012-JalaliS12a #clustering #using
Clustering using Max-norm Constrained Optimization (AJ, NS), p. 205.
ICMLICML-2012-Laue #algorithm #hybrid
A Hybrid Algorithm for Convex Semidefinite Optimization (SL), p. 142.
ICMLICML-2012-NanCLC
Optimizing F-measure: A Tale of Two Approaches (NY, KMAC, WSL, HLC), p. 202.
ICMLICML-2012-RakhlinSS #probability
Making Gradient Descent Optimal for Strongly Convex Stochastic Optimization (AR, OS, KS), p. 204.
ICPRICPR-2012-FrouzeshPH #modelling
A combined method for finding best starting points for optimisation in bernoulli mixture models (FF, SP, YH), pp. 1128–1131.
ICPRICPR-2012-GimelfarbGND #concurrent #problem
Concurrent propagation for solving ill-posed problems of global discrete optimisation (GLG, RG, RN, PD), pp. 1864–1867.
ICPRICPR-2012-Iwata #analysis
Placing landmarks suitably for shape analysis by optimization (KI), pp. 2359–2362.
ICPRICPR-2012-MurataS
Optimizing a triangular mesh by separately dealing with incorrectness of two patches (KM, YS), pp. 1318–1321.
ICPRICPR-2012-NguyenB #algorithm
Zombie Survival Optimization: A swarm intelligence algorithm inspired by zombie foraging (HTN, BB), pp. 987–990.
ICPRICPR-2012-PillaiFR #classification #multi
F-measure optimisation in multi-label classifiers (IP, GF, FR), pp. 2424–2427.
ICPRICPR-2012-RenZMZ #classification #image #multi
Hyperspectral image classification based on Multiple Improved particle swarm cooperative optimization and SVM (YR, YZ, QM, LZ), pp. 2274–2277.
ICPRICPR-2012-SchmeingJ #using
Faithful Spatio-Temporal disocclusion filling using local optimization (MS, XJ), pp. 3799–3802.
ICPRICPR-2012-TianC12a #image #using
Depth image up-sampling using ant colony optimization (JT, LC), pp. 3795–3798.
ICPRICPR-2012-TrinhHP #integration #multi
Multisensor evidence integration and optimization in rail inspection (HT, NH, SP), pp. 886–889.
ICPRICPR-2012-YangZLP #3d #using
Coupled 3D tracking and pose optimization of rigid objects using particle filter (HY, YZ, XL, IP), pp. 1451–1454.
KDDKDD-2012-PerlichDHSRP #online
Bid optimizing and inventory scoring in targeted online advertising (CP, BD, RH, OS, TR, FJP), pp. 804–812.
KDDKDD-2012-ZhangZGYYL
Joint optimization of bid and budget allocation in sponsored search (WZ, YZ, BG, YY, XY, TYL), pp. 1177–1185.
KDIRKDIR-2012-BelliniCN #effectiveness #information retrieval #on the
On the Effectiveness and Optimization of Information Retrieval for Cross Media Content (PB, DC, PN), pp. 344–347.
KDIRKDIR-2012-BhattacharjeeBG #data mining #mining #network #using
Product Assortment Decisions for a Network of Retail Stores using Data Mining with Optimization (SB, FB, RDG), pp. 319–323.
KDIRKDIR-2012-Potuzak #algorithm #network #search-based #using
Issues of Optimization of a Genetic Algorithm for Traffic Network Division using a Genetic Algorithm (TP), pp. 340–343.
KEODKEOD-2012-PaniLCST #repository
Optimization of Knowledge Availability in an Institutional Repository (FEP, MIL, GC, CS, MPT), pp. 302–306.
KRKR-2012-FaberTW #equivalence #problem
Strong Equivalence of Qualitative Optimization Problems (WF, MT, SW).
MLDMMLDM-2012-Ba-KaraitSS #classification #hybrid #using
EEG Signals Classification Using a Hybrid Method Based on Negative Selection and Particle Swarm Optimization (NOSBK, SMS, RS), pp. 427–438.
RecSysRecSys-2012-RodriguezPZ #multi #recommendation
Multiple objective optimization in recommender systems (MR, CP, EZ), pp. 11–18.
SEKESEKE-2012-LiRPY #fuzzy #modelling #multi #network
Multi-Objective Optimization of Fuzzy Neural Networks for Software Modeling (KL, MR, WP, JY), pp. 106–111.
SEKESEKE-2012-YangCXZZ #approach #multi
A New Approach to Evaluate Path Feasibility and Coverage Ratio of EFSM Based on Multi-objective Optimization (RY, ZC, BX, ZZ, WZ), pp. 470–475.
SIGIRSIGIR-2012-HeS #documentation #version control
Optimizing positional index structures for versioned document collections (JH, TS), pp. 245–254.
SIGIRSIGIR-2012-LogachevS #parametricity #rank
Optimizing parameters of the expected reciprocal rank (YL, PS), pp. 1123–1124.
SIGIRSIGIR-2012-ShiKBLHO #named #recommendation
TFMAP: optimizing MAP for top-n context-aware recommendation (YS, AK, LB, ML, AH, NO), pp. 155–164.
SIGIRSIGIR-2012-WangBC #modelling #ranking #robust
Robust ranking models via risk-sensitive optimization (LW, PNB, KCT), pp. 761–770.
ICMTICMT-2012-BosS #forensics
Domain-Specific Optimization in Digital Forensics (JvdB, TvdS), pp. 121–136.
PLEASEPLEASE-2012-LeitnerWK #multi #problem
Optimizing problem space representations through domain multi-modeling (AL, RW, CK), pp. 49–52.
SPLCSPLC-2012-GillainFHJS
Product portfolio scope optimization based on features and goals (JG, SF, PH, IJ, MS), pp. 161–170.
OOPSLAOOPSLA-2012-KulkarniC #compilation #machine learning #problem #using
Mitigating the compiler optimization phase-ordering problem using machine learning (SK, JC), pp. 147–162.
OOPSLAOOPSLA-2012-St-AmourTF #communication
Optimization coaching: optimizers learn to communicate with programmers (VSA, STH, MF), pp. 163–178.
TOOLSTOOLS-EUROPE-2012-NgYH #parallel #programming
Multiparty Session C: Safe Parallel Programming with Message Optimisation (NN, NY, KH), pp. 202–218.
PADLPADL-2012-CampagnaSS #approximate #constraints #datalog #difference
Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation (DC, BSS, TS), pp. 108–122.
PEPMPEPM-2012-GorbovitskiLSR
Composing transformations for instrumentation and optimization (MG, YAL, SDS, TR), pp. 53–62.
POPLPOPL-2012-KammarP #algebra
Algebraic foundations for effect-dependent optimisations (OK, GDP), pp. 349–360.
SACSAC-2012-InzingerSHLD #adaptation #policy
Non-intrusive policy optimization for dependable and adaptive service-oriented systems (CI, BS, WH, PL, SD), pp. 504–510.
SACSAC-2012-Kim #multi #realtime #reliability #towards
Towards optimizing the reliability of real-time transmission in multi-hop wireless LANs (JK), pp. 577–582.
SACSAC-2012-ParraRMRDS #adaptation #constraints #self #using #variability
Using constraint-based optimization and variability to support continuous self-adaptation (CAP, DR, SM, RR, LD, LS), pp. 486–491.
SACSAC-2012-ScandurraRPMC #adaptation #coordination #framework #resource management
A layered coordination framework for optimizing resource allocation in adapting cloud-based applications (PS, CR, PP, RM, RC), pp. 471–472.
SACSAC-2012-YanCY #composition #web #web service
Anytime QoS optimization over the PlanGraph for web service composition (YY, MC, YY), pp. 1968–1975.
ASPLOSASPLOS-2012-AhmadCRV #clustering #named #pipes and filters
Tarazu: optimizing MapReduce on heterogeneous clusters (FA, STC, AR, TNV), pp. 61–74.
ASPLOSASPLOS-2012-ChenFETW
Iterative optimization for the data center (YC, SF, LE, OT, CW), pp. 49–60.
ASPLOSASPLOS-2012-OdairaN #memory management #profiling
Continuous object access profiling and optimizations to overcome the memory wall and bloat (RO, TN), pp. 147–158.
CASECASE-2012-KoJJ #automation #modelling
Mathematical modeling and optimization of the automated wireless charging electric transportation system (YDK, YJJ, SJ), pp. 250–255.
CASECASE-2012-PehlivanAXC #approach #capacity #multi #network
Multi-period capacity planning for maternity facilities in a perinatal network: A queuing and optimization approach (CP, VA, XX, CCH), pp. 137–142.
CASECASE-2012-SawadaS #design #feedback #on the
On numerical optimization design of continuous-time feedback type quantizer for networked control systems (KS, SS), pp. 1144–1149.
CGOCGO-2012-LiuRCK #named #pipes and filters #towards
Panacea: towards holistic optimization of MapReduce applications (JL, NR, STC, MTK), pp. 33–43.
DACDAC-2012-ChangJC #configuration management #using
Timing ECO optimization using metal-configurable gate-array spare cells (HYC, IHRJ, YWC), pp. 802–807.
DACDAC-2012-CongL #architecture #metric #synthesis
A metric for layout-friendly microarchitecture optimization in high-level synthesis (JC, BL), pp. 1239–1244.
DACDAC-2012-CongZZ #memory management #synthesis
Optimizing memory hierarchy allocation with loop transformations for high-level synthesis (JC, PZ, YZ), pp. 1233–1238.
DACDAC-2012-JungCK #variability
Variability-aware, discrete optimization for analog circuits (SJ, YC, JK), pp. 536–541.
DACDAC-2012-KuangBK #manycore #network
Traffic-aware power optimization for network applications on multicore servers (JK, LNB, RK), pp. 1006–1011.
DACDAC-2012-LiuH12a #named
ComPLx: A Competitive Primal-dual Lagrange Optimization for Global Placement (MCK, ILM), pp. 747–752.
DACDAC-2012-MengKC #3d #constraints #energy #manycore #performance
Optimizing energy efficiency of 3-D multicore systems with stacked DRAM under power and thermal constraints (JM, KK, AKC), pp. 648–655.
DACDAC-2012-UkhovBEP #analysis #embedded #multi #reliability
Steady-state dynamic temperature analysis and reliability optimization for embedded multiprocessor systems (IU, MB, PE, ZP), pp. 197–204.
DACDAC-2012-WangKPRLFMP #adaptation #design #statistics
Statistical design and optimization for adaptive post-silicon tuning of MEMS filters (FW, GK, AP, JR, XL, GKF, TM, LTP), pp. 176–181.
DACDAC-2012-WangPYLKB #testing
Test-data volume optimization for diagnosis (HW, OP, XY, SL, IK, RDB), pp. 567–572.
DACDAC-2012-WelpKK
Generalized SAT-sweeping for post-mapping optimization (TW, SK, AK), pp. 814–819.
DACDAC-2012-ZhaoJDZKI #design #hybrid #multi
A hybrid NoC design for cache coherence optimization for chip multiprocessors (HZ, OJ, WD, YZ, MTK, MJI), pp. 834–842.
DATEDATE-2012-GuptaPMR
Layout-aware optimization of stt mrams (SKG, SPP, NNM, KR), pp. 1455–1458.
DATEDATE-2012-JuanCMC #modelling #power management #statistics
Statistical thermal modeling and optimization considering leakage power variations (DCJ, YLC, DM, YWC), pp. 605–610.
DATEDATE-2012-LiangCZRZJC #3d #implementation #locality #performance #realtime
Real-time implementation and performance optimization of 3D sound localization on GPUs (YL, ZC, SZ, KR, YZ, DLJ, DC), pp. 832–835.
DATEDATE-2012-LiuLC
Agglomerative-based flip-flop merging with signal wirelength optimization (SYL, CJL, HMC), pp. 1391–1396.
DATEDATE-2012-MahmoodPLM #clustering #energy #memory management
Application-specific memory partitioning for joint energy and lifetime optimization (HM, MP, ML, EM), pp. 364–369.
DATEDATE-2012-MakosiejTVA #design #embedded #power management
Stability and yield-oriented ultra-low-power embedded 6T SRAM cell design optimization (AM, OT, AV, AA), pp. 93–98.
DATEDATE-2012-NazinMR
Yield optimization for radio frequency receiver at system level (SAN, DM, AR), pp. 848–851.
DATEDATE-2012-RofoueiGPM #energy
Optimization intensive energy harvesting (MR, MAG, MP, AMN), pp. 272–275.
DATEDATE-2012-SekaninaV #polymorphism #satisfiability
A SAT-based fitness function for evolutionary optimization of polymorphic circuits (LS, ZV), pp. 715–720.
DATEDATE-2012-SinkarWK #manycore #performance
Workload-aware voltage regulator optimization for power efficient multi-core processors (AAS, HW, NSK), pp. 1134–1137.
DATEDATE-2012-ThieleE #analysis #data flow #graph #performance
Optimizing performance analysis for synchronous dataflow graphs with shared resources (DT, RE), pp. 635–640.
DATEDATE-2012-VyagrheswaruduDR #framework #interactive #named #platform
PowerAdviser: An RTL power platform for interactive sequential optimizations (NV, SD, AR), pp. 550–553.
DATEDATE-2012-WangH #compilation #embedded #simulation
Accurate source-level simulation of embedded software with respect to compiler optimizations (ZW, JH), pp. 382–387.
DATEDATE-2012-WangKAAW #design #energy
Response-surface-based design space exploration and optimisation of wireless sensor nodes with tunable energy harvesters (LW, TJK, BMAH, MA, JW), pp. 733–738.
HPDCHPDC-2012-ChenA #effectiveness #memory management #pipes and filters
Optimizing MapReduce for GPUs with effective shared memory usage (LC, GA), pp. 199–210.
HPDCHPDC-2012-SchendelPJBBGLLKCKRS #hybrid #parallel #scalability
ISOBAR hybrid compression-I/O interleaving for large-scale parallel I/O optimization (ERS, SVP, JJ, DABI, ZG, SL, QL, HK, JC, SK, RBR, NFS), pp. 61–72.
LCTESLCTES-2012-GerardGPP #array #compilation #composition #data flow #memory management
A modular memory optimization for synchronous data-flow languages: application to arrays in a lustre compiler (LG, AG, CP, MP), pp. 51–60.
OSDIOSDI-2012-GuoFCZZMLLZZ #pipes and filters
Spotting Code Optimizations in Data-Parallel Pipelines through PeriSCOPE (ZG, XF, RC, JZ, HZ, SM, CL, WL, JZ, LZ), pp. 121–133.
PDPPDP-2012-BeckmannGK #named
RobustTrav: NAT Optimisation for the RobustCooperation Suite (CB, TG, FK), pp. 11–18.
PDPPDP-2012-DilchM #algorithm #analysis #architecture #gpu #novel #performance
Optimization Techniques and Performance Analyses of Two Life Science Algorithms for Novel GPU Architectures (DD, EM), pp. 376–383.
PDPPDP-2012-KuhnKL #evaluation #performance
Simulation-Aided Performance Evaluation of Server-Side Input/Output Optimizations (MK, JMK, TL), pp. 562–566.
PDPPDP-2012-SteinbrecherS #on the #problem #sequence
On Optimizing the Longest Common Subsequence Problem by Loop Unrolling Along Wavefronts (JS, WS), pp. 603–611.
PPoPPPPoPP-2012-AliasDP #kernel #synthesis
Optimizing remote accesses for offloaded kernels: application to high-level synthesis for FPGA (CA, AD, AP), pp. 285–286.
PPoPPPPoPP-2012-BaskaranVML #automation #communication #memory management #reuse
Automatic communication optimizations through memory reuse strategies (MMB, NV, BM, RL), pp. 277–278.
PPoPPPPoPP-2012-HoeflerS #detection
Communication-centric optimizations by dynamically detecting collective operations (TH, TS), pp. 305–306.
PPoPPPPoPP-2012-KjolstadHS #automation #data type #generative
Automatic datatype generation and optimization (FK, TH, MS), pp. 327–328.
PPoPPPPoPP-2012-NollG #framework #parallel #source code
An infrastructure for dynamic optimization of parallel programs (AN, TRG), pp. 325–326.
STOCSTOC-2012-BrunschR #analysis #multi
Improved smoothed analysis of multiobjective optimization (TB, HR), pp. 407–426.
CAVCAV-2012-ChaudhuriS #named #source code
Euler: A System for Numerical Optimization of Programs (SC, ASL), pp. 732–737.
CAVCAV-2012-JegourelLS #model checking #parametricity #statistics
Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking (CJ, AL, SS), pp. 327–342.
ICLPICLP-2012-AndresKMS #satisfiability
Unsatisfiability-based optimization in clasp (BA, BK, OM, TS), pp. 211–221.
ICSTICST-2012-AlesioGNB #constraints #realtime #testing #using
Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques (SDA, AG, SN, LCB), pp. 764–769.
IJCARIJCAR-2012-SebastianiT #cost analysis #smt
Optimization in SMT with ℒ𝒜(ℚ) Cost Functions (RS, ST), pp. 484–498.
ICSTSAT-2012-ZhangMZ #constraints #identification #interactive #theorem proving
Faulty Interaction Identification via Constraint Solving and Optimization (JZ, FM, ZZ), pp. 186–199.
CBSECBSE-2011-AletiM #component #deployment #learning
Component deployment optimisation with bayesian learning (AA, IM), pp. 11–20.
CBSECBSE-2011-KoziolekR #component #framework #modelling #quality #towards
Towards a generic quality optimisation framework for component-based system models (AK, RHR), pp. 103–108.
QoSAQoSA-ISARCS-2011-KoziolekKR #architecture #automation #multi #named
PerOpteryx: automated application of tactics in multi-objective software architecture optimization (AK, HK, RHR), pp. 33–42.
DRRDRR-2011-HamdaniAHMA #recognition #using
Improving a HMM-based off-line handwriting recognition system using MME-PSO optimization (MH, HEA, TMH, VM, AMA), pp. 1–10.
DRRDRR-2011-ZhuN #online #parametricity #recognition
A MRF model with parameter optimization by CRF for on-line recognition of handwritten Japanese characters (BZ, MN), pp. 1–10.
ICDARICDAR-2011-GaoWJ #2d #recognition
A New Feature Optimization Method Based on Two-Directional 2DLDA for Handwritten Chinese Character Recognition (XG, WW, LJ), pp. 232–236.
ICDARICDAR-2011-HamamuraINOS #clustering #concurrent #recognition #using #word
Concurrent Optimization of Context Clustering and GMM for Offline Handwritten Word Recognition Using HMM (TH, BI, TN, NO, SS), pp. 523–527.
ICDARICDAR-2011-TanakaTH #documentation #robust
Robust Cell Extraction Method for Form Documents Based on Intersection Searching and Global Optimization (HT, HT, YH), pp. 354–358.
ICDARICDAR-2011-VinelDA #feature model #linear #random
Joint Optimization of Hidden Conditional Random Fields and Non Linear Feature Extraction (AV, TMTD, TA), pp. 513–517.
ICDARICDAR-2011-ZhuN #online #parametricity #recognition #using
On-line Handwritten Japanese Characters Recognition Using a MRF Model with Parameter Optimization by CRF (BZ, MN), pp. 603–607.
SIGMODSIGMOD-2011-BalesDV #algebra #query
Score-consistent algebraic optimization of full-text search queries with GRAFT (NB, AD, VV), pp. 769–780.
SIGMODSIGMOD-2011-DingWHL #consistency
Differentially private data cubes: optimizing noise sources and consistency (BD, MW, JH, ZL), pp. 217–228.
SIGMODSIGMOD-2011-HerodotouBB #query
Query optimization techniques for partitioned tables (HH, NB, SB), pp. 49–60.
SIGMODSIGMOD-2011-KennedyN #enterprise #named #nondeterminism #performance
Jigsaw: efficient optimization over uncertain enterprise data (OK, SN), pp. 829–840.
SIGMODSIGMOD-2011-KllapiSTI
Schedule optimization for data processing flows on the cloud (HK, ES, MMT, YEI), pp. 289–300.
VLDBVLDB-2011-GolenbergKS
Optimizing and Parallelizing Ranked Enumeration (KG, BK, YS), pp. 1028–1039.
VLDBVLDB-2011-HerodotouB #cost analysis #pipes and filters #profiling #source code
Profiling, What-if Analysis, and Cost-based Optimization of MapReduce Programs (HH, SB), pp. 1111–1122.
VLDBVLDB-2011-HerodotouDB #cost analysis #pipes and filters #programming
MapReduce Programming and Cost-based Optimization? Crossing this Chasm with Starfish (HH, FD, SB), pp. 1446–1449.
VLDBVLDB-2011-JahaniCR #automation #pipes and filters #source code
Automatic Optimization for MapReduce Programs (EJ, MJC, CR), pp. 385–396.
VLDBVLDB-2011-OrsiP #constraints #ontology #query
Optimizing Query Answering under Ontological Constraints (GO, AP), pp. 1004–1015.
VLDBVLDB-2011-PengDL #nondeterminism #probability #query
Optimizing Probabilistic Query Processing on Continuous Uncertain Data (LP, YD, AL), pp. 1169–1180.
VLDBVLDB-2012-PavloJZ11 #execution #modelling #on the #parallel #predict #transaction
On Predictive Modeling for Optimizing Transaction Execution in Parallel OLTP Systems (AP, EPCJ, SBZ), pp. 85–96.
VLDBVLDB-2012-RohPKSL11 #parallel
B+-tree Index Optimization by Exploiting Internal Parallelism of Flash-based Solid State Drives (HR, SP, SK, MS, SWL), pp. 286–297.
ITiCSEITiCSE-2011-HarrachA #collaboration #learning #process #recommendation #using
Optimizing collaborative learning processes by using recommendation systems (SH, MA), p. 389.
ICPCICPC-2011-Wu #api #evolution #framework #modelling #multi #problem
Modeling Framework API Evolution as a Multi-objective Optimization Problem (WW), pp. 262–265.
IFLIFL-2011-Thomsen #functional #logic #using
Describing and Optimising Reversible Logic Using a Functional Language (MKT), pp. 148–163.
AIIDEAIIDE-2011-ChurchillB #order
Build Order Optimization in StarCraft (DC, MB).
AIIDEAIIDE-2011-LiapisYT #game studies #visual notation
Optimizing Visual Properties of Game Content Through Neuroevolution (AL, GNY, JT).
CoGCIG-2011-AntonioFCP #algorithm #evaluation #game studies #search-based #using
Optimization of an evaluation function of the 4-sided dominoes game using a genetic algorithm (NSA, CFFCF, MGFC, RP), pp. 24–30.
CoGCIG-2011-AvigadEW #game studies #multi
Optimal strategies for multi objective games and their search by evolutionary multi objective optimization (GA, EE, MWC), pp. 166–173.
CoGCIG-2011-LiapisYT
Neuroevolutionary constrained optimization for content creation (AL, GNY, JT), pp. 71–78.
HCIDHM-2011-BenderiusMWW #analysis #modelling #simulation
A Simulation Environment for Analysis and Optimization of Driver Models (OB, GM, KW, MW), pp. 453–462.
HCIDUXU-v2-2011-MooreBC #locality #prototype
Optimisation of Sound Localisation for Emergency Vehicle Sirens through a Prototype Audio System (JDM, SB, VC), pp. 177–186.
HCIHCI-MIIE-2011-ParkCKK #interface #multimodal
Multimodal Interface for Driving-Workload Optimization (HP, JC, HJK, KhK), pp. 452–461.
ICEISICEIS-J-2011-BrasilSFSC11a #approach #multi #release planning #requirements
A Multiobjective Optimization Approach to the Software Release Planning with Undefined Number of Releases and Interdependent Requirements (MMAB, TGNdS, FGdF, JTdS, MIC), pp. 300–314.
ICEISICEIS-v1-2011-Getta #information management #integration
Static Optimization of Data Integration Plans in Global Information Systems (JRG), pp. 141–150.
ICEISICEIS-v1-2011-HaoSHS #algorithm #in the cloud #modelling #scheduling
A Cloud Computing Model based on Hadoop with an Optimization of Its Task Scheduling Algorithms (YH, MS, JH, JS), pp. 524–528.
ICEISICEIS-v2-2011-WuRWS #network #research
The Research of Paper Reverse Logistic Network Optimization on the Low-carbon Economy (RW, YR, SW, CS), pp. 336–340.
ICEISICEIS-v2-2011-ZhangZ #algorithm #research
Research on the Route Optimization of Book Distribution based on the Tabu Search Algorithm (PZ, ZZ), pp. 125–130.
ICEISICEIS-v4-2011-LiL #network
The Optimization of Road Network in Logistics Hub based on Low-carbon Aspect (YL, ML), pp. 666–670.
ICEISICEIS-v4-2011-LuCGD #algorithm #multi #network #quality #using
Quality of Service Optimization of Wireless Sensor Networks using a Multi-objective Immune Co-evolutionary Algorithm (XL, ZRC, LG, YD), pp. 160–164.
ICEISICEIS-v4-2011-SongH #design #internet #process
Optimization of Import Business Process and System Design in Bulk Port based on Internet of Things (XS, LH), pp. 509–512.
ICEISICEIS-v4-2011-WangL11a #modelling #parametricity #simulation
Simulation Modeling and Parameter Optimization in Cyclic Picking System (AW, XL), pp. 690–694.
ICEISICEIS-v4-2011-YangZZ #design #evaluation #online
New Mechanism Design in the C2C Online Reputation Evaluation Optimizing (YY, WZ, XZ), pp. 53–62.
ICEISICEIS-v4-2011-ZhangCZh #collaboration #performance
A Collaborative Optimization Model for Strategic Performance (HZ, LC, YZ, MH), pp. 645–649.
ICEISICEIS-v4-2011-Zhao11a #modelling #research
Research on Logistics Location Optimization Model based on Time Dimensions (JZ), pp. 656–661.
CIKMCIKM-2011-Almendros-JimenezST #slicing #xquery
XQuery optimization based on program slicing (JMAJ, JS, ST), pp. 1525–1534.
CIKMCIKM-2011-CartrightA #performance
Efficiency optimizations for interpolating subqueries (MAC, JA), pp. 297–306.
CIKMCIKM-2011-DongBHRC #personalisation #recommendation
User action interpretation for personalized content optimization in recommender systems (AD, JB, XH, SR, YC), pp. 2129–2132.
CIKMCIKM-2011-LeitaoC #detection
Duplicate detection through structure optimization (LL, PC), pp. 443–452.
CIKMCIKM-2011-RenP #maintenance #ontology #reasoning
Optimising ontology stream reasoning with truth maintenance system (YR, JZP), pp. 831–836.
CIKMCIKM-2011-SannerGGKK #retrieval #topic
Diverse retrieval via greedy optimization of expected 1-call@k in a latent subtopic relevance model (SS, SG, TG, SK, SK), pp. 1977–1980.
ICMLICML-2011-GrubbB #algorithm
Generalized Boosting Algorithms for Convex Optimization (AG, DB), pp. 1209–1216.
ICMLICML-2011-JalaliCSX #clustering #graph
Clustering Partially Observed Graphs via Convex Optimization (AJ, YC, SS, HX), pp. 1001–1008.
ICMLICML-2011-LeNCLPN #learning #on the
On optimization methods for deep learning (QVL, JN, AC, AL, BP, AYN), pp. 265–272.
ICMLICML-2011-MannorT #markov #process
Mean-Variance Optimization in Markov Decision Processes (SM, JNT), pp. 177–184.
ICMLICML-2011-MartensS #learning #network
Learning Recurrent Neural Networks with Hessian-Free Optimization (JM, IS), pp. 1033–1040.
ICMLICML-2011-OrabonaL #algorithm #kernel #learning #multi
Ultra-Fast Optimization Algorithm for Sparse Multi Kernel Learning (FO, JL), pp. 249–256.
KDDKDD-2011-Boyd #distributed #embedded #realtime #scalability
Convex optimization: from embedded real-time to large-scale distributed (SB), p. 1.
KDDKDD-2011-DasB
Meta optimization and its application to portfolio selection (PD, AB), pp. 1163–1171.
KDDKDD-2011-SteinbergM #modelling #predict
Broad scale predictive modeling and marketing optimization in retail sales (DS, FFM), p. 780.
KDDKDD-2011-TongHWKL #graph #ranking #scalability
Diversified ranking on large graphs: an optimization viewpoint (HT, JH, ZW, RK, CYL), pp. 1028–1036.
KDIRKDIR-2011-MartelotH #algorithm #community #detection #multi #using
Multi-scale Community Detection using Stability as Optimisation Criterion in a Greedy Algorithm (ELM, CH), pp. 216–225.
KMISKMIS-2011-NiedermannSM #process #repository
Managing Insights: A Repository for Process Analytics, Optimization and Decision Support (FN, HS, BM), pp. 424–429.
SIGIRSIGIR-2011-DaiSD11a #learning #multi #rank
Multi-objective optimization in learning to rank (ND, MS, BDD), pp. 1241–1242.
SIGIRSIGIR-2011-LinZD #approximate #documentation
Best document selection based on approximate utility optimization (HHL, YZ, JD), pp. 1215–1216.
SIGIRSIGIR-2011-LiWLZS #image #multimodal #ranking #web
Optimizing multimodal reranking for web image search (HL, MW, ZL, ZJZ, JS), pp. 1119–1120.
SIGIRSIGIR-2011-YanWOKLZ #framework #summary #timeline
Evolutionary timeline summarization: a balanced optimization framework via iterative substitution (RY, XW, JO, LK, XL, YZ), pp. 745–754.
ICMTICMT-2011-LepperT #analysis #performance #visitor
Optimization of Visitor Performance by Reflection-Based Analysis (ML, BTyW), pp. 15–30.
MODELSMoDELS-2011-FlochYGDCRF #compilation #modelling #question
Model-Driven Engineering and Optimizing Compilers: A Bridge Too Far? (AF, TY, CG, SD, BC, SVR, RBF), pp. 608–622.
SPLCSPLC-2011-ChenE #process
Optimizing the Product Derivation Process (SC, ME), pp. 35–44.
SPLCSPLC-2011-Muller #product line
Value-Based Portfolio Optimization for Software Product Lines (JM), pp. 15–24.
SPLCSPLC-2011-NohrerE
Optimizing User Guidance during Decision-Making (AN, AE), pp. 25–34.
OOPSLAOOPSLA-2011-TianZS #integration #towards
A step towards transparent integration of input-consciousness into dynamic program optimizations (KT, EZZ, XS), pp. 445–462.
LOPSTRLOPSTR-2011-HidakaHIKMNS #graph transformation
Marker-Directed Optimization of UnCAL Graph Transformations (SH, ZH, KI, HK, KM, KN, IS), pp. 123–138.
PEPMPEPM-2011-PachecoC #bidirectional #lens
Calculating with lenses: optimising bidirectional transformations (HP, AC), pp. 91–100.
PLDIPLDI-2011-JablinPJJBA #automation #communication #cpu #gpu
Automatic CPU-GPU communication management and optimization (TBJ, PP, JAJ, NPJ, SRB, DIA), pp. 142–151.
PLDIPLDI-2011-MurrayIY #automation #declarative #named #query
Steno: automatic optimization of declarative queries (DGM, MI, YY), pp. 121–131.
PLDIPLDI-2011-Sevcik #concurrent #source code
Safe optimisations for shared-memory concurrent programs (JS), pp. 306–316.
POPLPOPL-2011-JoishaSBBC #automation #compilation #effectiveness #parallel #reuse #thread #using
A technique for the effective and automatic reuse of classical compiler optimizations on multithreaded code (PGJ, RSS, PB, HJB, DRC), pp. 623–636.
POPLPOPL-2011-PouchetBBCRSV
Loop transformations: convexity, pruning and optimization (LNP, UB, CB, AC, JR, PS, NV), pp. 549–562.
POPLPOPL-2011-PrountzosMPM #analysis #graph #parallel #source code
A shape analysis for optimizing parallel graph programs (DP, RM, KP, KSM), pp. 159–172.
SASSAS-2011-VafeiadisN #verification
Verifying Fence Elimination Optimisations (VV, FZN), pp. 146–162.
RERE-2011-HeavenL #design #modelling #simulation
Simulating and optimising design decisions in quantitative goal models (WH, EL), pp. 79–88.
ASEASE-2011-ArcainiGR #automation #generative #satisfiability #smt #testing
Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions (PA, AG, ER), pp. 388–391.
SACSAC-2011-KookHLJK #embedded #linux #memory management
Optimization of out of memory killer for embedded Linux environments (JK, SH, WL, EJ, JK), pp. 633–634.
SACSAC-2011-NakajimaLYZGXYDQCG #hybrid #using #virtual machine
Optimizing virtual machines using hybrid virtualization (JN, QL, SY, MZ, SG, MX, PY, YD, ZQ, KC, HG), pp. 573–578.
SACSAC-2011-TianXLC #order
Loop fusion and reordering for register file optimization on stream processors (WT, CJX, ML, EC), pp. 560–565.
CASECASE-2011-AnghinolfiPSS #integer #programming
Integer programming and ant colony optimization for planning intermodal freight transportation operations (DA, MP, SS, SS), pp. 214–219.
CASECASE-2011-CordoneP #monitoring #petri net
Monitor optimization in Petri net control (RC, LP), pp. 413–418.
CASECASE-2011-HaoD #incremental #using
Optimization of tool trajectory for Incremental Sheet Forming using closed loop control (WH, SD), pp. 779–784.
CASECASE-2011-LeeLNCC #design
Design optimization of one-time-use leaping mechanism for sensor node relocation (GL, GL, YN, NYC, DC), pp. 749–754.
CASECASE-2011-LiuZCHZ #energy #evaluation #simulation
Simulation based evaluation and optimization for energy consumption of a typical welding shop (HL, QZ, WC, NH, XZ), pp. 660–665.
CASECASE-2011-TengHTK
Optimizing coverage for a Chlamydia trachomatis screening program (YT, LH, WT, NK), pp. 531–536.
CASECASE-2011-WigstromL #energy #scheduling
Energy optimization of trajectories for high level scheduling (OW, BL), pp. 654–659.
CGOCGO-2011-ChakrabartiBBJS #graph #memory management #runtime #transaction
The runtime abort graph and its application to software transactional memory optimization (DRC, PB, HJB, PGJ, RSS), pp. 42–53.
CGOCGO-2011-CuiXWYFF
Extendable pattern-oriented optimization directives (HC, JX, LW, YY, XF, DF), pp. 107–118.
CGOCGO-2011-JonesBMC #performance
Link-time optimization for power efficiency in a tagless instruction cache (TMJ, SB, JM, DC), pp. 32–41.
CGOCGO-2011-KandemirZLY #locality #multi
Neighborhood-aware data locality optimization for NoC-based multicores (MTK, YZ, JL, TY), pp. 191–200.
CGOCGO-2011-ParkPCCS #modelling #predict
Predictive modeling in a polyhedral optimization space (EP, LNP, JC, AC, PS), pp. 119–129.
CGOCGO-2011-RusAL #automation #distance #locality #reuse #string
Automated locality optimization based on the reuse distance of string operations (SR, RA, DXL), pp. 181–190.
CGOCGO-2011-Yi #automation #compilation #programmable
Automated programmable control and parameterization of compiler optimizations (QY), pp. 97–106.
DACDAC-2011-AbrishamiLQFP #power management
Post sign-off leakage power optimization (HA, JL, JQ, JF, MP), pp. 453–458.
DACDAC-2011-BanY #layout #modelling
Layout aware line-edge roughness modeling and poly optimization for leakage minimization (YB, JSY), pp. 447–452.
DACDAC-2011-JungMPL #3d #analysis #reliability
TSV stress-aware full-chip mechanical reliability analysis and optimization for 3D IC (MJ, JM, DZP, SKL), pp. 188–193.
DACDAC-2011-KungHSS
Thermal signature: a simple yet accurate thermal index for floorplan optimization (JK, IH, SSS, YS), pp. 108–113.
DACDAC-2011-LifaEP #configuration management #detection #fault #performance
Performance optimization of error detection based on speculative reconfiguration (AAL, PE, ZP), pp. 369–374.
DACDAC-2011-LiuSCKKL #3d #analysis
Full-chip TSV-to-TSV coupling analysis and optimization in 3D IC (CL, TS, JC, JK, JK, SKL), pp. 783–788.
DACDAC-2011-StattelmannBR #performance #simulation
Fast and accurate source-level simulation of software timing considering complex code optimizations (SS, OB, WR), pp. 486–491.
DACDAC-2011-WangMR #clustering #configuration management #energy #manycore #realtime
Dynamic cache reconfiguration and partitioning for energy optimization in real-time multi-core systems (WW, PM, SR), pp. 948–953.
DACDAC-2011-WangTW #metric
In-field aging measurement and calibration for power-performance optimization (SW, MT, LW), pp. 706–711.
DATEDATE-2011-AlordaTBS #embedded #using
Stability optimization of embedded 8T SRAMs using Word-Line Voltage modulation (BA, GT, SAB, JS), pp. 986–991.
DATEDATE-2011-ArslanO #adaptation #effectiveness #learning #realtime
Adaptive test optimization through real time learning of test effectiveness (BA, AO), pp. 1430–1435.
DATEDATE-2011-BarrioMMMH
Power optimization in heterogenous datapaths (AADB, SOM, MCM, JMM, RH), pp. 1400–1405.
DATEDATE-2011-BonannoBS #analysis #energy #modelling #monitoring #tool support
Energy analysis methods and tools for modelling and Optimizing monitoring tyre systems (AB, AB, MS), pp. 1121–1122.
DATEDATE-2011-ChangMFWHYN #architecture #hardware #hybrid
Optimization of stateful hardware acceleration in hybrid architectures (XC, YM, HF, KW, RH, HY, TN), pp. 567–570.
DATEDATE-2011-ChenZD
Integrated circuit white space redistribution for temperature optimization (YC, HZ, RPD), pp. 613–618.
DATEDATE-2011-DraneC
Optimisation of mutually exclusive arithmetic sum-of-products (TD, GAC), pp. 1388–1393.
DATEDATE-2011-DrmanacSWWA #multi #parametricity #predict #testing
Multidimensional parametric test set optimization of wafer probe data for predicting in field failures and setting tighter test limits (DGD, NS, LW, LCW, MSA), pp. 794–799.
DATEDATE-2011-EggersglusD #fault #generative #pseudo #testing #using
As-Robust-As-Possible test generation in the presence of small delay defects using pseudo-Boolean optimization (SE, RD), pp. 1291–1296.
DATEDATE-2011-GilaniKS #memory management
Scratchpad memory optimizations for digital signal processing applications (SZG, NSK, MJS), pp. 974–979.
DATEDATE-2011-GraupnerJW #approach #design #generative #layout
Generator based approach for analog circuit and layout design and optimization (AG, RJ, RW), pp. 1675–1680.
DATEDATE-2011-HsuL
Clock gating optimization with delay-matching (SJH, RBL), pp. 643–648.
DATEDATE-2011-LiuHRG #process #using
Global optimization of integrated transformers for high frequency microwave circuits using a Gaussian process based surrogate model (BL, YH, PR, GGEG), pp. 1101–1106.
DATEDATE-2011-LiuS #continuation #performance
An efficient mask optimization method based on homotopy continuation technique (FL, XS), pp. 1053–1058.
DATEDATE-2011-LungHKC #3d #manycore #online #throughput
Thermal-aware on-line task allocation for 3D multi-core processor throughput optimization (CLL, YLH, DMK, SCC), pp. 8–13.
DATEDATE-2011-LuPRR #energy
Stage number optimization for switched capacitor power converters in micro-scale energy harvesting (CL, SPP, VR, KR), pp. 770–775.
DATEDATE-2011-MirhoseiniK #energy #hybrid #performance
HypoEnergy. Hybrid supercapacitor-battery power-supply optimization for Energy efficiency (AM, FK), pp. 887–890.
DATEDATE-2011-VasicekS
A global postsynthesis optimization method for combinational circuits (ZV, LS), pp. 1525–1528.
DATEDATE-2011-WuM #analysis
Aging-aware timing analysis and optimization considering path sensitization (KCW, DM), pp. 1572–1577.
ISMMISMM-2011-KaliberaJ #memory management #performance #realtime
Handles revisited: optimising performance and memory costs in a real-time collector (TK, REJ), pp. 89–98.
LCTESLCTES-2011-BhagatGSG #effectiveness
Global productiveness propagation: a code optimization technique to speculatively prune useless narrow computations (IB, EG, FJS, AG), pp. 161–170.
PDPPDP-2011-EstradaCG #adaptation #algorithm #architecture #manycore #parallel #performance
Adaptive Parallel Interval Global Optimization Algorithms Based on their Performance for Non-dedicated Multicore Architectures (JFSE, LGC, IG), pp. 252–256.
PDPPDP-2011-JacksonRBHWACS #parallel
Parallel Optimisation Strategies for Fusion Codes (AJ, FR, SB, JH, JW, MA, MC, AS), pp. 357–364.
PDPPDP-2011-MillerW #network #peer-to-peer
Transport Optimization in Peer-to-Peer Networks (KM, AW), pp. 567–573.
PDPPDP-2011-ReyesS #prototype #using
Optimize or Wait? Using llc Fast-Prototyping Tool to Evaluate CUDA Optimizations (RR, FdS), pp. 257–261.
PPoPPPPoPP-2011-DingWZ #multi #named #performance
ULCC: a user-level facility for optimizing shared cache performance on multicores (XD, KW, XZ), pp. 103–112.
STOCSTOC-2011-DughmiRY #combinator #random #towards
From convex optimization to randomized mechanisms: toward optimal combinatorial auctions (SD, TR, QY), pp. 149–158.
ICLPICLP-2011-GebserKKS #multi #programming #set
Multi-Criteria Optimization in Answer Set Programming (MG, RK, BK, TS), pp. 1–10.
ICLPICLP-J-2011-GebserKS #programming #set
Complex optimization in answer set programming (MG, RK, TS), pp. 821–839.
ICSTICST-2011-Gonzalez-Sanchez #runtime #testing
Cost Optimizations in Runtime Testing and Diagnosis of Systems of Systems (AGS), pp. 439–442.
QoSAQoSA-2010-MartensAKMR #approach #component #hybrid #multi
A Hybrid Approach for Multi-attribute QoS Optimisation in Component Based Software Systems (AM, DA, HK, RM, RHR), pp. 84–101.
QoSAQoSA-2010-MeedeniyaBAG #architecture #embedded #energy #reliability
Architecture-Driven Reliability and Energy Optimization for Complex Embedded Systems (IM, BB, AA, LG), pp. 52–67.
DocEngDocEng-2010-SojkaH #documentation #library #using
Document engineering for a digital library: PDF recompression using JBIG2 and other optimizations of PDF documents (PS, RH), pp. 3–12.
DRRDRR-2010-OhL #evaluation #feature model #recognition
Ant colony optimization with selective evaluation for feature selection in character recognition (ISO, JSL), pp. 1–10.
DRRDRR-2010-YinBA #classification #documentation
Time and space optimization of document content classifiers (DY, HSB, CA), pp. 1–10.
PODSPODS-2010-LiHRMM #difference #linear #privacy #query
Optimizing linear counting queries under differential privacy (CL, MH, VR, GM, AM), pp. 123–134.
PODSPODS-2010-MeierSWL #query #semantics
Semantic query optimization in the presence of types (MM, MS, FW, GL), pp. 111–122.
SIGMODSIGMOD-2010-ChaudhuriLN #query
Variance aware optimization of parameterized queries (SC, HL, VRN), pp. 531–542.
SIGMODSIGMOD-2010-MeyerDGM #query
Optimizing schema-last tuple-store queries in graphd (SMM, JD, JG, BM), pp. 1047–1056.
SIGMODSIGMOD-2010-MoonCZ #architecture #evolution #query #scalability #transaction
Scalable architecture and query optimization fortransaction-time DBs with evolving schemas (HJM, CC, CZ), pp. 207–218.
SIGMODSIGMOD-2010-QiJSP #nondeterminism #query
Threshold query optimization for uncertain data (YQ, RJ, SS, SP), pp. 315–326.
SIGMODSIGMOD-2010-YangWLW #keyword #using #web
Optimizing content freshness of relations extracted from the web using keyword search (MY, HW, LL, MW), pp. 819–830.
VLDBVLDB-2010-ManethN #query #xpath
XPath Whole Query Optimization (SM, KN), pp. 882–893.
VLDBVLDB-2010-MihaylovJIG #multi #network
Dynamic Join Optimization in Multi-Hop Wireless Sensor Networks (SRM, MJ, ZGI, SG), pp. 1279–1290.
VLDBVLDB-2010-ZhaoH #graph #network #on the #query #scalability
On Graph Query Optimization in Large Networks (PZ, JH), pp. 340–351.
EDMEDM-2010-YudelsonBMM #adaptation #education #integration #semantics #using
Using Numeric Optimization To Refine Semantic User Model Integration Of Adaptive Educational Systems (MY, PB, AM, MM), pp. 221–230.
ICALPICALP-v1-2010-GuptaNR #algorithm #robust
Thresholded Covering Algorithms for Robust and Max-min Optimization (AG, VN, RR), pp. 262–274.
RTARTA-2010-WinklerSMK
Optimizing mkbTT (SW, HS, AM, MK), pp. 373–384.
CoGCIG-2010-BurelliY
Combining local and global optimisation for virtual camera control (PB, GNY), pp. 403–410.
CoGCIG-2010-KemmerlingP #adaptation #automation
Automatic adaptation to generated content via car setup optimization in TORCS (MK, MP), pp. 131–138.
CoGCIG-2010-MartinMRS #named
Pac-mAnt: Optimization based on ant colonies applied to developing an agent for Ms. Pac-Man (EM, MM, GR, YS), pp. 458–464.
CoGCIG-2010-SyberfeldtS #comprehension #game studies
A serious game for understanding artificial intelligence in production optimization (AS, SS), pp. 443–449.
CoGCIG-2010-ThawonmasA #evolution #parametricity
Evolution strategy for optimizing parameters in Ms Pac-Man controller ICE Pambush 3 (RT, TA), pp. 235–240.
CHICHI-2010-BiSZ
Quasi-qwerty soft keyboard optimization (XB, BAS, SZ), pp. 283–286.
CHICHI-2010-KapoorLTH #classification #interactive
Interactive optimization for steering machine classification (AK, BL, DST, EH), pp. 1343–1352.
ICEISICEIS-AIDSS-2010-MianiYSF #algorithm #process #semantics
NARFO* Algorithm — Optimizing the Process of Obtaining Non-redundant and Generalized Semantic Association Rules (RGM, CAY, MTPS, VRTF), pp. 320–325.
ICEISICEIS-DISI-2010-BohmHL #clustering #multi #queue
Multi-process Optimization Via Horizontal Message Queue Partitioning (MB, DH, WL), pp. 5–14.
ICEISICEIS-ISAS-2010-FernandesPMP #execution #process
Integrating and Optimizing Business Process Execution in P2P Environments (MF, MP, JAM, JSP), pp. 171–177.
ICEISICEIS-J-2010-BohmHL10a #clustering #multi #queue
Multi-flow Optimization via Horizontal Message Queue Partitioning (MB, DH, WL), pp. 31–47.
ICEISICEIS-J-2010-ClariziaGN10a #adaptation #automation #lightweight #ontology
An Adaptive Optimisation Method for Automatic Lightweight Ontology Extraction (FC, LG, PN), pp. 357–371.
CIKMCIKM-2010-DillonC #algorithm #feedback #framework #pseudo #robust
A unified optimization framework for robust pseudo-relevance feedback algorithms (JVD, KCT), pp. 1069–1078.
CIKMCIKM-2010-HeMW #algorithm #evaluation #learning #metric #rank
Directly optimizing evaluation measures in learning to rank based on the clonal selection algorithm (QH, JM, SW), pp. 1449–1452.
CIKMCIKM-2010-LiH #integration #ontology #query
Query optimization for ontology-based information integration (YL, JH), pp. 1369–1372.
CIKMCIKM-2010-LiLBZ #ranking #web
Optimizing unified loss for web ranking specialization (FL, XL, JB, ZZ), pp. 1593–1596.
CIKMCIKM-2010-LiXCH #named #performance
StableBuffer: optimizing write performance for DBMS applications on flash devices (YL, JX, BC, HH), pp. 339–348.
ICMLICML-2010-Apte #machine learning
The Role of Machine Learning in Business Optimization (CA), pp. 1–2.
ICMLICML-2010-BardenetK #algorithm
Surrogating the surrogate: accelerating Gaussian-process-based global optimization with a mixture cross-entropy algorithm (RB, BK), pp. 55–62.
ICMLICML-2010-Martens #learning
Deep learning via Hessian-free optimization (JM), pp. 735–742.
ICMLICML-2010-SrinivasKKS #design #process
Gaussian Process Optimization in the Bandit Setting: No Regret and Experimental Design (NS, AK, SK, MWS), pp. 1015–1022.
ICPRICPR-2010-AriA #estimation #modelling #using
Maximum Likelihood Estimation of Gaussian Mixture Models Using Particle Swarm Optimization (CA, SA), pp. 746–749.
ICPRICPR-2010-BoltonG #framework #learning #multi #random #set
Cross Entropy Optimization of the Random Set Framework for Multiple Instance Learning (JB, PDG), pp. 3907–3910.
ICPRICPR-2010-ChenSW #distance #geometry #linear
Minimizing Geometric Distance by Iterative Linear Optimization (YC, JS, GW), pp. 1–4.
ICPRICPR-2010-DasKK #detection #multi
Sub-Category Optimization for Multi-view Multi-pose Object Detection (DD, YK, YK), pp. 1405–1408.
ICPRICPR-2010-EkbalSG #feature model #multi #recognition #using
Feature Selection Using Multiobjective Optimization for Named Entity Recognition (AE, SS, CSG), pp. 1937–1940.
ICPRICPR-2010-GruberZWSH
Optimization of Target Objects for Natural Feature Tracking (LG, SZ, DW, DS, TH), pp. 3607–3610.
ICPRICPR-2010-KhanN #image
A Modified Particle Swarm Optimization Applied in Image Registration (MKK, IN), pp. 2302–2305.
ICPRICPR-2010-KimL #markov #monte carlo #random #using
Continuous Markov Random Field Optimization Using Fusion Move Driven Markov Chain Monte Carlo Technique (WK, KML), pp. 1364–1367.
ICPRICPR-2010-KimYOC #using #video
Recovery Video Stabilization Using MRF-MAP Optimization (SWK, KMY, SO, JYC), pp. 2804–2807.
ICPRICPR-2010-NovoSPF #algorithm #modelling #multi
Optimization of Topological Active Models with Multiobjective Evolutionary Algorithms (JN, JSR, MGP, AF), pp. 2226–2229.
ICPRICPR-2010-PaclikLLD #analysis #classification
ROC Analysis and Cost-Sensitive Optimization for Hierarchical Classifiers (PP, CL, TL, RPWD), pp. 2977–2980.
ICPRICPR-2010-PapaCF #classification #dataset
Optimizing Optimum-Path Forest Classification for Huge Datasets (JPP, FAMC, AXF), pp. 4162–4165.
ICPRICPR-2010-TrummerMD #online #using
Online Next-Best-View Planning for Accuracy Optimization Using an Extended E-Criterion (MT, CM, JD), pp. 1642–1645.
ICPRICPR-2010-ZhouL #approximate #monte carlo #performance
Efficient Polygonal Approximation of Digital Curves via Monte Carlo Optimization (XZ, YL), pp. 3513–3516.
ICPRICPR-2010-ZhouR #image
Image Inpainting Based on Local Optimisation (JZ, ARK), pp. 4440–4443.
KDDKDD-2010-AbeMPRJTBACKDG #learning #using
Optimizing debt collections using constrained reinforcement learning (NA, PM, CP, CKR, DLJ, VPT, JJB, GFA, BRC, MK, MD, TG), pp. 75–84.
KDDKDD-2010-LiuMTLL #learning #metric #using
Semi-supervised sparse metric learning using alternating linearization optimization (WL, SM, DT, JL, PL), pp. 1139–1148.
KMISKMIS-2010-DotoliF #multi
A Hierarchical Vendor Selection Optimization Technique for Multiple Sourcing (MD, MF), pp. 195–200.
KMISKMIS-2010-SalgadoV #agile
Kanban Sharing and Optimization in Bosch Production System (PS, LV), pp. 81–91.
RecSysRecSys-2010-JamborW #collaboration #multi
Optimizing multiple objectives in collaborative filtering (TJ, JW), pp. 55–62.
SEKESEKE-2010-SouzaPB #approach #testing
A Constrained Particle Swarm Optimization Approach for Test Case Selection (LSdS, RBCP, FdAB), pp. 259–264.
SEKESEKE-2010-WangXLS #debugging #probability
A Stochastic Model for Optimizing the Patching Time of Software Bugs (YW, DX, WML, DBS), pp. 88–92.
SIGIRSIGIR-2010-LongCZCZT #learning #ranking
Active learning for ranking through expected loss optimization (BL, OC, YZ, YC, ZZ, BLT), pp. 267–274.
SIGIRSIGIR-2010-WangZ #analysis #effectiveness #information retrieval #metric #on the #statistics
On statistical analysis and optimization of information retrieval effectiveness metrics (JW, JZ), pp. 226–233.
OOPSLAOOPSLA-2010-PurandareDE #monitoring
Monitor optimization via stutter-equivalent loop transformation (RP, MBD, SGE), pp. 270–285.
OOPSLAOOPSLA-2010-TianJZS #paradigm
An input-centric paradigm for program dynamic optimizations (KT, YJ, EZZ, XS), pp. 125–139.
TOOLSTOOLS-EUROPE-2010-HundtSG #aspect-oriented #embedded
Optimizing Aspect-Oriented Mechanisms for Embedded Applications (CH, DS, SG), pp. 137–153.
PEPMPEPM-2010-Henglein #algebra #equivalence #lazy evaluation #relational #using
Optimizing relational algebra operations using generic equivalence discriminators and lazy products (FH), pp. 73–82.
PEPMPEPM-2010-MagalhaesHJL #exclamation
Optimizing generics is easy! (JPM, SH, JJ, AL), pp. 33–42.
PLDIPLDI-2010-ChenHEFPTW #dataset
Evaluating iterative optimization across 1000 datasets (YC, YH, LE, GF, LP, OT, CW), pp. 448–459.
PLDIPLDI-2010-RuwaseCGM #correctness #tool support
Decoupled lifeguards: enabling path optimizations for dynamic correctness checking tools (OR, SC, PBG, TCM), pp. 25–35.
PLDIPLDI-2010-YangXKZ #compilation #memory management #parallel
A GPGPU compiler for memory optimization and parallelism management (YY, PX, JK, HZ), pp. 86–97.
POPLPOPL-2010-TateSL #compilation #generative #proving
Generating compiler optimizations from proofs (RT, MS, SL), pp. 389–402.
PPDPPPDP-2010-TekleGL #datalog #graph #query
Graph queries through datalog optimizations (KTT, MG, YAL), pp. 25–34.
SASSAS-2010-Goldberg #framework #in memory #memory management #pipes and filters #validation
Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework — In Memory of Amir Pnueli (BG), pp. 6–21.
ASEASE-2010-TrezentosLO #dependence #named #problem #pseudo #using
Apt-pbo: solving the software dependency problem using pseudo-boolean optimization (PT, IL, ALO), pp. 427–436.
ICSEICSE-2010-NoriR #empirical
An empirical study of optimizations in YOGI (AVN, SKR), pp. 355–364.
SACSAC-2010-AthanasiadisFNS #3d #geometry
Feature-based 3D morphing based on geometrically constrained sphere mapping optimization (TA, IF, CN, VS), pp. 1258–1265.
SACSAC-2010-BechikhSG #mobile #multi #using
Searching for knee regions in multi-objective optimization using mobile reference points (SB, LBS, KG), pp. 1118–1125.
SACSAC-2010-GuoQL #configuration management #energy #network #using
A general energy optimization model for wireless networks using configurable antennas (SG, ZQ, SL), pp. 246–250.
SACSAC-2010-HansenS #analysis #implementation #reachability
Reachability analysis of GSPDIs: theory, optimization, and implementation (HAH, GS), pp. 2511–2516.
SACSAC-2010-LitoiuWWNI #architecture
A business driven cloud optimization architecture (ML, CMW, JW, JN, GI), pp. 380–385.
SACSAC-2010-PetrucciLM #clustering #performance
Dynamic optimization of power and performance for virtualized server clusters (VP, OL, DM), pp. 263–264.
SACSAC-2010-SchutzC #approach #fault tolerance #hybrid #multi #network
A multi-objective optimization approach for fault-tolerance provisioning in multi-radio hybrid wireless-optical broadband access networks (GS, NSCC), pp. 635–640.
SACSAC-2010-TangJ #c++ #concept
Generic flow-sensitive optimizing transformations in C++ with concepts (XT, JJ), pp. 2111–2118.
ASPLOSASPLOS-2010-AhmadV #maintenance
Joint optimization of idle and cooling power in data centers while maintaining response time (FA, TNV), pp. 243–256.
CASECASE-2010-FreitasGLH #configuration management #mobile #multi
Multi-objective optimization for kinematic reconfiguration of mobile robots (GMF, GG, FCL, LH), pp. 686–691.
CASECASE-2010-HassanzadehMB #algorithm #mobile
Mobile robot path planning based on shuffled frog leaping optimization algorithm (IH, KM, MAB), pp. 680–685.
CASECASE-2010-JohnsonM #using
Local planning using switching time optimization (ERJ, TDM), pp. 828–834.
CASECASE-2010-QiC #constraints #probability
Stochastic optimization of hydro-thermal system with annual water consumption constraints (YQ, XC), pp. 1001–1006.
CASECASE-2010-ShahNK #case study #parallel
CAD-enhanced workspace optimization for parallel manipulators: A case study (HS, MSN, VNK), pp. 816–821.
CASECASE-2010-SinghR #clustering #energy #policy
Energy optimization policies for server clusters (NS, SR), pp. 293–300.
CASECASE-2010-VergnanoTLFPYBL #energy #scheduling
Embedding detailed robot energy optimization into high-level scheduling (AV, CT, BL, PF, MP, CY, SB, FL), pp. 386–392.
CCCC-2010-Chevalier-BoisvertHV #matlab
Optimizing Matlab through Just-In-Time Specialization (MCB, LJH, CV), pp. 46–65.
CCCC-2010-LogozzoV #abstract interpretation #agile #analysis #javascript #named
RATA: Rapid Atomic Type Analysis by Abstract Interpretation — Application to JavaScript Optimization (FL, HV), pp. 66–83.
CCCC-2010-RoyS
The Hot Path SSA Form: Extending the Static Single Assignment Form for Speculative Optimizations (SR, YNS), pp. 304–323.
CGOCGO-2010-BorinWWLBHNRR #named
TAO: two-level atomicity for dynamic binary optimizations (EB, YW, CW, WL, MBJ, SH, EN, SR, RR), pp. 12–21.
CGOCGO-2010-JungMO #compilation #framework #hybrid #java #platform
Hybrid Java compilation and optimization for digital TV software platform (DHJ, SMM, HSO), pp. 73–81.
CGOCGO-2010-LiAH #lightweight
Lightweight feedback-directed cross-module optimization (DXL, RA, RH), pp. 53–61.
CGOCGO-2010-LindermanHDMN #analysis #automation #precise #towards
Towards program optimization through automated analysis of numerical precision (MDL, MH, DLD, THYM, GPN), pp. 230–237.
DACDAC-2010-Ababei #design #modelling #network #using
Network on chip design and optimization using specialized influence models (CA), pp. 625–626.
DACDAC-2010-BanP #layout #modelling #robust
Compact modeling and robust layout optimization for contacts in deep sub-wavelength lithography (YB, DZP), pp. 408–411.
DACDAC-2010-ChuangKSC
Pulsed-latch aware placement for timing-integrity optimization (YLC, SK, YS, YWC), pp. 280–285.
DACDAC-2010-GuthausWR #linear #programming
Non-uniform clock mesh optimization with linear programming buffer insertion (MRG, GW, RR), pp. 74–79.
DACDAC-2010-IosifidisMMGBSC #automation #framework #memory management #parallel #platform
A framework for automatic parallelization, static and dynamic memory optimization in MPSoC platforms (YI, AM, SM, EdG, AB, DS, FC), pp. 549–554.
DACDAC-2010-KahngLSR
Trace-driven optimization of networks-on-chip configurations (ABK, BL, KS, RSR), pp. 437–442.
DACDAC-2010-LiuYHSK #generative
Generation of yield-embedded Pareto-front for simultaneous optimization of yield and performances (YL, MY, KH, TS, YK), pp. 909–912.
DACDAC-2010-LongM #framework
A framework for optimizing thermoelectric active cooling systems (JL, SOM), pp. 591–596.
DACDAC-2010-NalamBMC #design #prototype
Virtual prototyper (ViPro): an early design space exploration and optimization tool for SRAM designers (SN, MB, KM, BHC), pp. 138–143.
DACDAC-2010-YangALLP #3d #analysis #layout
TSV stress aware timing analysis with applications to 3D-IC layout optimization (JSY, KA, YJL, SKL, DZP), pp. 803–806.
DACDAC-2010-YeL #modelling #parallel #performance #runtime #simulation
Parallel program performance modeling for runtime optimization of multi-algorithm circuit simulation (XY, PL), pp. 561–566.
DACDAC-2010-ZengYFL #analysis #delivery #network #power management #trade-off
Tradeoff analysis and optimization of power delivery networks with on-chip voltage regulation (ZZ, XY, ZF, PL), pp. 831–836.
DACDAC-2010-ZhaoGFH #parallel
Parallel hierarchical cross entropy optimization for on-chip decap budgeting (XZ, YG, ZF, SH), pp. 843–848.
DATEDATE-2010-BaoAEP #energy #scalability
Temperature-aware idle time distribution for energy optimization with dynamic voltage scaling (MB, AA, PE, ZP), pp. 21–26.
DATEDATE-2010-CharfiMGTB #code generation #modelling #towards
Toward optimized code generation through model-based optimization (AC, CM, SG, FT, PB), pp. 1313–1316.
DATEDATE-2010-ChengLW #diagrams
Optimization of FIR filter to improve eye diagram for general transmission line systems (YSC, YCL, RBW), pp. 1321–1324.
DATEDATE-2010-CongLX #behaviour #coordination #synthesis
Coordinated resource optimization in behavioral synthesis (JC, BL, JX), pp. 1267–1272.
DATEDATE-2010-DeHonQC #challenge #energy #reliability
Vision for cross-layer optimization to address the dual challenges of energy and reliability (AD, HMQ, NPC), pp. 1017–1022.
DATEDATE-2010-GaoH #geometry #programming #using
A power optimization method for CMOS Op-Amps using sub-space based geometric programming (WG, RH), pp. 508–513.
DATEDATE-2010-HaoXRY #behaviour #equivalence #synthesis
Optimizing equivalence checking for behavioral synthesis (KH, FX, SR, JY), pp. 1500–1505.
DATEDATE-2010-JeeraditKH
Intent-leveraged optimization of analog circuits via homotopy (MJ, JK, MH), pp. 1614–1619.
DATEDATE-2010-JungP #network #nondeterminism #power management
Optimizing the power delivery network in dynamically voltage scaled systems with uncertain power mode transition times (HJ, MP), pp. 351–356.
DATEDATE-2010-LeeM #named #network
Contango: Integrated optimization of SoC clock networks (DL, ILM), pp. 1468–1473.
DATEDATE-2010-LiuFG #performance
An accurate and efficient yield optimization method for analog circuits based on computing budget allocation and memetic search technique (BL, FVF, GGEG), pp. 1106–1111.
DATEDATE-2010-LiuTL #automation #design #power management
Combining optimizations in automated low power design (QL, TT, WL), pp. 1791–1796.
DATEDATE-2010-LiZHH #logic #synthesis
Reversible logic synthesis through ant colony optimization (ML, YZ, MSH, CH), pp. 307–310.
DATEDATE-2010-LongM #bias #monitoring #network
Optimization of the bias current network for accurate on-chip thermal monitoring (JL, SOM), pp. 1365–1368.
DATEDATE-2010-LongMG
Optimization of an on-chip active cooling system based on thin-film thermoelectric coolers (JL, SOM, MG), pp. 117–122.
DATEDATE-2010-LungZCC
Clock skew optimization considering complicated power modes (CLL, ZYZ, CHC, SCC), pp. 1474–1479.
DATEDATE-2010-MishraJ #power management #synthesis #using
Low-power FinFET circuit synthesis using surface orientation optimization (PM, NKJ), pp. 311–314.
DATEDATE-2010-MitraBS #challenge #metric
Cross-layer resilience challenges: Metrics and optimization (SM, KB, PNS), pp. 1029–1034.
DATEDATE-2010-PerezSF #data flow #graph #relational
Optimizing Data-Flow Graphs with min/max, adding and relational operations (JP, PS, VF), pp. 1361–1364.
DATEDATE-2010-ShafikAC #design #embedded #power management
Soft error-aware design optimization of low power and time-constrained embedded systems (RAS, BMAH, KC), pp. 1462–1467.
HPDCHPDC-2010-ChenSTS
A layout-aware optimization strategy for collective I/O (YC, HS, RT, XHS), pp. 360–363.
HPDCHPDC-2010-LiewAHH #data type #distributed #graph #parallel #streaming #towards #using
Towards optimising distributed data streaming graphs using parallel streams (CSL, MPA, JIvH, LH), pp. 725–736.
HPDCHPDC-2010-PetrouSMFPD #mutation testing #parallel #permutation #testing
Optimization of a parallel permutation testing function for the SPRINT R package (SP, TMS, MM, TF, MP, BD), pp. 516–521.
HPDCHPDC-2010-TeodoroHCF #runtime
Run-time optimizations for replicated dataflows on heterogeneous environments (GT, TDRH, ÜVÇ, RF), pp. 13–24.
ISMMISMM-2010-Anderson #garbage collection
Optimizations in a private nursery-based garbage collector (TAA), pp. 21–30.
LCTESLCTES-2010-KulkarniJW #performance #sequence
Improving both the performance benefits and speed of optimization phase sequence searches (PAK, MRJ, DBW), pp. 95–104.
PDPPDP-2010-LoureiroND #adaptation #distributed
Adaptive Management of Shared Resource Pools with Decentralized Optimization and Epidemics (EL, PN, SD), pp. 51–58.
PDPPDP-2010-PinhoRS #algorithm #biology #parallel #process
Pluggable Parallelization of Evolutionary Algorithms Applied to the Optimization of Biological Processes (JHMdP, MFdAPdR, JLFS), pp. 395–402.
PPoPPPPoPP-2010-Mendez-LojoNPSHKBP #source code
Structure-driven optimizations for amorphous data-parallel programs (MML, DN, DP, XS, MAH, MK, MB, KP), pp. 3–14.
PPoPPPPoPP-2010-YangXKZ #compilation #source code
An optimizing compiler for GPGPU programs with input-data sharing (YY, PX, JK, HZ), pp. 343–344.
FASEFASE-2010-Harman #why
Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization (MH), pp. 1–12.
STOCSTOC-2010-GilbertLPS #approximate #metric
Approximate sparse recovery: optimizing time and measurements (ACG, YL, EP, MJS), pp. 475–484.
TACASTACAS-2010-LegrielGCM #approximate #multi #problem
Approximating the Pareto Front of Multi-criteria Optimization Problems (JL, CLG, SC, OM), pp. 69–83.
ICLPICLP-2010-ShakarianSS10 #network #problem #social #source code #using
Using Generalized Annotated Programs to Solve Social Network Optimization Problems (PS, VSS, MLS), pp. 182–191.
ICSTSAT-2010-ManquinhoML #algorithm #satisfiability
Improving Unsatisfiability-Based Algorithms for Boolean Optimization (VMM, RM, IL), pp. 181–193.
QoSAQoSA-2009-KavimandanG #model transformation #realtime
Applying Model Transformations to Optimizing Real-Time QoS Configurations in DRE Systems (AK, ASG), pp. 18–35.
WICSA-ECSAWICSA-ECSA-2009-RooSA #adaptation #architecture #embedded #multi #using
An architectural style for optimizing system qualities in adaptive embedded systems using Multi-Objective Optimization (AdR, HS, MA), pp. 349–352.
ICDARICDAR-2009-SadriC #approach #documentation
A New Approach for Skew Correction of Documents Based on Particle Swarm Optimization (JS, MC), pp. 1066–1070.
ICDARICDAR-2009-TatsumiHK #layout
Context-oriented Layout Optimization of Large-Print Textbooks (IT, HH, MK), pp. 1016–1020.
SIGMODSIGMOD-2009-AndreiCCJS #clustering
Ordering, distinctness, aggregation, partitioning and DQP optimization in sybase ASE 15 (MA, XC, SC, CJ, ES), pp. 917–924.
SIGMODSIGMOD-2009-BrunoCR #interactive #query
Interactive plan hints for query optimization (NB, SC, RR), pp. 1043–1046.
SIGMODSIGMOD-2009-ChenCMPSS #database #order
Partial join order optimization in the paraccel analytic database (YC, RLC, WJM, SP, AS, ESJ), pp. 905–908.
SIGMODSIGMOD-2009-ChenGDYR #evolution #source code
Optimizing complex extraction programs over evolving text data (FC, BJG, AD, JY, RR), pp. 321–334.
SIGMODSIGMOD-2009-HanL #manycore #order #query
Dependency-aware reordering for parallelizing query optimization in multi-core CPUs (WSH, JL), pp. 45–58.
SIGMODSIGMOD-2009-KaderBMK #named #runtime
ROX: run-time optimization of XQueries (RAK, PAB, SM, MvK), pp. 615–626.
SIGMODSIGMOD-2009-Neumann #query
Query simplification: graceful degradation for join-order optimization (TN0), pp. 403–414.
SIGMODSIGMOD-2009-SharafCLA #interactive #transaction
Optimizing i/o-intensive transactions in highly interactive applications (MAS, PKC, AL, CA), pp. 785–798.
VLDBVLDB-2009-BellamkondaAWAZL
Enhanced Subquery Optimizations in Oracle (SB, RA, AW, AA, MZ, CCL), pp. 1366–1377.
VLDBVLDB-2009-ChaudhuriNR #query #testing
Exact Cardinality Query Optimization for Optimizer Testing (SC, VRN, RR), pp. 994–1005.
VLDBVLDB-2009-GottlobPS #normalisation
Normalization and Optimization of Schema Mappings (GG, RP, VS), pp. 1102–1113.
ICALPICALP-v2-2009-GottlobGS #problem #strict
Tractable Optimization Problems through Hypergraph-Based Structural Restrictions (GG, GG, FS), pp. 16–30.
TLCATLCA-2009-MostrousY #communication #higher-order #mobile #process
Session-Based Communication Optimisation for Higher-Order Mobile Processes (DM, NY), pp. 203–218.
ICFPICFP-2009-LiuCH #commutative
Causal commutative arrows and their optimization (HL, EC, PH), pp. 35–46.
AIIDEAIIDE-2009-PedersenTY #experience #framework #game studies #platform
Optimization of Platform Game Levels for Player Experience (CP, JT, GNY).
AIIDEAIIDE-2009-Sturtevant
Optimizing Motion-Constrained Pathfinding (NRS).
HCIHIMI-II-2009-StrybelMNPV #online
Optimizing Online Situation Awareness Probes in Air Traffic Management Tasks (TZS, KM, JHN, RP, KPLV), pp. 845–854.
ICEISICEIS-AIDSS-2009-KuoWHH #clustering #network #order #using
An Order Clustering System using ART2 Neural Network and Particle Swarm Optimization Methodn (RJK, MJW, TWH, TLH), pp. 54–59.
ICEISICEIS-AIDSS-2009-OReilly #algorithm #multi #using
Frequency Assignment Optimization using the Swarm Intelligence Multi-agent based Algorithm (SIMBA) (GBO), pp. 25–32.
ICEISICEIS-AIDSS-2009-ZanchettinL #design #hybrid #network
Hybrid Optimization Technique for Artificial Neural Networks Design (CZ, TBL), pp. 242–247.
ICEISICEIS-DISI-2009-ElarissKG #multi #paradigm #query
Query Melting — A New Paradigm for GIS Multiple Query Optimization (HEE, SK, DG), pp. 82–90.
ICEISICEIS-DISI-2009-GroppeGK #using
Optimization of SPARQL by using coreSPARQL (JG, SG, JK), pp. 107–112.
ICEISICEIS-DISI-2009-SantosB #performance #query
A Bit-selector Technique for Performance Optimization of Decision-support Queries (RJS, JB), pp. 151–157.
ICEISICEIS-HCI-2009-TroianoBAC #algorithm #layout #mobile #search-based #web
Web Form Page in Mobile Devices — Optimization of Layout with a Simple Genetic Algorithm (LT, CB, RA, GC), pp. 118–123.
CIKMCIKM-2009-Collins-Thompson #query #robust
Reducing the risk of query expansion via robust constrained optimization (KCT), pp. 837–846.
CIKMCIKM-2009-DaM #named #random
RS-Wrapper: random write optimization for solid state drive (DZ, XM), pp. 1457–1460.
CIKMCIKM-2009-GedikAW #approach #code generation #data type #distributed
A code generation approach to optimizing high-performance distributed data stream processing (BG, HA, KLW), pp. 847–856.
CIKMCIKM-2009-MasadaFTHSO #analysis #topic
Dynamic hyperparameter optimization for bayesian topical trend analysis (TM, DF, AT, TH, YS, KO), pp. 1831–1834.
ECIRECIR-2009-DonmezC #learning #rank
Active Sampling for Rank Learning via Optimizing the Area under the ROC Curve (PD, JGC), pp. 78–89.
ICMLICML-2009-BoutilierRV #elicitation #interactive #online
Online feature elicitation in interactive optimization (CB, KR, PV), pp. 73–80.
ICMLICML-2009-MesmayRVP #graph #library #performance
Bandit-based optimization on graphs with application to library performance tuning (FdM, AR, YV, MP), pp. 729–736.
ICMLICML-2009-Toussaint #approximate #using
Robot trajectory optimization using approximate inference (MT), pp. 1049–1056.
ICMLICML-2009-WarmuthV #overview #perspective #summary #tutorial
Tutorial summary: Survey of boosting from an optimization perspective (MKW, SVNV), p. 15.
ICMLICML-2009-YueJ #information retrieval #problem
Interactively optimizing information retrieval systems as a dueling bandits problem (YY, TJ), pp. 1201–1208.
KDDKDD-2009-BackstromKK #problem #scheduling #web
Optimizing web traffic via the media scheduling problem (LB, JMK, RK), pp. 89–98.
KDDKDD-2009-ChenCBT #learning #random
Constrained optimization for validation-guided conditional random field learning (MC, YC, MRB, AET), pp. 189–198.
KDIRKDIR-2009-Weichselbraun #approach
A Utility Centered Approach for Evaluating and Optimizing Geo-tagging (AW), pp. 134–139.
KDIRKDIR-2009-WohrerZDB #composition #data mining #metaprogramming #mining #towards
Unboxing Data Mining Via Decomposition in Operators — Towards Macro Optimization and Distribution (AW, YZ, EuHD, PB), pp. 243–248.
KEODKEOD-2009-AnderlMS #approach #complexity #reduction
An Approach to Support Interdisciplinary Variant Diversity Optimization — Planning Variant Diversity — Beyond Complexity Reduction (RA, SM, DS), pp. 408–411.
KMISKMIS-2009-FalcaoNC #agile #data transformation #education #process
Application of Lean Six Sigma Methodology to Optimization Processes of Data Management in an Educational Context (SF, FN, AC), pp. 309–312.
KMISKMIS-2009-RadeschutzM #analysis #process
Extended Analysis Techniques for a Comprehensive Business Process Optimization (SR, BM), pp. 77–82.
SEKESEKE-2009-AbdallahAA #multi #visual notation
A Payload Optimization Technique for Multimedia Visual Cryptographye (MHA, RIAK, RAAD), pp. 703–708.
SEKESEKE-2009-ZhaoWX #web #web service
User Perceived Response-time Optimization Method for Composite Web Services (JZ, YW, BX), pp. 356–363.
SIGIRSIGIR-2009-ArampatzisKR #using
Where to stop reading a ranked list?: threshold optimization using truncated score distributions (AA, JK, SR), pp. 524–531.
SIGIRSIGIR-2009-ZhuWYWYHC
Optimizing search engine revenue in sponsored search (YZ, GW, JY, DW, JY, JH, ZC), pp. 588–595.
SPLCSPLC-2009-SavolainenM #architecture #industrial #product line #requirements
From product line requirements to product line architecture: optimizing industrial product lines for new competitive advantage (JS, MM), p. 315.
SPLCSPLC-2009-SchmidL #product line #using
Introducing and optimizing software product lines using the FEF (KS, FvdL), p. 311.
OOPSLAOOPSLA-2009-DincklageD #semantics #source code
Optimizing programs with intended semantics (DvD, AD), pp. 409–424.
PEPMPEPM-2009-DavidGC #calculus #exception
Translation and optimization for a core calculus with exceptions (CD, CG, WNC), pp. 41–50.
PLDIPLDI-2009-KunduTL #equivalence #proving #using
Proving optimizations correct using parameterized program equivalence (SK, ZT, SL), pp. 327–337.
POPLPOPL-2009-BronsonKO
Feedback-directed barrier optimization in a strongly isolated STM (NGB, CK, KO), pp. 213–225.
POPLPOPL-2009-TateSTL #approach #similarity
Equality saturation: a new approach to optimization (RT, MS, ZT, SL), pp. 264–276.
SASSAS-2009-Hurlin #automation #parallel #proving #source code
Automatic Parallelization and Optimization of Programs by Proof Rewriting (CH), pp. 52–68.
SASSAS-2009-Simon #analysis #pointer #similarity #using
Optimizing Pointer Analysis Using Bisimilarity (LS), pp. 222–237.
ASEASE-2009-AletiGMM #deployment
Let the Ants Deploy Your Software — An ACO Based Deployment Optimisation Strategy (AA, LG, IM, IM), pp. 505–509.
ASEASE-2009-SiddiquiMK #constraints #performance #theorem proving
Optimizing a Structural Constraint Solver for Efficient Software Checking (JHS, DM, SK), pp. 615–619.
ESEC-FSEESEC-FSE-2009-BeltRD #analysis #lightweight #symbolic computation
Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses (JB, R, XD), pp. 355–364.
SACSAC-2009-DungDH #constraints #framework #graph
LS(graph & tree): a local search framework for constraint optimization on graphs and trees (PQD, YD, PVH), pp. 1402–1407.
SACSAC-2009-GaoZL #algorithm #constraints #fuzzy
A particle swarm optimization based algorithm for fuzzy bilevel decision making with constraints-shared followers (YG, GZ, JL), pp. 1075–1079.
SACSAC-2009-QiuLS #embedded #framework #hardware #platform #realtime
Heterogeneous real-time embedded software optimization considering hardware platform (MQ, HL, EHMS), pp. 1637–1641.
SACSAC-2009-SkordylisT #delivery #monitoring
Jointly optimizing data acquisition and delivery in traffic monitoring VANETs (AS, NT), pp. 2186–2190.
SACSAC-2009-XieLY #elicitation #process #requirements
i*-prefer: optimizing requirements elicitation process based on actor preferences (HX, LL, JY), pp. 347–354.
SACSAC-2009-ZhangLZZZZ #first-order #linear
Optimizing techniques for saturated arithmetic with first-order linear recurrence (WZ, LL, CZ, HZ, BZ, CZ), pp. 1883–1889.
LDTALDTA-2008-BaggeH09 #axiom #testing
Axiom-Based Transformations: Optimisation and Testing (AHB, MH), pp. 17–33.
ASPLOSASPLOS-2009-TamASS #approximate #named #online
RapidMRC: approximating L2 miss rate curves on commodity systems for online optimizations (DKT, RA, LS, MS), pp. 121–132.
CASECASE-2009-GirishJ #algorithm #flexibility #problem #scheduling
A particle swarm optimization algorithm for flexible job shop scheduling problem (BSG, NJ), pp. 298–303.
CASECASE-2009-JohnsonM #animation #automation #synthesis #using
Automated trajectory synthesis from animation data using trajectory optimization (ERJ, TDM), pp. 274–279.
CASECASE-2009-KhawP #assembly #multi #problem
Multi-rule multi-objective Ant Colony Optimization for straight and U-type assembly line balancing problem (CLEK, SGP), pp. 177–182.
CASECASE-2009-WangLCM #performance #social
Efficient optimization of building emergency evacuation considering social bond of evacuees (PW, PBL, SCC, KLM), pp. 250–255.
CCCC-2009-KnightsMSMD #hardware
Blind Optimization for Exploiting Hardware Features (DK, TM, PFS, MCM, AD), pp. 251–265.
CCCC-2009-Sarkar #challenge #parallel #source code
Challenges in Code Optimization of Parallel Programs (VS), p. 1.
CCCC-2009-WarburtonK #architecture #bytecode #java #specification
From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode (RW, SK), pp. 17–31.
CCCC-2009-ZhaoCS #framework
A Framework for Exploring Optimization Properties (MZ, BRC, MLS), pp. 32–47.
CGOCGO-2009-BerubeAHS #multi #reduction
Workload Reduction for Multi-input Feedback-Directed Optimization (PB, JNA, RH, RS), pp. 59–69.
CGOCGO-2009-CuthbertsonVBAS #approach #hardware #monitoring #performance #virtual machine
A Practical Approach to Hardware Performance Monitoring Based Dynamic Optimizations in a Production JVM (JC, SV, KB, AA, EK, US), pp. 190–199.
CGOCGO-2009-KelseyBDZ #performance
Fast Track: A Software System for Speculative Program Optimization (KK, TB, CD, CZ), pp. 157–168.
CGOCGO-2009-LeatherBO #automation #compilation #generative #machine learning
Automatic Feature Generation for Machine Learning Based Optimizing Compilation (HL, EVB, MFPO), pp. 81–91.
CGOCGO-2009-MarsH #framework #online
Scenario Based Optimization: A Framework for Statically Enabling Online Optimizations (JM, RH), pp. 169–179.
CGOCGO-2009-MoseleyGP #compilation #named #performance
OptiScope: Performance Accountability for Optimizing Compilers (TM, DG, RP), pp. 254–264.
DACDAC-2009-BaoAEP #dependence #energy #online #scalability
On-line thermal aware dynamic voltage scaling for energy optimization with frequency/temperature dependency consideration (MB, AA, PE, ZP), pp. 490–495.
DACDAC-2009-ChoudhuryM #logic #lookahead #using
Timing-driven optimization using lookahead logic circuits (MRC, KM), pp. 390–395.
DACDAC-2009-LeeK #manycore #throughput #using
Optimizing throughput of power- and thermal-constrained multicore processors using DVFS and per-core power-gating (JL, NSK), pp. 47–50.
DACDAC-2009-LiS #algorithm #robust
Yield-driven iterative robust circuit optimization algorithm (YL, VS), pp. 599–604.
DACDAC-2009-LiuH #parallel #performance
GPU-based parallelization for fast circuit optimization (YL, JH), pp. 943–946.
DACDAC-2009-OnaissiHN #process
Clock skew optimization via wiresizing for timing sign-off covering all process corners (SO, KRH, FNN), pp. 196–201.
DACDAC-2009-SarbisheiAF #clustering #heuristic #polynomial #using
Polynomial datapath optimization using partitioning and compensation heuristics (OS, BA, MF), pp. 931–936.
DACDAC-2009-ShengXM #algorithm #fault #multi #search-based #standard
Soft error optimization of standard cell circuits based on gate sizing and multi-objective genetic algorithm (WS, LX, ZM), pp. 502–507.
DACDAC-2009-ZengZNGGS #scheduling #using
Scheduling the FlexRay bus using optimization techniques (HZ, WZ, MDN, AG, PG, ALSV), pp. 874–877.
DATEDATE-2009-0002CWCXY
Gate replacement techniques for simultaneous leakage and aging optimization (YW, XC, WW, YC, YX, HY), pp. 328–333.
DATEDATE-2009-AliKWW #modelling #performance
Improved performance and variation modelling for hierarchical-based optimisation of analogue integrated circuits (SA, LK, RW, PRW), pp. 712–717.
DATEDATE-2009-ChakrabortyGRP #analysis
Analysis and optimization of NBTI induced clock skew in gated clock trees (AC, GG, AR, DZP), pp. 296–299.
DATEDATE-2009-Gomez-PradoRCGB #data flow #graph #hardware #implementation
Optimizing data flow graphs to minimize hardware implementation (DGP, QR, MJC, JG, EB), pp. 117–122.
DATEDATE-2009-GuoS #bound #design #distributed #using
Optimizing the HW/SW boundary of an ECC SoC design using control hierarchy and distributed storage (XG, PS), pp. 454–459.
DATEDATE-2009-IzosimovPPEP #analysis #embedded #fault tolerance
Analysis and optimization of fault-tolerant embedded systems with hardened processors (VI, IP, PP, PE, ZP), pp. 682–687.
DATEDATE-2009-JiangHX #3d #architecture #design
Test architecture design and optimization for three-dimensional SoCs (LJ, LH, QX), pp. 220–225.
DATEDATE-2009-KeinertDHHT #algorithm #image #modelling #multi #synthesis
Model-based synthesis and optimization of static multi-rate image processing algorithms (JK, HD, FH, CH, JT), pp. 135–140.
DATEDATE-2009-KoesterLHP #configuration management #design
Design optimizations to improve placeability of partial reconfiguration modules (MK, WL, JH, MP), pp. 976–981.
DATEDATE-2009-LiNZGSS #dependence #protocol
Optimizations of an application-level protocol for enhanced dependability in FlexRay (WL, MDN, WZ, PG, ALSV, SAS), pp. 1076–1081.
DATEDATE-2009-VayrynenSL #execution #fault tolerance #multi
Fault-tolerant average execution time optimization for general-purpose multi-processor system-on-chips (MV, VS, EL), pp. 484–489.
DATEDATE-2009-WangCTHR #modelling #performance #polynomial #using
An efficient decoupling capacitance optimization using piecewise polynomial models (XW, YC, SXDT, XH, JR), pp. 1190–1195.
HPCAHPCA-2009-MadanZMUBIMN #3d #capacity #communication #configuration management
Optimizing communication and capacity in a 3D stacked reconfigurable cache hierarchy (NM, LZ, NM, ANU, RB, RI, SM, DN), pp. 262–274.
HPCAHPCA-2009-SubramaniamBWL #performance
Criticality-based optimizations for efficient load processing (SS, AB, HW, GHL), pp. 419–430.
HPDCHPDC-2009-KumarSMVDRKGHKS #framework #workflow
An integrated framework for performance-based optimization of scientific workflows (VSK, PS, GM, KV, ED, VR, JK, YG, MWH, TMK, JHS), pp. 177–186.
ISMMISMM-2009-SerranoZ #garbage collection #using
Placement optimization using data context collected during garbage collection (MJS, XZ), pp. 69–78.
ISMMISMM-2009-Vengerov #analysis #garbage collection #modelling #throughput
Modeling, analysis and throughput optimization of a generational garbage collector (DV), pp. 1–9.
LCTESLCTES-2009-LeatherOW #compilation #performance
Raced profiles: efficient selection of competing compiler optimizations (HL, MFPO, BW), pp. 50–59.
LCTESLCTES-2009-LeeS #compilation #fault
A compiler optimization to reduce soft errors in register files (JL, AS), pp. 41–49.
PDPPDP-2009-KunisR #algorithm #constraints #parallel #precedence #scheduling #using
Optimization of Layer-based Scheduling Algorithms for Mixed Parallel Applications with Precedence Constraints Using Move-blocks (RK, GR), pp. 70–77.
PDPPDP-2009-TudelaL #parallel #predict
Parallel Protein Structure Prediction by Multiobjective Optimization (JCCT, JOL), pp. 268–275.
PPoPPPPoPP-2009-HuangEHC #compilation #source code
Exploiting global optimizations for openmp programs in the openuh compiler (LH, DE, MWH, BMC), pp. 289–290.
PPoPPPPoPP-2009-LeeME #automation #compilation #framework
OpenMP to GPGPU: a compiler framework for automatic translation and optimization (SL, SJM, RE), pp. 101–110.
PPoPPPPoPP-2009-YangWXDZ #graph
Comparability graph coloring for optimizing utilization of stream register files in stream processors (XY, LW, JX, YD, YZ), pp. 111–120.
SOSPSOSP-2009-DunaganZS #combinator #graph #named #using
Heat-ray: combating identity snowball attacks using machinelearning, combinatorial optimization and attack graphs (JD, AXZ, DRS), pp. 305–320.
ICLPICLP-2009-ChristiansenL #analysis #modelling #preprocessor #sequence
Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis (HC, OTL), pp. 70–83.
ICLPICLP-2009-GavanelliAL #abduction #constraints #integration #reasoning
Integration of Abductive Reasoning and Constraint Optimization in SCIFF (MG, MA, EL), pp. 387–401.
ICLPICLP-2009-Sneyers #compilation #complexity #constraints
Optimizing Compilation and Computational Complexity of Constraint Handling Rules (JS), pp. 494–498.
ICSTICST-2009-GligoricGLMK #generative #graph #java
Optimizing Generation of Object Graphs in Java PathFinder (MG, TG, SL, DM, SK), pp. 51–60.
ICSTICST-2009-WolovickDQ #execution #realtime #testing
Optimizing Probabilities of Real-Time Test Case Execution (NW, PRD, HQ), pp. 446–455.
ICSTSAT-2009-BertholdHP #pseudo #question
Nonlinear Pseudo-Boolean Optimization: Relaxation or Propagation? (TB, SH, MEP), pp. 441–446.
ICSTSAT-2009-LarrosaNOR #bound #branch #generative
Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates (JL, RN, AO, ERC), pp. 453–466.
ICSTSAT-2009-ManquinhoSP #algorithm
Algorithms for Weighted Boolean Optimization (VMM, JPMS, JP), pp. 495–508.
TAPTAP-2009-RatschanS #fault #hybrid #quality
Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate (SR, JGS), pp. 153–168.
DocEngDocEng-2008-ChaoSSVL #documentation #image
PDF document restoration and optimization during image enhancement (HC, CS, SS, MV, JWL), pp. 150–153.
PODSPODS-2008-FaginKNP #formal method #towards
Towards a theory of schema-mapping optimization (RF, PGK, AN, LP), pp. 33–42.
PODSPODS-2008-MoorSAV #datalog #query #type inference
Type inference for datalog and its application to query optimisation (OdM, DS, PA, MV), pp. 291–300.
SIGMODSIGMOD-2008-BalminOST #xpath
Grouping and optimization of XPath expressions in DB2 pureXML (AB, , AS, ET), pp. 1065–1074.
SIGMODSIGMOD-2008-BrunoN #design #parametricity #physics #query
Configuration-parametric query optimization for physical design tuning (NB, RVN), pp. 941–952.
SIGMODSIGMOD-2008-CaoDCT #multi #query
Optimizing complex queries with multiple relation instances (YC, GCD, CYC, KLT), pp. 525–538.
SIGMODSIGMOD-2008-GhelliORS #query #xml
XML query optimization in the presence of side effects (GG, NO, KHR, JS), pp. 339–352.
SIGMODSIGMOD-2008-OConnell #algorithm #challenge #streaming
Extreme streaming: business optimization driving algorithmic challenges (WO), pp. 13–14.
SIGMODSIGMOD-2008-SereniAM #compilation #datalog
Adding magic to an optimising datalog compiler (DS, PA, OdM), pp. 553–566.
VLDBVLDB-2008-BragaCDM #multi #query #web
Optimization of multi-domain queries on the web (DB, SC, FD, DM), pp. 562–573.
VLDBVLDB-2008-HanKLLM #query
Parallelizing query optimization (WSH, WK, JL, GML, VM), pp. 188–200.
VLDBVLDB-2008-KementsietsidisNCV #database #multi #query #scalability
Scalable multi-query optimization for exploratory queries over federated scientific databases (AK, FN, DVdC, SV), pp. 16–27.
VLDBVLDB-2008-LizorkinVGT
Accuracy estimate and optimization techniques for SimRank computation (DL, PV, MNG, DT), pp. 422–433.
CSMRCSMR-2008-TeleaV08a #performance #scalability
A Tool for Optimizing the Build Performance of Large Software Code Bases (ACT, LV), pp. 323–325.
FLOPSFLOPS-2008-KoninckSD #compilation
Optimizing Compilation of CHR with Rule Priorities (LDK, PJS, GJD), pp. 32–47.
AIIDEAIIDE-2008-TrustyOR #game studies #probability #realtime
Stochastic Plan Optimization in Real-Time Strategy Games (AT, SO, AR).
CoGCIG-2008-delaOssaGL #algorithm
Improvement of a car racing controller by means of Ant Colony Optimization algorithms (Ld, JAG0, VL), pp. 365–371.
CoGCIG-2008-Sahraei-ArdakaniRRL #case study #using
A study of electricity market dynamics using Invasive Weed Colonization Optimization (MSA, MR, ARK, CL), pp. 276–282.
CoGCIG-2008-YannakakisH #adaptation #game studies #realtime
Real-time adaptation of augmented-reality games for optimizing player satisfaction (GNY, JH), pp. 103–110.
ICEISICEIS-AIDSS-2008-DeliasDM #algorithm #workflow
A Joint Optimization Algorithm for Dispatching Tasks in Agent-Based Workflow Management Systems (PD, ADD, NFM), pp. 199–206.
ICEISICEIS-DISI-2008-BohmWHL #generative #integration #modelling #process
Model-Driven Generation and Optimization of Complex Integration Processes (MB, UW, DH, WL), pp. 131–136.
CIKMCIKM-2008-BohmWHL #integration #process
Workload-based optimization of integration processes (MB, UW, DH, WL), pp. 1479–1480.
CIKMCIKM-2008-ChenCKSS #integration #query #xml
Query optimization in xml-based information integration (DC, RC, MK, FS, TJS), pp. 1405–1406.
CIKMCIKM-2008-RazenteBTFT #approach #data access #metric #novel #process #query #similarity
A novel optimization approach to efficiently process aggregate similarity queries in metric access methods (HLR, MCNB, AJMT, CF, CTJ), pp. 193–202.
CIKMCIKM-2008-RogatiYC #corpus #information retrieval
Corpus microsurgery: criteria optimization for medical cross-language ir (MR, YY, JGC), pp. 1365–1366.
CIKMCIKM-2008-XieCGZ #navigation #xquery
Some rewrite optimizations of DB2 XQuery navigation (GX, QC, JG, CZ), pp. 531–540.
ECIRECIR-2008-WiegandK #classification #modelling
Optimizing Language Models for Polarity Classification (MW, DK), pp. 612–616.
ICMLICML-2008-DonmezC #learning #rank #reduction
Optimizing estimated loss reduction for active sampling in rank learning (PD, JGC), pp. 248–255.
ICMLICML-2008-Shalev-ShwartzS #dependence #set
SVM optimization: inverse dependence on training set size (SSS, NS), pp. 928–935.
ICMLICML-2008-YuVGS #approach
A quasi-Newton approach to non-smooth convex optimization (JY, SVNV, SG, NNS), pp. 1216–1223.
ICPRICPR-2008-GongC #graph #learning #online #realtime #segmentation #using
Real-time foreground segmentation on GPUs using local online learning and global graph cut optimization (MG, LC), pp. 1–4.
ICPRICPR-2008-HidakaK #feature model #using
Non-Neighboring Rectangular Feature selection using Particle Swarm Optimization (AH, TK), pp. 1–4.
ICPRICPR-2008-KiranyazTYG #design #multi #network
Unsupervised design of Artificial Neural Networks via multi-dimensional Particle Swarm Optimization (SK, TI, EAY, MG), pp. 1–4.
ICPRICPR-2008-LiCS #kernel #predict #video
An improved mean-shift tracker with kernel prediction and scale optimisation targeting for low-frame-rate video tracking (ZL, JC, NNS), pp. 1–4.
ICPRICPR-2008-MaL08a #approach #concept #detection #performance #semantics
An efficient gradient computation approach to discriminative fusion optimization in semantic concept detection (CM, CHL), pp. 1–4.
ICPRICPR-2008-Nordberg #3d #performance
Efficient triangulation based on 3D Euclidean optimization (KN), pp. 1–4.
ICPRICPR-2008-ShajiCS
Manifold optimisation for motion factorisation (AS, SC, DS), pp. 1–4.
ICPRICPR-2008-YangZS #algorithm #comparison #search-based
Comparison of Particle Swarm Optimization and Genetic Algorithm for HMM training (FY, CZ, TS), pp. 1–4.
ICPRICPR-2008-ZhangLHT08a #3d #evaluation #locality #modelling
3D model based vehicle localization by optimizing local gradient based fitness evaluation (ZZ, ML, KH, TT), pp. 1–4.
SEKESEKE-2008-ChenLMW #algorithm #case study #polynomial #problem #verification
Verification of Optimization Algorithms: a Case Study of a Quadratic Assignment Problem Solver (TYC, HL, RGM, DW), pp. 16–21.
SIGIRSIGIR-2008-LiaoCH #image #named #scheduling #video
AdImage: video advertising by image matching and ad scheduling optimization (WSL, KTC, WHH), pp. 767–768.
SIGIRSIGIR-2008-MeiZZ #framework #graph #modelling
A general optimization framework for smoothing language models on graph structures (QM, DZ, CZ), pp. 611–618.
SIGIRSIGIR-2008-RadlinskiBCGJR #approach #query
Optimizing relevance and revenue in ad search: a query substitution approach (FR, AZB, PC, EG, VJ, LR), pp. 403–410.
SIGIRSIGIR-2008-XuLLLM #evaluation #learning #metric #rank
Directly optimizing evaluation measures in learning to rank (JX, TYL, ML, HL, WYM), pp. 107–114.
MODELSMoDELS-2008-KessentiniSB #model transformation #problem
Model Transformation as an Optimization Problem (MK, HAS, MB), pp. 159–173.
MODELSMoDELS-2008-KessentiniSB #model transformation #problem
Model Transformation as an Optimization Problem (MK, HAS, MB), pp. 159–173.
OOPSLAOOPSLA-2008-SchneiderMSA #performance
Dynamic optimization for efficient strong atomicity (FTS, VM, TS, ARAT), pp. 181–194.
TOOLSTOOLS-EUROPE-2008-NielsenE #composition #static typing
Optimizing Dynamic Class Composition in a Statically Typed Language (ABN, EE), pp. 161–177.
PEPMPEPM-2008-SaabasU #proving
Proof optimization for partial redundancy elimination (AS, TU), pp. 91–101.
PLDIPLDI-2008-ChenHPECCP #compilation #object-oriented #scalability
Type-preserving compilation for large-scale optimizing object-oriented compilers (JC, CH, FP, ME, JC, DC, PP), pp. 183–192.
PLDIPLDI-2008-PouchetBCC #multi
Iterative optimization in the polyhedral model: part ii, multidimensional time (LNP, CB, AC, JC), pp. 90–100.
POPLPOPL-2008-TristanL #case study #scheduling #validation #verification
Formal verification of translation validators: a case study on instruction scheduling optimizations (JBT, XL), pp. 17–27.
REFSQREFSQ-2008-ZhangFH #challenge #requirements
Search Based Requirements Optimisation: Existing Work and Challenges (YZ, AF, MH), pp. 88–94.
SACSAC-2008-BragaOM #estimation #feature model #parametricity
A GA-based feature selection and parameters optimization for support vector regression applied to software effort estimation (PLB, ALIO, SRLM), pp. 1788–1792.
SACSAC-2008-BuenoTT #algorithm #data access #effectiveness #metric
An algorithm for effective deletion and a new optimization technique for metric access methods (RB, AJMT, CTJ), pp. 1034–1035.
SACSAC-2008-CoelhoO
Dynamically tuning the population size in particle swarm optimization (ALVC, DGdO), pp. 1782–1787.
SACSAC-2008-KhanCB
Optimizing code through iterative specialization (MAK, HPC, DB), pp. 206–210.
SACSAC-2008-LiG #detection #network #using
TCM-KNN scheme for network anomaly detection using feature-based optimizations (YL, LG), pp. 2103–2109.
SACSAC-2008-SchreckFK #automation #multi #towards
Towards automatic feature vector optimization for multimedia applications (TS, DWF, DAK), pp. 1197–1201.
SACSAC-2008-WendtGSWNM #analysis #mobile #smarttech
System level power profile analysis and optimization for smart cards and mobile devices (MW, MG, CS, RW, UN, AM), pp. 1884–1888.
GPCEGPCE-2008-ZhangAN #constraints #theorem proving
From generic to specific: off-line optimization for a general constraint solver (YZ, TA, FN), pp. 45–54.
ASPLOSASPLOS-2008-OttoniA #communication #concurrent #multi #scheduling #thread
Communication optimizations for global multi-threaded instruction scheduling (GO, DIA), pp. 222–232.
ASPLOSASPLOS-2008-TuckACT #analysis #hardware #named
SoftSig: software-exposed hardware signatures for code analysis and optimization (JT, WA, LC, JT), pp. 145–156.
CASECASE-2008-0001LYS
An improved lagrangian relaxation method for discrete optimization applications (WW, PBL, JHY, GAS), pp. 359–364.
CASECASE-2008-ArnaoutMR #algorithm #parallel #problem #scheduling
Ant colony optimization algorithm to parallel machine scheduling problem with setups (JPA, RM, GR), pp. 578–582.
CASECASE-2008-BrantleyLCC #design #empirical #probability
Optimal sampling in design of experiment for simulation-based stochastic optimization (MWB, LHL, CHC, AC), pp. 388–393.
CASECASE-2008-GiglioMSS #hybrid
Optimization of inventory levels and production effort in Hybrid Inventory-Production (HIP) systems (DG, RM, SS, SS), pp. 8–15.
CASECASE-2008-KannanGSN #approach #nash
A Nash bargaining approach to retention enhancing bid optimization in sponsored search auctions with discrete bids (RK, DG, KS, YN), pp. 1007–1012.
CASECASE-2008-NishiTI #approach #automation #composition #petri net
Petri Net decomposition approach for the simultaneous optimization of task assignment and routing with automated guided vehicles (TN, YT, MI), pp. 175–180.
CASECASE-2008-SharmaBDC #assembly #generative #sequence #using
Generation of optimized robotic assembly sequence using ant colony optimization (SS, BBB, PD, BBC), pp. 894–899.
CASECASE-2008-SunZL08a #framework
A unified optimization framework for population-based methods (JS, QZ, PBL), pp. 383–387.
CASECASE-2008-WangLCS #modelling
Modeling and optimization of crowd guidance for building emergency evacuation (PW, PBL, SCC, JS), pp. 328–334.
CCCC-2008-BondhugulaBKRRS #automation #locality #parallel
Automatic Transformations for Communication-Minimized Parallelization and Locality Optimization in the Polyhedral Model (UB, MMB, SK, JR, AR, PS), pp. 132–146.
CCCC-2008-WangYW #compilation #legacy #transaction
Supporting Legacy Binary Code in a Software Transaction Compiler with Dynamic Binary Translation and Optimization (CW, VY, YW), pp. 291–306.
CGOCGO-2008-HosteE #compilation #named
Cole: compiler optimization level exploration (KH, LE), pp. 165–174.
CGOCGO-2008-RyooRSBUSH #gpu #parallel #thread
Program optimization space pruning for a multithreaded gpu (SR, CIR, SSS, SSB, SZU, JAS, WmWH), pp. 195–204.
CGOCGO-2008-Sarkar #parallel #source code
Code optimization of parallel programs: evolutionary vs. revolutionary approaches (VS), p. 1.
DACDAC-2008-AhmadiZ #analysis #approach #hardware
Symbolic noise analysis approach to computational hardware optimization (AA, MZ), pp. 391–396.
DACDAC-2008-ChenXY #abstraction #automation #evaluation #refinement
Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation (YC, FX, JY), pp. 143–148.
DACDAC-2008-KurimotoSAYOTS #detection #fault #scalability
Phase-adjustable error detection flip-flops with 2-stage hold driven optimization and slack based grouping scheme for dynamic voltage scaling (MK, HS, RA, TY, HO, HT, HS), pp. 884–889.
DACDAC-2008-LukasiewyczGHTRL #concurrent #integration #network
Concurrent topology and routing optimization in automotive network integration (ML, MG, CH, JT, RR, BL), pp. 626–629.
DACDAC-2008-LuSHWX #effectiveness #multi
Customizing computation accelerators for extensible multi-issue processors with effective optimization techniques (YSL, LS, LH, ZW, NX), pp. 197–200.
DACDAC-2008-MoffittPLA
Path smoothing via discrete optimization (MDM, DAP, ZL, CJA), pp. 724–727.
DACDAC-2008-Moon #composition #verification
Compositional verification of retiming and sequential optimizations (IHM), pp. 131–136.
DACDAC-2008-PaikS #multi #standard
Multiobjective optimization of sleep vector for zigzag power-gated circuits in standard cell elements (SP, YS), pp. 600–605.
DACDAC-2008-PangR #fixpoint
Optimizing imprecise fixed-point arithmetic circuits specified by Taylor Series through arithmetic transform (YP, KR), pp. 397–402.
DACDAC-2008-ZhangYZDKDKC #power management #using
Low power passive equalizer optimization using tritonic step response (LZ, WY, HZ, AD, GAK, DMD, ESK, CKC), pp. 570–573.
DATEDATE-2008-BaoAEP #energy
Temperature-Aware Voltage Selection for Energy Optimization (MB, AA, PE, ZP), pp. 1083–1086.
DATEDATE-2008-Brand #design #manycore
Optimization of Design Flows for Multi-Core x86 Microprocessors in 45 and 32nm Technologies under Productivity Considerations (HJB), pp. 938–939.
DATEDATE-2008-ChakrabortySP #layout
Layout Level Timing Optimization by Leveraging Active Area Dependent Mobility of Strained-Silicon Devices (AC, SXS, DZP), pp. 849–855.
DATEDATE-2008-ErnstJSBC #analysis #formal method #performance
Formal Methods in System and MpSoC Performance Analysis and Optimisation (RE, MJ, HS, MB, SC).
DATEDATE-2008-GlassLRHT #analysis #network #reliability
Symbolic Reliability Analysis and Optimization of ECU Networks (MG, ML, FR, CH, JT), pp. 158–163.
DATEDATE-2008-HalakY
Bandwidth-Centric Optimisation for Area-Constrained Links with Crosstalk Avoidance Methods (BH, AY), pp. 438–443.
DATEDATE-2008-HohenauerELAMBS #execution
Retargetable Code Optimization for Predicated Execution (MH, FE, RL, GA, HM, GB, BS), pp. 1492–1497.
DATEDATE-2008-KangK #design #framework #machine learning #manycore #named #performance
Magellan: A Search and Machine Learning-based Framework for Fast Multi-core Design Space Exploration and Optimization (SK, RK), pp. 1432–1437.
DATEDATE-2008-LarssonLCEP #architecture #scheduling
Test-Architecture Optimization and Test Scheduling for SOCs with Core-Level Expansion of Compressed Test Patterns (AL, EL, KC, PE, ZP), pp. 188–193.
DATEDATE-2008-LiBXNPC #architecture #detection #parallel #programmable
Optimizing Near-ML MIMO Detector for SDR Baseband on Parallel Programmable Architectures (ML, BB, WX, DN, LVdP, FC), pp. 444–449.
DATEDATE-2008-MayerH #architecture #performance
System Performance Optimization Methodology for Infineon’s 32-Bit Automotive Microcontroller Architecture (AM, FH), pp. 962–966.
DATEDATE-2008-MuraliMAGBBM #manycore #platform #using
Temperature Control of High-Performance Multi-core Platforms Using Convex Optimization (SM, AM, DA, RG, SPB, LB, GDM), pp. 110–115.
DATEDATE-2008-PandeyD #architecture #memory management
Slack Allocation Based Co-Synthesis and Optimization of Bus and Memory Architectures for MPSoCs (SP, RD), pp. 206–211.
DATEDATE-2008-Rimolo-DonadioSGKR #analysis #metric
Analysis and Optimization of the Recessed Probe Launch for High Frequency Measurements of PCB Interconnects (RRD, CS, XG, YHK, MBR), pp. 252–255.
DATEDATE-2008-WangKABT #approach #energy #modelling #performance
Integrated approach to energy harvester mixed technology modelling and performance optimisation (LW, TJK, BMAH, SPB, RNT), pp. 704–709.
HPCAHPCA-2008-DasMNPNIYD #architecture #performance
Performance and power optimization through data compression in Network-on-Chip architectures (RD, AKM, CN, DP, VN, RRI, MSY, CRD), pp. 215–225.
HPCAHPCA-2008-LeeB #architecture #design
Roughness of microarchitectural design topologies and its implications for optimization (BCL, DMB), pp. 240–251.
HPCAHPCA-2008-WangC #clustering #feedback #performance
Cluster-level feedback power control for performance optimization (XW, MC), pp. 101–110.
HPDCHPDC-2008-KhannaCKSSKF #data transfer #multi #network #using
Multi-hop path splitting and multi-pathing optimizations for data transfers over shared wide-area networks using gridFTP (GK, ÜVÇ, TMK, PS, JHS, RK, ITF), pp. 225–226.
HPDCHPDC-2008-Santos-NetoAAGR #metadata
enabling cross-layer optimizations in storage systems with custom metadata (ESN, SAK, NA, SG, MR), pp. 213–216.
HPDCHPDC-2008-XiaFJTW #approach #correlation #evaluation #file system #mining #named #novel #performance
FARMER: a novel approach to file access correlation mining and evaluation reference model for optimizing peta-scale file system performance (PX, DF, HJ, LT, FW), pp. 185–196.
LCTESLCTES-2008-ChoPIDPK #array #compilation #data access #layout
Compiler driven data layout optimization for regular/irregular array access patterns (DC, SP, II, ND, YP, SK), pp. 41–50.
LCTESLCTES-2008-WangYXDYTN
Optimizing scientific application loops on stream processors (LW, XY, JX, YD, XY, TT, QHN), pp. 161–170.
PDPPDP-2008-BeckerFW #evaluation #grid #parallel #performance
Performance Evaluation and Optimization of Parallel Grid Computing Applications (DB, WF, FW), pp. 193–199.
PDPPDP-2008-HutterM #distributed #java #locality #runtime
Runtime Locality Optimizations of Distributed Java Applications (CH, TM), pp. 149–156.
PPoPPPPoPP-2008-RyooRBSKH #evaluation #gpu #parallel #performance #thread #using
Optimization principles and application performance evaluation of a multithreaded GPU using CUDA (SR, CIR, SSB, SSS, DBK, WmWH), pp. 73–82.
PPoPPPPoPP-2008-TanFZRG #architecture #experience #manycore #memory management
Experience on optimizing irregular computation for memory hierarchy in manycore architecture (GT, DF, JZ, AR, GRG), pp. 279–280.
PPoPPPPoPP-2008-ZhaiWYH #compilation #concurrent #thread
Compiler optimizations for parallelizing general-purpose applications under thread-level speculation (AZ, SW, PCY, GH), pp. 271–272.
FASEFASE-2008-DaviesBM #distributed
Language-Based Optimisation of Sensor-Driven Distributed Computing Applications (JJD, ARB, AM), pp. 407–422.
ICLPICLP-2008-BistarelliGLR #approach #multi
A Soft Approach to Multi-objective Optimization (SB, FG, JL, ER), pp. 764–768.
ICLPICLP-2008-Weert
Optimization of CHR Propagation Rules (PVW), pp. 485–500.
WICSAWICSA-2007-Florentz #analysis #architecture #evaluation #representation
Inside Architecture Evaluation: Analysis and Representation of Optimization Potential (BF), p. 3.
DRRDRR-2007-ShangLD #pattern matching
OCR result optimization based on pattern matching (JS, CL, XD).
ICDARICDAR-2007-ChatelainALHP #multi
Multi-Objective Optimization for SVM Model Selection (CC, SA, YL, LH, TP), pp. 427–431.
ICDARICDAR-2007-LiuJ
Character Stroke Extraction Based on B-spline Curve Matching by Constrained Alternating Optimization (XL, YJ), pp. 13–17.
PODSPODS-2007-MunagalaSW #query
Optimization of continuous queries with shared expensive filters (KM, US, JW), pp. 215–224.
SIGMODSIGMOD-2007-BravoR #probability #query
Optimizing mpf queries: decision support and probabilistic inference (HCB, RR), pp. 701–712.
SIGMODSIGMOD-2007-HanNMKK #database #parallel
Progressive optimization in a shared-nothing parallel database (WSH, JN, VM, HK, MK), pp. 809–820.
SIGMODSIGMOD-2007-LazaridisM #multi
Optimization of multi-version expensive predicates (IL, SM), pp. 797–808.
SIGMODSIGMOD-2007-VardeRS #data mining #mining #named #process #visual notation
AutoDomainMine: a graphical data mining system for process optimization (ASV, EAR, RDSJ), pp. 1103–1105.
SIGMODSIGMOD-2007-WyssW #integration #multi #query #relational
Extending relational query optimization to dynamic schemas for information integration in multidatabases (CMW, FIW), pp. 473–484.
VLDBVLDB-2007-GibasZF #framework #modelling #query
A General Framework for Modeling and Processing Optimization Queries (MG, NZ, HF), pp. 1069–1080.
VLDBVLDB-2007-LiL #mining #multi
Optimization of Frequent Itemset Mining on Multiple-Core Processor (EL, LL), pp. 1275–1285.
VLDBVLDB-2007-ReS #database #probability #query
Materialized Views in Probabilistic Databases for Information Exchange and Query Optimization (CR, DS), pp. 51–62.
VLDBVLDB-2007-SchnaitterSP #estimation #query #ranking
Depth Estimation for Ranking Query Optimization (KS, JS, NP), pp. 902–913.
RTARTA-2007-Leroy #compilation #verification
Formal Verification of an Optimizing Compiler (XL), p. 1.
CoGCIG-2007-DuminyE
Tournament Particle Swarm Optimization (WHD, APE), pp. 146–153.
AGTIVEAGTIVE-2007-SchosserG #graph grammar #hardware
Graph Rewriting for Hardware Dependent Program Optimizations (AS, RG), pp. 233–248.
HCIHCI-AS-2007-HeHDZM #analysis #design #overview #reliability
A Review of Possibilistic Approaches to Reliability Analysis and Optimization in Engineering Design (LPH, HZH, LD, XDZ, QM), pp. 1075–1084.
HCIHCI-MIE-2007-KimL07b
Decision Theoretic Perspective on Optimizing Intelligent Help (CK, MRL), pp. 358–365.
HCIHIMI-MTT-2007-CornsML #approach #development #machine learning #using
Development of an Approach for Optimizing the Accuracy of Classifying Claims Narratives Using a Machine Learning Tool (TEXTMINER[4]) (HLC, HRM, MRL), pp. 411–416.
HCIHIMI-MTT-2007-CrawfordCM #algorithm #development #information management
Knowledge Management in the Development of Optimization Algorithms (BC, CC, EM), pp. 604–612.
ICEISICEIS-AIDSS-2007-BenschBRBSB #operating system #predict #self
Self-Learning Prediction System for Optimisation of Workload Management in a Mainframe Operating System (MB, DB, WR, MB, WGS, PB), pp. 212–218.
ICEISICEIS-AIDSS-2007-Vallejo-FernandezGL #approach
A Qualitative Expert Knowledge Approach to Rendering Optimization (DVF, CGM, LJL), pp. 336–341.
ICEISICEIS-AIDSS-2007-VassilevaVSD #multi
Generalized Multicriteria Optimization Software System MKO-2 (MV, VV, BS, DD), pp. 283–288.
ICEISICEIS-DISI-2007-CarreiraGPW #data transformation #execution
One-to-many data transformation operations — optimization and execution on an RDBMS (PJFC, HG, JLMP, AW), pp. 21–27.
ICEISICEIS-DISI-2007-SantosB #clustering #named
PIN: A partitioning and indexing optimization method for olap (RJS, JB), pp. 170–177.
ICEISICEIS-DISI-2007-TraversD #graph #perspective #xquery
An extensible rule transformation model for XQuery optimization — rules pattern for XQuery tree graph view (NT, TTDN), pp. 351–358.
CIKMCIKM-2007-FuPL #network #parallel #query
Optimizing parallel itineraries for knn query processing in wireless sensor networks (TYF, WCP, WCL), pp. 391–400.
ECIRECIR-2007-LiuYZQM #clustering #performance #scalability
Fast Large-Scale Spectral Clustering by Sequential Shrinkage Optimization (TYL, HYY, XZ, TQ, WYM), pp. 319–330.
ICMLICML-2007-DelageM #markov #nondeterminism #performance #process
Percentile optimization in uncertain Markov decision processes with application to efficient exploration (ED, SM), pp. 225–232.
ICMLICML-2007-JiC
Bayesian compressive sensing and projection optimization (SJ, LC), pp. 377–384.
KDDKDD-2007-ZhengSWW #detection #generative
Joint optimization of wrapper generation and template detection (SZ, RS, JRW, DW), pp. 894–902.
MLDMMLDM-2007-HulsmannF #algorithm #comparison #multi #novel #parametricity
Comparison of a Novel Combined ECOC Strategy with Different Multiclass Algorithms Together with Parameter Optimization Methods (MH, CMF), pp. 17–31.
SIGIRSIGIR-2007-Feng #clustering #documentation #problem
Document clustering: an optimization problem (AF), pp. 819–820.
SIGIRSIGIR-2007-YueFRJ #precise
A support vector method for optimizing average precision (YY, TF, FR, TJ), pp. 271–278.
SPLCSPLC-2007-LoeschP #product line #variability
Optimization of Variability in Software Product Lines (FL, EP), pp. 151–162.
PEPMPEPM-2007-BurchettCK #functional #named
Lowering: a static optimization technique for transparent functional reactivity (KB, GHC, SK), pp. 71–80.
PLDIPLDI-2007-SchneiderPG #hardware #monitoring #online #performance
Online optimizations driven by hardware performance monitoring (FTS, MP, TRG), pp. 373–382.
ESEC-FSEESEC-FSE-2007-KumarSCP #analysis #design #framework #realtime #statistics
A profile-driven statistical analysis framework for the design optimization of soft real-time applications (TK, JS, RC, SP), pp. 529–532.
SACSAC-2007-FernandesRR
Stigmergic optimization in dynamic binary landscapes (CMF, VR, ACR), pp. 747–748.
SACSAC-2007-HebertBC #anti #constraints
Optimizing hypergraph transversal computation with an anti-monotone constraint (CH, AB, BC), pp. 443–444.
SACSAC-2007-Teo #adaptation #algorithm #generative
Investigating adaptive mutation in the generalized generation gap (G3) algorithm for unconstrained global optimization (JT), pp. 743–744.
SACSAC-2007-TrutaC #incremental #maintenance
K-anonymization incremental maintenance and optimization techniques (TMT, AC), pp. 380–387.
SACSAC-2007-WangZD #distributed #query #web
Query optimizing on a decentralized web search engine (DW, YZ, JD), pp. 880–881.
SACSAC-2007-ZengS #combinator #geometry #problem
Semi-mechanization method for a unsolved optimization problem in combinatorial geometry (ZZ, MS), pp. 762–766.
CASECASE-2007-Ho #paradigm #towards
Towards a New Paradigm for Optimization (YCH), p. 97–?.
CASECASE-2007-ZhuangXZD #multi #set
Von Mises Stress and Level Set Method based Structural Topology Optimization with Multi-phase Materials (CZ, ZX, XZ, HD), pp. 945–949.
CCCC-2007-FalconerKIMFB #analysis #declarative #framework
A Declarative Framework for Analysis and Optimization (HF, PHJK, DMI, MRM, TF, OB), pp. 218–232.
CGOCGO-2007-BarthouDCDJ #compilation #composition #kernel #using
Loop Optimization using Hierarchical Compilation and Kernel Decomposition (DB, SD, PC, AD, WJ), pp. 170–184.
CGOCGO-2007-CavazosFABOT #compilation #performance #using
Rapidly Selecting Good Compiler Optimizations using Performance Counters (JC, GF, FVA, EVB, MFPO, OT), pp. 185–197.
CGOCGO-2007-KotzmannM #analysis #runtime
Run-Time Support for Optimizations Based on Escape Analysis (TK, HM), pp. 49–60.
CGOCGO-2007-KulkarniWT #algorithm #heuristic #order
Evaluating Heuristic Optimization Phase Order Search Algorithms (PAK, DBW, GST), pp. 157–169.
CGOCGO-2007-PouchetBCV
Iterative Optimization in the Polyhedral Model: Part I, One-Dimensional Time (LNP, CB, AC, NV), pp. 144–156.
CGOCGO-2007-RamanHM #layout #parallel #source code #thread
Structure Layout Optimization for Multithreaded Programs (ER, RH, SM), pp. 271–282.
CGOCGO-2007-VaswaniTSJ #architecture #compilation #empirical #modelling
Microarchitecture Sensitive Empirical Models for Compiler Optimizations (KV, MJT, YNS, PJJ), pp. 131–143.
CGOCGO-2007-WangCWSA #code generation #memory management #transaction
Code Generation and Optimization for Transactional Memory Constructs in an Unmanaged Language (CW, WYC, YW, BS, ARAT), pp. 34–48.
DACDAC-2007-AksoyCFM #metric #using
Optimization of Area in Digital FIR Filters using Gate-Level Metrics (LA, EACdC, PFF, JCM), pp. 420–423.
DACDAC-2007-CollinsC #throughput
Topology-Based Optimization of Maximal Sustainable Throughput in a Latency-Insensitive System (RLC, LPC), pp. 410–415.
DACDAC-2007-DavareZNPKS #distributed #realtime
Period Optimization for Hard Real-time Distributed Automotive Systems (AD, QZ, MDN, CP, SK, ALSV), pp. 278–283.
DACDAC-2007-GuHY #distributed #embedded #model checking
Optimization of Static Task and Bus Access Schedules for Time-Triggered Distributed Embedded Systems with Model-Checking (ZG, XH, MY), pp. 294–299.
DACDAC-2007-LiuLC #algorithm #approximate #multi #using
A Provably Good Approximation Algorithm for Power Optimization Using Multiple Supply Voltages (HYL, WPL, YWC), pp. 887–890.
DACDAC-2007-MaslovFM #empirical #interactive #physics #quantum
Quantum Circuit Placement: Optimizing Qubit-to-qubit Interactions through Mapping Quantum Circuits into a Physical Experiment (DM, SMF, MM), pp. 962–965.
DACDAC-2007-NaeemiSM #modelling #multi #performance
Performance Modeling and Optimization for Single- and Multi-Wall Carbon Nanotube Interconnects (AN, RS, JDM), pp. 568–573.
DACDAC-2007-SeokHSB #analysis #design
Analysis and Optimization of Sleep Modes in Subthreshold Circuit Design (MS, SH, DS, DB), pp. 694–699.
DACDAC-2007-SuWCM #design #performance
An Efficient Mechanism for Performance Optimization of Variable-Latency Designs (YSS, DCW, SCC, MMS), pp. 976–981.
DACDAC-2007-TaylorP #combinator #design #logic #physics
Exact Combinatorial Optimization Methods for Physical Design of Regular Logic Bricks (BT, LTP), pp. 344–349.
DACDAC-2007-XuZC #architecture #fault
SOC Test Architecture Optimization for Signal Integrity Faults on Core-External Interconnects (QX, YZ, KC), pp. 676–681.
DACDAC-2007-YeZL #performance #power management #statistics #using
Statistical Leakage Power Minimization Using Fast Equi-Slack Shell Based Optimization (XY, YZ, PL), pp. 853–858.
DACDAC-2007-ZhangGS #architecture #named
SODA: Sensitivity Based Optimization of Disk Architecture (YZ, SG, MRS), pp. 865–870.
DACDAC-2007-ZhangSJ #architecture #configuration management #design #hybrid #named
NanoMap: An Integrated Design Optimization Flow for a Hybrid Nanotube/CMOS Dynamically Reconfigurable Architecture (WZ, LS, NKJ), pp. 300–305.
DATEDATE-2007-AtasuDMLOD #constraints
Optimizing instruction-set extensible processors under data bandwidth constraints (KA, RGD, OM, WL, CCÖ, GD), pp. 588–593.
DATEDATE-2007-AzzoniBDFGV
Yield-aware placement optimization (PA, MB, ND, FF, CG, WV), pp. 1232–1237.
DATEDATE-2007-BabighianKV #data mining #interactive #mining
Interactive presentation: PowerQuest: trace driven data mining for power optimization (PB, GK, MYV), pp. 1078–1083.
DATEDATE-2007-BarajasCCMGCBI #behaviour #interactive #modelling
Interactive presentation: Behavioral modeling of delay-locked loops and its application to jitter optimization in ultra wide-band impulse radio systems (EB, RC, DC, DM, JLG, IC, SB, MI), pp. 1430–1435.
DATEDATE-2007-ButtSRPS #synthesis
System level clock tree synthesis for power optimization (SAB, SS, JR, AP, ES), pp. 1677–1682.
DATEDATE-2007-GongW #interactive
Interactive presentation: System level power optimization of Sigma-Delta modulator (FG, XW), pp. 297–300.
DATEDATE-2007-HaastregtK #interactive #performance #random #using
Interactive presentation: Feasibility of combined area and performance optimization for superscalar processors using random search (SvH, PMWK), pp. 606–611.
DATEDATE-2007-HuangG #energy #performance #realtime #scalability
Efficient and scalable compiler-directed energy optimization for realtime applications (PKH, SG), pp. 785–790.
DATEDATE-2007-LataireVP #design #interactive #multi #using
Interactive presentation: Optimizing analog filter designs for minimum nonlinear distortions using multisine excitations (JL, GV, RP), pp. 267–272.
DATEDATE-2007-MamagkakisSC #design #middleware #protocol
Middleware design optimization of wireless protocols based on the exploitation of dynamic input patterns (SM, DS, FC), pp. 1036–1041.
DATEDATE-2007-MolinaRMH #multi #synthesis
Area optimization of multi-cycle operators in high-level synthesis (MCM, RRS, JMM, RH), pp. 449–454.
DATEDATE-2007-PopPEP #distributed #embedded
Bus access optimisation for FlexRay-based distributed embedded systems (TP, PP, PE, ZP), pp. 51–56.
DATEDATE-2007-QiuTW #modelling #power management #probability #robust
Stochastic modeling and optimization for robust power management in a partially observable system (QQ, YT, QW), pp. 779–784.
DATEDATE-2007-SatishRK #approach #communication #constraints #graph #multi #scheduling
A decomposition-based constraint optimization approach for statically scheduling task graphs with communication delays to multiprocessors (NS, KR, KK), pp. 57–62.
DATEDATE-2007-SuhonenKKHH #capacity #cost analysis #multi
Cost-aware capacity optimization in dynamic multi-hop WSNs (JS, MK, MK, MH, TDH), pp. 666–671.
DATEDATE-2007-TychopoulosK #architecture #communication
Optimization of the “FOCUS” Inband-FEC architecture for 10-Gbps SDH/SONET optical communication channels (AT, OGK), pp. 1575–1580.
DATEDATE-2007-WangCW #scheduling #testing #using
SoC testing using LFSR reseeding, and scan-slice-based TAM optimization and test scheduling (ZW, KC, SW), pp. 201–206.
DATEDATE-2007-YetikSTD #architecture #interactive #matlab
Interactive presentation: A coefficient optimization and architecture selection tool for SigmaDelta modulators in MATLAB (ÖY, OS, ST, GD), pp. 87–92.
HPDCHPDC-2007-SinghKD #comparison
A provisioning model and its comparison with best-effort for performance-cost optimization in grids (GS, CK, ED), pp. 117–126.
LCTESLCTES-2007-HuangHG #embedded #energy #execution #pipes and filters #streaming #throughput
Joint throughput and energy optimization for pipelined execution of embedded streaming applications (PKH, MH, SG), pp. 137–139.
LCTESLCTES-2007-WangCZYZ #performance
Optimizing software cache performance of packet processing applications (QW, JC, WZ, MY, BZ), pp. 227–236.
LCTESLCTES-2007-ZhongX #energy #realtime
Frequency-aware energy optimization for real-time periodic and aperiodic tasks (XZ, CZX), pp. 21–30.
PDPPDP-2007-Barlas #communication #image #latency #query
Optimizing Image Content-Based Query Applications over High Latency Communication Media (GDB), pp. 341–348.
PPoPPPPoPP-2007-IancuS #communication #network #performance
Optimizing communication overlap for high-speed networks (CI, ES), pp. 35–45.
PPoPPPPoPP-2007-JohnsonEV #composition #concurrent #empirical #thread
Speculative thread decomposition through empirical optimization (TAJ, RE, TNV), pp. 205–214.
TACASTACAS-2007-CimattiRT #verification
Syntactic Optimizations for PSL Verification (AC, MR, ST), pp. 505–518.
FATESTestCom-FATES-2007-ZelenovZ #compilation #modelling #testing
Model-Based Testing of Optimizing Compilers (SVZ, SAZ), pp. 365–377.
PODSPODS-2006-GoelGM #modelling #using
Asking the right questions: model-driven optimization using probes (AG, SG, KM), pp. 203–212.
SIGMODSIGMOD-2006-LooCGGHMRRS #declarative #execution #network
Declarative networking: language, execution and optimization (BTL, TC, MNG, DEG, JMH, PM, RR, TR, IS), pp. 97–108.
SIGMODSIGMOD-2006-PapaemmanouilACJY
Extensible optimization in overlay dissemination trees (OP, YA, , JJ, YY), pp. 611–622.
SIGMODSIGMOD-2006-ZhangHCWLC #database #query #ranking
Boolean + ranking: querying a database by k-constrained optimization (ZZ, SwH, KCCC, MW, CAL, YCC), pp. 359–370.
VLDBVLDB-2006-HabichRL #database #named
GignoMDA — Exploiting Cross-Layer Optimization for Complex Database Applications (DH, SR, WL), p. 1251–?.
VLDBVLDB-2006-KacheHMRE #named #query
POP/FED: Progressive Query Optimization for Federated Queries in DB2 (HK, WSH, VM, VR, SE), pp. 1175–1178.
VLDBVLDB-2006-ShivamBC #cost analysis #learning #modelling
Active and Accelerated Learning of Cost Models for Optimizing Scientific Applications (PS, SB, JSC), pp. 535–546.
VLDBVLDB-2006-SrivastavaMWM #query #web #web service
Query Optimization over Web Services (US, KM, JW, RM), pp. 355–366.
VLDBVLDB-2006-WangRGB #multi #named #paradigm #query
State-Slice: New Paradigm of Multi-query Optimization of Window-based Stream Queries (SW, EAR, SG, SB), pp. 619–630.
VLDBVLDB-2006-WangSLWYDRM #named #query #runtime #semantics #xml
R-SOX: Runtime Semantic Query Optimization over XML Streams (SW, HS, ML, MW, SY, DD, EAR, MM), pp. 1207–1210.
SIGITESIGITE-2006-Vinje #education
Essential education for business innovation and optimization (MV), pp. 1–2.
ICALPICALP-v1-2006-ChakrabartyMV #design
Design Is as Easy as Optimization (DC, AM, VVV), pp. 477–488.
ICALPICALP-v1-2006-Marx #problem
A Parameterized View on Matroid Optimization Problems (DM), pp. 655–666.
SEFMSEFM-2006-KanadeSK #compilation #framework #validation
A PVS Based Framework for Validating Compiler Optimizations (AK, AS, UPK), pp. 108–117.
IFLIFL-2006-TrojahnerGS #array #on the #source code #using
On Optimising Shape-Generic Array Programs Using Symbolic Structural Information (KT, CG, SBS), pp. 1–18.
CoGCIG-2006-Cazenave #algorithm #data type #heuristic
Optimizations of data structures, heuristics and algorithms for path-finding on maps (TC), pp. 27–33.
CoGCIG-2006-ConradieE #game studies #using
Training Bao Game-Playing Agents using Coevolutionary Particle Swarm Optimization (JC, APE), pp. 67–74.
CoGCIG-2006-ReynoldsAA #algorithm #game studies #problem #using
Optimization Problem Solving using Predator/Prey Games and Cultural Algorithms (RGR, MZA, RSA), pp. 119–125.
ICEISICEIS-DISI-2006-OommenC #database #on the #query
On Utilizing Attribute Cardinality Maps to Enhance Query Optimization in the Oracle Database System (BJO, JC), pp. 23–35.
ICEISICEIS-J-2006-OommenC06a #database #on the #query
On Enhancing Query Optimization in the Oracle Database System by Utilizing Attribute Cardinality Maps (BJO, JC), pp. 38–71.
CIKMCIKM-2006-ChirkovaS #query #using
Query optimization using restructured views (RC, FS), pp. 642–651.
CIKMCIKM-2006-GolabBO #multi
Multi-query optimization of sliding window aggregates by schedule synchronization (LG, KGB, MTÖ), pp. 844–845.
CIKMCIKM-2006-TaylorZCRB #multi #parametricity #ranking
Optimisation methods for ranking functions with multiple parameters (MJT, HZ, NC, SR, CB), pp. 585–593.
ICMLICML-2006-BanerjeeGdN #modelling #visual notation
Convex optimization techniques for fitting sparse Gaussian graphical models (OB, LEG, Ad, GN), pp. 89–96.
ICPRICPR-v1-2006-LinWZZ
Continuous Optimization based-on Boosting Gaussian Mixture Model (BL, XW, RtZ, ZZ), pp. 1192–1195.
ICPRICPR-v1-2006-QiuGDC #image #using
Tone Mapping for HDR Image using Optimization A New Closed Form Solution (GQ, JG, JD, MC), pp. 996–999.
ICPRICPR-v2-2006-GaoLL #approach #classification #learning
An ensemble classifier learning approach to ROC optimization (SG, CHL, JHL), pp. 679–682.
ICPRICPR-v2-2006-TongWMI #3d #representation
Evolutionary Optimization of Feature Representation for 3D Point-based (XT, HSW, BM, HHSI), pp. 707–710.
ICPRICPR-v3-2006-AlleneP #image #using
Image Renaissance Using Discrete Optimization (CA, NP), pp. 631–634.
ICPRICPR-v3-2006-KimLL #algorithm #image
Joint Optimization of Image Registration and Comparametric Exposure Compensation Based on the Lucas-Kanade Algorithm (DSK, SYL, KL), pp. 905–908.
ICPRICPR-v3-2006-YamazoeUA #constraints #geometry #multi #using
Multiple Camera Calibration with Bundled Optimization using Silhouette Geometry Constraints (HY, AU, SA), pp. 960–963.
ICPRICPR-v4-2006-TaxD #linear
Linear model combining by optimizing the Area under the ROC curve (DMJT, RPWD), pp. 119–122.
KDDKDD-2006-YanB #classification #ranking
Beyond classification and ranking: constrained optimization of the ROI (LY, PB), pp. 948–953.
KRKR-2006-SirinGP #logic #reasoning
From Wine to Water: Optimizing Description Logic Reasoning for Nominals (ES, BCG, BP), pp. 90–99.
SEKESEKE-2006-LiuP #modelling #multi #query
Multi-model Based Optimization for Stream Query Processing (YL, BP), pp. 150–155.
SPLCSPLC-2006-Scheidemann #distributed #embedded #evolution #product line #verification
Optimizing the Selection of Representative Configurations in Verification of Evolving Product Lines of Distributed Embedded Systems (KDS), pp. 75–84.
LOPSTRLOPSTR-2006-MoralesCH #automaton #prolog #towards
Towards Description and Optimization of Abstract Machines in an Extension of Prolog (JFM, MC, MVH), pp. 77–93.
PEPMPEPM-2006-CooperMG #on the #partial evaluation #simulation
On the application of partial evaluation to the optimisation of cardiac electrophysiological simulations (JC, SM, AG), pp. 12–20.
PLDIPLDI-2006-ChenBCGC #garbage collection #locality
Profile-guided proactive garbage collection for locality optimization (WkC, SB, TMC, XG, WC), pp. 332–340.
PLDIPLDI-2006-HarrisPST #memory management #transaction
Optimizing memory transactions (TLH, MP, AS, DT), pp. 14–25.
PLDIPLDI-2006-LauAHC #online #performance #using
Online performance auditing: using hot optimizations without getting burned (JL, MA, MH, BC), pp. 239–251.
PLDIPLDI-2006-RenWP #permutation
Optimizing data permutations for SIMD devices (GR, PW, DAP), pp. 118–131.
PLDIPLDI-2006-TriantafyllisBROA #framework #strict
A framework for unrestricted whole-program optimization (ST, MJB, ER, GO, DIA), pp. 61–71.
POPLPOPL-2006-MenonGMMSAP #compilation #representation
A verifiable SSA program representation for aggressive compiler optimization (VM, NG, BRM, AM, TS, ARAT, LP), pp. 397–408.
SASSAS-2006-BartheGKR #compilation
Certificate Translation for Optimizing Compilers (GB, BG, CK, TR), pp. 301–317.
AdaSIGAda-2006-ZalilaHP #compilation #corba
An improved IDL compiler for optimizing CORBA applications (BZ, JH, LP), pp. 21–28.
ICSEICSE-2006-Achatz #development
Optimization of software development (RA), p. 30.
ICSEICSE-2006-Grunske #architecture #design #identification #multi
Identifying “good” architectural design alternatives with multi-objective optimization strategies (LG), pp. 849–852.
SACSAC-2006-CutelloNP #algorithm #hybrid #using
Real coded clonal selection algorithm for unconstrained global optimization using a hybrid inversely proportional hypermutation operator (VC, GN, MP), pp. 950–954.
ASPLOSASPLOS-2006-SilvaS #analysis #pointer #probability
A probabilistic pointer analysis for speculative optimizations (JDS, JGS), pp. 416–425.
CASECASE-2006-ChandrasekaranSPV #algorithm #permutation #problem #scheduling
An Application of Particle Swarm Optimization Algorithm to Permutation Flowshop Scheduling Problems to Minimize Makespan, Total Flowtime and Completion Time Variance (SC, RKS, SGP, NV), pp. 513–518.
CASECASE-2006-DingYZA #clustering #evaluation #multi #nondeterminism #performance #process #tool support
Performance Evaluation and Schedule Optimization of Multi-Cluster Tools with Process Times Uncertainty (SD, JY, MTZ, RAT), pp. 112–117.
CASECASE-2006-KwokHLF #image #multi #using
Intensity-Preserving Contrast Enhancement for Gray-Level Images using Multi-objective Particle Swarm Optimization (NMK, QPH, DL, GF), pp. 21–26.
CASECASE-2006-NishiM #composition #petri net #problem
Decomposition of Petri Nets for Optimization of Routing Problem for AGVs in Semiconductor Fabrication Bays (TN, RM), pp. 236–241.
CASECASE-2006-RaghavanV #parallel #product line #scheduling #using
Scheduling Parallel Batch Processors with Incompatible Job Families Using Ant Colony Optimization (NRSR, MV), pp. 507–512.
CASECASE-2006-StanBM
Optimization of the workspace of PKM with 2 DOF (SS, RB, VM), pp. 69–74.
CASECASE-2006-WangQW #multi #scheduling
Scheduling Semiconductor Wafer Fabrication with Optimization of Multiple objectives (ZW, FQ, QW), pp. 253–258.
CASECASE-2006-XuL #3d #architecture #parallel
Accuracy-Based Architecture Optimization of a 3-DOF Parallel Kinematic Machine (QX, YL), pp. 63–68.
CCCC-2006-CavazosMO #algorithm #hybrid #question
Hybrid Optimizations: Which Optimization Algorithm to Use? (JC, JEBM, MFPO), pp. 124–138.
CCCC-2006-HammondL #bytecode #java
Loop Transformations in the Ahead-of-Time Optimization of Java Bytecode (SH, DL), pp. 109–123.
CCCC-2006-LiuW #architecture #compilation #performance #perspective
Performance Characterization of the 64-bit x86 Architecture from Compiler Optimizations’ Perspective (JL, YW), pp. 155–169.
CGOCGO-2006-AgakovBCFFOTTW #machine learning #using
Using Machine Learning to Focus Iterative Optimization (FVA, EVB, JC, BF, GF, MFPO, JT, MT, CKIW), pp. 295–305.
CGOCGO-2006-DasLH #detection #monitoring
Region Monitoring for Local Phase Detection in Dynamic Optimization Systems (AD, JL, WCH), pp. 124–134.
CGOCGO-2006-HundtMC #layout
Practical Structure Layout Optimization and Advice (RH, SM, DRC), pp. 233–244.
CGOCGO-2006-KulkarniWTD #order
Exhaustive Optimization Phase Order Space Exploration (PAK, DBW, GST, JWD), pp. 306–318.
CGOCGO-2006-LiZXH
Optimizing Dynamic Binary Translation for SIMD Instructions (JL, QZ, SX, BH), pp. 269–280.
CGOCGO-2006-LupoW
Post Register Allocation Spill Code Optimization (CL, KDW), pp. 245–255.
CGOCGO-2006-PanE #automation #compilation #distributed #effectiveness #performance
Fast and Effective Orchestration of Compiler Optimizations for Automatic Performance Tuning (ZP, RE), pp. 319–332.
CGOCGO-2006-ZhangCT #framework #self
A Self-Repairing Prefetcher in an Event-Driven Dynamic Optimization Framework (WZ, BC, DMT), pp. 50–64.
CGOCGO-2006-ZhangZP #compilation #security
Compiler Optimizations to Reduce Security Overhead (TZ, XZ, SP), pp. 346–357.
DACDAC-2006-AksoyCFM #constraints #integer #linear #programming #satisfiability #synthesis #using
Optimization of area under a delay constraint in digital filter synthesis using SAT-based integer linear programming (LA, EACdC, PFF, JM), pp. 669–674.
DACDAC-2006-BhardwajVGC #analysis #modelling #process
Modeling of intra-die process variations for accurate analysis and optimization of nano-scale circuits (SB, SBKV, PG, YC), pp. 791–796.
DACDAC-2006-DavoodiS #variability
Variability driven gate sizing for binning yield optimization (AD, AS), pp. 959–964.
DACDAC-2006-EeckelaertSGSS #design #standard
Hierarchical bottom--up analog optimization methodology validated by a delta-sigma A/D converter design for the 802.11a/b/g standard (TE, RS, GGEG, MS, WMCS), pp. 25–30.
DACDAC-2006-HanGCJ #memory management #video
Buffer memory optimization for video codec application modeled in Simulink (SIH, XG, SIC, AAJ), pp. 689–694.
DACDAC-2006-LinCC #clustering
Optimal simultaneous mapping and clustering for FPGA delay optimization (JYL, DC, JC), pp. 472–477.
DACDAC-2006-NieuwoudtRM #named #synthesis
SOC-NLNA: synthesis and optimization for fully integrated narrow-band CMOS low noise amplifiers (AN, TR, YM), pp. 879–884.
DACDAC-2006-OzturkCK #approach #constraints #network #parallel
Optimizing code parallelization through a constraint network based approach (ÖÖ, GC, MTK), pp. 863–688.
DACDAC-2006-ShahGK #library #reduction #standard
Standard cell library optimization for leakage reduction (SS, PG, ABK), pp. 983–986.
DACDAC-2006-WangGDK #design #using
Design space exploration using time and resource duality with the ant colony optimization (GW, WG, BD, RK), pp. 451–454.
DACDAC-2006-ZouMGS
A CPPLL hierarchical optimization methodology considering jitter, power and locking time (JZ, DM, HEG, US), pp. 19–24.
DATEDATE-2006-AlimondaACP #approach #energy #pipes and filters #runtime
A control theoretic approach to run-time energy optimization of pipelined processing in MPSoCs (AA, AA, SC, AP), pp. 876–877.
DATEDATE-2006-ChakrabortySDMMP #bound
Thermal resilient bounded-skew clock tree optimization methodology (AC, PS, KD, AM, EM, MP), pp. 832–837.
DATEDATE-2006-CorneaND #mobile
Software annotations for power optimization on mobile devices (RC, AN, NDD), pp. 684–689.
DATEDATE-2006-HosangadiFK #using
Optimizing high speed arithmetic circuits using three-term extraction (AH, FF, RK), pp. 1294–1299.
DATEDATE-2006-IizukaIA #layout
Timing-driven cell layout de-compaction for yield optimization by critical area minimization (TI, MI, KA), pp. 884–889.
DATEDATE-2006-KastnerGHBKBS #communication #layout #synthesis
Layout driven data communication optimization for high level synthesis (RK, WG, XH, FB, AK, PB, MS), pp. 1185–1190.
DATEDATE-2006-LiCY #adaptation #embedded #energy #performance #realtime
Performance optimization for energy-aware adaptive checkpointing in embedded real-time systems (ZL, HC, SY), pp. 678–683.
DATEDATE-2006-LiuI #scheduling #using
Test scheduling with thermal optimization for network-on-chip systems using variable-rate on-chip clocking (CL, VI), pp. 652–657.
DATEDATE-2006-MallikSBZ #design #power management
Smart bit-width allocation for low power optimization in a systemc based ASIC design environment (AM, DS, PB, HZ), pp. 618–623.
DATEDATE-2006-ManolacheEP #communication #synthesis
Buffer space optimisation with communication synthesis and traffic shaping for NoCs (SM, PE, ZP), pp. 718–723.
DATEDATE-2006-MohantyVK
Physical-aware simulated annealing optimization of gate leakage in nanoscale datapath circuits (SPM, RV, EK), pp. 1191–1196.
DATEDATE-2006-MonchieroPSV #hardware #performance
Power/performance hardware optimization for synchronization intensive applications in MPSoCs (MM, GP, CS, OV), pp. 606–611.
DATEDATE-2006-OgrasMLC #architecture #communication
Communication architecture optimization: making the shortest path shorter in regular networks-on-chip (ÜYO, RM, HGL, NC), pp. 712–717.
DATEDATE-2006-Ruiz-SautuaMMH #multi #performance
Pre-synthesis optimization of multiplications to improve circuit performance (RRS, MCM, JMM, RH), pp. 1306–1311.
DATEDATE-2006-ScharwachterHLAM #hardware #interprocedural #multi #network #thread #using
An interprocedural code optimization technique for network processors using hardware multi-threading support (HS, MH, RL, GA, HM), pp. 919–924.
DATEDATE-2006-SovianiTE #composition
Optimizing sequential cycles through Shannon decomposition and retiming (CS, OT, SAE), pp. 1085–1090.
DATEDATE-2006-SundaresanM #energy
Value-based bit ordering for energy optimization of on-chip global signal buses (KS, NRM), pp. 624–625.
DATEDATE-2006-VenkataramanHLS
Integrated placement and skew optimization for rotary clocking (GV, JH, FL, CCNS), pp. 756–761.
DATEDATE-2006-WangXVI #analysis
On-chip bus thermal analysis and optimization (FW, YX, NV, MJI), pp. 850–855.
DATEDATE-2006-WehrmeisterPB #embedded #generative #java #object-oriented #realtime #specification
Optimizing the generation of object-oriented real-time embedded applications based on the real-time specification for Java (MAW, CEP, LBB), pp. 806–811.
DATEDATE-DF-2006-LinHJC #pattern matching #regular expression
Optimization of regular expression pattern matching circuits on FPGA (CHL, CTH, CPJ, SCC), pp. 12–17.
HPDCHPDC-2006-BrunetAN #network
Short Paper : Dynamic Optimization of Communications over High Speed Networks (EB, OA, RN), pp. 345–346.
HPDCHPDC-2006-DjerrahCCR #bound #framework #problem
Bob++: Framework for Solving Optimization Problems with Branch-and-Bound methods (AD, BLC, VDC, CR), pp. 369–370.
ISMMISMM-2006-BhatiaCL #behaviour #co-evolution