BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
base (333)
queri (330)
use (314)
system (267)
algorithm (253)

Stem optim$ (all stems)

3509 papers:

CBSECBSE-2015-KitPMBK #communication #component #optimisation
Employing Domain Knowledge for Optimizing Component Communication (MK, FP, VM, TB, OK), pp. 59–64.
QoSAQoSA-2015-DurisicST #architecture #identification #set #standard
Identifying Optimal Sets of Standardized Architectural Features: A Method and its Automotive Application (DD, MS, MT), pp. 103–112.
CASECASE-2015-AlfonsoXA #approach #capacity #programming #representation #scheduling
A simulation-optimization approach for capacity planning and appointment scheduling of blood donors based on mathematical programming representation of event dynamics (EA, XX, VA), pp. 728–733.
CASECASE-2015-BjorkenstamCL
Exploiting sparsity in the discrete mechanics and optimal control method with application to human motion planning (SB, JSC, BL), pp. 769–774.
CASECASE-2015-CarliDPR #energy #multi #optimisation #performance #using
Using multi-objective optimization for the integrated energy efficiency improvement of a smart city public buildings’ portfolio (RC, MD, RP, LR), pp. 21–26.
CASECASE-2015-ChanW #optimisation #segmentation
Progressive segmentation for MRR-based feed-rate optimization in CNC machining (KCC, CCLW), pp. 691–696.
CASECASE-2015-ChengTLCH #algorithm #modelling #network #optimisation
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 #optimisation #parametricity
Multi-objective parameter optimization of multi-pass CNC machining (XC, YT, CL, QY), pp. 45–50.
CASECASE-2015-ChenXZCL #effectiveness #learning #multi #optimisation #simulation
An effective learning procedure for multi-fidelity simulation optimization with ordinal transformation (RC, JX, SZ, CHC, LHL), pp. 702–707.
CASECASE-2015-ChenY15a #adaptation
Contouring control of biaxial systems with optimal and adaptive cross coupling controller (SLC, JHY), pp. 1450–1452.
CASECASE-2015-ChenYC #novel
Novel optimal cross-coupling control for the power wheelchair with rim motor (SHC, CLY, JJC), pp. 1533–1538.
CASECASE-2015-CheongSB #ad hoc #automation #optimisation
Ad-hoc automated teller machine failure forecast and field service optimization (MLFC, KPS, BCB), pp. 1427–1433.
CASECASE-2015-CheungWCP #automation #parametricity
Optimization-based automatic parameter tuning for stereo vision (ECHC, JW, JC, JP), pp. 855–861.
CASECASE-2015-ForstnerM #optimisation #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 #optimisation #problem
Derivative-free optimization with use of problem structure: Applications to oil production (CMG, EC), pp. 764–768.
CASECASE-2015-GleesonBBCL #automation #code generation #optimisation
Optimizing robot trajectories for automatic robot code generation (DG, SB, RB, JSC, BL), pp. 495–500.
CASECASE-2015-HeLG #graph #optimisation
Cycle time optimization of deterministic timed weighted marked graphs (ZH, ZL, AG), pp. 274–279.
CASECASE-2015-HuangJG #distributed #generative #multi #optimisation
Multi-timescale optimization between distributed wind generators and electric vehicles in microgrid (QH, QSJ, XG), pp. 671–676.
CASECASE-2015-HuC #distributed #optimisation
Decentralized ordinal optimization (DOO) for networked systems (PH, XC), pp. 787–792.
CASECASE-2015-KaoLJ #mobile
Application of potential field method and optimal path planning to mobile robot control (CCK, CML, JGJ), pp. 1552–1554.
CASECASE-2015-KarnikD #online #scheduling
Optimal scheduling of campaigns on on-line forums (AK, PD), pp. 775–780.
CASECASE-2015-KobayashiH #realtime
Optimal real-time pricing of electricity with consideration for decrease in price effect (KK, KH), pp. 539–544.
CASECASE-2015-LennartsonBW #hybrid #optimisation #petri net
Optimization of hybrid Petri nets with shared variables (BL, KB, OW), pp. 1395–1396.
CASECASE-2015-MillerM #locality #using
Optimal planning for target localization and coverage using range sensing (LMM, TDM), pp. 501–508.
CASECASE-2015-NetoCHS #approximate #optimisation
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 #optimisation
Capacity optimization of battery energy storage systems for frequency regulation (XP, HX, JS, CL), pp. 1139–1144.
CASECASE-2015-RiaziBWVL #energy #multi #optimisation
Energy optimization of multi-robot systems (SR, KB, OW, EV, BL), pp. 1345–1350.
CASECASE-2015-RoyelYLLH #identification #optimisation #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 #optimisation #parametricity #process
Welding parameter optimization based on Gaussian process regression Bayesian optimization algorithm (DS, TS, YZ, HC), pp. 1490–1496.
CASECASE-2015-SunWWL15a #optimisation #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 #optimisation #parametricity
Optimizing the parameters of tilting surfaces in robotic workcells (WW, ECHC, JP, KH), pp. 593–599.
CASECASE-2015-WareS #synthesis #using
Synthesis time optimal accepting traces using language projection and pruning (SW, RS), pp. 1363–1368.
CASECASE-2015-WuJG #complexity #optimisation
Local and global event-based optimization: Performace and complexity (ZW, QSJ, XG), pp. 1375–1380.
CASECASE-2015-Yen #realtime #using
Optimize the flight path for airlines using real-time information (JRY), p. 1649.
CASECASE-2015-YuWZT #design
Controller design and optimal tuning of a wafer handling robot (XY, CW, YZ, MT), pp. 640–646.
CASECASE-2015-ZakharovZYJ #algorithm #configuration management #distributed #fault tolerance #optimisation #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 #optimisation #performance
Incorporation of ordinal optimization into learning automata for high learning efficiency (JZ, CW, DZ, MZ), pp. 1206–1211.
DACDAC-2015-ChenSZDJ #optimisation
Optimizing data placement for reducing shift operations on domain wall memories (XC, EHMS, QZ, PD, WJ), p. 6.
DACDAC-2015-CuiWCZNP #energy #grid #smarttech
Optimal control of PEVs for energy cost minimization and frequency regulation in the smart grid accounting for battery state-of-health degradation (TC, YW, SC, QZ, SN, MP), p. 6.
DACDAC-2015-GuSZCH #embedded #memory management #performance
Area and performance co-optimization for domain wall memory in application-specific embedded systems (SG, EHMS, QZ, YC, JH), p. 6.
DACDAC-2015-HanKL #design #evaluation #using
Evaluation of BEOL design rule impacts using an optimal ILP-based detailed router (KH, ABK, HL), p. 6.
DACDAC-2015-HanLKNL #framework #multi #optimisation #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-JiangLZYW #effectiveness #feature model #image #performance
A 127 fps in full hd accelerator based on optimized AKAZE with efficiency and effectiveness for image feature extraction (GJ, LL, WZ, SY, SW), p. 6.
DACDAC-2015-JiangWS #clustering #power management #sorting
A low power unsupervised spike sorting accelerator insensitive to clustering initialization in sub-optimal feature space (ZJ, QW, MS), p. 6.
DACDAC-2015-LeeNL #optimisation #performance
Optimizing stream program performance on CGRA-based systems (HL, DN, JL), p. 6.
DACDAC-2015-LiLSH #approximate #optimisation #precise #synthesis
Joint precision optimization and high level synthesis for approximate computing (CL, WL, SSS, JH), p. 6.
DACDAC-2015-LiXGWY #interface
Merging the interface: power, area and accuracy co-optimization for RRAM crossbar-based mixed-signal computing system (BL, LX, PG, YW, HY), p. 6.
DACDAC-2015-PengKPPJCL #3d #architecture #design #policy
Design, packaging, and architectural policy co-optimization for DC power integrity in 3D DRAM (YP, BWK, YSP, KIP, SJJ, JSC, SKL), p. 6.
DACDAC-2015-RamprasathV #algorithm #optimisation #performance #statistics
An efficient algorithm for statistical timing yield optimization (SR, VV), p. 6.
DACDAC-2015-RoyLUP #multi #named #optimisation #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-SchatzVZ #automation #component #deployment
Automating design-space exploration: optimal deployment of automotive SW-components in an ISO26262 context (BS, SV, SZ), p. 6.
DACDAC-2015-XiaoGWYTW #layout #optimisation #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 #optimisation #process #robust
A robust approach for process variation aware mask optimization (JK, WKC, EFYY), pp. 1591–1594.
DATEDATE-2015-AhsanK #architecture #optimisation #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 #optimisation #statistics
On the statistical memory architecture exploration and optimization (CA, GK, NEE, APB, GIS), pp. 543–548.
DATEDATE-2015-BajajNMS #architecture #cyber-physical #effectiveness #reliability
Optimized selection of reliable and cost-effective cyber-physical system architectures (NB, PN, MM, ALSV), pp. 561–566.
DATEDATE-2015-CasagrandeR #algorithm #fuzzy #game studies #named #novel #optimisation #robust
GTFUZZ: a novel algorithm for robust dynamic power optimization via gate sizing with fuzzy games (TC, NR), pp. 677–682.
DATEDATE-2015-ChenKXMLYVSCY #algorithm #array #learning
Technology-design co-optimization of resistive cross-point array for accelerating learning algorithms on chip (PYC, DK, ZX, AM, BL, JY, SBKV, JsS, YC, SY), pp. 854–859.
DATEDATE-2015-ChenM #distributed #learning #manycore #optimisation #performance
Distributed reinforcement learning for power limited many-core system performance optimization (ZC, DM), pp. 1521–1526.
DATEDATE-2015-KauerNLSC #geometry #optimisation #programming #using
Inductor optimization for active cell balancing using geometric programming (MK, SN, ML, SS, SC), pp. 281–284.
DATEDATE-2015-KhosraviMGT #analysis #optimisation #reliability
Uncertainty-aware reliability analysis and optimization (FK, MM, MG, JT), pp. 97–102.
DATEDATE-2015-LezosDM #analysis #distance #locality #optimisation #reuse
Reuse distance analysis for locality optimization in loop-dominated applications (CL, GD, KM), pp. 1237–1240.
DATEDATE-2015-LiJHWCGLKW #design #optimisation #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 #optimisation #reuse
Inter-tile reuse optimization applied to bandwidth constrained embedded accelerators (MP, BM, HC), pp. 169–174.
DATEDATE-2015-ReehmanCCS #approach #architecture #hardware #memory management #parallel
In-place memory mapping approach for optimized parallel hardware interleaver architectures (SUR, CC, PC, AS), pp. 896–899.
DATEDATE-2015-Sharma #optimisation #power management
Minimum current consumption transition time optimization methodology for low power CTS (VS), pp. 412–416.
DATEDATE-2015-TanLF #memory management #reliability #using
Soft-error reliability and power co-optimization for GPGPUS register file using resistive memory (JT, ZL, XF), pp. 369–374.
DATEDATE-2015-XieKBWPC #design #energy #hybrid #optimisation
Efficiency-driven design time optimization of a hybrid energy storage system with networked charge transfer interconnect (QX, YK, DB, YW, MP, NC), pp. 1607–1610.
DATEDATE-2015-YanF #design #energy #mobile #optimisation
Energy-efficient cache design in emerging mobile platforms: the implications and optimizations (KY, XF), pp. 375–380.
DATEDATE-2015-ZhuM #linear #machine learning #optimisation #programming #using
Optimizing dynamic trace signal selection using machine learning and linear programming (CSZ, SM), pp. 1289–1292.
DocEngDocEng-2015-KidoYTA #automation #documentation #layout #optimisation
Document Layout Optimization with Automated Paraphrasing (YK, HY, GT, AA), pp. 13–16.
PODSPODS-2015-AcharyaDHLS #algorithm #approximate #performance
Fast and Near-Optimal Algorithms for Approximating Distributions by Histograms (JA, ID, CH, JZL, LS), pp. 249–263.
SIGMODSIGMOD-2015-BernsteinDDP #concurrent #database #optimisation
Optimizing Optimistic Concurrency Control for Tree-Structured, Log-Structured Databases (PAB, SD, BD, MP), pp. 1295–1309.
SIGMODSIGMOD-2015-ChangLQYZ #algorithm #component
Index-based Optimal Algorithms for Computing Steiner Components with Maximum Connectivity (LC, XL, LQ, JXY, WZ), pp. 459–474.
SIGMODSIGMOD-2015-DugganPBS #array #database #optimisation
Skew-Aware Join Optimization for Array Databases (JD, OP, LB, MS), pp. 123–135.
SIGMODSIGMOD-2015-PerelmanR #compilation #named #query #worst-case
DunceCap: Compiling Worst-Case Optimal Query Plans (AP, CR), pp. 2075–2076.
SIGMODSIGMOD-2015-TrummerK #algorithm #incremental #multi #optimisation #query
An Incremental Anytime Algorithm for Multi-Objective Query Optimization (IT, CK), pp. 1941–1953.
SIGMODSIGMOD-2015-VerroiosLG #crowdsourcing #named
tDP: An Optimal-Latency Budget Allocation Strategy for Crowdsourced MAXIMUM Operations (VV, PL, HGM), pp. 1047–1062.
SIGMODSIGMOD-2015-WangZZLC #effectiveness #nearest neighbour
Optimal Spatial Dominance: An Effective Search of Nearest Neighbor Candidates (XW, YZ, WZ, XL, MAC), pp. 923–938.
VLDBVLDB-2015-ChangLZYZQ #performance
Optimal Enumeration: Efficient Top-k Tree Matching (LC, XL, WZ, JXY, YZ, LQ), pp. 533–544.
VLDBVLDB-2015-ConsensFKP #bisimulation #query #summary
S+EPPs: Construct and Explore Bisimulation Summaries, plus Optimize Navigational Queries; all on Existing SPARQL Systems (MPC, VF, SK, GP), pp. 2028–2039.
VLDBVLDB-2015-DasYZVVKGKM #database #in memory #optimisation #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 #optimisation #problem
TOP: A Framework for Enabling Algorithmic Optimizations for Distance-Related Problems (YD, XS, MM, TM), pp. 1046–1057.
VLDBVLDB-2015-El-HelwRSCGP #database #optimisation
Optimization of Common Table Expressions in MPP Database Systems (AEH, VR, MAS, GCC, ZG, MP), pp. 1704–1715.
VLDBVLDB-2015-KumarJYNP #machine learning #normalisation #optimisation
Demonstration of Santoku: Optimizing Machine Learning over Normalized Data (AK, MJ, BY, JFN, JMP), pp. 1864–1875.
VLDBVLDB-2015-LiuXPLZ
Finding Pareto Optimal Groups: Group-based Skyline (JL, LX, JP, JL, HZ), pp. 2086–2097.
VLDBVLDB-2015-OhKLM #memory management #mobile #optimisation
SQLite Optimization with Phase Change Memory for Mobile Applications (GO, SK, SWL, BM), pp. 1454–1465.
VLDBVLDB-2015-PapadopoulosPTT #authentication #pattern matching #proving
Practical Authenticated Pattern Matching with Optimal Proof Size (DP, CP, RT, NT), pp. 750–761.
VLDBVLDB-2015-SharovSMS #distributed #exclamation #online #optimisation
Take me to your leader! Online Optimization of Distributed Storage Configurations (AS, AS, AM, MS), pp. 1490–1501.
VLDBVLDB-2015-VattaniCL #probability
Optimal Probabilistic Cache Stampede Prevention (AV, FC, KL), pp. 886–897.
VLDBVLDB-2015-ZhouLLZ #graph #named #optimisation #performance
GraphTwist: Fast Iterative Graph Computation with Two-tier Optimizations (YZ, LL, KL, QZ), pp. 1262–1273.
ITiCSEITiCSE-2015-Tudor #learning #optimisation #query #xml
Virtual Learning Laboratory about Query Optimization against XML Data (LNT), p. 348.
ESOPESOP-2015-AbdullaAP #performance
The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO (PAA, MFA, NTP), pp. 308–332.
FASEFASE-2015-LiuPL #energy #optimisation
Data-Oriented Characterization of Application-Level Energy Optimization (KL, GP, YDL), pp. 316–331.
TACASTACAS-2015-BjornerPF #named #optimisation #smt
νZ — An Optimizing SMT Solver (NB, ADP, LF), pp. 194–199.
TACASTACAS-2015-SebastianiT #cost analysis #modulo theories #optimisation
Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions (RS, PT), pp. 335–349.
MSRMSR-2015-HashimotoTMM #effectiveness #fact extraction #optimisation #performance #predict
Extracting Facts from Performance Tuning History of Scientific Applications for Predicting Effective Optimization Patterns (MH, MT, TM, KM), pp. 13–23.
SANERSANER-2015-LianZ #feature model #non-functional #product line #requirements #towards
Optimized feature selection towards functional and non-functional requirements in Software Product Lines (XL, LZ), pp. 191–200.
PLDIPLDI-2015-DingTKZK #multi #optimisation
Optimizing off-chip accesses in multicores (WD, XT, MTK, YZ, EK), pp. 131–142.
PLDIPLDI-2015-LopesMNR #optimisation
Provably correct peephole optimizations with alive (NPL, DM, SN, JR), pp. 22–32.
PLDIPLDI-2015-MehtaY #compilation #optimisation #scalability #source code
Improving compiler scalability: optimizing large programs at small price (SM, PCY), pp. 143–152.
SASSAS-2015-AdjeGM #generative #invariant #optimisation #polynomial #using
Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization (AA, PLG, VM), pp. 235–251.
SASSAS-2015-HashimotoU #constraints #optimisation #refinement #type inference
Refinement Type Inference via Horn Constraint Optimization (KH, HU), pp. 199–216.
STOCSTOC-2015-AaronsonA #named #problem #quantum
Forrelation: A Problem that Optimally Separates Quantum from Classical Computing (SA, AA), pp. 307–316.
STOCSTOC-2015-AbrahamD #complexity #polynomial
Byzantine Agreement with Optimal Early Stopping, Optimal Resilience and Polynomial Complexity (IA, DD), pp. 605–614.
STOCSTOC-2015-AndoniR #approximate
Optimal Data-Dependent Hashing for Approximate Near Neighbors (AA, IR), pp. 793–801.
STOCSTOC-2015-ChawlaMSY #algorithm #clustering #graph
Near Optimal LP Rounding Algorithm for CorrelationClustering on Complete and Complete k-partite Graphs (SC, KM, TS, GY), pp. 219–228.
STOCSTOC-2015-GiakkoupisHHW
Test-and-Set in Optimal Space (GG, MH, LH, PW), pp. 615–623.
STOCSTOC-2015-KothariM #generative #pseudo
Almost Optimal Pseudorandom Generators for Spherical Caps: Extended Abstract (PKK, RM), pp. 247–256.
CIAACIAA-J-2013-Maletti15 #automaton
Hyper-optimization for deterministic tree automata (AM), pp. 72–87.
ICALPICALP-v1-2015-GawrychowskiN #encoding
Optimal Encodings for Range Top- k k , Selection, and Min-Max (PG, PKN), pp. 593–604.
ICALPICALP-v1-2015-GoldbergGL #approximate
Approximately Counting Locally-Optimal Structures (LAG, RG, JL), pp. 654–665.
ICALPICALP-v1-2015-GrosseGKSS #algorithm #performance
Fast Algorithms for Diameter-Optimally Augmenting Paths (UG, JG, CK, MHMS, FS), pp. 678–688.
ICALPICALP-v1-2015-HuangL #approximate #combinator #optimisation #probability #problem
Approximating the Expected Values for Combinatorial Optimization Problems over Stochastic Points (LH, JL), pp. 910–921.
ICALPICALP-v1-2015-MitchellPSW #algorithm
An Optimal Algorithm for Minimum-Link Rectilinear Paths in Triangulated Rectilinear Domains (JSBM, VP, MS, HW), pp. 947–959.
ICALPICALP-v1-2015-Sanyal #bound #fourier
Near-Optimal Upper Bound on Fourier Dimension of Boolean Functions in Terms of Fourier Sparsity (SS), pp. 1035–1045.
ICALPICALP-v2-2015-DahlgaardKR
A Simple and Optimal Ancestry Labeling Scheme for Trees (SD, MBTK, NR), pp. 564–574.
ICALPICALP-v2-2015-Ghaffari #distributed #towards
Distributed Broadcast Revisited: Towards Universal Optimality (MG), pp. 638–649.
ICALPICALP-v2-2015-GiannakopoulosK
Selling Two Goods Optimally (YG, EK), pp. 650–662.
ICALPICALP-v2-2015-KantorK #problem
Optimal Competitiveness for the Rectilinear Steiner Arborescence Problem (EK, SK), pp. 675–687.
LATALATA-2015-BartonIP #approximate #string
Average-Case Optimal Approximate Circular String Matching (CB, CSI, SPP), pp. 85–96.
FMFM-2015-ZhuYGZZZ #data flow #graph #model checking #scheduling
Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking (XZ, RY, YLG, JZ, WZ, GZ), pp. 551–569.
SEFMSEFM-2015-VollingerR #algorithm #certification #distributed #problem
Certification of Distributed Algorithms Solving Problems with Optimal Substructure (KV, WR), pp. 190–195.
ICFPICFP-2015-Chlipala #compilation #functional #optimisation
An optimizing compiler for a purely functional web-application language (AC), pp. 10–21.
CHICHI-2015-MatejkaAF #optimisation
Dynamic Opacity Optimization for Scatter Plots (JM, FA, GWF), pp. 2707–2710.
CHICHI-2015-SmithBZ #gesture #optimisation #type system
Optimizing Touchscreen Keyboards for Gesture Typing (BAS, XB, SZ), pp. 3365–3374.
HCIDHM-EH-2015-CheffiRBBS #approach #cost analysis #feedback #optimisation
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-LiuCKQF #data analysis #power management
Balancing Power Consumption and Data Analysis Accuracy Through Adjusting Sampling Rates: Seeking for the Optimal Configuration of Inertial Sensors for Power Wheelchair Users (TL, CC, MK, GQ, JF), pp. 184–192.
HCIHCI-IT-2015-BakaevA #complexity #human-computer #optimisation #user interface
Defining and Optimizing User Interfaces Information Complexity for AI Methods Application in HCI (MB, TA), pp. 397–405.
HCIHCI-IT-2015-MurataMT #comparison
Optimal Scroll Method for Eye-Gaze Input System — Comparison of R-E and R-S Compatibility (AM, MM, YT), pp. 86–93.
HCIHCI-UC-2015-ChagasMFC #case study #challenge #community #experience #human-computer #optimisation #user interface
Prospecting HCI Challenges for Extreme Poverty Communities: Redefining and Optimizing User Experiences with Technology (DAC, CLBM, EF, CRMdC), pp. 281–290.
HCIHIMI-IKC-2015-FilhoHTJM #smarttech #using
Using Wearable and Contextual Computing to Optimize Field Engineering Work Practices (RSSF, CLH, AT, JJ, PM), pp. 522–533.
CAiSECAiSE-2015-MrasekMB #automation #declarative #generative #modelling #process #specification
Automatic Generation of Optimized Process Models from Declarative Specifications (RM, JAM, KB), pp. 382–397.
ICEISICEIS-v1-2015-JuniorS #approach #compilation #optimisation #reasoning #set
Finding Good Compiler Optimization Sets — A Case-based Reasoning Approach (NLQJ, AFdS), pp. 504–515.
ICEISICEIS-v1-2015-LongoLSP #maintenance #optimisation
Optimizing Routine Maintenance Team Routes (FL, ARL, MS, AP), pp. 535–546.
ICEISICEIS-v1-2015-SirohiS #multitenancy #optimisation #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.
ICMLICML-2015-AgarwalB #bound #finite #optimisation
A Lower Bound for the Optimization of Finite Sums (AA, LB), pp. 78–86.
ICMLICML-2015-AybatWI #distributed #optimisation
An Asynchronous Distributed Proximal Gradient Method for Composite Convex Optimization (NSA, ZW, GI), pp. 2454–2462.
ICMLICML-2015-BeygelzimerKL #adaptation #algorithm #online
Optimal and Adaptive Algorithms for Online Boosting (AB, SK, HL), pp. 2323–2331.
ICMLICML-2015-BlechschmidtGL #approximate #multi #optimisation #parametricity #problem
Tracking Approximate Solutions of Parameterized Optimization Problems over Multi-Dimensional (Hyper-)Parameter Domains (KB, JG, SL), pp. 438–447.
ICMLICML-2015-GasseAE #classification #composition #multi #on the #set
On the Optimality of Multi-Label Classification under Subset Zero-One Loss for Distributions Satisfying the Composition Property (MG, AA, HE), pp. 2531–2539.
ICMLICML-2015-Hernandez-Lobato15a #constraints #optimisation #predict
Predictive Entropy Search for Bayesian Optimization with Unknown Constraints (JMHL, MAG, MWH, RPA, ZG), pp. 1699–1707.
ICMLICML-2015-HockingRB #detection #learning #named #segmentation
PeakSeg: constrained optimal segmentation and supervised penalty learning for peak detection in count data (TH, GR, GB), pp. 324–332.
ICMLICML-2015-JohnsonG #named #optimisation #scalability
Blitz: A Principled Meta-Algorithm for Scaling Sparse Optimization (TJ, CG), pp. 1171–1179.
ICMLICML-2015-KomiyamaHN #analysis #multi #probability #problem
Optimal Regret Analysis of Thompson Sampling in Stochastic Multi-armed Bandit Problem with Multiple Plays (JK, JH, HN), pp. 1152–1161.
ICMLICML-2015-KusnerGGW #optimisation
Differentially Private Bayesian Optimization (MJK, JRG, RG, KQW), pp. 918–927.
ICMLICML-2015-LeeR #distributed #linear #optimisation #polynomial
Distributed Box-Constrained Quadratic Optimization for Dual Linear SVM (CPL, DR), pp. 987–996.
ICMLICML-2015-LimCX #clustering #framework #optimisation
A Convex Optimization Framework for Bi-Clustering (SHL, YC, HX), pp. 1679–1688.
ICMLICML-2015-MaclaurinDA #learning #optimisation
Gradient-based Hyperparameter Optimization through Reversible Learning (DM, DKD, RPA), pp. 2113–2122.
ICMLICML-2015-MartensG #approximate #network #optimisation
Optimizing Neural Networks with Kronecker-factored Approximate Curvature (JM, RBG), pp. 2408–2417.
ICMLICML-2015-MaSJJRT #distributed #optimisation
Adding vs. Averaging in Distributed Primal-Dual Optimization (CM, VS, MJ, MIJ, PR, MT), pp. 1973–1982.
ICMLICML-2015-NarasimhanK0 #metric #optimisation #performance
Optimizing Non-decomposable Performance Measures: A Tale of Two Classes (HN, PK, PJ), pp. 199–208.
ICMLICML-2015-SchulmanLAJM #optimisation #policy #trust
Trust Region Policy Optimization (JS, SL, PA, MIJ, PM), pp. 1889–1897.
ICMLICML-2015-SnoekRSKSSPPA #network #optimisation #scalability #using
Scalable Bayesian Optimization Using Deep Neural Networks (JS, OR, KS, RK, NS, NS, MMAP, P, RPA), pp. 2171–2180.
ICMLICML-2015-SuiGBK #optimisation #process
Safe Exploration for Optimization with Gaussian Processes (YS, AG, JWB, AK), pp. 997–1005.
ICMLICML-2015-SunQW #optimisation #taxonomy #using
Complete Dictionary Recovery Using Nonconvex Optimization (JS, QQ, JW), pp. 2351–2360.
ICMLICML-2015-Suzuki #convergence
Convergence rate of Bayesian tensor estimator and its minimax optimality (TS), pp. 1273–1282.
ICMLICML-2015-ZhangL15a #distributed #empirical #named #optimisation #self
DiSCO: Distributed Optimization for Self-Concordant Empirical Loss (YZ, XL), pp. 362–370.
ICMLICML-2015-ZhaoZ #optimisation #probability
Stochastic Optimization with Importance Sampling for Regularized Loss Minimization (PZ, TZ), pp. 1–9.
KDDKDD-2015-BotezatuBGVW #clustering #multi
Multi-View Incident Ticket Clustering for Optimal Ticket Dispatching (MMB, JB, IG, HV, DW), pp. 1711–1720.
KDDKDD-2015-ChaoHZ #analysis #kernel
Optimal Kernel Group Transformation for Exploratory Regression Analysis and Graphics (PC, QH, MZ), pp. 905–914.
KDDKDD-2015-CuiCHC #random
Optimal Action Extraction for Random Forests and Boosted Trees (ZC, WC, YH, YC), pp. 179–188.
KDDKDD-2015-HallacLB #clustering #graph #network #optimisation #scalability
Network Lasso: Clustering and Optimization in Large Graphs (DH, JL, SB), pp. 387–396.
KDDKDD-2015-IitsukaM #optimisation #problem
Website Optimization Problem and Its Solutions (SI, YM), pp. 447–456.
KDDKDD-2015-Kamath #data-driven #optimisation
Optimizing Marketing Impact through Data Driven Decisioning (AK), p. 1631.
KDDKDD-2015-XuLLQL #effectiveness #online #optimisation
Smart Pacing for Effective Online Ad Campaign Optimization (JX, KcL, WL, HQ, QL), pp. 2217–2226.
KDDKDD-2015-YangLJ #big data #data analysis #optimisation
Big Data Analytics: Optimization and Randomization (TY, QL, RJ), p. 2327.
KDDKDD-2015-YanRHC #distributed #learning #modelling #optimisation #performance #scalability
Performance Modeling and Scalability Optimization of Distributed Deep Learning Systems (FY, OR, YH, TMC), pp. 1355–1364.
KDDKDD-2015-ZhuYH #clustering #optimisation #predict
Co-Clustering based Dual Prediction for Cargo Pricing Optimization (YZ, HY, JH), pp. 1583–1592.
MLDMMLDM-2015-CoralloFMACCGS #analysis #approach #sentiment
Sentiment Analysis for Government: An Optimized Approach (AC, LF, MM, MA, AC, VC, EG, DS), pp. 98–112.
MLDMMLDM-2015-KrasotkinaM #approach #optimisation #ranking
A Bayesian Approach to Sparse Learning-to-Rank for Search Engine Optimization (OK, VM), pp. 382–394.
MLDMMLDM-2015-SalahAM #mining #optimisation #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 #optimisation
Optimizing of an Object-Oriented File System (OOFS) (LHC, SB), pp. 208–212.
SIGIRSIGIR-2015-Hoenkamp #interactive #interface #quality
About the “Compromised Information Need” and Optimal Interaction as Quality Measure for Search Interfaces (ECH), pp. 835–838.
SIGIRSIGIR-2015-KiselevaMBDKEKT #optimisation
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 #optimisation #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 #optimisation #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 #optimisation
Learning Maximal Marginal Relevance Model via Directly Optimizing Diversity Evaluation Measures (LX, JX, YL, JG, XC), pp. 113–122.
SIGIRSIGIR-2015-YunHER #latency #policy #web
Optimal Aggregation Policy for Reducing Tail Latency of Web Search (JMY, YH, SE, SR), pp. 63–72.
SIGIRSIGIR-2015-ZhangZ #formal method #game studies #information retrieval #interactive #interface #optimisation
Information Retrieval as Card Playing: A Formal Model for Optimizing Interactive Retrieval Interface (YZ, CZ), pp. 685–694.
ECOOPECOOP-2015-St-AmourG #javascript #optimisation
Optimization Coaching for JavaScript (VSA, SyG), pp. 271–295.
OOPSLAOOPSLA-2015-ErdwegLW #dependence #incremental
A sound and optimal incremental build system with dynamic dependencies (SE, ML, MW), pp. 89–106.
OOPSLAOOPSLA-2015-MarrD #partial evaluation #self
Tracing vs. partial evaluation: comparing meta-compilation approaches for self-optimizing interpreters (SM, SD), pp. 821–839.
OOPSLAOOPSLA-2015-SteindorferV #agile #optimisation #performance #virtual machine
Optimizing hash-array mapped tries for fast and lean immutable JVM collections (MJS, JJV), pp. 783–800.
SACSAC-2015-CamaraGS0 #adaptation #architecture #game studies #model checking #probability #self
Optimal planning for architecture-based self-adaptation via model checking of stochastic games (JC, DG, BRS, AP), pp. 428–435.
SACSAC-2015-Chakraborti #identification #multi #optimisation #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 #optimisation
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 #optimisation #query #rdf
RDF chain query optimization in a distributed environment (AH, EN, MJ, FF, DV), pp. 353–359.
SACSAC-2015-Khenfri #approach #architecture #optimisation #synthesis
A holistic optimization approach for the synthesis of AUTOSAR E/E architecture (FK), pp. 1960–1961.
SACSAC-2015-KundeM #middleware #resource management
Workload characterization model for optimal resource allocation in cloud middleware (SK, TM), pp. 442–447.
SACSAC-2015-LeeKKE #algorithm #architecture #hybrid #memory management #named
M-CLOCK: migration-optimized page replacement algorithm for hybrid DRAM and PCM memory architecture (ML, DK, JK, YIE), pp. 2001–2006.
SACSAC-2015-LiuI #clustering #framework #optimisation #parallel #using
An ETL optimization framework using partitioning and parallelization (XL, NI), pp. 1015–1022.
SACSAC-2015-LujakF #named #scheduling
ORCAS: optimized robots configuration and scheduling system (ML, AF), pp. 327–330.
SACSAC-2015-PapeBH #adaptation #data type #execution #optimisation #performance
Adaptive just-in-time value class optimization: transparent data structure inlining for fast execution (TP, CFB, RH), pp. 1970–1977.
SACSAC-2015-RiediBP #algorithm #performance #scalability
Channel and power allocation algorithm to optimize the performance of large WLANs (MR, GGB, MEP), pp. 673–679.
SACSAC-2015-WangCR #multi #optimisation
Dynamic optimization of multi-layered reinsurance treaties (HW, OACC, ARC), pp. 125–132.
ESEC-FSEESEC-FSE-2015-Feth #optimisation #security #trade-off
User-centric security: optimization of the security-usability trade-off (DF), pp. 1034–1037.
ESEC-FSEESEC-FSE-2015-LiTH #energy #mobile #named #web
Nyx: a display energy optimizer for mobile web apps (DL, AHT, WGJH), pp. 958–961.
ESEC-FSEESEC-FSE-2015-VasquezBBOPP #android #approach #energy #multi #optimisation #user interface
Optimizing energy consumption of GUIs in Android apps: a multi-objective approach (MLV, GB, CEBC, RO, MDP, DP), pp. 143–154.
ASPLOSASPLOS-2015-DuanHT #memory management #optimisation #performance #symmetry
Asymmetric Memory Fences: Optimizing Both Performance and Implementability (YD, NH, JT), pp. 531–543.
ASPLOSASPLOS-2015-MullapudiVB #automation #image #named #optimisation #pipes and filters
PolyMage: Automatic Optimization for Image Processing Pipelines (RTM, VV, UB), pp. 429–443.
CCCC-2015-Buchwald #generative #named #optimisation
Optgen: A Generator for Local Optimizations (SB), pp. 171–189.
CCCC-2015-DarteI #approximate #optimisation #parametricity
Exact and Approximated Data-Reuse Optimizations for Tiling with Parametric Sizes (AD, AI), pp. 151–170.
CCCC-2015-DemangePS #coq #optimisation #performance #verification
Verifying Fast and Sparse SSA-Based Optimizations in Coq (DD, DP, LS), pp. 233–252.
CGOCGO-2015-HawkinsDBZ #optimisation
Optimizing binary translation of dynamically generated code (BH, BD, DB, QZ), pp. 68–78.
CGOCGO-2015-PallisterEH #embedded #energy #optimisation #trade-off
Optimizing the flash-RAM energy trade-off in deeply embedded systems (JP, KE, SJH), pp. 115–124.
CGOCGO-2015-TangZLLHLG #multi #optimisation
Optimizing and auto-tuning scale-free sparse matrix-vector multiplication on Intel Xeon Phi (WTT, RZ, ML, YL, HPH, XL, RSMG), pp. 136–145.
CGOCGO-2015-ZhangGCCH #named #performance
HERMES: a fast cross-ISA binary translator with post-optimization (XZ, QG, YC, TC, WH), pp. 246–256.
HPCAHPCA-2015-CaiLHMM #memory management #optimisation
Data retention in MLC NAND flash memory: Characterization, optimization, and recovery (YC, YL, EFH, KM, OM), pp. 551–563.
HPCAHPCA-2015-LeeKPKSCM #adaptation #optimisation
Adaptive-latency DRAM: Optimizing DRAM timing for the common-case (DL, YK, GP, SMK, VS, KKWC, OM), pp. 489–501.
HPCAHPCA-2015-MaddahSM #named #optimisation #symmetry
CAFO: Cost aware flip optimization for asymmetric memories (RM, SMS, RGM), pp. 320–330.
HPDCHPDC-2015-HeintzCS #optimisation #streaming
Optimizing Grouped Aggregation in Geo-Distributed Streaming Analytics (BH, AC, RKS), pp. 133–144.
HPDCHPDC-2015-KlusacekCR #optimisation
Planning and Optimization in TORQUE Resource Manager (DK, VC, HR), pp. 203–206.
HPDCHPDC-2015-RamosH #optimisation
Cache Line Aware Optimizations for ccNUMA Systems (SR, TH), pp. 85–88.
HPDCHPDC-2015-ZhouHCL #as a service #declarative #optimisation #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 #optimisation
Memento mori: dynamic allocation-site-based optimizations (DC, HP, MS, BT), pp. 105–117.
LCTESLCTES-2015-BairdGSWU #architecture #optimisation #pipes and filters
Optimizing Transfers of Control in the Static Pipeline Architecture (RB, PG, MS, DBW, GRU), p. 10.
PPoPPPPoPP-2015-AshariTBRCKS #kernel #machine learning #on the #optimisation
On optimizing machine learning workloads via kernel fusion (AA, ST, MB, BR, KC, JK, PS), pp. 173–182.
PPoPPPPoPP-2015-MajoG #composition #library #locality #optimisation
A library for portable and composable data locality optimizations for NUMA systems (ZM, TRG), pp. 227–238.
PPoPPPPoPP-2015-ShiLDHJLWLZ #gpu #graph #hybrid #optimisation
Optimization of asynchronous graph processing on GPU with hybrid coloring model (XS, JL, SD, BH, HJ, LL, ZW, XL, JZ), pp. 271–272.
CAVCAV-2015-SebastianiT #modulo theories #named #optimisation
OptiMathSAT: A Tool for Optimization Modulo Theories (RS, PT), pp. 447–454.
ICLPICLP-J-2015-KoponenOJS #optimisation #programming #set #using
Optimizing phylogenetic supertrees using answer set programming (LK, EO, TJ, LS), pp. 604–619.
ICSTICST-2015-NoguchiWFSO #black box #optimisation #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 #optimisation #problem
Reformulating Branch Coverage as a Many-Objective Optimization Problem (AP, FMK, PT), pp. 1–10.
ICSTICST-2015-YamadaKACOB #combinator #incremental #optimisation #satisfiability #testing
Optimization of Combinatorial Testing by Incremental SAT Solving (AY, TK, CA, EHC, YO, AB), pp. 1–10.
ISSTAISSTA-2015-LeSS #random
Randomized stress-testing of link-time optimizers (VL, CS, ZS), pp. 327–337.
ISSTAISSTA-2015-TanXCSLD #algorithm #optimisation
Optimizing selection of competing features via feedback-directed evolutionary algorithms (THT, YX, MC, JS, YL, JSD), pp. 246–256.
VMCAIVMCAI-2015-GjomemoNPVZ #optimisation #verification
From Verification to Optimizations (RG, KSN, PHP, VNV, LDZ), pp. 300–317.
ASEASE-2014-AbdeenVSNDHH #design #multi #optimisation #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 #optimisation #parallel #scalability
Scaling exact multi-objective combinatorial optimization by parallelization (JG, EZ, RO, DR, KC, SA, JMA), pp. 409–420.
ASEASE-2014-KusanoW #abstraction #optimisation #partial order #reduction
Assertion guided abstraction: a cooperative optimization for dynamic partial order reduction (MK, CW), pp. 175–186.
ASEASE-2014-MkaouerKBDC #interactive #optimisation #recommendation #refactoring #using
Recommendation system for software refactoring using innovization and interactive dynamic optimization (MWM, MK, SB, KD, MÓC), pp. 331–336.
CASECASE-2014-BaDR #maintenance #policy
Green management of Spare parts for an integrated optimal maintenance and production policy (KB, SD, NR), pp. 359–364.
CASECASE-2014-ChuKS #dependence #energy #grid #integration
Optimal integration of alternative energy sources in production systems for minimum grid dependency and outage risk (KCC, KK, KS), pp. 640–645.
CASECASE-2014-DingSM #assembly #case study #industrial
Optimized task distribution for industrial assembly in mixed human-robot environments — Case study on IO module assembly (HD, MS, BM), pp. 19–24.
CASECASE-2014-HeLG #graph #optimisation
Marking optimization of deterministic timed weighted marked graphs (ZH, ZL, AG), pp. 413–418.
CASECASE-2014-HsiaoYLH #design #implementation
Design and implementation of a ball-batting robot with optimal batting decision making ability (TH, CMY, IHL, CCH), pp. 1026–1031.
CASECASE-2014-HuangCM #optimisation
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 #optimisation #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-LeeSP #automation
Automatic optimal control of Field Assisted Sintering Technology (JL, JS, VP), pp. 764–769.
CASECASE-2014-MaTLZLD #algorithm #hybrid #optimisation #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 #optimisation
Reducing carbon emission of ocean shipments by optimizing container size selection (ECLM, NLM, KWT), pp. 480–485.
CASECASE-2014-QiuSL #multi #optimisation #simulation
A simulation based GA for multi-objective optimization in patient flow distribution (YQ, JS, ZL), pp. 1–6.
CASECASE-2014-TiengYHC #approach #multi #optimisation #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 #optimisation
Cost and energy consumption collaborative optimization for sintering burdening in iron and steel enterprise (JW, FQ), pp. 486–491.
CASECASE-2014-XuZHCLC #framework #multi #optimisation #simulation
An ordinal transformation framework for multi-fidelity simulation optimization (JX, SZ, EH, CHC, LHL, NC), pp. 385–390.
CASECASE-2014-YangWQZ #clustering #multi #scheduling #tool support
Optimal scheduling of single-arm multi-cluster tools with two-space buffering modules (FY, NW, YQ, MZ), pp. 75–80.
CASECASE-2014-ZhangLYL #optimisation #parametricity #simulation
Simulation and parameter optimization of the key working procedure of engine box (CZ, JL, RY, GL), pp. 315–319.
DACDAC-2014-0001SMAKV #manycore #optimisation
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 #optimisation #performance
Majority-Inverter Graph: A Novel Data-Structure and Algorithms for Efficient Logic Optimization (LGA, PEG, GDM), p. 6.
DACDAC-2014-ChenWLXY #optimisation #runtime
Run-Time Technique for Simultaneous Aging and Power Optimization in GPGPUs (XC, YW, YL, YX, HY), p. 6.
DACDAC-2014-CongLXZ #architecture #clustering #reuse
An Optimal Microarchitecture for Stencil Computation Acceleration Based on Non-Uniform Partitioning of Data Reuse Buffers (JC, PL, BX, PZ), p. 6.
DACDAC-2014-CuiCBC #optimisation #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 #optimisation #throughput
Throughput Optimization for SADP and E-beam based Manufacturing of 1D Layout (YD, CC, WKM), p. 6.
DACDAC-2014-GaoXYP #named #optimisation #process
MOSAIC: Mask Optimizing Solution With Process Window Aware Inverse Correction (JRG, XX, BY, DZP), p. 6.
DACDAC-2014-HeldS #optimisation
Post-Routing Latch Optimization for Timing Closure (SH, US), p. 6.
DACDAC-2014-HoC #optimisation #performance #pipes and filters
A New Asynchronous Pipeline Template for Power and Performance Optimization (KHH, YWC), p. 6.
DACDAC-2014-KhosraviRGT #multi #optimisation #reliability #using
Multi-Objective Local-Search Optimization using Reliability Importance Measuring (FK, FR, MG, JT), p. 6.
DACDAC-2014-LiangC #analysis #clustering #named #network #probability #reduction #scalability #smarttech
ClusRed: Clustering and Network Reduction Based Probabilistic Optimal Power Flow Analysis for Large-Scale Smart Grids (YL, DC), p. 6.
DACDAC-2014-LiuCYLHL #fault #locality #named
EC-Cache: Exploiting Error Locality to Optimize LDPC in NAND Flash-Based SSDs (RSL, MYC, CLY, CHL, KCH, HPL), p. 6.
DACDAC-2014-PengPL #optimisation #performance
Fast and Accurate Full-chip Extraction and Optimization of TSV-to-Wire Coupling (YP, DP, SKL), p. 6.
DACDAC-2014-RoyMIT #multi #performance
Tile Before Multiplication: An Efficient Strategy to Optimize DSP Multiplier for Accelerating Prime Field ECC for NIST Curves (DBR, DM, MI, JT), p. 6.
DACDAC-2014-SamalPSSDL #3d #modelling #optimisation #performance
Fast and Accurate Thermal Modeling and Optimization for Monolithic 3D ICs (SKS, SP, KS, MS, YD, SKL), p. 6.
DACDAC-2014-WangOC #optimisation #performance #polynomial #synthesis
Enabling Efficient Analog Synthesis by Coupling Sparse Regression and Polynomial Optimization (YW, MO, CC), p. 6.
DACDAC-2014-ZhuoGS #design #grid #modelling #optimisation #power management
Early-Stage Power Grid Design: Extraction, Modeling and Optimization (CZ, HG, WKS), p. 6.
DATEDATE-2014-0001GWKAWG #optimisation #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 #optimisation
Model based hierarchical optimization strategies for analog design automation (EA, SA, FVF, GD, IFB), pp. 1–4.
DATEDATE-2014-AksoyFM #complexity #constant #design #multi #optimisation
Optimization of design complexity in time-multiplexed constant multiplications (LA, PFF, JCM), pp. 1–4.
DATEDATE-2014-AlamPTSN #android #energy #optimisation
Energy optimization in Android applications through wakelock placement (FA, PRP, NT, NS, SN), pp. 1–4.
DATEDATE-2014-AltmeyerD #analysis #correctness #on the #precise #probability
On the correctness, optimality and precision of Static Probabilistic Timing Analysis (SA, RID), pp. 1–6.
DATEDATE-2014-BournoutianO #framework #mobile #optimisation
On-device objective-C application optimization framework for high-performance mobile processors (GB, AO), pp. 1–6.
DATEDATE-2014-DinhYH #design #logic
A logic integrated optimal pin-count design for digital microfluidic biochips (TAD, SY, TYH), pp. 1–6.
DATEDATE-2014-DuW #optimisation #process #standard
Optimization of standard cell based detailed placement for 16 nm FinFET process (YD, MDFW), pp. 1–6.
DATEDATE-2014-GomonyAG #optimisation #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-KahngK #logic #memory management #scheduling
Co-optimization of memory BIST grouping, test scheduling, and logic placement (ABK, IK), pp. 1–6.
DATEDATE-2014-KangYKBHT #manycore #optimisation
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 #optimisation #streaming
Resource optimization for CSDF-modeled streaming applications with latency constraints (DL, JS, JTZ, TS, GC), pp. 1–6.
DATEDATE-2014-NarayanaswamySLKC #architecture
Optimal dimensioning of active cell balancing architectures (SN, SS, ML, MK, SC), pp. 1–6.
DATEDATE-2014-OdendahlGLARVH #manycore
Optimized buffer allocation in multicore platforms (MO, AG, RL, GA, BR, BV, TH), pp. 1–6.
DATEDATE-2014-ReimerSSB #using
Using MaxBMC for Pareto-optimal circuit initialization (SR, MS, TS, BB), pp. 1–6.
DATEDATE-2014-RossiTB #hybrid #optimisation #realtime
Real-time optimization of the battery banks lifetime in Hybrid Residential Electrical Systems (MR, AT, DB), pp. 1–6.
DATEDATE-2014-RoyJ #named #optimisation #thread
ALLARM: Optimizing sparse directories for thread-local data (AR, TMJ), pp. 1–6.
DATEDATE-2014-Sadri0WWB #3d #energy #optimisation #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 #optimisation #using
Multi-site test optimization for multi-Vdd SoCs using space- and time- division multiplexing (FV, XK, KC, RAP, AJ), pp. 1–6.
DATEDATE-2014-ZhuGBS #data flow #graph #scheduling
Memory-constrained static rate-optimal scheduling of synchronous dataflow graphs via retiming (XYZ, MG, TB, SS), pp. 1–6.
DATEDATE-2014-ZhuWCP #design #energy
Optimal design and management of a smart residential PV and energy storage system (DZ, YW, NC, MP), pp. 1–6.
HTHT-2014-Santos-NetoPAR #data flow #on the #optimisation
On the choice of data sources to improve content discoverability via textual feature optimization (ESN, TP, JMA, MR), pp. 273–278.
PODSPODS-2014-PaghSW #question #set
Is min-wise hashing optimal for summarizing set intersection? (RP, MS, DPW), pp. 109–120.
SIGMODSIGMOD-2014-AntovaESGPW #optimisation #query
Optimizing queries over partitioned tables in MPP systems (LA, AEH, MAS, ZG, MP, FW), pp. 373–384.
SIGMODSIGMOD-2014-ChenLWXML #algorithm #network #performance #query
Efficient algorithms for optimal location queries in road networks (ZC, YL, RCWW, JX, GM, CL), pp. 123–134.
SIGMODSIGMOD-2014-GhodsniaBN #optimisation #parallel #query
Parallel I/O aware query optimization (PG, ITB, AN), pp. 349–360.
SIGMODSIGMOD-2014-KaranasosBKOEXJ #optimisation #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 #optimisation
Online optimization and fair costing for dynamic data sharing in a cloud data market (ZL, HH), pp. 1359–1370.
SIGMODSIGMOD-2014-LongWZX #approach
Hypersphere dominance: an optimal approach (CL, RCWW, BZ, MX), pp. 111–122.
SIGMODSIGMOD-2014-RheinlanderBKHSL #data flow #optimisation
Versatile optimization of UDF-heavy data flows with sofa (AR, MB, AK, AH, TS, UL), pp. 685–688.
SIGMODSIGMOD-2014-SolimanAREGSCGRPWNKB #architecture #big data #composition #named #query
Orca: a modular query optimizer architecture for big data (MAS, LA, VR, AEH, ZG, ES, GCC, CGA, FR, MP, FW, SN, KK, RB), pp. 337–348.
SIGMODSIGMOD-2014-TangXS #complexity #performance
Influence maximization: near-optimal time complexity meets practical efficiency (YT, XX, YS), pp. 75–86.
SIGMODSIGMOD-2014-TrummerK #approximate #optimisation #query
Approximation schemes for many-objective query optimization (IT, CK), pp. 1299–1310.
SIGMODSIGMOD-2014-ZhangDI #complexity #on the #optimisation #query
On complexity and optimization of expensive queries in complex event processing (HZ, YD, NI), pp. 217–228.
SIGMODSIGMOD-2014-ZhangKR #feature model #optimisation
Materialization optimizations for feature selection workloads (CZ, AK, CR), pp. 265–276.
VLDBVLDB-2014-BressHSKMS #hardware #named
Ocelot/HyPE: Optimized Data Processing on Heterogeneous Hardware (SB, MH, MS, BK, VM, GS), pp. 1609–1612.
VLDBVLDB-2014-EldawyLL #database
Trekking Through Siberia: Managing Cold Data in a Memory-Optimized Database (AE, JJL, PÅL), pp. 931–942.
VLDBVLDB-2014-GiannikisMAK #optimisation
Shared Workload Optimization (GG, DM, GA, DK), pp. 429–440.
VLDBVLDB-2014-GuarnieriB #query
Optimal Security-Aware Query Processing (MG, DAB), pp. 1307–1318.
VLDBVLDB-2014-KonstantinidisA #constraints #integration #optimisation #scalability
Optimizing the Chase: Scalable Data Integration under Constraints (GK, JLA), pp. 1869–1880.
VLDBVLDB-2014-ParameswaranBG0PW #algorithm #rating
Optimal Crowd-Powered Rating and Filtering Algorithms (AGP, SB, HGM, AG, NP, JW), pp. 685–696.
VLDBVLDB-2014-SalihogluW #algorithm #graph #optimisation
Optimizing Graph Algorithms on Pregel-like Systems (SS, JW), pp. 577–588.
VLDBVLDB-2014-ShanbhagS #optimisation #query
Optimizing Join Enumeration in Transformation-based Query Optimizers (AS, SS), pp. 1243–1254.
VLDBVLDB-2014-ShiZLCLW #named #optimisation #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-2014-YangGYL #constraints #graph
Finding the Cost-Optimal Path with Time Constraint over Time-Dependent Graphs (YY, HG, JXY, JL), pp. 673–684.
VLDBVLDB-2015-TrummerK14 #multi #optimisation #parametricity #query
Multi-Objective Parametric Query Optimization (IT, CK), pp. 221–232.
VLDBVLDB-2015-YangZTCM14 #distributed #named #navigation
CANDS: Continuous Optimal Navigation via Distributed Stream Processing (DY, DZ, KLT, JC, FLM), pp. 137–148.
PEPMPEPM-2014-AdamsFM #exclamation #optimisation #scrap your boilerplate
Optimizing SYB is easy! (MDA, AF, JPM), pp. 71–82.
PLDIPLDI-2014-Schkufza0A #float #optimisation #precise #probability #source code
Stochastic optimization of floating-point programs with tunable precision (ES, RS, AA), p. 9.
PLDIPLDI-2014-Simon #polymorphism
Optimal inference of fields in row-polymorphic records (AS), p. 13.
STOCSTOC-2014-ArtemenkoS #generative #pseudo
Pseudorandom generators with optimal seed length for non-boolean poly-size circuits (SA, RS), pp. 99–108.
STOCSTOC-2014-BoutsidisW #matrix
Optimal CUR matrix decompositions (CB, DPW), pp. 353–362.
STOCSTOC-2014-ChenGL
Optimal competitive auctions (NC, NG, PL), pp. 253–262.
STOCSTOC-2014-DworkTT0 #analysis #bound #component #privacy
Analyze gauss: optimal bounds for privacy-preserving principal component analysis (CD, KT, AT, LZ), pp. 11–20.
STOCSTOC-2014-GhaffariHS #adaptation #fault #interactive
Optimal error rates for interactive coding I: adaptivity and other settings (MG, BH, MS), pp. 794–803.
STOCSTOC-2014-HaitnerT #protocol
An almost-optimally fair three-party coin-flipping protocol (IH, ET), pp. 408–416.
STOCSTOC-2014-RudraW
Every list-decodable code for high noise has abundant near-optimal rate puncturings (AR, MW), pp. 764–773.
STOCSTOC-2014-SinghV #optimisation
Entropy, optimization and counting (MS, NKV), pp. 50–59.
STOCSTOC-2014-Solomon #fault tolerance #metric
From hierarchical partitions to hierarchical covers: optimal fault-tolerant spanners for doubling metrics (SS), pp. 363–372.
ICALPICALP-v1-2014-AbrahamC #distance
Distance Labels with Optimal Local Stretch (IA, SC), pp. 52–63.
ICALPICALP-v1-2014-AngeliniLBFPR #graph
Morphing Planar Graph Drawings Optimally (PA, GDL, GDB, FF, MP, VR), pp. 126–137.
ICALPICALP-v1-2014-Biedl #graph #on the
On Area-Optimal Planar Graph Drawings (TCB), pp. 198–210.
ICALPICALP-v1-2014-DosaS #analysis
Optimal Analysis of Best Fit Bin Packing (GD, JS), pp. 429–441.
ICALPICALP-v1-2014-GilbertLPS
For-All Sparse Recovery in Near-Optimal Time (ACG, YL, EP, MJS), pp. 538–550.
ICALPICALP-v1-2014-GuptaTW #multi #optimisation
Changing Bases: Multistage Optimization for Matroids and Matchings (AG, KT, UW), pp. 563–575.
ICALPICALP-v1-2014-HajiaghayiLP #algorithm #online #problem
Near-Optimal Online Algorithms for Prize-Collecting Steiner Problems (MH, VL, DP), pp. 576–587.
ICALPICALP-v1-2014-MancinskaV #bound #probability
Unbounded Entanglement Can Be Needed to Achieve the Optimal Success Probability (LM, TV), pp. 835–846.
ICALPICALP-v1-2014-TulsianiWZ #game studies #graph #parallel #rank
Optimal Strong Parallel Repetition for Projection Games on Low Threshold Rank Graphs (MT, JW, YZ), pp. 1003–1014.
ICALPICALP-v1-2014-WimmerWZ #complexity #matrix #query
Optimal Query Complexity for Estimating the Trace of a Matrix (KW, YW, PZ), pp. 1051–1062.
ICALPICALP-v2-2014-Ghaffari #approximate #distributed #set
Near-Optimal Distributed Approximation of Minimum-Weight Connected Dominating Set (MG), pp. 483–494.
ICALPICALP-v2-2014-KantorK #problem #symmetry
Optimal Competitiveness for Symmetric Rectilinear Steiner Arborescence and Related Problems (EK, SK), pp. 520–531.
LATALATA-2014-AbdullaAS #automaton #reachability
Computing Optimal Reachability Costs in Priced Dense-Timed Pushdown Automata (PAA, MFA, JS), pp. 62–75.
LATALATA-2014-BundalaZ #network #sorting
Optimal Sorting Networks (DB, JZ), pp. 236–247.
ICFPICFP-2014-BergstromFLRS #effectiveness #higher-order #optimisation
Practical and effective higher-order optimizations (LB, MF, ML, JHR, NS), pp. 81–93.
GRAPHITEGRAPHITE-2014-ManskyGG #optimisation #parallel #source code #specification
Specifying and Executing Optimizations for Parallel Programs (WM, DG, ELG), pp. 58–70.
CHICHI-2014-BiOZ #multi #optimisation
Both complete and correct?: multi-objective optimization of touchscreen keyboard (XB, TO, SZ), pp. 2297–2306.
CHICHI-2014-GreisAHM
I can wait a minute: uncovering the optimal delay time for pre-moderated user-generated content on public displays (MG, FA, NH, NM), pp. 1435–1438.
HCIDHM-2014-ZhangTWHFC #modelling
Modeling Human Control Strategies in Simulated RVD Tasks through the Time-Fuel Optimal Control Model (SZ, YT, CW, SH, YF, SC), pp. 661–670.
HCIDUXU-DP-2014-AlmeidaRN #evaluation #framework #optimisation
Methodological Framework for Control Centres Evaluation and Optimization (AA, FR, PN), pp. 3–11.
CAiSECAiSE-2014-AndrikopoulosSLW #in the cloud
Optimal Distribution of Applications in the Cloud (VA, SGS, FL, JW), pp. 75–90.
CAiSECAiSE-2014-VlaanderenDB #incremental
Finding Optimal Plans for Incremental Method Engineering (KV, FD, SB), pp. 640–655.
ICEISICEIS-v1-2014-PintoNH #multi #optimisation
Multi-objective Optimization of Investment Strategies — Based on Evolutionary Computation Techniques, in Volatile Environments (JMP, RFN, NH), pp. 480–488.
ICEISICEIS-v1-2014-SilvaSMMS #branch #design #heuristic #network #problem
A Heuristic Procedure with Local Branching for the Fixed Charge Network Design Problem with User-optimal Flow (PHGS, LGS, CAdJM, PYPM, ES), pp. 384–394.
CIKMCIKM-2014-AnandMBB #optimisation #query
Phrase Query Optimization on Inverted Indexes (AA, IM, SJB, KB), pp. 1807–1810.
CIKMCIKM-2014-ChatzistergiouV #clustering #data type #heuristic #performance
Fast Heuristics for Near-Optimal Task Allocation in Data Stream Processing over Clusters (AC, SDV), pp. 1579–1588.
CIKMCIKM-2014-DrumondDSN #modelling #multi #optimisation
Optimizing Multi-Relational Factorization Models for Multiple Target Relations (LRD, EDA, LST, WN), pp. 191–200.
CIKMCIKM-2014-LinLZX #named #optimisation #programming #search-based
GPQ: Directly Optimizing Q-measure based on Genetic Programming (YL, HL, PZ, BX), pp. 1859–1862.
CIKMCIKM-2014-Wu0LJ #constraints #optimisation #ranking
Ranking Optimization with Constraints (FW, JX, HL, XJ), pp. 1049–1058.
ECIRECIR-2014-SchuthSWR #case study #optimisation #using
Optimizing Base Rankers Using Clicks — A Case Study Using BM25 (AS, FS, SW, MdR), pp. 75–87.
ICMLICML-c1-2014-AzadiS #multi #probability #towards
Towards an optimal stochastic alternating direction method of multipliers (SA, SS), pp. 620–628.
ICMLICML-c1-2014-CicaleseLS #optimisation #testing
Diagnosis determination: decision trees optimizing simultaneously worst and expected testing cost (FC, ESL, AMS), pp. 414–422.
ICMLICML-c1-2014-CombesP #algorithm #bound
Unimodal Bandits: Regret Lower Bounds and Optimal Algorithms (RC, AP), pp. 521–529.
ICMLICML-c1-2014-LinX #adaptation #continuation #optimisation
An Adaptive Accelerated Proximal Gradient Method and its Homotopy Continuation for Sparse Optimization (QL, LX), pp. 73–81.
ICMLICML-c1-2014-MohriM #algorithm #learning #optimisation
Learning Theory and Algorithms for revenue optimization in second price auctions with reserve (MM, AMM), pp. 262–270.
ICMLICML-c1-2014-SomaKIK #algorithm #performance
Optimal Budget Allocation: Theoretical Guarantee and Efficient Algorithm (TS, NK, KI, KiK), pp. 351–359.
ICMLICML-c2-2014-AzarLB #correlation #feedback #online #optimisation #probability
Online Stochastic Optimization under Correlated Bandit Feedback (MGA, AL, EB), pp. 1557–1565.
ICMLICML-c2-2014-ChenGH
Near-Optimal Joint Object Matching via Convex Relaxation (YC, LJG, QXH), pp. 100–108.
ICMLICML-c2-2014-ContalPV #optimisation #process
Gaussian Process Optimization with Mutual Information (EC, VP, NV), pp. 253–261.
ICMLICML-c2-2014-GardnerKZWC #constraints #difference #optimisation
Bayesian Optimization with Inequality Constraints (JRG, MJK, ZEX, KQW, JC), pp. 937–945.
ICMLICML-c2-2014-HaeffeleYV #algorithm #image #matrix #rank
Structured Low-Rank Matrix Factorization: Optimality, Algorithm, and Applications to Image Processing (BDH, EY, RV), pp. 2007–2015.
ICMLICML-c2-2014-HoangLJK #learning #process
Nonmyopic ϵ-Bayes-Optimal Active Learning of Gaussian Processes (TNH, BKHL, PJ, MSK), pp. 739–747.
ICMLICML-c2-2014-LevineK #learning #network #optimisation #policy
Learning Complex Neural Network Policies with Trajectory Optimization (SL, VK), pp. 829–837.
ICMLICML-c2-2014-NieYH #analysis #component #robust
Optimal Mean Robust Principal Component Analysis (FN, JY, HH), pp. 1062–1070.
ICMLICML-c2-2014-PapailiopoulosMDC #optimisation #rank
Finding Dense Subgraphs via Low-Rank Bilinear Optimization (DSP, IM, AGD, CC), pp. 1890–1898.
ICMLICML-c2-2014-QinLJ #learning #optimisation
Sparse Reinforcement Learning via Convex Optimization (ZQ, WL, FJ), pp. 424–432.
ICMLICML-c2-2014-ShamirS0 #approximate #distributed #optimisation #using
Communication-Efficient Distributed Optimization using an Approximate Newton-type Method (OS, NS, TZ), pp. 1000–1008.
ICMLICML-c2-2014-SinglaBBKK #education
Near-Optimally Teaching the Crowd to Classify (AS, IB, GB, AK, AK), pp. 154–162.
ICMLICML-c2-2014-SnoekSZA #optimisation
Input Warping for Bayesian Optimization of Non-Stationary Functions (JS, KS, RSZ, RPA), pp. 1674–1682.
ICMLICML-c2-2014-Sohl-DicksteinPG #optimisation #performance #probability #scalability
Fast large-scale optimization by unifying stochastic gradient and quasi-Newton methods (JSD, BP, SG), pp. 604–612.
ICMLICML-c2-2014-SteinhardtL14a #adaptation #algorithm
Adaptivity and Optimism: An Improved Exponentiated Gradient Algorithm (JS, PL), pp. 1593–1601.
ICMLICML-c2-2014-YangPK #equivalence #optimisation
Optimization Equivalence of Divergences Improves Neighbor Embedding (ZY, JP, SK), pp. 460–468.
ICMLICML-c2-2014-YuanLZ #optimisation
Gradient Hard Thresholding Pursuit for Sparsity-Constrained Optimization (XY, PL, TZ), pp. 127–135.
ICMLICML-c2-2014-ZhangK #distributed #optimisation
Asynchronous Distributed ADMM for Consensus Optimization (RZ, JTK), pp. 1701–1709.
ICMLICML-c2-2014-ZhouCL #crowdsourcing #identification #multi
Optimal PAC Multiple Arm Identification with Applications to Crowdsourcing (YZ, XC, JL), pp. 217–225.
ICPRICPR-2014-CaoHS #approach #classification #kernel #learning #multi
Optimization-Based Extreme Learning Machine with Multi-kernel Learning Approach for Classification (LlC, WbH, FS), pp. 3564–3569.
ICPRICPR-2014-DiezVPRB #optimisation #recognition
Optimizing PLLR Features for Spoken Language Recognition (MD, AV, MP, LJRF, GB), pp. 779–784.
ICPRICPR-2014-GeXYS #image #synthesis #using
Image Completion Using Global Patch Matching and Optimal Seam Synthesis (SG, KX, RY, ZS), pp. 871–876.
ICPRICPR-2014-HazelhoffCW #classification #trade-off #word
Optimal Performance-Efficiency Trade-off for Bag of Words Classification of Road Signs (LBH, IMC, PHNdW), pp. 2996–3001.
ICPRICPR-2014-Kanatani #estimation #geometry #optimisation #statistics
Statistical Optimization for Geometric Estimation: Minimization vs. Non-minimization (KK), pp. 1–8.
ICPRICPR-2014-KristoC
Optimized Window Arrangement for Spatial Pyramid Matching Scheme (K, CSC), pp. 1395–1400.
ICPRICPR-2014-LindbladSMBMM #optimisation #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 #optimisation
Improved Optimization Based on Graph Cuts for Discrete Energy Minimization (KL, JZ, KH), pp. 2424–2429.
ICPRICPR-2014-MekonnenLHB #detection #optimisation #people
People Detection with Heterogeneous Features and Explicit Optimization on Computation Time (AAM, FL, AH, CB), pp. 4322–4327.
ICPRICPR-2014-MeloLMS #approach #detection
An Optimized Sliding Window Approach to Pedestrian Detection (VHCdM, SL, DM, WRS), pp. 4346–4351.
ICPRICPR-2014-MirowskiHW
Building Optimal Radio-Frequency Signal Maps (PWM, TKH, PW), pp. 978–983.
ICPRICPR-2014-QureshiHA #probability #using
A Probabilistic Model for the Optimal Configuration of Retinal Junctions Using Theoretically Proven Features (TAQ, AH, BAD), pp. 3304–3309.
ICPRICPR-2014-SmedtBTG #combinator #detection #multi
The Combinator: Optimal Combination of Multiple Pedestrian Detectors (FDS, KVB, TT, TG), pp. 3522–3527.
ICPRICPR-2014-StraehleKKH #learning #multi #random
Multiple Instance Learning with Response-Optimized Random Forests (CNS, MK, UK, FAH), pp. 3768–3773.
ICPRICPR-2014-WenLWCW #classification #feature model #robust
Optimal Feature Selection for Robust Classification via l2, 1-Norms Regularization (JW, ZL, WKW, JC, MW), pp. 517–521.
ICPRICPR-2014-YooJKC #learning #optimisation
Transfer Learning of Motion Patterns in Traffic Scene via Convex Optimization (YJY, HJ, SWK, JYC), pp. 4158–4163.
ICPRICPR-2014-ZhuY #image #optimisation #quality
A Bit Allocation Optimization Method for ROI Based Image Compression with Stable Image Quality (YZ, JY), pp. 849–854.
KDDKDD-2014-KhalilDS #network #optimisation #scalability
Scalable diffusion-aware optimization of network topology (EBK, BND, LS), pp. 1226–1235.
KDDKDD-2014-LiZCS #optimisation #performance #probability
Efficient mini-batch training for stochastic optimization (ML, TZ, YC, AJS), pp. 661–670.
KDDKDD-2014-LuIBL #recommendation #social
Optimal recommendations under attraction, aversion, and social influence (WL, SI, SB, LVSL), pp. 811–820.
KDDKDD-2014-Ting #approximate
Streamed approximate counting of distinct elements: beating optimal batch methods (DT), pp. 442–451.
KDDKDD-2014-ZhaiXW #multi #optimisation
A multi-class boosting method with direct optimization (SZ, TX, SW), pp. 273–282.
KDDKDD-2014-ZhangYW #realtime
Optimal real-time bidding for display advertising (WZ, SY, JW), pp. 1077–1086.
KDDKDD-2014-ZhengZLJXLSZLTLDLW #data mining #mining #optimisation #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.
KDIRKDIR-2014-AbouEisha
Finding Optimal Exact Reducts (HA), pp. 149–153.
KRKR-2014-SiderisD #heuristic #optimisation
Heuristic Guided Optimization for Propositional Planning (AS, YD).
MLDMMLDM-2014-JiangDPL #approach #estimation #markov #optimisation #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 #optimisation #recommendation
Convex AUC optimization for top-N recommendation with implicit feedback (FA), pp. 293–296.
RecSysRecSys-2014-GueyeAN #algorithm #recommendation
A parameter-free algorithm for an optimized tag recommendation list size (MG, TA, HN), pp. 233–240.
SEKESEKE-2014-LianZ #feature model #product line
An Evolutionary Methodology for Optimized Feature Selection in Software Product Lines (XL, LZ), pp. 63–66.
SIGIRSIGIR-2014-FangZ #analysis #axiom #information retrieval #modelling #optimisation
Axiomatic analysis and optimization of information retrieval models (HF, CZ), p. 1288.
SIGIRSIGIR-2014-TangJY #optimisation #ranking #runtime
Cache-conscious runtime optimization for ranking ensembles (XT, XJ, TY), pp. 1123–1126.
OOPSLAOOPSLA-2014-MisailovicCAQR #approximate #kernel #named #optimisation
Chisel: reliability- and accuracy-aware optimization of approximate computational kernels (SM, MC, SA, ZQ, MCR), pp. 309–328.
OOPSLAOOPSLA-2014-ZhangLBF #abstract syntax tree #optimisation
Accelerating iterators in optimizing AST interpreters (WZ, PL, SB, MF), pp. 727–743.
OOPSLAOOPSLA-2014-ZhouSGY #adaptation #multi #optimisation
Space-efficient multi-versioning for input-adaptive feedback-driven program optimizations (MZ, XS, YG, GY), pp. 763–776.
GPCEGPCE-2014-HumerWWWW #abstract syntax tree #domain-specific language #self
A domain-specific language for building self-optimizing AST interpreters (CH, CW, CW, AW, TW), pp. 123–132.
GPCEGPCE-2014-KaminGAXYC #multi #optimisation #runtime
Optimization by runtime specialization for sparse matrix-vector multiplication (SK, MJG, BA, DX, BY, ZC), pp. 93–102.
POPLPOPL-2014-AbdullaAJS #partial order #reduction
Optimal dynamic partial order reduction (PAA, SA, BJ, KFS), pp. 373–384.
POPLPOPL-2014-BurckhardtGYZ #data type #specification #verification
Replicated data types: specification, verification, optimality (SB, AG, HY, MZ), pp. 271–284.
POPLPOPL-2014-LiAKGC #optimisation #smt
Symbolic optimization with SMT solvers (YL, AA, ZK, AG, MC), pp. 607–618.
REFSQREFSQ-2014-RiegelD #analysis #elicitation #heuristic #optimisation #performance
An Analysis of Priority-Based Decision Heuristics for Optimizing Elicitation Efficiency (NR, JD), pp. 268–284.
SACSAC-2014-ChangHL #adaptation #clustering #optimisation #using
Optimizing FTL mapping cache for random-write workloads using adaptive block partitioning (LPC, SMH, WPL), pp. 1504–1510.
SACSAC-2014-GraziadioDSSUME #game studies #identification #video
Bespoke video games to provide early response markers to identify the optimal strategies for maximizing rehabilitation (SG, RD, KS, KMAS, GU, GM, JAE), pp. 20–24.
SACSAC-2014-KatebFNMAT #framework #modelling #multi #optimisation #runtime
Generic cloud platform multi-objective optimization leveraging models@run.time (DEK, FF, GN, JAM, MA, YLT), pp. 343–350.
SACSAC-2014-Khan #independence #research #standard #student
Student research abstract: an optimized handover scheme based on media independent handover standard IEEE 802.21 (MK), pp. 717–718.
SACSAC-2014-TangKK #resource management #user satisfaction
An optimal device selection for user satisfaction of content sharing (JT, PK, SK), pp. 1745–1746.
FSEFSE-2014-Joseph #framework #interactive #machine learning
Software programmer management: a machine learning and human computer interaction framework for optimal task assignment (HRJ), pp. 826–828.
ICSEICSE-2014-IgnatievJM #optimisation #performance #towards
Towards efficient optimization in package management systems (AI, MJ, JMS), pp. 745–755.
ICSEICSE-2014-ManotasPC #energy #framework #named
SEEDS: a software engineer’s energy-optimization decision support framework (ILMG, LLP, JC), pp. 503–514.
LDTALDTA-J-2011-SauthoffG #analysis #domain-specific language #optimisation #programming
Yield grammar analysis and product optimization in a domain-specific language for dynamic programming (GS, RG), pp. 2–22.
SPLCSPLC-2014-OlaecheaRGC #approximate #comparison #multi #optimisation #product line
Comparison of exact and approximate multi-objective optimization for software product lines (RO, DR, JG, KC), pp. 92–101.
ASPLOSASPLOS-2014-SchulteDHFW #energy #optimisation
Post-compiler software optimization for reducing energy (EMS, JD, SH, SF, WW), pp. 639–652.
CGOCGO-2014-MargiolasO #communication #optimisation
Portable and Transparent Host-Device Communication Optimization for GPGPU Environments (CM, MFPO), p. 55.
CGOCGO-2014-WangWP #optimisation #reduction #virtual machine
Optimizing R VM: Allocation Removal and Path Length Reduction via Interpreter-level Specialization (HW, PW, DAP), p. 295.
LCTESLCTES-2014-BeaugnonKHBTAL #algebra #linear #named
VOBLA: a vehicle for optimized basic linear algebra (UB, AK, SvH, RB, DT, JA, AL), pp. 115–124.
LCTESLCTES-2014-HenryAMM #encoding #execution #how #modulo theories #optimisation #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-LezuoPK #compilation #named #state machine
CASM: optimized compilation of abstract state machines (RL, PP, AK), pp. 13–22.
LCTESLCTES-2014-LozanoCBS #combinator #optimisation
Combinatorial spill code optimization and ultimate coalescing (RCL, MC, GHB, CS), pp. 23–32.
LCTESLCTES-2014-MartinsNDMC #clustering #compilation #optimisation #sequence #using
Exploration of compiler optimization sequences using clustering-based selection (LGAM, RN, ACBD, EM, JMPC), pp. 63–72.
CAVCAV-2014-DilligDC #memory management #safety #synthesis
Optimal Guard Synthesis for Memory Safety (TD, ID, SC), pp. 491–507.
ICSTICST-2014-BallerLLS #incremental #multi #optimisation #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 #optimisation #product line
Automatic and Incremental Product Optimization for Software Product Lines (AD, RELH, AE), pp. 31–40.
IJCARIJCAR-2014-CerritoDG #atl #logic #satisfiability #testing
Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+ (SC, AD, VG), pp. 277–291.
ISSTAISSTA-2014-GotliebM #named #network #reduction #testing
FLOWER: optimal test suite reduction as a network maximum flow (AG, DM), pp. 171–180.
ISSTAISSTA-2014-LiJSCH #energy #optimisation #testing
Integrated energy-directed test suite optimization (DL, YJ, CS, JC, WGJH), pp. 339–350.
ISSTAISSTA-2014-NejatiB #constraints #cpu #identification #trade-off #using
Identifying optimal trade-offs between CPU time usage and temporal constraints using search (SN, LCB), pp. 351–361.
ICSTSAT-2014-HeymanSMLA #using
Dominant Controllability Check Using QBF-Solver and Netlist Optimizer (TH, DS, YM, LL, HAH), pp. 227–242.
VMCAIVMCAI-2014-LopesM #compilation #optimisation #synthesis
Weakest Precondition Synthesis for Compiler Optimizations (NPL, JM), pp. 203–221.
ECSAECSA-2013-PramsohlerSB #adaptation #architecture #component #middleware #towards
Towards an Optimized Software Architecture for Component Adaptation at Middleware Level (TP, SS, UB), pp. 266–281.
ASEASE-2013-SaadaHNS #model transformation #multi #optimisation #using
Recovering model transformation traces using multi-objective optimization (HS, MH, CN, HAS), pp. 688–693.
ASEASE-2013-SimburgerAGL #empirical #optimisation
The potential of polyhedral optimization: An empirical study (AS, SA, AG, CL), pp. 508–518.
CASECASE-2013-BjorkenstamGBCL #energy #industrial #performance #using
Energy efficient and collision free motion of industrial robots using optimal control (SB, DG, RB, JSC, BL), pp. 510–515.
CASECASE-2013-ChenTSPSSN #design #optimisation
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 #optimisation
Optimization of probe vehicle deployment for traffic status estimation (KCC, KS), pp. 880–885.
CASECASE-2013-DevesseRFW #realtime
A real-time optimal control method for swing-free tower crane motions (WD, MR, LF, JW), pp. 336–341.
CASECASE-2013-GiulianiCP #analysis #optimisation
A computational analysis of nondifferentiable optimization: Applications to production maximization in gas-lifted oil fields (CMG, EC, AP), pp. 286–291.
CASECASE-2013-KimLK #clustering #scheduling #tool support
Optimal scheduling of transient cycles for single-armed cluster tools (DKK, TEL, HJK), pp. 874–879.
CASECASE-2013-Lajunen #energy
Energy-optimal velocity profiles for electric city buses (AL), pp. 886–891.
CASECASE-2013-LinG #detection #framework #network #optimisation #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 #optimisation
A decentralized optimization method for energy saving of HVAC systems (ZL, XC, XX, XG), pp. 225–230.
CASECASE-2013-MartinezA #design
Optimal switched-type control design for a class of nonlinear systems (JCM, VA), pp. 1069–1074.
CASECASE-2013-SharabianiDBCND #machine learning #predict
Machine learning based prediction of warfarin optimal dosing for African American patients (AS, HD, AB, LC, EN, KD), pp. 623–628.
CASECASE-2013-ShenWWW #modelling #optimisation
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 #optimisation #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 #optimisation
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 #optimisation #scheduling
Integrated operating room scheduling optimization under particularly workload constrain of surgeon (BS, JS, LS), pp. 972–977.
CASECASE-2013-SunSSZS #heuristic #optimisation
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 #optimisation
A two-stage approach for VMAT treatment plan optimization (BS, JS, GZ, LS), pp. 455–460.
CASECASE-2013-WilsonM #design #estimation #parametricity
Optimal trajectory design for well-conditioned parameter estimation (ADW, TDM), pp. 13–19.
CASECASE-2013-XuJLYL #energy #optimisation #using
Optimal building energy management using intelligent optimization (YX, KJ, YL, YY, WL), pp. 95–99.
CASECASE-2013-YeWZML #approach #network #optimisation #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 #optimisation #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 #optimisation #parallel
Convergence analysis and parallel computing implementation for the multiagent coordination optimization algorithm with applications (HZ, QH), pp. 825–830.
DACDAC-2013-AgostaBMP #analysis
Compiler-based side channel vulnerability analysis and optimized countermeasures application (GA, AB, MM, GP), p. 6.
DACDAC-2013-CalimeraMP #constraints #energy #fault #scheduling
Energy-optimal SRAM supply voltage scheduling under lifetime and error constraints (AC, EM, MP), p. 6.
DACDAC-2013-JahnPKCH #configuration management #optimisation #pipes and filters
Optimizations for configuring and mapping software pipelines in many core systems (JJ, SP, SK, JJC, JH), p. 8.
DACDAC-2013-KimJK #algorithm #problem
An optimal algorithm of adjustable delay buffer insertion for solving clock skew variation problem (JK, DJ, TK), p. 6.
DACDAC-2013-KuruvillaSPVC #analysis #optimisation #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-LeeH #mobile
An optimized page translation for mobile virtualization (YCL, CwH), p. 6.
DACDAC-2013-LiuKL #optimisation
Optimization of placement solutions for routability (WHL, CKK, YLL), p. 9.
DACDAC-2013-LiuYLW #modelling #optimisation
Polyhedral model based mapping optimization of loop nests for CGRAs (DL, SY, LL, SW), p. 8.
DACDAC-2013-MinJP #energy #named #optimisation #reduction
XDRA: exploration and optimization of last-level cache for energy reduction in DDR DRAMs (SMM, HJ, SP), p. 10.
DACDAC-2013-RoyCPP #parallel #synthesis #towards #trade-off
Towards optimal performance-area trade-off in adders by synthesis of parallel prefix structures (SR, MRC, RP, DZP), p. 8.
DACDAC-2013-ShafaeiSP #architecture #distance #interactive #linear #nearest neighbour #optimisation #quantum
Optimization of quantum circuits for interaction distance in linear nearest neighbor architectures (AS, MS, MP), p. 6.
DACDAC-2013-ShafiqueRAH #fault #optimisation #reliability
Exploiting program-level masking and error propagation for constrained reliability optimization (MS, SR, PVA, JH), p. 9.
DACDAC-2013-SinghDK #energy #execution #multi #optimisation #streaming
Energy optimization by exploiting execution slacks in streaming applications on multiprocessor systems (AKS, AD, AK), p. 7.
DACDAC-2013-SongLPL #3d #multi #optimisation
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 #optimisation #synthesis
Handling design and implementation optimizations in equivalence checking for behavioral synthesis (ZY, SR, KH, FX), p. 6.
DACDAC-2013-ZhanSOTNX #design #embedded #energy #optimisation #realtime
Designing energy-efficient NoC for real-time embedded systems through slack optimization (JZ, NS, JO, LT, VN, YX), p. 6.
DATEDATE-2013-AliasDP #kernel #optimisation #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 #optimisation
Optimization techniques for craig interpolant compaction in unbounded model checking (GC, CL, DV), pp. 1417–1422.
DATEDATE-2013-ChenD #parallel #predict #simulation #using
Optimized out-of-order parallel discrete event simulation using predictions (WC, RD), pp. 3–8.
DATEDATE-2013-ChenHBK #energy #multi #optimisation #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 #optimisation
Resource-constrained high-level datapath optimization in ASIP design (YC, HZ), pp. 198–201.
DATEDATE-2013-Gomez-PradoCT #latency #optimisation #using
FPGA latency optimization using system-level transformations and DFG restructuring (DGP, MJC, RT), pp. 1553–1558.
DATEDATE-2013-GomonyAG #architecture #memory management #multi #realtime
Architecture and optimal configuration of a real-time multi-channel memory controller (MDG, BA, KG), pp. 1307–1312.
DATEDATE-2013-JiangEP #embedded #optimisation #set
Optimization of secure embedded systems with dynamic task sets (KJ, PE, ZP), pp. 1765–1770.
DATEDATE-2013-KatoenNWSS #energy #modelling #optimisation
Model-based energy optimization of automotive control systems (JPK, TN, HW, TS, DS), pp. 761–766.
DATEDATE-2013-KazmierskiWAM #energy #optimisation #performance
DoE-based performance optimization of energy management in sensor nodes powered by tunable energy-harvesters (TJK, LW, BMAH, GVM), p. 484.
DATEDATE-2013-KimYIBS #manycore #realtime #scheduling
Optimized scheduling of multi-IMA partitions with exclusive region for synchronized real-time multi-core systems (JEK, MKY, SI, RMB, LS), pp. 970–975.
DATEDATE-2013-ManiatakosMM #array #memory management #optimisation
AVF-driven parity optimization for MBU protection of in-core memory arrays (MM, MKM, YM), pp. 1480–1485.
DATEDATE-2013-StergiouJ #dataset #optimisation
Optimizing BDDs for time-series dataset manipulation (SS, JJ), pp. 1018–1021.
DATEDATE-2013-UnutulmazDF #optimisation #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 #optimisation
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-WangLPPC #energy #hybrid
Optimal control of a grid-connected hybrid electrical energy storage system for homes (YW, XL, MP, SP, NC), pp. 881–886.
DATEDATE-2013-YingHH #3d #performance
Fast and optimized task allocation method for low vertical link density 3-dimensional networks-on-chip based many core systems (HY, TH, KH), pp. 1777–1782.
DATEDATE-2013-YoonKBS #design #multi #optimisation #parametricity #scheduling
Holistic design parameter optimization of multiple periodic resources in hierarchical scheduling (MKY, JEK, RMB, LS), pp. 1313–1318.
DATEDATE-2013-ZhouMS #locality #optimisation #power management
Placement optimization of power supply pads based on locality (PZ, VM, SSS), pp. 1655–1660.
DocEngDocEng-2013-BilaucaH
Splitting wide tables optimally (MB, PH), pp. 249–252.
DRRDRR-2013-KumarPR #image #named #recognition #segmentation #word
NESP: Nonlinear enhancement and selection of plane for optimal segmentation and recognition of scene word images (DK, MNAP, AGR).
DRRDRR-2013-LipskyLN #policy
Optimal policy for labeling training samples (LL, DPL, GN).
ICDARICDAR-2013-LiMVC #distance #multi #optimisation
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 #optimisation #segmentation
Semi-automatic Tibetan Component Annotation from Online Handwritten Tibetan Character Database by Optimizing Segmentation Hypotheses (LLM, JW), pp. 1340–1344.
SIGMODSIGMOD-2013-DiaconuFILMSVZ #named #sql
Hekaton: SQL server’s memory-optimized OLTP engine (CD, CF, EI, PÅL, PM, RS, NV, MZ), pp. 1243–1254.
SIGMODSIGMOD-2013-GiannikisMAK #optimisation #using
Workload optimization using SharedDB (GG, DM, GA, DK), pp. 1045–1048.
SIGMODSIGMOD-2013-HuangB0 #data analysis #in the cloud #named #optimisation #statistics
Cumulon: optimizing statistical data analysis in the cloud (BH, SB, JY), pp. 1–12.
SIGMODSIGMOD-2013-LeLTC #database #multi
Optimal splitters for temporal and multi-version databases (WL, FL, YT, RC), pp. 109–120.
SIGMODSIGMOD-2013-LimB #execution #optimisation #query
Execution and optimization of continuous queries with cyclops (HL, SB), pp. 1069–1072.
SIGMODSIGMOD-2013-LongWYJ #on the #worst-case
On optimal worst-case matching (CL, RCWW, PSY, MJ), pp. 845–856.
VLDBVLDB-2013-BrunatoB #learning #optimisation
Learning and Intelligent Optimization (LION): One Ring to Rule Them All (MB, RB), pp. 1176–1177.
VLDBVLDB-2013-BrunoJZ #optimisation #query
Continuous Cloud-Scale Query Optimization and Processing (NB, SJ, JZ), pp. 961–972.
VLDBVLDB-2013-ChasseurP #database #design #evaluation #in memory #memory management
Design and Evaluation of Storage Organizations for Read-Optimized Main Memory Databases (CC, JMP), pp. 1474–1485.
VLDBVLDB-2013-CherniakZZ #optimisation #testing
Optimization Strategies for A/B Testing on HADOOP (AC, HZ, VZ), pp. 973–984.
VLDBVLDB-2013-DuttaNB #approach #approximate #data type #detection #streaming
Streaming Quotient Filter: A Near Optimal Approximate Duplicate Detection Approach for Data Streams (SD, AN, SKB), pp. 589–600.
VLDBVLDB-2013-Elmeleegy #named #optimisation
Piranha: Optimizing Short Jobs in Hadoop (KE), pp. 985–996.
VLDBVLDB-2013-FarnanLCY #named #query
PAQO: A Preference-Aware Query Optimizer for PostgreSQL (NLF, AJL, PKC, TY), pp. 1334–1337.
VLDBVLDB-2013-MottinMRDPV #framework #optimisation #probability #problem
A Probabilistic Optimization Framework for the Empty-Answer Problem (DM, AM, SBR, GD, TP, YV), pp. 1762–1773.
VLDBVLDB-2013-ParkW #crowdsourcing #optimisation #query
Query Optimization over Crowdsourced Data (HP, JW), pp. 781–792.
VLDBVLDB-2013-TranBD #big data #design #problem #query
Designing Query Optimizers for Big Data Problems of The Future (NT, SB, JD), pp. 1168–1169.
VLDBVLDB-2014-OnizukaKHNH13 #optimisation #pipes and filters #query
Optimization for iterative queries on MapReduce (MO, HK, SH, KN, ZH), pp. 241–252.
VLDBVLDB-2014-ShuaiYYC13 #optimisation #process #social
Willingness Optimization for Social Group Activity (HHS, DNY, PSY, MSC), pp. 253–264.
VLDBVLDB-2014-WangC13 #framework #multi #optimisation #pipes and filters
Multi-Query Optimization in MapReduce Framework (GW, CYC), pp. 145–156.
FASEFASE-2013-AbdallahGHJ #constraints #optimisation
Scenario Realizability with Constraint Optimization (RA, AG, LH, CJ), pp. 194–209.
TACASTACAS-2013-KempfBM #nondeterminism #probability #scheduling
As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty (JFK, MB, OM), pp. 385–400.
CSMRCSMR-2013-NerellaMW #approach #optimisation #query #using
An Approach for Optimization of Object Queries on Collections Using Annotations (VKSN, SKM, TW), pp. 273–282.
ICSMEICSM-2013-KrishnanT #optimisation #problem #refactoring
Refactoring Clones: An Optimization Problem (GPK, NT), pp. 360–363.
ICSMEICSM-2013-Lopez-HerrejonCFEA #multi #product line #testing
Multi-objective Optimal Test Suite Computation for Software Product Line Pairwise Testing (RELH, JFC, JF, AE, EA), pp. 404–407.
PLDIPLDI-2013-CheungSM #optimisation #query #synthesis
Optimizing database-backed applications with query synthesis (AC, ASL, SM), pp. 3–14.
PLDIPLDI-2013-Ragan-KelleyBAPDA #compilation #image #locality #named #optimisation #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 #optimisation #verification
Formal verification of SSA-based optimizations for LLVM (JZ, SN, MMKM, SZ), pp. 175–186.
STOCSTOC-2013-ChakrabartyS13a #bound #testing
Optimal bounds for monotonicity and lipschitz testing over hypercubes and hypergrids (DC, CS), pp. 419–428.
STOCSTOC-2013-ElkinS
Optimal euclidean spanners: really short, thin and lanky (ME, SS), pp. 645–654.
STOCSTOC-2013-LiY #approximate #combinator #optimisation #probability
Stochastic combinatorial optimization via poisson approximation (JL, WY), pp. 971–980.
STOCSTOC-2013-Miller #graph #optimisation #problem #scalability #using
Solving large optimization problems using spectral graph theory (GLM), p. 981.
CIAACIAA-2013-Maletti #automaton
Hyper-optimization for Deterministic Tree Automata (AM), pp. 244–255.
ICALPICALP-v1-2013-AumullerD #clustering
Optimal Partitioning for Dual Pivot Quicksort — (Extended Abstract) (MA, MD), pp. 33–44.
ICALPICALP-v1-2013-BabenkoGGN #algorithm #optimisation
Algorithms for Hub Label Optimization (MAB, AVG, AG, VN), pp. 69–80.
ICALPICALP-v1-2013-BlasiusRW #graph #orthogonal
Optimal Orthogonal Graph Drawing with Convex Bend Costs (TB, IR, DW), pp. 184–195.
ICALPICALP-v1-2013-DeDS #algorithm #analysis #difference #fourier #geometry #robust
A Robust Khintchine Inequality, and Algorithms for Computing Optimal Constants in Fourier Analysis and High-Dimensional Geometry (AD, ID, RAS), pp. 376–387.
ICALPICALP-v2-2013-MertziosMCS #constraints #network #optimisation
Temporal Network Optimization Subject to Connectivity Constraints (GBM, OM, IC, PGS), pp. 657–668.
ICFPICFP-2013-Balabonski
Weak optimality, and the meaning of sharing (TB), pp. 263–274.
ICFPICFP-2013-JohnsonLMH #automaton #optimisation
Optimizing abstract abstract machines (JIJ, NL, MM, DVH), pp. 443–454.
CHICHI-2013-LomasPFK #challenge #design #education #game studies #optimisation #scalability #using
Optimizing challenge in an educational game using large-scale design experiments (DL, KP, JF, KRK), pp. 89–98.
HCIDHM-HB-2013-ZhangZLDW #optimisation
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 #optimisation #search-based
A Proposal for Optimization Method of Vibration Pattern of Mobile Device with Interactive Genetic Algorithm (MF, TI), pp. 264–269.
HCIHCI-AS-2013-PlischkeSPK #specification #standard
Human Adequate Lighting in Optimal Healing Environments — Measuring Non-visual Light Effects of a LED Light Source According to German Draft Pre-standard DIN SPEC 5031-100: 2012 (HP, CS, PP, NK), pp. 163–172.
HCIHIMI-D-2013-KomineN #evaluation #optimisation #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.
HCIHIMI-LCCB-2013-TakadamaSHISHSY #comprehension #interactive #multi #towards
Towards Understanding of Relationship among Pareto Optimal Solutions in Multi-dimensional Space via Interactive System (KT, YS, TH, YI, KS, KH, HS, TY), pp. 137–146.
HILTHILT-2013-EfstathopoulosH #optimisation #verification
Optimizing verification effort with SPARK 2014 (PE, AH), pp. 19–20.
CAiSECAiSE-2013-RamirezBVW #generative #multi #process
Generating Multi-objective Optimized Business Process Enactment Plans (AJR, IB, CDV, BW), pp. 99–115.
ICEISICEIS-J-2013-HarbuschP13a #exclamation #optimisation #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 #optimisation
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 #optimisation #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 #optimisation #performance
Data Location Optimization Method to Improve Tiered Storage Performance (SH, NK), pp. 112–119.
ICEISICEIS-v1-2013-NganBEB #capacity #energy #framework
A Decision-Guided Energy Framework for Optimal Power, Heating, and Cooling Capacity Investment (CKN, AB, NEE, EB), pp. 357–369.
ICEISICEIS-v2-2013-KimMMK #optimisation #visualisation
Application of Information Technology for Visualizing and Optimizing Construction Project Schedule (HSK, SYM, HSM, LSK), pp. 329–332.
ICEISICEIS-v2-2013-OgataK #multi #optimisation #parametricity
The Parameter Optimization in Multiple Layered Deduplication System (MO, NK), pp. 143–150.
CIKMCIKM-2013-LinYM #named #pipes and filters #sql
MRPacker: an SQL to mapreduce optimizer (XL, YY, SM), pp. 1157–1160.
CIKMCIKM-2013-ManiuC #performance #social
Network-aware search in social tagging applications: instance optimality versus efficiency (SM, BC), pp. 939–948.
ECIRECIR-2013-MetrikovPA #consistency #nondeterminism #optimisation
Optimizing nDCG Gains by Minimizing Effect of Label Inconsistency (PM, VP, JAA), pp. 760–763.
ECIRECIR-2013-YasudaNHN #combinator #optimisation
Sub-sentence Extraction Based on Combinatorial Optimization (NY, MN, TH, MN), pp. 812–815.
ICMLICML-c1-2013-BergstraYC #architecture #optimisation
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 #optimisation
Near-optimal Batch Mode Active Learning and Adaptive Submodular Optimization (YC, AK), pp. 160–168.
ICMLICML-c1-2013-CotterSS #learning
Learning Optimally Sparse Support Vector Machines (AC, SSS, NS), pp. 266–274.
ICMLICML-c1-2013-GrinbergP #optimisation
Average Reward Optimization Objective In Partially Observable Domains (YG, DP), pp. 320–328.
ICMLICML-c1-2013-Hennig #optimisation #performance #probability
Fast Probabilistic Optimization from Noisy Gradients (PH), pp. 62–70.
ICMLICML-c1-2013-Jaggi #optimisation
Revisiting Frank-Wolfe: Projection-Free Sparse Convex Optimization (MJ), pp. 427–435.
ICMLICML-c1-2013-KumarLVV #bound
Near-Optimal Bounds for Cross-Validation via Loss Stability (RK, DL, SV, AV), pp. 27–35.
ICMLICML-c1-2013-Lacoste-JulienJSP #coordination #optimisation
Block-Coordinate Frank-Wolfe Optimization for Structural SVMs (SLJ, MJ, MWS, PP), pp. 53–61.
ICMLICML-c1-2013-MaillardNOR #bound #learning #representation
Optimal Regret Bounds for Selecting the State Representation in Reinforcement Learning (OAM, PN, RO, DR), pp. 543–551.
ICMLICML-c1-2013-NarasimhanA #approach #optimisation
A Structural SVM Based Approach for Optimizing Partial AUC (HN, SA), pp. 516–524.
ICMLICML-c1-2013-RamdasS #optimisation #probability
Optimal rates for stochastic convex optimization under Tsybakov noise condition (AR, AS), pp. 365–373.
ICMLICML-c1-2013-Shamir0 #convergence #optimisation #probability
Stochastic Gradient Descent for Non-smooth Optimization: Convergence Results and Optimal Averaging Schemes (OS, TZ), pp. 71–79.
ICMLICML-c1-2013-SznitmanLFJF #locality #policy
An Optimal Policy for Target Localization with Application to Electron Microscopy (RS, AL, PIF, BJ, PF), pp. 1–9.
ICMLICML-c1-2013-XiangTY #feature model #optimisation #performance
Efficient Sparse Group Feature Selection via Nonconvex Optimization (SX, XT, JY), pp. 284–292.
ICMLICML-c1-2013-ZuluagaSKP #learning #multi #optimisation
Active Learning for Multi-Objective Optimization (MZ, GS, AK, MP), pp. 462–470.
ICMLICML-c2-2013-CarpentierM #integration #monte carlo #towards
Toward Optimal Stratification for Stratified Monte-Carlo Integration (AC, RM), pp. 28–36.
ICMLICML-c2-2013-ErmonGSS #integration #optimisation
Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization (SE, CPG, AS, BS), pp. 334–342.
ICMLICML-c2-2013-GongZLHY #algorithm #optimisation #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 #optimisation #probability
Stochastic Simultaneous Optimistic Optimization (MV, AC, RM), pp. 19–27.
ICMLICML-c2-2013-YangPK #optimisation #scalability #visualisation
Scalable Optimization of Neighbor Embedding for Visualization (ZY, JP, SK), pp. 127–135.
ICMLICML-c3-2013-ChenLZ #crowdsourcing #policy
Optimistic Knowledge Gradient Policy for Optimal Budget Allocation in Crowdsourcing (XC, QL, DZ), pp. 64–72.
ICMLICML-c3-2013-DembczynskiJKWH #approach #classification #multi #optimisation #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 #optimisation
One-Pass AUC Optimization (WG, RJ, SZ, ZHZ), pp. 906–914.
ICMLICML-c3-2013-GoschinWL
The Cross-Entropy Method Optimizes for Quantiles (SG, AW, MLL), pp. 1193–1201.
ICMLICML-c3-2013-IyerJB #optimisation #performance
Fast Semidifferential-based Submodular Function Optimization (RKI, SJ, JAB), pp. 855–863.
ICMLICML-c3-2013-KarninKS #multi
Almost Optimal Exploration in Multi-Armed Bandits (ZSK, TK, OS), pp. 1238–1246.
ICMLICML-c3-2013-Mairal #first-order #optimisation
Optimization with First-Order Surrogate Functions (JM), pp. 783–791.
ICMLICML-c3-2013-NguyenS #algorithm #classification #optimisation
Algorithms for Direct 0-1 Loss Optimization in Binary Classification (TN, SS), pp. 1085–1093.
ICMLICML-c3-2013-TeschSC #optimisation #probability
Expensive Function Optimization with Stochastic Binary Outcomes (MT, JGS, HC), pp. 1283–1291.
ICMLICML-c3-2013-ZhangYJH #optimisation #probability
O(logT) Projections for Stochastic Optimization of Smooth and Strongly Convex Functions (LZ, TY, RJ, XH), pp. 1121–1129.
ICMLICML-c3-2013-ZhangYJLH #bound #kernel #learning #online
Online Kernel Learning with a Near Optimal Sparsity Bound (LZ, JY, RJ, ML, XH), pp. 621–629.
KDDKDD-2013-ChenLYSY #clustering #optimisation #query
Query clustering based on bid landscape for sponsored search auction optimization (YC, WL, JY, AS, TWY), pp. 1150–1158.
KDDKDD-2013-KaramshukNSNM #mining #named #online
Geo-spotting: mining online location-based services for optimal retail store placement (DK, AN, SS, VN, CM), pp. 793–801.
KDDKDD-2013-NarasimhanA #bound #named #optimisation
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 #optimisation #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 #optimisation #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 #optimisation #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 #optimisation
Auto-WEKA: combined selection and hyperparameter optimization of classification algorithms (CT, FH, HHH, KLB), pp. 847–855.
KDDKDD-2013-TsourakakisBGGT #clique #quality
Denser than the densest subgraph: extracting optimal quasi-cliques with quality guarantees (CET, FB, AG, FG, MAT), pp. 104–112.
KDDKDD-2013-Wright #data analysis #learning #optimisation
Optimization in learning and data analysis (SJW), p. 3.
KDDKDD-2013-ZhengM #optimisation #parallel
Optimizing parallel belief propagation in junction treesusing regression (LZ, OJM), pp. 757–765.
MLDMMLDM-2013-SharmaG #detection
Optimal Time Segments for Stress Detection (NS, TG), pp. 421–433.
RecSysRecSys-2013-HammarKN #e-commerce #recommendation #using
Using maximum coverage to optimize recommendation systems in e-commerce (MH, RK, BJN), pp. 265–272.
RecSysRecSys-2013-ShiKBLH #multi #named #optimisation #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 #optimisation #retrieval
Class Diagram Retrieval with Particle Swarm Optimization (WKGA, SRV), pp. 632–637.
SEKESEKE-2013-BelleEDM #architecture #optimisation #problem #question
The Layered Architecture revisited: Is it an Optimization Problem? (ABB, GEB, CD, HM), pp. 344–349.
SIGIRSIGIR-2013-AlabduljalilTY #optimisation #performance #similarity
Cache-conscious performance optimization for similarity search (MA, XT, TY), pp. 713–722.
SIGIRSIGIR-2013-RaiberCK #optimisation
Shame to be sham: addressing content-based grey hat search engine optimization (FR, KCT, OK), pp. 1013–1016.
SIGIRSIGIR-2013-UrbanoMM13a #comparison #evaluation #information retrieval #statistics #testing
A comparison of the optimality of statistical significance tests for information retrieval evaluation (JU, MM, DM), pp. 925–928.
SIGIRSIGIR-2013-ZhangCWY #collaboration #optimisation
Optimizing top-n collaborative filtering via dynamic negative item sampling (WZ, TC, JW, YY), pp. 785–788.
ECOOPECOOP-2013-WuZSGSY #fault #optimisation #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 #optimisation #parallel
Online feedback-directed optimizations for parallel Java code (AN, TRG), pp. 713–728.
OOPSLAOOPSLA-2013-ShiBH #optimisation #using
Code optimizations using formally verified properties (YS, BB, GH), pp. 427–442.
OOPSLAOOPSLA-2013-Xu #named #optimisation #profiling #source code
Resurrector: a tunable object lifetime profiling technique for optimizing real-world programs (G(X), pp. 111–130.
POPLPOPL-2013-RompfSABJLJOO #compilation #data type #optimisation #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.
SACSAC-2013-CostaFLAV #metaheuristic #optimisation #statistics
Optimization metaheuristics for minimizing variance in a real-world statistical application (EC, FF, ARL, HA, FMV), pp. 206–207.
SACSAC-2013-FlushingC #network #optimisation
A flow-based optimization model for throughput-oriented relay node placement in wireless sensor networks (EFF, GADC), pp. 632–639.
SACSAC-2013-GaudesiMMST #design #optimisation
Evolutionary optimization of wetlands design (MG, AM, TM, GS, APT), pp. 176–181.
SACSAC-2013-KimGKTSK #optimisation
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 #optimisation
Risk-neutral bounded max-sum for distributed constraint optimization (JL, ER), pp. 92–97.
SACSAC-2013-LeitaoC #adaptation #detection #optimisation #performance #using #xml
Efficient XML duplicate detection using an adaptive two-level optimization (LL, PC), pp. 832–837.
SACSAC-2013-SinghR #algorithm #architecture #optimisation #predict
Meta-learning based architectural and algorithmic optimization for achieving green-ness in predictive workload analytics (NS, SR), pp. 1169–1176.
ESEC-FSEESEC-FSE-2013-JiangLZDSGS #design #embedded #multi #optimisation #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 #optimisation #search-based
Search-based genetic optimization for deployment and reconfiguration of software in the cloud (SF, FF, WH), pp. 512–521.
ICSEICSE-2013-KasiS #named #scheduling
Cassandra: proactive conflict minimization through optimized task scheduling (BKK, AS), pp. 732–741.
ICSEICSE-2013-NiuMCB #comprehension #information management #requirements
Departures from optimality: understanding human analyst’s information foraging in assisted requirements tracing (NN, AM, ZC, GB), pp. 572–581.
ICSEICSE-2013-Oster #component #reasoning
Reasoning with qualitative preferences to develop optimal component-based systems (ZJO), pp. 1456–1458.
SPLCSPLC-2013-MurashkinARC #product line #visualisation
Visualization and exploration of optimal variants in product line engineering (AM, MA, DR, KC), pp. 111–115.
ASPLOSASPLOS-2013-WangW #hardware #named #optimisation #performance
TSO_ATOMICITY: efficient hardware primitive for TSO-preserving region optimizations (CW, YW), pp. 509–520.
CCCC-2013-BaranyK #heuristic
Optimal and Heuristic Global Code Motion for Minimal Spilling (GB, AK), pp. 21–40.
CCCC-2013-CammarotaNVKDM #on the #optimisation
On the Determination of Inlining Vectors for Program Optimization (RC, AN, AVV, AK, DD, MM), pp. 164–183.
CCCC-2013-Krause #polynomial
Optimal Register Allocation in Polynomial Time (PKK), pp. 1–20.
CGOCGO-2013-LaiS #analysis #bound #optimisation #performance
Performance upper bound analysis and optimization of SGEMM on Fermi and Kepler GPUs (JL, AS), p. 10.
CGOCGO-2013-SuiLX #adaptation #compilation #optimisation
Query-directed adaptive heap cloning for optimizing compilers (YS, YL, JX), p. 11.
HPCAHPCA-2013-ChangRLJ #comparison #energy #scalability
Technology comparison for large last-level caches (L3Cs): Low-leakage SRAM, low write-energy STT-RAM, and refresh-optimized eDRAM (MTC, PR, SLL, BJ), pp. 143–154.
HPCAHPCA-2013-GoswamiCL #architecture #memory management #throughput #using
Power-performance co-optimization of throughput core architecture using resistive memory (NG, BC, TL), pp. 342–353.
HPCAHPCA-2013-RaoWZX #manycore #optimisation #scheduling #virtual machine
Optimizing virtual machine scheduling in NUMA multicore systems (JR, KW, XZ, CZX), pp. 306–317.
HPCAHPCA-2013-TangMZHHT #experience #optimisation
Optimizing Google’s warehouse scale computers: The NUMA experience (LT, JM, XZ, RH, RH, ET), pp. 188–197.
HPDCHPDC-2013-CuiBLD #optimisation #performance
Virtual TCP offload: optimizing ethernet overlay performance on advanced interconnects (ZC, PGB, JRL, PAD), pp. 49–60.
LCTESLCTES-2013-MehiaouiWPMNZBLG #clustering #distributed #optimisation
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.
PPoPPPPoPP-2013-LifflanderMK #detection #fault tolerance #protocol #termination
Adoption protocols for fanout-optimal fault-tolerant termination detection (JL, PM, LVK), pp. 13–22.
PPoPPPPoPP-2013-LiuDJK #architecture #layout #optimisation
Data layout optimization for GPGPU architectures (JL, WD, OJ, MTK), pp. 283–284.
PPoPPPPoPP-2013-PadmanabhanCC #composition #streaming
Decomposition techniques for optimal design-space exploration of streaming applications (SP, YC, RDC), pp. 285–286.
SOSPSOSP-2013-WangZKS #behaviour #towards
Towards optimization-safe systems: analyzing the impact of undefined behavior (XW, NZ, MFK, ASL), pp. 260–275.
ICLPICLP-J-2013-ErdemPSSU #approach #multi
Finding optimal plans for multiple teams of robots through a mediator: A logic-based approach (EE, VP, ZGS, PS, TU), pp. 831–846.
ISSTAISSTA-2013-PurandareDE #finite #monitoring #optimisation
Optimizing monitoring of finite state properties through monitor compaction (RP, MBD, SGE), pp. 280–290.
LICSLICS-2013-HeimbergKS #bound #normalisation
An Optimal Gaifman Normal Form Construction for Structures of Bounded Degree (LH, DK, NS), pp. 63–72.
ICSTSAT-2013-FingerLGS #constraints #probability #satisfiability #using
Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability (MF, RL, CPG, BS), pp. 233–249.
QoSAQoSA-2012-Marzolla #energy #optimisation #scalability
Optimizing the energy consumption of large-scale applications (MM), pp. 123–132.
CASECASE-2012-KoJJ #automation #modelling #optimisation
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 #optimisation
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 #optimisation
On numerical optimization design of continuous-time feedback type quantizer for networked control systems (KS, SS), pp. 1144–1149.
CASECASE-2012-TurkiZN #maintenance
Impact of delivery time on optimal production/delivery/maintenance planning (ST, HZ, NR), pp. 335–340.
CASECASE-2012-YanCLWC #scheduling
Optimization-based litho machine scheduling with load balancing and reticle expiration (BY, HYC, PBL, SW, JC), pp. 575–580.
CASECASE-2012-ZhangLCCJ #set #simulation
An improved simulation budget allocation procedure to efficiently select the optimal subset of many alternatives (SZ, LHL, EPC, CHC, HYJ), pp. 230–236.
DACDAC-2012-ChangJC #configuration management #optimisation #using
Timing ECO optimization using metal-configurable gate-array spare cells (HYC, IHRJ, YWC), pp. 802–807.
DACDAC-2012-CongL #architecture #metric #optimisation #synthesis
A metric for layout-friendly microarchitecture optimization in high-level synthesis (JC, BL), pp. 1239–1244.
DACDAC-2012-CongZZ #memory management #optimisation #synthesis
Optimizing memory hierarchy allocation with loop transformations for high-level synthesis (JC, PZ, YZ), pp. 1233–1238.
DACDAC-2012-JungCK #optimisation #variability
Variability-aware, discrete optimization for analog circuits (SJ, YC, JK), pp. 536–541.
DACDAC-2012-KuangBK #manycore #network #optimisation
Traffic-aware power optimization for network applications on multicore servers (JK, LNB, RK), pp. 1006–1011.
DACDAC-2012-LinWYSCP #configuration management
Near-optimal, dynamic module reconfiguration in a photovoltaic system to combat partial shading effects (XL, YW, SY, DS, NC, MP), pp. 516–521.
DACDAC-2012-LiuH12a #named #optimisation
ComPLx: A Competitive Primal-dual Lagrange Optimization for Global Placement (MCK, ILM), pp. 747–752.
DACDAC-2012-MengKC #3d #constraints #energy #manycore #optimisation #performance
Optimizing energy efficiency of 3-D multicore systems with stacked DRAM under power and thermal constraints (JM, KK, AKC), pp. 648–655.
DACDAC-2012-RanieriVCAV #algorithm #manycore #named
EigenMaps: algorithms for optimal thermal maps extraction and sensor placement on multicore processors (JR, AV, AC, DA, MV), pp. 636–641.
DACDAC-2012-UkhovBEP #analysis #embedded #multi #optimisation #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 #optimisation #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 #optimisation #testing
Test-data volume optimization for diagnosis (HW, OP, XY, SL, IK, RDB), pp. 567–572.
DACDAC-2012-WeiLKP #benchmark #hardware #metric
Hardware Trojan horse benchmark via optimal creation and placement of malicious circuitry (SW, KL, FK, MP), pp. 90–95.
DACDAC-2012-WelpKK #optimisation
Generalized SAT-sweeping for post-mapping optimization (TW, SK, AK), pp. 814–819.
DACDAC-2012-YeC #3d #fault
TSV open defects in 3D integrated circuits: characterization, test, and optimal spare allocation (FY, KC), pp. 1024–1030.
DACDAC-2012-ZhaoJDZKI #design #hybrid #multi #optimisation
A hybrid NoC design for cache coherence optimization for chip multiprocessors (HZ, OJ, WD, YZ, MTK, MJI), pp. 834–842.
DACDAC-2012-ZhouLCKQY #framework #monitoring
An information-theoretic framework for optimal temperature sensor allocation and full-chip thermal monitoring (HZ, XL, CYC, EK, HQ, SCY), pp. 642–647.
DATEDATE-2012-FirouziKT
NBTI mitigation by optimized NOP assignment and insertion (FF, SK, MBT), pp. 218–223.
DATEDATE-2012-GuptaPMR #optimisation
Layout-aware optimization of stt mrams (SKG, SPP, NNM, KR), pp. 1455–1458.
DATEDATE-2012-JiangSCBP #algorithm #constraints #generative #memory management #on the
On the optimality of K longest path generation algorithm under memory constraints (JJ, MS, AC, BB, IP), pp. 418–423.
DATEDATE-2012-JuanCMC #modelling #optimisation #power management #statistics
Statistical thermal modeling and optimization considering leakage power variations (DCJ, YLC, DM, YWC), pp. 605–610.
DATEDATE-2012-KnoedlerSLJHKSBZ #energy
Optimal energy management and recovery for FEV (KK, JS, SL, SJ, AH, EK, DS, OB, JZ), pp. 683–684.
DATEDATE-2012-LiangCZRZJC #3d #implementation #locality #optimisation #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 #optimisation
Agglomerative-based flip-flop merging with signal wirelength optimization (SYL, CJL, HMC), pp. 1391–1396.
DATEDATE-2012-MahmoodPLM #clustering #energy #memory management #optimisation
Application-specific memory partitioning for joint energy and lifetime optimization (HM, MP, ML, EM), pp. 364–369.
DATEDATE-2012-MakosiejTVA #design #embedded #optimisation #power management
Stability and yield-oriented ultra-low-power embedded 6T SRAM cell design optimization (AM, OT, AV, AA), pp. 93–98.
DATEDATE-2012-Mancini #kernel #memory management #synthesis
Enhancing non-linear kernels by an optimized memory hierarchy in a High Level Synthesis flow (SM, FR), pp. 1130–1133.
DATEDATE-2012-NazinMR #optimisation
Yield optimization for radio frequency receiver at system level (SAN, DM, AR), pp. 848–851.
DATEDATE-2012-RofoueiGPM #energy #optimisation
Optimization intensive energy harvesting (MR, MAG, MP, AMN), pp. 272–275.
DATEDATE-2012-SekaninaV #optimisation #polymorphism #satisfiability
A SAT-based fitness function for evolutionary optimization of polymorphic circuits (LS, ZV), pp. 715–720.
DATEDATE-2012-SinkarWK #manycore #optimisation #performance
Workload-aware voltage regulator optimization for power efficient multi-core processors (AAS, HW, NSK), pp. 1134–1137.
DATEDATE-2012-ThieleE #analysis #data flow #graph #optimisation #performance
Optimizing performance analysis for synchronous dataflow graphs with shared resources (DT, RE), pp. 635–640.
DATEDATE-2012-VyagrheswaruduDR #framework #interactive #named #optimisation
PowerAdviser: An RTL power platform for interactive sequential optimizations (NV, SD, AR), pp. 550–553.
DATEDATE-2012-WangH #compilation #embedded #optimisation #simulation
Accurate source-level simulation of embedded software with respect to compiler optimizations (ZW, JH), pp. 382–387.
DATEDATE-2012-ZimmermannBR #analysis #multi #power management
Analysis of multi-domain scenarios for optimized dynamic power management strategies (JZ, OB, WR), pp. 862–865.
DocEngDocEng-2012-GangeMS #layout
Optimal guillotine layout (GG, KM, PJS), pp. 13–22.
DRRDRR-2012-ChengWAST #algorithm #classification #image #optimisation #visual notation
Graphical image classification combining an evolutionary algorithm and binary particle swarm optimization (BC, RW, SA, RJS, GRT).
PODSPODS-2012-LetelierPPS #optimisation #query #semantics #static analysis #web
Static analysis and optimization of semantic web queries (AL, JP, RP, SS), pp. 89–100.
PODSPODS-2012-NgoPRR #algorithm #worst-case
Worst-case optimal join algorithms: [extended abstract] (HQN, EP, CR, AR), pp. 37–48.
PODSPODS-2012-XuT #clustering #on the
On the optimality of clustering properties of space filling curves (PX, ST), pp. 215–224.
SIGMODSIGMOD-2012-0002S #optimisation #query
Holistic optimization by prefetching query results (KR, SS), pp. 133–144.
SIGMODSIGMOD-2012-BrunoAKSWZ #optimisation
Recurring job optimization in scope (NB, SA, SK, BS, MCW, JZ), pp. 805–806.
SIGMODSIGMOD-2012-DingWJHW #keyword #optimisation #taxonomy
Optimizing index for taxonomy keyword search (BD, HW, RJ, JH, ZW), pp. 493–504.
SIGMODSIGMOD-2012-GhazalSCA #adaptation #optimisation #query #recursion
Adaptive optimizations of recursive queries in teradata (AG, DYS, AC, MAK), pp. 851–860.
SIGMODSIGMOD-2012-LuSLDWC #generative
Optimal top-k generation of attribute combinations based on ranked lists (JL, PS, CL, XD, SW, XC), pp. 409–420.
SIGMODSIGMOD-2012-OrdonezGC #optimisation #query #sql
Dynamic optimization of generalized SQL queries with horizontal aggregations (CO, JGG, ZC), pp. 637–640.
SIGMODSIGMOD-2012-ShankarNACEHRSDG #optimisation #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 #optimisation
Optimizing analytic data flows for multiple execution engines (AS, KW, MC, UD), pp. 829–840.
VLDBVLDB-2012-CaoCCX #keyword
Keyword-aware Optimal Route Search (XC, LC, GC, XX), pp. 1136–1147.
VLDBVLDB-2012-CaoCLT #optimisation
Optimization of Analytic Window Functions (YC, CYC, JL, KLT), pp. 1244–1255.
VLDBVLDB-2012-HueskePSRBKT #black box #data flow #optimisation
Opening the Black Boxes in Data Flow Optimization (FH, MP, MS, AR, RB, AK, KT), pp. 1256–1267.
VLDBVLDB-2012-LimHB #named #pipes and filters #workflow
Stubby: A Transformation-based Optimizer for MapReduce Workflows (HL, HH, SB), pp. 1196–1207.
VLDBVLDB-2012-LiuRLMB #constraints #declarative #distributed #framework #named #optimisation
Cologne: A Declarative Distributed Constraint Optimization Platform (CL, LR, BTL, YM, PB), pp. 752–763.
VLDBVLDB-2012-ShengZTJ #algorithm #crawling #database #web
Optimal Algorithms for Crawling a Hidden Database in the Web (CS, NZ, YT, XJ), pp. 1112–1123.
VLDBVLDB-2012-UpadhyayaBS #how #in the cloud #optimisation
How to Price Shared Optimizations in the Cloud (PU, MB, DS), pp. 562–573.
VLDBVLDB-2012-XuTW #database #energy #named #optimisation #query
PET: Reducing Database Energy Cost via Query Optimization (ZX, YCT, XW), pp. 1954–1957.
VLDBVLDB-2012-YuanZWXYH #difference #optimisation #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 #optimisation
Optimizing I/O for Big Array Analytics (YZ, JY), pp. 764–775.
WRLAWRLA-J-2010-EscobarSM12 #termination
Folding variant narrowing and optimal variant termination (SE, RS, JM), pp. 898–928.
CSMRCSMR-2012-SoetensD #named #optimisation
ChEOPSJ: Change-Based Test Optimization (QDS, SD), pp. 535–538.
SCAMSCAM-2012-WilcoxSB #optimisation #program transformation
Optimizing Expression Selection for Lookup Table Program Transformation (CW, MMS, JMB), pp. 84–93.
PEPMPEPM-2012-GorbovitskiLSR #optimisation
Composing transformations for instrumentation and optimization (MG, YAL, SDS, TR), pp. 53–62.
STOCSTOC-2012-AdamaszekCER #online #scheduling
Optimal online buffer scheduling for block devices (AA, AC, ME, HR), pp. 589–598.
STOCSTOC-2012-BrunschR #analysis #multi #optimisation
Improved smoothed analysis of multiobjective optimization (TB, HR), pp. 407–426.
STOCSTOC-2012-DeDFS #approximate #parametricity #problem
Nearly optimal solutions for the chow parameters problem and low-weight approximation of halfspaces (AD, ID, VF, RAS), pp. 729–746.
STOCSTOC-2012-GuruswamiX
Folded codes from function field towers and improved optimal rate list decoding (VG, CX), pp. 339–350.
STOCSTOC-2012-HassaniehIKP #fourier
Nearly optimal sparse fourier transform (HH, PI, DK, EP), pp. 563–578.
STOCSTOC-2012-MuthukrishnanN
Optimal private halfspace counting via discrepancy (SM, AN), pp. 1285–1292.
ICALPICALP-v1-2012-ShiW #optimisation
Epsilon-Net Method for Optimizations over Separable States (YS, XW), pp. 798–809.
FMFM-2012-ZhaoZKL #approach #case study #hybrid #industrial
A “Hybrid” Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example (HZ, NZ, DK, KGL), pp. 471–485.
SEFMSEFM-2012-AbdelhalimST #approach #effectiveness #model checking #optimisation
An Optimization Approach for Effective Formalized fUML Model Checking (IA, SS, HT), pp. 248–262.
GT-VMTGT-VMT-2012-AnjorinOZS #graph transformation #modelling #optimisation #product line #testing
Optimizing Model-Based Software Product Line Testing with Graph Transformations (AA, SO, IZ, AS).
CHICHI-2012-DunlopL #multi #optimisation
Multidimensional pareto optimization of touchscreen keyboards for speed, familiarity and improved spell checking (MDD, JL), pp. 2669–2678.
CSCWCSCW-2012-JunuzovicD #collaboration #self #towards
Towards self-optimizing collaborative systems (SJ, PD), pp. 1421–1430.
ICEISICEIS-v1-2012-Ali #data flow #integration #optimisation #query #web
Optimizing Data Integration Queries over Web Data Sources (OPTIQ) (MIA), pp. 163–168.
CIKMCIKM-2012-BalakrishnanB #optimisation #realtime
Real-time bid optimization for group-buying ads (RB, RPB), pp. 1707–1711.
CIKMCIKM-2012-DinhST #network #online #privacy #social
The walls have ears: optimize sharing for visibility and privacy in online social networks (TND, YS, MTT), pp. 1452–1461.
CIKMCIKM-2012-QinZWWZH #migration #optimisation
Optimizing data migration for cloud-based key-value stores (XQ, WZ, WW, JW, XZ, TH), pp. 2204–2208.
CIKMCIKM-2012-SalomatinLY #framework #online #optimisation
A unified optimization framework for auction and guaranteed delivery in online advertising (KS, TYL, YY), pp. 2005–2009.
CIKMCIKM-2012-YangYGL #graph #multi
Finding the optimal path over multi-cost graphs (YY, JXY, HG, JL), pp. 2124–2128.
ICMLICML-2012-Araya-LopezBT #using
Near-Optimal BRL using Optimistic Local Transitions (MAL, OB, VT), p. 70.
ICMLICML-2012-AzimiJF #hybrid #optimisation
Hybrid Batch Bayesian Optimization (JA, AJ, XZF), p. 45.
ICMLICML-2012-BalleQC #learning #modelling #optimisation
Local Loss Optimization in Operator Models: A New Insight into Spectral Learning (BB, AQ, XC), p. 236.
ICMLICML-2012-ChenCK #optimisation #process
Joint Optimization and Variable Selection of High-dimensional Gaussian Processes (BC, RMC, AK), p. 179.
ICMLICML-2012-DenchevDVN #classification #optimisation #quantum #robust
Robust Classification with Adiabatic Quantum Optimization (VSD, ND, SVNV, HN), p. 131.
ICMLICML-2012-DesautelsKB #optimisation #process #trade-off
Parallelizing Exploration-Exploitation Tradeoffs with Gaussian Process Bandit Optimization (TD, AK, JWB), p. 109.
ICMLICML-2012-FarabetCNL #learning #multi #parsing
Scene parsing with Multiscale Feature Learning, Purity Trees, and Optimal Covers (CF, CC, LN, YL), p. 241.
ICMLICML-2012-GarnettKXSM
Bayesian Optimal Active Search and Surveying (RG, YK, XX, JGS, RPM), p. 111.
ICMLICML-2012-Honorio #convergence #learning #modelling #optimisation #probability
Convergence Rates of Biased Stochastic Optimization for Learning Sparse Ising Models (JH), p. 144.
ICMLICML-2012-JalaliS12a #clustering #optimisation #using
Clustering using Max-norm Constrained Optimization (AJ, NS), p. 205.
ICMLICML-2012-Laue #algorithm #hybrid #optimisation
A Hybrid Algorithm for Convex Semidefinite Optimization (SL), p. 142.
ICMLICML-2012-LevineK
Continuous Inverse Optimal Control with Locally Optimal Examples (SL, VK), p. 65.
ICMLICML-2012-NanCLC #optimisation
Optimizing F-measure: A Tale of Two Approaches (NY, KMAC, WSL, HLC), p. 202.
ICMLICML-2012-RakhlinSS #optimisation #probability
Making Gradient Descent Optimal for Strongly Convex Stochastic Optimization (AR, OS, KS), p. 204.
ICMLICML-2012-SilverC #composition #modelling #using
Compositional Planning Using Optimal Option Models (DS, KC), p. 165.
ICPRICPR-2012-AtaY #induction
Searching for the optimal ordering of classes in rule induction (SA, OTY), pp. 1277–1280.
ICPRICPR-2012-ChenXF #approximate #using
Compression of GPS trajectories using optimized approximation (MC, MX, PF), pp. 3180–3183.
ICPRICPR-2012-DrifiH #estimation #modelling
Coupling reduced models for optimal motion estimation (KD, IH), pp. 2651–2654.
ICPRICPR-2012-Iwata #analysis #optimisation
Placing landmarks suitably for shape analysis by optimization (KI), pp. 2359–2362.
ICPRICPR-2012-JiangDPL #word
Analyzing the information entropy of states to optimize the number of states in an HMM-based off-line handwritten Arabic word recognizer (ZJ, XD, LP, CL), pp. 697–700.
ICPRICPR-2012-LaiCH #image
Single image dehazing with optimal transmission map (YSL, YLC, CTH), pp. 388–391.
ICPRICPR-2012-Largeteau-SkapinZASK #set
Optimal consensus set and preimage of 4-connected circles in a noisy environment (GLS, RZ, EA, AS, YK), pp. 3774–3777.
ICPRICPR-2012-LoprestiN #automation
Optimal data partition for semi-automated labeling (DPL, GN), pp. 286–289.
ICPRICPR-2012-Lotte #classification
A new feature and associated optimal spatial filter for EEG signal classification: Waveform Length (FL), pp. 1302–1305.
ICPRICPR-2012-MurataS #optimisation
Optimizing a triangular mesh by separately dealing with incorrectness of two patches (KM, YS), pp. 1318–1321.
ICPRICPR-2012-NguyenB #algorithm #optimisation
Zombie Survival Optimization: A swarm intelligence algorithm inspired by zombie foraging (HTN, BB), pp. 987–990.
ICPRICPR-2012-RenZMZ #classification #image #multi #optimisation
Hyperspectral image classification based on Multiple Improved particle swarm cooperative optimization and SVM (YR, YZ, QM, LZ), pp. 2274–2277.
ICPRICPR-2012-SchmeingJ #optimisation #using
Faithful Spatio-Temporal disocclusion filling using local optimization (MS, XJ), pp. 3799–3802.
ICPRICPR-2012-TianC12a #image #optimisation #using
Depth image up-sampling using ant colony optimization (JT, LC), pp. 3795–3798.
ICPRICPR-2012-TrinhHP #integration #multi #optimisation
Multisensor evidence integration and optimization in rail inspection (HT, NH, SP), pp. 886–889.
ICPRICPR-2012-UkitaMH #re-engineering
Shape reconstruction with globally-optimized surface point selection (NU, KM, NH), pp. 1501–1504.
ICPRICPR-2012-XuZY #metric
No reference measurement of contrast distortion and optimal contrast enhancement (HX, GZ, XY), pp. 1981–1984.
ICPRICPR-2012-YangZLP #3d #optimisation #using
Coupled 3D tracking and pose optimization of rigid objects using particle filter (HY, YZ, XL, IP), pp. 1451–1454.
ICPRICPR-2012-ZhangPLV #metric #multi #recognition
Optimal metric selection for improved multi-pose face recognition with group information (XZ, DSP, WL, SV), pp. 1675–1678.
ICPRICPR-2012-ZhaoYXJ #learning
A near-optimal non-myopic active learning method (YZ, GY, XX, QJ), pp. 1715–1718.
ICPRICPR-2012-ZhuJL #image #representation
Optimized image super-resolution based on sparse representation (YZ, JJ, KL), pp. 1052–1055.
KDDKDD-2012-PerlichDHSRP #online #optimisation
Bid optimizing and inventory scoring in targeted online advertising (CP, BD, RH, OS, TR, FJP), pp. 804–812.
KDDKDD-2012-XiangZSY #rank
Optimal exact least squares rank minimization (SX, YZ, XS, JY), pp. 480–488.
KDDKDD-2012-ZhangZGYYL #optimisation
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 #optimisation
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 #optimisation #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 #optimisation #search-based #using
Issues of Optimization of a Genetic Algorithm for Traffic Network Division using a Genetic Algorithm (TP), pp. 340–343.
KEODKEOD-2012-KhairMZ #data mining #education #mining #roadmap #student #using
Creating an Educational Roadmap for Engineering Students via an Optimal and Iterative Yearly Regression Tree using Data Mining (MK, CEM, WZ), pp. 43–52.
KEODKEOD-2012-PaniLCST #optimisation #repository
Optimization of Knowledge Availability in an Institutional Repository (FEP, MIL, GC, CS, MPT), pp. 302–306.
KRKR-2012-FaberTW #equivalence #optimisation #problem
Strong Equivalence of Qualitative Optimization Problems (WF, MT, SW).
KRKR-2012-Feier #logic programming #reasoning #source code #worst-case
Worst-Case Optimal Reasoning with Forest Logic Programs (CF).
MLDMMLDM-2012-Ba-KaraitSS #classification #hybrid #optimisation #using
EEG Signals Classification Using a Hybrid Method Based on Negative Selection and Particle Swarm Optimization (NOSBK, SMS, RS), pp. 427–438.
RecSysRecSys-2012-MolingBR #feedback #recommendation
Optimal radio channel recommendations with explicit and implicit feedback (OM, LB, FR), pp. 75–82.
RecSysRecSys-2012-RodriguezPZ #multi #optimisation #recommendation
Multiple objective optimization in recommender systems (MR, CP, EZ), pp. 11–18.
SEKESEKE-2012-LiRPY #fuzzy #modelling #multi #network #optimisation
Multi-Objective Optimization of Fuzzy Neural Networks for Software Modeling (KL, MR, WP, JY), pp. 106–111.
SEKESEKE-2012-MedeirosSPM #product line #variability
Optimal Variability Selection in Product Line Engineering (RPM, UdSS, FP, LGPM), pp. 635–640.
SEKESEKE-2012-YangCXZZ #approach #multi #optimisation
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 #optimisation #version control
Optimizing positional index structures for versioned document collections (JH, TS), pp. 245–254.
SIGIRSIGIR-2012-LogachevS #optimisation #parametricity #rank
Optimizing parameters of the expected reciprocal rank (YL, PS), pp. 1123–1124.
SIGIRSIGIR-2012-ShiKBLHO #named #optimisation #recommendation
TFMAP: optimizing MAP for top-n context-aware recommendation (YS, AK, LB, ML, AH, NO), pp. 155–164.
SIGIRSIGIR-2012-WangBC #modelling #optimisation #ranking #robust
Robust ranking models via risk-sensitive optimization (LW, PNB, KCT), pp. 761–770.
ICMTICMT-2012-BosS #forensics #optimisation
Domain-Specific Optimization in Digital Forensics (JvdB, TvdS), pp. 121–136.
OOPSLAOOPSLA-2012-KulkarniC #compilation #machine learning #optimisation #problem #using
Mitigating the compiler optimization phase-ordering problem using machine learning (SK, JC), pp. 147–162.
OOPSLAOOPSLA-2012-St-AmourTF #communication #optimisation
Optimization coaching: optimizers learn to communicate with programmers (VSA, STH, MF), pp. 163–178.
PADLPADL-2012-CampagnaSS #approximate #constraints #datalog #difference #optimisation
Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation (DC, BSS, TS), pp. 108–122.
SACSAC-2012-BaroBCNP #multi #scheduling
Off-line (Optimal) multiprocessor scheduling of dependent periodic tasks (JB, FB, MC, EN, CP), pp. 1815–1820.
SACSAC-2012-ChiwiacowskyGMVG #algorithm #search-based
A two-level procedure based on genetic algorithms to optimize an aeronautical composite structure (LDC, PG, RM, HFdCV, ATG), pp. 259–260.
SACSAC-2012-InzingerSHLD #adaptation #optimisation #policy
Non-intrusive policy optimization for dependable and adaptive service-oriented systems (CI, BS, WH, PL, SD), pp. 504–510.
SACSAC-2012-Kim #multi #optimisation #realtime #reliability #towards
Towards optimizing the reliability of real-time transmission in multi-hop wireless LANs (JK), pp. 577–582.
SACSAC-2012-LibermanL #approximate
Approximately optimal facet selection (SL, RL), pp. 702–708.
SACSAC-2012-LiLXZR #named
TL-Tree: flash-optimized storage for time-series sensing data on sensor platforms (HL, DL, LX, GZ, KR), pp. 1565–1572.
SACSAC-2012-ParraRMRDS #adaptation #constraints #optimisation #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 #optimisation #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 #optimisation #web #web service
Anytime QoS optimization over the PlanGraph for web service composition (YY, MC, YY), pp. 1968–1975.
PLEASEPLEASE-2012-LeitnerWK #multi #optimisation #problem
Optimizing problem space representations through domain multi-modeling (AL, RW, CK), pp. 49–52.
SPLCSPLC-2012-GillainFHJS #optimisation
Product portfolio scope optimization based on features and goals (JG, SF, PH, IJ, MS), pp. 161–170.
ASPLOSASPLOS-2012-AhmadCRV #clustering #named #optimisation #pipes and filters
Tarazu: optimizing MapReduce on heterogeneous clusters (FA, STC, AR, TNV), pp. 61–74.
ASPLOSASPLOS-2012-ChenFETW #optimisation
Iterative optimization for the data center (YC, SF, LE, OT, CW), pp. 49–60.
ASPLOSASPLOS-2012-OdairaN #memory management #optimisation #profiling
Continuous object access profiling and optimizations to overcome the memory wall and bloat (RO, TN), pp. 147–158.
ASPLOSASPLOS-2012-RadojkovicCMVPCNV #approach #parallel #statistics #thread
Optimal task assignment in multithreaded processors: a statistical approach (PR, VC, MM, JV, AP, FJC, MN, MV), pp. 235–248.
CCCC-2012-ShirakoSFPRSS #bound
Analytical Bounds for Optimal Tile Size Selection (JS, KS, NF, LNP, JR, PS, VS), pp. 101–121.
CGOCGO-2012-LiuRCK #named #optimisation #pipes and filters #towards
Panacea: towards holistic optimization of MapReduce applications (JL, NR, STC, MTK), pp. 33–43.
HPCAHPCA-2012-DuanZAT #commit #execution #named
BulkCompactor: Optimized deterministic execution via Conflict-Aware commit of atomic blocks (YD, XZ, WA, JT), pp. 361–372.
HPCAHPCA-2012-MukundanM #configuration management #memory management #multi #named #self
MORSE: Multi-objective reconfigurable self-optimizing memory scheduler (JM, JFM), pp. 65–76.
HPDCHPDC-2012-ChenA #effectiveness #memory management #optimisation #pipes and filters
Optimizing MapReduce for GPUs with effective shared memory usage (LC, GA), pp. 199–210.
HPDCHPDC-2012-SchendelPJBBGLLKCKRS #hybrid #optimisation #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.
HPDCHPDC-2012-TianKYAWPGW #data transformation #performance
A system-aware optimized data organization for efficient scientific analytics (YT, SK, WY, HA, BW, NP, RWG, MW), pp. 125–126.
LCTESLCTES-2012-GerardGPP #array #compilation #composition #data flow #memory management #optimisation
A modular memory optimization for synchronous data-flow languages: application to arrays in a lustre compiler (LG, AG, CP, MP), pp. 51–60.
LCTESLCTES-2012-ZuluagaKMP #design #predict
“Smart” design space sampling to predict Pareto-optimal solutions (MZ, AK, PAM, MP), pp. 119–128.
OSDIOSDI-2012-GuoFCZZMLLZZ #optimisation #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.
PPoPPPPoPP-2012-AliasDP #kernel #optimisation #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 #optimisation #reuse
Automatic communication optimizations through memory reuse strategies (MMB, NV, BM, RL), pp. 277–278.
PPoPPPPoPP-2012-HoeflerS #detection #optimisation
Communication-centric optimizations by dynamically detecting collective operations (TH, TS), pp. 305–306.
PPoPPPPoPP-2012-KjolstadHS #automation #data type #generative #optimisation
Automatic datatype generation and optimization (FK, TH, MS), pp. 327–328.
PPoPPPPoPP-2012-NollG #framework #optimisation #parallel #source code
An infrastructure for dynamic optimization of parallel programs (AN, TRG), pp. 325–326.
CAVCAV-2012-ChaudhuriS #named #optimisation #source code
Euler: A System for Numerical Optimization of Programs (SC, ASL), pp. 732–737.
ICLPICLP-2012-AndresKMS #optimisation #satisfiability
Unsatisfiability-based optimization in clasp (BA, BK, OM, TS), pp. 211–221.
ICLPICLP-2012-Peano #approach
An ASP Approach for the Optimal Placement of the Isolation Valves in a Water Distribution System (AP), pp. 464–468.
ICSTICST-2012-AlesioGNB #constraints #optimisation #realtime #testing #using
Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques (SDA, AG, SN, LCB), pp. 764–769.
ICSTICST-2012-TonellaMNJLH #approximate #execution #modelling
Finding the Optimal Balance between Over and Under Approximation of Models Inferred from Execution Logs (PT, AM, DCN, YJ, KL, MH), pp. 21–30.
IJCARIJCAR-2012-SebastianiT #cost analysis #optimisation #smt
Optimization in SMT with ℒ𝒜(ℚ) Cost Functions (RS, ST), pp. 484–498.
ICSTSAT-2012-IserTS #optimisation #order #relational
Optimizing MiniSAT Variable Orderings for the Relational Model Finder Kodkod — (Poster Presentation) (MI, MT, CS), pp. 483–484.
ICSTSAT-2012-ZhangMZ #constraints #identification #interactive #optimisation #theorem proving
Faulty Interaction Identification via Constraint Solving and Optimization (JZ, FM, ZZ), pp. 186–199.
QoSAQoSA-ISARCS-2011-KoziolekKR #architecture #automation #multi #named #optimisation
PerOpteryx: automated application of tactics in multi-objective software architecture optimization (AK, HK, RHR), pp. 33–42.
ASEASE-2011-ArcainiGR #automation #generative #optimisation #satisfiability #smt #testing
Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions (PA, AG, ER), pp. 388–391.
ASEASE-2011-InsaS #algorithm #debugging
An optimal strategy for algorithmic debugging (DI, JS), pp. 203–212.
CASECASE-2011-AnghinolfiPSS #integer #optimisation #programming
Integer programming and ant colony optimization for planning intermodal freight transportation operations (DA, MP, SS, SS), pp. 214–219.
CASECASE-2011-CordoneP #monitoring #optimisation #petri net
Monitor optimization in Petri net control (RC, LP), pp. 413–418.
CASECASE-2011-DingRGS #programming
Mixed-integer programming for optimal path planning of robotic manipulators (HD, GR, DG, OS), pp. 133–138.
CASECASE-2011-GhirardiPS #case study #multimodal #throughput
Maximizing the throughput of multimodal logistic platforms by simulation-optimization: The Duferco case study (MG, GP, DS), pp. 52–57.
CASECASE-2011-HaoD #incremental #optimisation #using
Optimization of tool trajectory for Incremental Sheet Forming using closed loop control (WH, SD), pp. 779–784.
CASECASE-2011-KaoZCHWLWWC #constraints
Near optimal furnace tool allocation with batching and waiting time constraints (YTK, SCZ, SCC, JHH, PW, PBL, SW, FW, JC), pp. 108–113.
CASECASE-2011-LeeLNCC #design #optimisation
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 #optimisation #simulation
Simulation based evaluation and optimization for energy consumption of a typical welding shop (HL, QZ, WC, NH, XZ), pp. 660–665.
CASECASE-2011-MettaB #design
Optimized closed-loop supply chain configuration selection for sustainable product designs (HM, FB), pp. 438–443.
CASECASE-2011-PinhaQC #scheduling
Optimal scheduling of a repair shipyard based on Supervisory Control Theory (DCP, MHdQ, JERC), pp. 39–44.
CASECASE-2011-PrudhommeBFG
Preclinically assessed optimal control of postprandial glucose excursions for type 1 patients with diabetes (TP, AB, GF, DG), pp. 702–707.
CASECASE-2011-TengHTK #optimisation
Optimizing coverage for a Chlamydia trachomatis screening program (YT, LH, WT, NK), pp. 531–536.
CASECASE-2011-WigstromL #energy #optimisation #scheduling
Energy optimization of trajectories for high level scheduling (OW, BL), pp. 654–659.
CASECASE-2011-YanCLWC #multi #scheduling
Optimization-based litho machine scheduling with multiple reticles and setups (BY, HYC, PBL, SW, JC), pp. 114–119.
DACDAC-2011-AbrishamiLQFP #optimisation #power management
Post sign-off leakage power optimization (HA, JL, JQ, JF, MP), pp. 453–458.
DACDAC-2011-BanY #layout #modelling #optimisation
Layout aware line-edge roughness modeling and poly optimization for leakage minimization (YB, JSY), pp. 447–452.
DACDAC-2011-JungMPL #3d #analysis #optimisation #reliability
TSV stress-aware full-chip mechanical reliability analysis and optimization for 3D IC (MJ, JM, DZP, SKL), pp. 188–193.
DACDAC-2011-KungHSS #optimisation
Thermal signature: a simple yet accurate thermal index for floorplan optimization (JK, IH, SSS, YS), pp. 108–113.
DACDAC-2011-Li #memory management
Rethinking memory redundancy: optimal bit cell repair for maximum-information storage (XL0), pp. 316–321.
DACDAC-2011-LifaEP #configuration management #detection #fault #optimisation #performance
Performance optimization of error detection based on speculative reconfiguration (AAL, PE, ZP), pp. 369–374.
DACDAC-2011-LiLZ #multi #scheduling
Optimal multi-domain clock skew scheduling (LL, YL, HZ), pp. 152–157.
DACDAC-2011-LiuSCKKL #3d #analysis #optimisation
Full-chip TSV-to-TSV coupling analysis and optimization in 3D IC (CL, TS, JC, JK, JK, SKL), pp. 783–788.
DACDAC-2011-MaYW #algorithm
An optimal algorithm for layer assignment of bus escape routing on PCBs (QM, EFYY, MDFW), pp. 176–181.
DACDAC-2011-SeokJCBS #design #energy #performance #pipes and filters
Pipeline strategy for improving optimal energy efficiency in ultra-low voltage design (MS, DJ, CC, DB, DS), pp. 990–995.
DACDAC-2011-StattelmannBR #optimisation #performance #simulation
Fast and accurate source-level simulation of software timing considering complex code optimizations (SS, OB, WR), pp. 486–491.
DACDAC-2011-WalterKCK #capacity #multi
Capacity optimized NoC for multi-mode SoC (IW, EK, IC, SK), pp. 942–947.
DACDAC-2011-WangMR #clustering #configuration management #energy #manycore #optimisation #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 #optimisation
In-field aging measurement and calibration for power-performance optimization (SW, MT, LW), pp. 706–711.
DACDAC-2011-WangXAP #classification #learning #policy #power management #using
Deriving a near-optimal power management policy using model-free reinforcement learning and Bayesian classification (YW, QX, ACA, MP), pp. 41–46.
DATEDATE-2011-AlordaTBS #embedded #optimisation #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 #optimisation #realtime
Adaptive test optimization through real time learning of test effectiveness (BA, AO), pp. 1430–1435.
DATEDATE-2011-BarceloGBS #estimation #performance #scalability
An efficient and scalable STA tool with direct path estimation and exhaustive sensitization vector exploration for optimal delay computation (SB, XG, SAB, JS), pp. 1602–1607.
DATEDATE-2011-BarrioMMMH #optimisation
Power optimization in heterogenous datapaths (AADB, SOM, MCM, JMM, RH), pp. 1400–1405.
DATEDATE-2011-BonannoBS #analysis #energy #modelling #monitoring #optimisation #tool support
Energy analysis methods and tools for modelling and Optimizing monitoring tyre systems (AB, AB, MS), pp. 1121–1122.
DATEDATE-2011-BradyHS
Counterexample-guided SMT-driven optimal buffer sizing (BAB, DEH, SAS), pp. 329–334.
DATEDATE-2011-CabodiN #model checking #multi
Optimized model checking of multiple properties (GC, SN), pp. 543–546.
DATEDATE-2011-ChangMFWHYN #architecture #hardware #hybrid #optimisation
Optimization of stateful hardware acceleration in hybrid architectures (XC, YM, HF, KW, RH, HY, TN), pp. 567–570.
DATEDATE-2011-ChenZD #optimisation
Integrated circuit white space redistribution for temperature optimization (YC, HZ, RPD), pp. 613–618.
DATEDATE-2011-DrmanacSWWA #multi #optimisation #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 #optimisation #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 #optimisation
Scratchpad memory optimizations for digital signal processing applications (SZG, NSK, MJS), pp. 974–979.
DATEDATE-2011-GraupnerJW #approach #design #generative #layout #optimisation
Generator based approach for analog circuit and layout design and optimization (AG, RJ, RW), pp. 1675–1680.
DATEDATE-2011-HsuL #optimisation
Clock gating optimization with delay-matching (SJH, RBL), pp. 643–648.
DATEDATE-2011-HuangHL #fault
Cross-layer optimized placement and routing for FPGA soft error mitigation (KH, YH, XL), pp. 58–63.
DATEDATE-2011-LiuHRG #optimisation #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 #optimisation #performance
An efficient mask optimization method based on homotopy continuation technique (FL, XS), pp. 1053–1058.
DATEDATE-2011-LungHKC #3d #manycore #online #optimisation #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 #optimisation
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 #optimisation #performance
HypoEnergy. Hybrid supercapacitor-battery power-supply optimization for Energy efficiency (AM, FK), pp. 887–890.
DATEDATE-2011-RahmanTS #reduction
Power reduction via near-optimal library-based cell-size selection (MR, HT, CS), pp. 867–870.
DATEDATE-2011-SchenkelaarsVG #network #scheduling
Optimal scheduling of switched FlexRay networks (TS, BV, KG), pp. 926–931.
DATEDATE-2011-VasicekS #optimisation
A global postsynthesis optimization method for combinational circuits (ZV, LS), pp. 1525–1528.
DATEDATE-2011-WuM #analysis #optimisation
Aging-aware timing analysis and optimization considering path sensitization (KCW, DM), pp. 1572–1577.
DocEngDocEng-2011-GangeMMS #automation #layout
Optimal automatic table layout (GG, KM, PM, PJS), pp. 23–32.
DRRDRR-2011-HamdaniAHMA #optimisation #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 #optimisation #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 #optimisation #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 #optimisation #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-KessentiniPG #algorithm #multi #recognition #word
An Optimized Multi-stream Decoding Algorithm for Handwritten Word Recognition (YK, TP, AG), pp. 192–196.
ICDARICDAR-2011-TanakaTH #documentation #optimisation #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 #optimisation #random
Joint Optimization of Hidden Conditional Random Fields and Non Linear Feature Extraction (AV, TMTD, TA), pp. 513–517.
ICDARICDAR-2011-ZhuN #online #optimisation #parametricity #recognition #using
On-line Handwritten Japanese Characters Recognition Using a MRF Model with Parameter Optimization by CRF (BZ, MN), pp. 603–607.
PODSPODS-2011-CohenK #using
Get the most out of your sample: optimal unbiased estimators using partial information (EC, HK), pp. 13–24.
SIGMODSIGMOD-2011-BalesDV #algebra #optimisation #query
Score-consistent algebraic optimization of full-text search queries with GRAFT (NB, AD, VV), pp. 769–780.
SIGMODSIGMOD-2011-BeierSS #online
Online reorganization in read optimized MMDBS (FB, KS, KUS), pp. 1125–1136.
SIGMODSIGMOD-2011-DingWHL #consistency #optimisation
Differentially private data cubes: optimizing noise sources and consistency (BD, MW, JH, ZL), pp. 217–228.
SIGMODSIGMOD-2011-HerodotouBB #optimisation #query
Query optimization techniques for partitioned tables (HH, NB, SB), pp. 49–60.
SIGMODSIGMOD-2011-KennedyN #enterprise #named #nondeterminism #optimisation #performance
Jigsaw: efficient optimization over uncertain enterprise data (OK, SN), pp. 829–840.
SIGMODSIGMOD-2011-KllapiSTI #optimisation
Schedule optimization for data processing flows on the cloud (HK, ES, MMT, YEI), pp. 289–300.
SIGMODSIGMOD-2011-MaFL #memory management #named
LazyFTL: a page-level flash translation layer optimized for NAND flash memory (DM, JF, GL), pp. 1–12.
SIGMODSIGMOD-2011-UpadhyayaKB #fault tolerance #latency #online #parallel #query
A latency and fault-tolerance optimizer for online parallel query plans (PU, YK, MB), pp. 241–252.
VLDBVLDB-2011-GolenbergKS #optimisation
Optimizing and Parallelizing Ranked Enumeration (KG, BK, YS), pp. 1028–1039.
VLDBVLDB-2011-HerodotouB #cost analysis #optimisation #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 #optimisation #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 #optimisation #pipes and filters #source code
Automatic Optimization for MapReduce Programs (EJ, MJC, CR), pp. 385–396.
VLDBVLDB-2011-OrsiP #constraints #ontology #optimisation #query
Optimizing Query Answering under Ontological Constraints (GO, AP), pp. 1004–1015.
VLDBVLDB-2011-ParameswaranDGR #robust #web
Optimal Schemes for Robust Web Extraction (AGP, NND, HGM, RR), pp. 980–991.
VLDBVLDB-2011-PengDL #nondeterminism #optimisation #probability #query
Optimizing Probabilistic Query Processing on Continuous Uncertain Data (LP, YD, AL), pp. 1169–1180.
VLDBVLDB-2011-YanZN #algorithm #network #performance
Efficient Algorithms for Finding Optimal Meeting Point on Road Networks (DY, ZZ, WN), pp. 968–979.
VLDBVLDB-2012-KruegerKGSSCPDZ11 #database #manycore #performance #using
Fast Updates on Read-Optimized Databases Using Multi-Core CPUs (JK, CK, MG, NS, DS, JC, HP, PD, AZ), pp. 61–72.
VLDBVLDB-2012-PavloJZ11 #execution #modelling #on the #optimisation #parallel #predict #transaction
On Predictive Modeling for Optimizing Transaction Execution in Parallel OLTP Systems (AP, EPCJ, SBZ), pp. 85–96.
VLDBVLDB-2012-RohPKSL11 #optimisation #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 #optimisation #process #recommendation #using
Optimizing collaborative learning processes by using recommendation systems (SH, MA), p. 389.
TACASTACAS-2011-CodishFFS #constraints #encoding #pseudo
Optimal Base Encodings for Pseudo-Boolean Constraints (MC, YF, CF, PSK), pp. 189–204.
ICPCICPC-2011-Wu #api #evolution #framework #modelling #multi #optimisation #problem
Modeling Framework API Evolution as a Multi-objective Optimization Problem (WW), pp. 262–265.
ICPCICPC-2011-ZibranR #approach #constraints #programming #refactoring #scheduling
Conflict-Aware Optimal Scheduling of Code Clone Refactoring: A Constraint Programming Approach (MFZ, CKR), pp. 266–269.
SCAMSCAM-2011-ZibranR #approach #constraints #programming #refactoring #scheduling
A Constraint Programming Approach to Conflict-Aware Optimal Scheduling of Prioritized Code Clone Refactoring (MFZ, CKR), pp. 105–114.
PLDIPLDI-2011-JablinPJJBA #automation #communication #cpu #gpu #optimisation
Automatic CPU-GPU communication management and optimization (TBJ, PP, JAJ, NPJ, SRB, DIA), pp. 142–151.
PLDIPLDI-2011-MurrayIY #automation #declarative #named #optimisation #query
Steno: automatic optimization of declarative queries (DGM, MI, YY), pp. 121–131.
PLDIPLDI-2011-ZhouCC #algorithm #execution
An SSA-based algorithm for optimal speculative code motion under an execution profile (HZ, WC, FCC), pp. 98–108.
STOCSTOC-2011-ChakrabartiR #bound #communication #complexity
An optimal lower bound on the communication complexity of gap-hamming-distance (AC, OR), pp. 51–60.
STOCSTOC-2011-DobzinskiFK #correlation
Optimal auctions with correlated bidders are easy (SD, HF, RDK), pp. 129–138.
STOCSTOC-2011-DughmiRY #combinator #optimisation #random #towards
From convex optimization to randomized mechanisms: toward optimal combinatorial auctions (SD, TR, QY), pp. 149–158.
STOCSTOC-2011-GiakkoupisS #matter
Optimal path search in small worlds: dimension matters (GG, NS), pp. 393–402.
STOCSTOC-2011-KaneNPW #data type #estimation #performance
Fast moment estimation in data streams in optimal space (DMK, JN, EP, DPW), pp. 745–754.
STOCSTOC-2011-LeeS #bound
Near-optimal distortion bounds for embedding doubling spaces into L1 (JRL, AS), pp. 765–772.
STOCSTOC-2011-MoitraO
Pareto optimal solutions for smoothed analysts (AM, RO), pp. 225–234.
STOCSTOC-2011-PapadimitriouP #on the
On optimal single-item auctions (CHP, GP), pp. 119–128.
STOCSTOC-2011-Smith #convergence #estimation #privacy #statistics
Privacy-preserving statistical estimation with optimal convergence rates (AS), pp. 813–822.
STOCSTOC-2011-ValiantV
Estimating the unseen: an n/log(n)-sample estimator for entropy and support size, shown optimal via new CLTs (GV, PV), pp. 685–694.
STOCSTOC-2011-Woodruff #approximate #black box #protocol
Near-optimal private approximation protocols via a black box transformation (DPW), pp. 735–744.
STOCSTOC-2011-Yoshida #algorithm #approximate #bound #csp
Optimal constant-time approximation algorithms and (unconditional) inapproximability results for every bounded-degree CSP (YY), pp. 665–674.
CIAACIAA-J-2010-MalettiQ11
Optimal Hyper-Minimization (AM, DQ), pp. 1877–1891.
ICALPICALP-v1-2011-BeyersdorffGLR #bound
Parameterized Bounded-Depth Frege Is Not Optimal (OB, NG, ML, AAR), pp. 630–641.
ICALPICALP-v2-2011-DoerrF #random
Asymptotically Optimal Randomized Rumor Spreading (BD, MF), pp. 502–513.
ICALPICALP-v2-2011-HalldorssonM #bound #distributed #scheduling
Nearly Optimal Bounds for Distributed Wireless Scheduling in the SINR Model (MMH, PM), pp. 625–636.
LATALATA-2011-ReidenbachS #memory management #scheduling #word
Finding Shuffle Words That Represent Optimal Scheduling of Shared Memory Access (DR, MLS), pp. 465–476.
AGTIVEAGTIVE-2011-HildebrandtLGPR #automation #consistency #graph grammar #implementation #testing
Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations (SH, LL, HG, DP, IR), pp. 238–253.
HCIDHM-2011-BenderiusMWW #analysis #modelling #optimisation #simulation
A Simulation Environment for Analysis and Optimization of Driver Models (OB, GM, KW, MW), pp. 453–462.
HCIDHM-2011-CloutierBY #modelling #validation
Motion Capture Experiments for Validating Optimization-Based Human Models (AC, RB, J(Y), pp. 59–68.
HCIDHM-2011-MarlerKJ #analysis #predict
Optimization-Based Posture Prediction for Analysis of Box Lifting Tasks (TM, LK, RJ), pp. 151–160.
HCIDUXU-v2-2011-KimJH #concept #design #experience #implementation #user interface
Different UI, Same UX: A Design Concept for Implementing a Locally-Optimized and Globally-Unified User Experience (SWK, HKJ, DYH), pp. 440–448.
HCIHCI-DDA-2011-WangDL #algorithm
A Global Optimal Algorithm for Camera Calibration with One-Dimensional Objects (LW, FD, CL), pp. 660–669.
HCIHCI-MIIE-2011-ParkCKK #interface #multimodal #optimisation
Multimodal Interface for Driving-Workload Optimization (HP, JC, HJK, KhK), pp. 452–461.
HCIHIMI-v2-2011-ProctorV #bibliography #design #interactive #interface #perspective #web
Designing Web Sites and Interfaces to Optimize Successful User Interactions: Symposium Overview (RWP, KPLV), pp. 62–65.
AdaSIGAda-2011-BrosterC #embedded #how #reliability
How to measure and optimize reliable embedded software (IB, AC), pp. 1–2.
ICEISICEIS-J-2011-BrasilSFSC11a #approach #multi #optimisation #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 #optimisation
Static Optimization of Data Integration Plans in Global Information Systems (JRG), pp. 141–150.
ICEISICEIS-v1-2011-HaoSHS #algorithm #in the cloud #modelling #optimisation #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-BaiW #detection #fuzzy #identification #multi
Applying Fuzzy Multiple Criteria Decision Making to Evaluate and Identify Optimal Explosive Detection Equipments (YB, DW), pp. 118–124.
ICEISICEIS-v2-2011-WuRWS #network #optimisation #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 #optimisation #research
Research on the Route Optimization of Book Distribution based on the Tabu Search Algorithm (PZ, ZZ), pp. 125–130.
ICEISICEIS-v3-2011-HuaQL #order
Optimal Order Lot Sizing and Pricing with Carbon Trade (GH, HQ, JL), pp. 533–536.
ICEISICEIS-v4-2011-LiL #network #optimisation
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 #optimisation #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 #optimisation #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 #optimisation #parametricity #simulation
Simulation Modeling and Parameter Optimization in Cyclic Picking System (AW, XL), pp. 690–694.
ICEISICEIS-v4-2011-YangZZ #design #evaluation #online #optimisation
New Mechanism Design in the C2C Online Reputation Evaluation Optimizing (YY, WZ, XZ), pp. 53–62.
ICEISICEIS-v4-2011-ZhangCZh #collaboration #optimisation #performance
A Collaborative Optimization Model for Strategic Performance (HZ, LC, YZ, MH), pp. 645–649.
ICEISICEIS-v4-2011-Zhao11a #modelling #optimisation #research
Research on Logistics Location Optimization Model based on Time Dimensions (JZ), pp. 656–661.
CIKMCIKM-2011-Almendros-JimenezST #optimisation #slicing #xquery
XQuery optimization based on program slicing (JMAJ, JS, ST), pp. 1525–1534.
CIKMCIKM-2011-CartrightA #optimisation #performance
Efficiency optimizations for interpolating subqueries (MAC, JA), pp. 297–306.
CIKMCIKM-2011-DengLPCX #ad hoc #database #graph #predict #query #reachability
Predicting the optimal ad-hoc index for reachability queries on graph databases (JD, FL, YP, BC, JX), pp. 2357–2360.
CIKMCIKM-2011-DongBHRC #optimisation #personalisation #recommendation
User action interpretation for personalized content optimization in recommender systems (AD, JB, XH, SR, YC), pp. 2129–2132.
CIKMCIKM-2011-GhionnaGS #hybrid #named #sql
H-DB: a hybrid quantitative-structural sql optimizer (LG, GG, FS), pp. 2573–2576.
CIKMCIKM-2011-GuirguisSCL #multi #query
Optimized processing of multiple aggregate continuous queries (SG, MAS, PKC, AL), pp. 1515–1524.
CIKMCIKM-2011-LeitaoC #detection #optimisation
Duplicate detection through structure optimization (LL, PC), pp. 443–452.
CIKMCIKM-2011-SannerGGKK #optimisation #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-AgarwalNW #composition #matrix
Noisy matrix decomposition via convex relaxation: Optimal rates in high dimensions (AA, SN, MJW), pp. 1129–1136.
ICMLICML-2011-DekelGSX #distributed #online #predict
Optimal Distributed Online Prediction (OD, RGB, OS, LX), pp. 713–720.
ICMLICML-2011-GrubbB #algorithm #optimisation
Generalized Boosting Algorithms for Convex Optimization (AG, DB), pp. 1209–1216.
ICMLICML-2011-JalaliCSX #clustering #graph #optimisation
Clustering Partially Observed Graphs via Convex Optimization (AJ, YC, SS, HX), pp. 1001–1008.
ICMLICML-2011-LeNCLPN #learning #on the #optimisation
On optimization methods for deep learning (QVL, JN, AC, AL, BP, AYN), pp. 265–272.
ICMLICML-2011-MannorT #markov #optimisation #process
Mean-Variance Optimization in Markov Decision Processes (SM, JNT), pp. 177–184.
ICMLICML-2011-MartensS #learning #network #optimisation
Learning Recurrent Neural Networks with Hessian-Free Optimization (JM, IS), pp. 1033–1040.
ICMLICML-2011-OrabonaL #algorithm #kernel #learning #multi #optimisation
Ultra-Fast Optimization Algorithm for Sparse Multi Kernel Learning (FO, JL), pp. 249–256.
KDDKDD-2011-AgarwalCEW #multi
Click shaping to optimize multiple objectives (DA, BCC, PE, XW), pp. 132–140.
KDDKDD-2011-Boyd #distributed #embedded #optimisation #realtime #scalability
Convex optimization: from embedded real-time to large-scale distributed (SB), p. 1.
KDDKDD-2011-DasB #optimisation
Meta optimization and its application to portfolio selection (PD, AB), pp. 1163–1171.
KDDKDD-2011-SteinbergM #modelling #optimisation #predict
Broad scale predictive modeling and marketing optimization in retail sales (DS, FFM), p. 780.
KDDKDD-2011-TongHWKL #graph #optimisation #ranking #scalability
Diversified ranking on large graphs: an optimization viewpoint (HT, JH, ZW, RK, CYL), pp. 1028–1036.
KDIRKDIR-2011-OlegA #analysis #approach #clustering
Methods for Discovering and Analysis of Regularities Systems — Approach based on Optimal Partitioning of Explanatory Variables Space (OVS, AVK), pp. 423–426.
KMISKMIS-2011-NiedermannSM #optimisation #process #repository
Managing Insights: A Repository for Process Analytics, Optimization and Decision Support (FN, HS, BM), pp. 424–429.
SIGIRSIGIR-2011-DaiSD11a #learning #multi #optimisation #rank
Multi-objective optimization in learning to rank (ND, MS, BDD), pp. 1241–1242.
SIGIRSIGIR-2011-LinZD #approximate #documentation #optimisation
Best document selection based on approximate utility optimization (HHL, YZ, JD), pp. 1215–1216.
SIGIRSIGIR-2011-LiWLZS #image #multimodal #optimisation #ranking #web
Optimizing multimodal reranking for web image search (HL, MW, ZL, ZJZ, JS), pp. 1119–1120.
SIGIRSIGIR-2011-MoravejiRBM #performance
Measuring improvement in user search performance resulting from optimal search tips (NM, DMR, JB, DM), pp. 355–364.
SIGIRSIGIR-2011-YanWOKLZ #framework #optimisation #summary #timeline
Evolutionary timeline summarization: a balanced optimization framework via iterative substitution (RY, XW, JO, LK, XL, YZ), pp. 745–754.
SIGIRSIGIR-2011-ZhouCZ #algorithm #approximate #named #performance #string #towards
SEJoin: an optimized algorithm towards efficient approximate string searches (JZ, ZC, JZ), pp. 1249–1250.
ICMTICMT-2011-LepperT #analysis #optimisation #performance #visitor
Optimization of Visitor Performance by Reflection-Based Analysis (ML, BTyW), pp. 15–30.
MODELSMoDELS-2011-FlochYGDCRF #compilation #modelling #optimisation #question
Model-Driven Engineering and Optimizing Compilers: A Bridge Too Far? (AF, TY, CG, SD, BC, SVR, RBF), pp. 608–622.
MODELSMoDELS-2011-FlochYGDCRF #compilation #modelling #optimisation #question
Model-Driven Engineering and Optimizing Compilers: A Bridge Too Far? (AF, TY, CG, SD, BC, SVR, RBF), pp. 608–622.
OOPSLAOOPSLA-2011-TianZS #integration #optimisation #towards
A step towards transparent integration of input-consciousness into dynamic program optimizations (KT, EZZ, XS), pp. 445–462.
LOPSTRLOPSTR-2011-HidakaHIKMNS #graph transformation #optimisation
Marker-Directed Optimization of UnCAL Graph Transformations (SH, ZH, KI, HK, KM, KN, IS), pp. 123–138.
POPLPOPL-2011-JoishaSBBC #automation #compilation #effectiveness #optimisation #parallel #reuse #thread
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 #optimisation
Loop transformations: convexity, pruning and optimization (LNP, UB, CB, AC, JR, PS, NV), pp. 549–562.
POPLPOPL-2011-PrountzosMPM #analysis #graph #optimisation #parallel #source code
A shape analysis for optimizing parallel graph programs (DP, RM, KP, KSM), pp. 159–172.
RERE-2011-VeerappaL #clustering #comprehension #multi #problem
Understanding clusters of optimal solutions in multi-objective decision problems (VV, EL), pp. 89–98.
SACSAC-2011-DaniAS #algorithm #architecture #manycore #search-based
Applying genetic algorithms to optimize the power in tiled SNUCA chip multicore architectures (AMD, BA, YNS), pp. 1090–1091.
SACSAC-2011-KienHB #algorithm #communication #hybrid #problem #search-based
New hybrid genetic algorithm for solving optimal communication spanning tree problem (PTK, NDH, HTTB), pp. 1076–1081.
SACSAC-2011-KookHLJK #embedded #linux #memory management #optimisation
Optimization of out of memory killer for embedded Linux environments (JK, SH, WL, EJ, JK), pp. 633–634.
SACSAC-2011-NakajimaLYZGXYDQCG #hybrid #optimisation #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-RosaGO #problem #quality #satisfiability
Optimal stopping methods for finding high quality solutions to satisfiability problems with preferences (EDR, EG, BO), pp. 901–906.
SACSAC-2011-TianXLC #optimisation #order
Loop fusion and reordering for register file optimization on stream processors (WT, CJX, ML, EC), pp. 560–565.
SPLCSPLC-2011-ChenE #optimisation #process
Optimizing the Product Derivation Process (SC, ME), pp. 35–44.
SPLCSPLC-2011-Muller #optimisation #product line
Value-Based Portfolio Optimization for Software Product Lines (JM), pp. 15–24.
SPLCSPLC-2011-NohrerE #optimisation
Optimizing User Guidance during Decision-Making (AN, AE), pp. 25–34.
CGOCGO-2011-Altman #tool support
The language, optimizer, and tools mess (ERA).
CGOCGO-2011-ChakrabartiBBJS #graph #memory management #optimisation #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 #optimisation
Extendable pattern-oriented optimization directives (HC, JX, LW, YY, XF, DF), pp. 107–118.
CGOCGO-2011-HundtRTV #architecture #named
MAO — An extensible micro-architectural optimizer (RH, ER, MT, NV), pp. 1–10.
CGOCGO-2011-JonesBMC #optimisation #performance
Link-time optimization for power efficiency in a tagless instruction cache (TMJ, SB, JM, DC), pp. 32–41.
CGOCGO-2011-KandemirZLY #locality #multi #optimisation
Neighborhood-aware data locality optimization for NoC-based multicores (MTK, YZ, JL, TY), pp. 191–200.
CGOCGO-2011-ParkPCCS #modelling #optimisation #predict
Predictive modeling in a polyhedral optimization space (EP, LNP, JC, AC, PS), pp. 119–129.
CGOCGO-2011-RusAL #automation #distance #locality #optimisation #reuse #string
Automated locality optimization based on the reuse distance of string operations (SR, RA, DXL), pp. 181–190.
CGOCGO-2011-Yi #automation #compilation #optimisation #programmable
Automated programmable control and parameterization of compiler optimizations (QY), pp. 97–106.
HPDCHPDC-2011-AhujaBFGS #modelling #protocol
Introspective end-system modeling to optimize the transfer time of rate based protocols (VA, AB, MKF, DG, GS), pp. 61–72.
LCTESLCTES-2011-BhagatGSG #effectiveness #optimisation
Global productiveness propagation: a code optimization technique to speculatively prune useless narrow computations (IB, EG, FJS, AG), pp. 161–170.
PPoPPPPoPP-2011-DingWZ #multi #named #optimisation #performance
ULCC: a user-level facility for optimizing shared cache performance on multicores (XD, KW, XZ), pp. 103–112.
CADECADE-2011-ChortarasTS #owl #query
Optimized Query Rewriting for OWL 2 QL (AC, DT, GBS), pp. 192–206.
ICLPICLP-2011-GebserKKS #multi #optimisation #programming #set
Multi-Criteria Optimization in Answer Set Programming (MG, RK, BK, TS), pp. 1–10.
ICLPICLP-J-2011-CattafiGNAF #network
Optimal placement of valves in a water distribution network with CLP(FD) (MC, MG, MN, SA, MF), pp. 731–747.
ICLPICLP-J-2011-GebserKS #optimisation #programming #set
Complex optimization in answer set programming (MG, RK, TS), pp. 821–839.
ICSTICST-2011-ChanderDSY #automaton #finite #generative #modelling #sequence
Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems (AC, DD, KS, DY), pp. 140–149.
ICSTICST-2011-Gonzalez-Sanchez #optimisation #runtime #testing
Cost Optimizations in Runtime Testing and Diagnosis of Systems of Systems (AGS), pp. 439–442.
LICSLICS-2011-AbdullaM #petri net
Computing Optimal Coverability Costs in Priced Timed Petri Nets (PAA, RM), pp. 399–408.
ECSAECSA-2010-Bahsoon #architecture #dependence #framework #requirements #self
A Framework for Dynamic Self-optimization of Power and Dependability Requirements in Green Cloud Architectures (RB), pp. 510–514.
QoSAQoSA-2010-MeedeniyaBAG #architecture #embedded #energy #optimisation #reliability
Architecture-Driven Reliability and Energy Optimization for Complex Embedded Systems (IM, BB, AA, LG), pp. 52–67.
ASEASE-2010-TrezentosLO #dependence #named #optimisation #problem #pseudo #using
Apt-pbo: solving the software dependency problem using pseudo-boolean optimization (PT, IL, ALO), pp. 427–436.
CASECASE-2010-AravaBSNS
Optimal allocation of carbon credits to emitting agents in a carbon economy (RA, DB, PS, YN, SVS), pp. 275–280.
CASECASE-2010-DingSPS #embedded
Improving motion of robotic manipulators by an embedded optimizer (HD, GS, BP, OS), pp. 204–209.
CASECASE-2010-FreitasGLH #configuration management #mobile #multi #optimisation
Multi-objective optimization for kinematic reconfiguration of mobile robots (GMF, GG, FCL, LH), pp. 686–691.
CASECASE-2010-HassanzadehMB #algorithm #mobile #optimisation
Mobile robot path planning based on shuffled frog leaping optimization algorithm (IH, KM, MAB), pp. 680–685.
CASECASE-2010-Hui
Optimal control of bio-attack induced infectious disease dynamics: The case of anthrax (QH), pp. 911–916.
CASECASE-2010-JohnsonM #optimisation #using
Local planning using switching time optimization (ERJ, TDM), pp. 828–834.
CASECASE-2010-KimHS #outsourcing
Risk-averse outsourcing strategies for optimal intellectual property protection (BK, KH, KS), pp. 978–983.
CASECASE-2010-MashaeiLSA #design #flexibility #multi
Optimal design of a decoupled multiple-loop pallet system for cyclic flexible manufacturing plants (MM, BL, FS, GA), pp. 433–438.
CASECASE-2010-MehrtashK
Optimal motion control of magnetically levitated microrobot (MM, MBK), pp. 521–526.
CASECASE-2010-QiC #constraints #optimisation #probability
Stochastic optimization of hydro-thermal system with annual water consumption constraints (YQ, XC), pp. 1001–1006.
CASECASE-2010-ShahNK #case study #optimisation #parallel
CAD-enhanced workspace optimization for parallel manipulators: A case study (HS, MSN, VNK), pp. 816–821.
CASECASE-2010-SinghR #clustering #energy #optimisation #policy
Energy optimization policies for server clusters (NS, SR), pp. 293–300.
CASECASE-2010-VergnanoTLFPYBL #energy #optimisation #scheduling
Embedding detailed robot energy optimization into high-level scheduling (AV, CT, BL, PF, MP, CY, SB, FL), pp. 386–392.
DACDAC-2010-Ababei #design #modelling #network #optimisation #using
Network on chip design and optimization using specialized influence models (CA), pp. 625–626.
DACDAC-2010-BanP #layout #modelling #optimisation #robust
Compact modeling and robust layout optimization for contacts in deep sub-wavelength lithography (YB, DZP), pp. 408–411.
DACDAC-2010-ChuangKSC #optimisation
Pulsed-latch aware placement for timing-integrity optimization (YLC, SK, YS, YWC), pp. 280–285.
DACDAC-2010-GolubitskyFM #synthesis
Synthesis of the optimal 4-bit reversible circuits (OG, SMF, DM), pp. 653–656.
DACDAC-2010-GuthausWR #linear #optimisation #programming
Non-uniform clock mesh optimization with linear programming buffer insertion (MRG, GW, RR), pp. 74–79.
DACDAC-2010-IosifidisMMGBSC #automation #framework #memory management #optimisation #parallel
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 #optimisation
Trace-driven optimization of networks-on-chip configurations (ABK, BL, KS, RSR), pp. 437–442.
DACDAC-2010-KongMYW #algorithm
An optimal algorithm for finding disjoint rectangles and its application to PCB routing (HK, QM, TY, MDFW), pp. 212–217.
DACDAC-2010-LiuYHSK #generative #optimisation
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 #optimisation
A framework for optimizing thermoelectric active cooling systems (JL, SOM), pp. 591–596.
DACDAC-2010-NalamBMC #design #optimisation #prototype
Virtual prototyper (ViPro): an early design space exploration and optimization tool for SRAM designers (SN, MB, KM, BHC), pp. 138–143.
DACDAC-2010-ThongN #algorithm #constant #multi #novel
A novel optimal single constant multiplication algorithm (JT, NN), pp. 613–616.
DACDAC-2010-YangALLP #3d #analysis #layout #optimisation
TSV stress aware timing analysis with applications to 3D-IC layout optimization (JSY, KA, YJL, SKL, DZP), pp. 803–806.
DACDAC-2010-YeL #modelling #optimisation #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 #network #optimisation #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 #optimisation #parallel
Parallel hierarchical cross entropy optimization for on-chip decap budgeting (XZ, YG, ZF, SH), pp. 843–848.
DATEDATE-2010-BaoAEP #energy #optimisation #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 #optimisation #towards
Toward optimized code generation through model-based optimization (AC, CM, SG, FT, PB), pp. 1313–1316.
DATEDATE-2010-ChengLW #diagrams #optimisation
Optimization of FIR filter to improve eye diagram for general transmission line systems (YSC, YCL, RBW), pp. 1321–1324.
DATEDATE-2010-CongLX #behaviour #coordination #optimisation #synthesis
Coordinated resource optimization in behavioral synthesis (JC, BL, JX), pp. 1267–1272.
DATEDATE-2010-DeHonQC #challenge #energy #optimisation #reliability
Vision for cross-layer optimization to address the dual challenges of energy and reliability (AD, HMQ, NPC), pp. 1017–1022.
DATEDATE-2010-Flautner #performance
Optimize your power and performance yields and regain those sleepless nights (KF), p. 1006.
DATEDATE-2010-GaoH #geometry #optimisation #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 #optimisation #synthesis
Optimizing equivalence checking for behavioral synthesis (KH, FX, SR, JY), pp. 1500–1505.
DATEDATE-2010-JafariLJY
Optimal regulation of traffic flows in networks-on-chip (FJ, ZL, AJ, MHY), pp. 1621–1624.
DATEDATE-2010-JeeraditKH #optimisation
Intent-leveraged optimization of analog circuits via homotopy (MJ, JK, MH), pp. 1614–1619.
DATEDATE-2010-JungP #network #nondeterminism #optimisation #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-KerstanO #design #realtime
Design of a real-time optimized emulation method (TK, MO), pp. 646–649.
DATEDATE-2010-LeeM #named #network #optimisation
Contango: Integrated optimization of SoC clock networks (DL, ILM), pp. 1468–1473.
DATEDATE-2010-LiSC #logic #manycore
Exploiting local logic structures to optimize multi-core SoC floorplanning (CHL, SS, LPC), pp. 1291–1296.
DATEDATE-2010-LiuFG #optimisation #performance
An accurate and efficient yield optimization method for analog circuits based on computing budget allocation and memetic search technique (BL, FVF, GGEG), pp. 1106–1111.
DATEDATE-2010-LiuTL #automation #design #optimisation #power management
Combining optimizations in automated low power design (QL, TT, WL), pp. 1791–1796.
DATEDATE-2010-LiZHH #logic #optimisation #synthesis
Reversible logic synthesis through ant colony optimization (ML, YZ, MSH, CH), pp. 307–310.
DATEDATE-2010-LongM #bias #monitoring #network #optimisation
Optimization of the bias current network for accurate on-chip thermal monitoring (JL, SOM), pp. 1365–1368.
DATEDATE-2010-LongMG #optimisation
Optimization of an on-chip active cooling system based on thin-film thermoelectric coolers (JL, SOM, MG), pp. 117–122.
DATEDATE-2010-LungZCC #optimisation
Clock skew optimization considering complicated power modes (CLL, ZYZ, CHC, SCC), pp. 1474–1479.
DATEDATE-2010-MintarnoSZVCBDM #self
Optimized self-tuning for circuit aging (EM, JS, RZ, JV, YC, SPB, RWD, SM), pp. 586–591.
DATEDATE-2010-MishraJ #optimisation #power management #synthesis #using
Low-power FinFET circuit synthesis using surface orientation optimization (PM, NKJ), pp. 311–314.
DATEDATE-2010-MitraBS #challenge #metric #optimisation
Cross-layer resilience challenges: Metrics and optimization (SM, KB, PNS), pp. 1029–1034.
DATEDATE-2010-Mueller-GritschnederG #specification
Computation of yield-optimized Pareto fronts for analog integrated circuit specifications (DMG, HG), pp. 1088–1093.
DATEDATE-2010-PakbazniaGP #power management #resource management
Temperature-aware dynamic resource provisioning in a power-optimized datacenter (EP, MG, MP), pp. 124–129.
DATEDATE-2010-PakerEB #algorithm #architecture #low cost #multi #standard
A low cost multi-standard near-optimal soft-output sphere decoder: Algorithm and architecture (ÖP, SE, AB), pp. 1402–1407.
DATEDATE-2010-PerezSF #data flow #graph #optimisation #relational
Optimizing Data-Flow Graphs with min/max, adding and relational operations (JP, PS, VF), pp. 1361–1364.
DATEDATE-2010-Rabaey #energy
Always energy-optimal microscopic wireless systems (JMR), p. 658.
DATEDATE-2010-ShafikAC #design #embedded #optimisation #power management
Soft error-aware design optimization of low power and time-constrained embedded systems (RAS, BMAH, KC), pp. 1462–1467.
DATEDATE-2010-VasicekSB #design #implementation
A method for design of impulse bursts noise filters optimized for FPGA implementations (ZV, LS, MB), pp. 1731–1736.
DocEngDocEng-2010-OllisBB #documentation #using
Optimized reprocessing of documents using stored processor state (JAO, DFB, SRB), pp. 135–138.
DocEngDocEng-2010-SojkaH #documentation #library #optimisation #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 #optimisation #recognition
Ant colony optimization with selective evaluation for feature selection in character recognition (ISO, JSL), pp. 1–10.
DRRDRR-2010-YinBA #classification #documentation #optimisation
Time and space optimization of document content classifiers (DY, HSB, CA), pp. 1–10.
PODSPODS-2010-CormodeMYZ #distributed
Optimal sampling from distributed streams (GC, SM, KY, QZ), pp. 77–86.
PODSPODS-2010-GupteS #privacy
Universally optimal privacy mechanisms for minimax agents (MG, MS), pp. 135–146.
PODSPODS-2010-KaneNW #algorithm #problem
An optimal algorithm for the distinct elements problem (DMK, JN, DPW), pp. 41–52.
PODSPODS-2010-LiHRMM #difference #linear #optimisation #privacy #query
Optimizing linear counting queries under differential privacy (CL, MH, VR, GM, AM), pp. 123–134.
PODSPODS-2010-MeierSWL #optimisation #query #semantics
Semantic query optimization in the presence of types (MM, MS, FW, GL), pp. 111–122.
SIGMODSIGMOD-2010-BaoDKR #using #workflow
An optimal labeling scheme for workflow provenance using skeleton labels (ZB, SBD, SK, SR), pp. 711–722.
SIGMODSIGMOD-2010-ChaudhuriLN #optimisation #query
Variance aware optimization of parameterized queries (SC, HL, VRN), pp. 531–542.
SIGMODSIGMOD-2010-EmrichKKRZ
Boosting spatial pruning: on optimal pruning of MBRs (TE, HPK, PK, MR, AZ), pp. 39–50.
SIGMODSIGMOD-2010-GrafKRS #named
PAROS: pareto optimal route selection (FG, HPK, MR, MS), pp. 1199–1202.
SIGMODSIGMOD-2010-MeyerDGM #optimisation #query
Optimizing schema-last tuple-store queries in graphd (SMM, JD, JG, BM), pp. 1047–1056.
SIGMODSIGMOD-2010-MoonCZ #architecture #evolution #optimisation #query #scalability #transaction
Scalable architecture and query optimization fortransaction-time DBs with evolving schemas (HJM, CC, CZ), pp. 207–218.
SIGMODSIGMOD-2010-QiJSP #nondeterminism #optimisation #query
Threshold query optimization for uncertain data (YQ, RJ, SS, SP), pp. 315–326.
SIGMODSIGMOD-2010-YangWLW #keyword #optimisation #using #web
Optimizing content freshness of relations extracted from the web using keyword search (MY, HW, LL, MW), pp. 819–830.
VLDBVLDB-2010-CanimKHM #database #query #relational
Building Disclosure Risk Aware Query Optimizers for Relational Databases (MC, MK, BH, SM), pp. 13–24.
VLDBVLDB-2010-DeutchMPY #evaluation #process #query
Optimal Top-K Query Evaluation for Weighted Business Processes (DD, TM, NP, TY), pp. 940–951.
VLDBVLDB-2010-GrimsmoBH #performance
Fast Optimal Twig Joins (NG, TAB, MLH), pp. 894–905.
VLDBVLDB-2010-Haritsa #database #query #visualisation
The Picasso Database Query Optimizer Visualizer (JRH), pp. 1517–1520.
VLDBVLDB-2010-HerodotouB #named #query
Xplus: A SQL-Tuning-Aware Query Optimizer (HH, SB), pp. 1149–1160.
VLDBVLDB-2010-ManethN #optimisation #query #xpath
XPath Whole Query Optimization (SM, KN), pp. 882–893.
VLDBVLDB-2010-MihaylovJIG #multi #network #optimisation
Dynamic Join Optimization in Multi-Hop Wireless Sensor Networks (SRM, MJ, ZGI, SG), pp. 1279–1290.
VLDBVLDB-2010-PramanikWML #query
Transforming Range Queries To Equivalent Box Queries To Optimize Page Access (SP, AW, CRM, AXL), pp. 409–416.
VLDBVLDB-2010-ZhaoH #graph #network #on the #optimisation #query #scalability
On Graph Query Optimization in Large Networks (PZ, JH), pp. 340–351.
FASEFASE-2010-Harman #optimisation #why
Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization (MH), pp. 1–12.
TACASTACAS-2010-GoreKP #algebra #algorithm #logic
Optimal Tableau Algorithms for Coalgebraic Logics (RG, CK, DP), pp. 114–128.
TACASTACAS-2010-LegrielGCM #approximate #multi #optimisation #problem
Approximating the Pareto Front of Multi-criteria Optimization Problems (JL, CLG, SC, OM), pp. 69–83.
WRLAWRLA-2010-EscobarSM #termination
Folding Variant Narrowing and Optimal Variant Termination (SE, RS, JM), pp. 52–68.
CSMRCSMR-2010-CortellessaMP #behaviour #maintenance #reliability #trade-off
Selecting Optimal Maintenance Plans Based on Cost/Reliability Tradeoffs for Software Subject to Structural and Behavioral Changes (VC, RM, PP), pp. 21–30.
SCAMSCAM-2010-GrantC #analysis #concept #source code
Estimating the Optimal Number of Latent Concepts in Source Code Analysis (SG, JRC), pp. 65–74.
PEPMPEPM-2010-Henglein #algebra #equivalence #lazy evaluation #optimisation #relational #using
Optimizing relational algebra operations using generic equivalence discriminators and lazy products (FH), pp. 73–82.
PEPMPEPM-2010-MagalhaesHJL #exclamation #optimisation
Optimizing generics is easy! (JPM, SH, JJ, AL), pp. 33–42.
PLDIPLDI-2010-ChenHEFPTW #dataset #optimisation
Evaluating iterative optimization across 1000 datasets (YC, YH, LE, GF, LP, OT, CW), pp. 448–459.
PLDIPLDI-2010-RuwaseCGM #correctness #optimisation #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 #optimisation #parallel
A GPGPU compiler for memory optimization and parallelism management (YY, PX, JK, HZ), pp. 86–97.
SASSAS-2010-Goldberg #framework #in memory #memory management #optimisation #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.
STOCSTOC-2010-ChandranKOR #privacy
Privacy amplification with asymptotically optimal entropy loss (NC, BK, RO, LR), pp. 785–794.
STOCSTOC-2010-DeV #quantum
Near-optimal extractors against quantum storage (AD, TV), pp. 161–170.
STOCSTOC-2010-DeyHK #linear #programming
Optimal homologous cycles, total unimodularity, and linear programming (TKD, ANH, BK), pp. 221–230.
STOCSTOC-2010-FraigniaudK
An optimal ancestry scheme and small universal posets (PF, AK), pp. 611–620.
STOCSTOC-2010-GilbertLPS #approximate #metric #optimisation
Approximate sparse recovery: optimizing time and measurements (ACG, YL, EP, MJS), pp. 475–484.
STOCSTOC-2010-KollaMST
Subgraph sparsification and nearly optimal ultrasparsifiers (AK, YM, AS, SHT), pp. 57–66.
STOCSTOC-2010-Sherstov #bound
Optimal bounds for sign-representing the intersection of two halfspaces by polynomials (AAS), pp. 523–532.
ICALPICALP-v1-2010-GrossiOR #string #trade-off
Optimal Trade-Offs for Succinct String Indexes (RG, AO, RR), pp. 678–689.
ICALPICALP-v1-2010-GuptaNR #algorithm #optimisation #robust
Thresholded Covering Algorithms for Robust and Max-min Optimization (AG, VN, RR), pp. 262–274.
ICALPICALP-v1-2010-GuptaNR10a #adaptation #algorithm #approximate #problem
Approximation Algorithms for Optimal Decision Trees and Adaptive TSP Problems (AG, VN, RR), pp. 690–701.
ICALPICALP-v2-2010-BunnO #network
Asynchronous Throughput-Optimal Routing in Malicious Networks (PB, RO), pp. 236–248.
ICALPICALP-v2-2010-ChenF #logic #on the #proving
On p-Optimal Proof Systems and Logics for PTIME (YC, JF), pp. 321–332.
ICALPICALP-v2-2010-GenestGMW #automaton
Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata (BG, HG, AM, IW), pp. 52–63.
CHICHI-2010-BiSZ #optimisation
Quasi-qwerty soft keyboard optimization (XB, BAS, SZ), pp. 283–286.
CHICHI-2010-KapoorLTH #classification #interactive #optimisation
Interactive optimization for steering machine classification (AK, BL, DST, EH), pp. 1343–1352.
ICEISICEIS-AIDSS-2010-MianiYSF #algorithm #optimisation #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-AlahmariZR #architecture #legacy #migration
Migrating Legacy Systems to a Service-Oriented Architecture with Optimal Granularity (SA, EZ, DDR), pp. 198–207.
ICEISICEIS-DISI-2010-BohmHL #clustering #multi #optimisation #queue
Multi-process Optimization Via Horizontal Message Queue Partitioning (MB, DH, WL), pp. 5–14.
ICEISICEIS-ISAS-2010-FernandesPMP #execution #optimisation #process
Integrating and Optimizing Business Process Execution in P2P Environments (MF, MP, JAM, JSP), pp. 171–177.
ICEISICEIS-J-2010-BohmHL10a #clustering #multi #optimisation #queue
Multi-flow Optimization via Horizontal Message Queue Partitioning (MB, DH, WL), pp. 31–47.
CIKMCIKM-2010-DillonC #algorithm #feedback #framework #optimisation #pseudo #robust
A unified optimization framework for robust pseudo-relevance feedback algorithms (JVD, KCT), pp. 1069–1078.
CIKMCIKM-2010-HeMW #algorithm #evaluation #learning #metric #optimisation #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 #optimisation #query
Query optimization for ontology-based information integration (YL, JH), pp. 1369–1372.
CIKMCIKM-2010-LiLBZ #optimisation #ranking #web
Optimizing unified loss for web ranking specialization (FL, XL, JB, ZZ), pp. 1593–1596.
CIKMCIKM-2010-LiXCH #named #optimisation #performance
StableBuffer: optimizing write performance for DBMS applications on flash devices (YL, JX, BC, HH), pp. 339–348.
CIKMCIKM-2010-RohLP
Yet another write-optimized DBMS layer for flash-based solid state storage (HR, DL, SP), pp. 1345–1348.
ICMLICML-2010-Apte #machine learning #optimisation
The Role of Machine Learning in Business Optimization (CA), pp. 1–2.
ICMLICML-2010-BardenetK #algorithm #optimisation
Surrogating the surrogate: accelerating Gaussian-process-based global optimization with a mixture cross-entropy algorithm (RB, BK), pp. 55–62.
ICMLICML-2010-ChakrabortyS #convergence #learning #multi #safety
Convergence, Targeted Optimality, and Safety in Multiagent Learning (DC, PS), pp. 191–198.
ICMLICML-2010-DembczynskiCH #classification #multi #probability
Bayes Optimal Multilabel Classification via Probabilistic Classifier Chains (KD, WC, EH), pp. 279–286.
ICMLICML-2010-KrishnamurthyT
Inverse Optimal Control with Linearly-Solvable MDPs (KD, ET), pp. 335–342.
ICMLICML-2010-Martens #learning #optimisation
Deep learning via Hessian-free optimization (JM), pp. 735–742.
ICMLICML-2010-SlivkinsRG #documentation #learning #ranking #scalability
Learning optimally diverse rankings over large document collections (AS, FR, SG), pp. 983–990.
ICMLICML-2010-SrinivasKKS #design #optimisation #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 #optimisation #using
Maximum Likelihood Estimation of Gaussian Mixture Models Using Particle Swarm Optimization (CA, SA), pp. 746–749.
ICPRICPR-2010-BoltonG #framework #learning #multi #optimisation #random #set
Cross Entropy Optimization of the Random Set Framework for Multiple Instance Learning (JB, PDG), pp. 3907–3910.
ICPRICPR-2010-CapitaineF10a #clustering #image #on the #segmentation
On Selecting an Optimal Number of Clusters for Color Image Segmentation (HLC, CF), pp. 3388–3391.
ICPRICPR-2010-ChenSW #distance #geometry #linear #optimisation
Minimizing Geometric Distance by Iterative Linear Optimization (YC, JS, GW), pp. 1–4.
ICPRICPR-2010-ChenXF
Optimized Entropy-constrained Vector Quantization of lossy Vector Map Compression (MC, MX, PF), pp. 722–725.
ICPRICPR-2010-DasKK #detection #multi #optimisation
Sub-Category Optimization for Multi-view Multi-pose Object Detection (DD, YK, YK), pp. 1405–1408.
ICPRICPR-2010-DundarBRJSG #approach #classification #learning #multi #towards
A Multiple Instance Learning Approach toward Optimal Classification of Pathology Slides (MD, SB, VCR, RKJ, OS, MNG), pp. 2732–2735.
ICPRICPR-2010-EkbalSG #feature model #multi #optimisation #recognition #using
Feature Selection Using Multiobjective Optimization for Named Entity Recognition (AE, SS, CSG), pp. 1937–1940.
ICPRICPR-2010-GruberZWSH #optimisation
Optimization of Target Objects for Natural Feature Tracking (LG, SZ, DW, DS, TH), pp. 3607–3610.
ICPRICPR-2010-KenmochiBT
Efficiently Computing Optimal Consensus of Digital Line Fitting (YK, LB, HT), pp. 1064–1067.
ICPRICPR-2010-KhanN #image #optimisation
A Modified Particle Swarm Optimization Applied in Image Registration (MKK, IN), pp. 2302–2305.
ICPRICPR-2010-KimL #markov #monte carlo #optimisation #random #using
Continuous Markov Random Field Optimization Using Fusion Move Driven Markov Chain Monte Carlo Technique (WK, KML), pp. 1364–1367.
ICPRICPR-2010-KimYOC #optimisation #using #video
Recovery Video Stabilization Using MRF-MAP Optimization (SWK, KMY, SO, JYC), pp. 2804–2807.
ICPRICPR-2010-NovoSPF #algorithm #modelling #multi #optimisation
Optimization of Topological Active Models with Multiobjective Evolutionary Algorithms (JN, JSR, MGP, AF), pp. 2226–2229.
ICPRICPR-2010-PaclikLLD #analysis #classification #optimisation
ROC Analysis and Cost-Sensitive Optimization for Hierarchical Classifiers (PP, CL, TL, RPWD), pp. 2977–2980.
ICPRICPR-2010-PapaCF #classification #dataset #optimisation
Optimizing Optimum-Path Forest Classification for Huge Datasets (JPP, FAMC, AXF), pp. 4162–4165.
ICPRICPR-2010-ScharfenbergerCF #artificial reality #predict #using
Driver Body-Height Prediction for an Ergonomically Optimized Ingress Using a Single Omnidirectional Camera (CS, SC, GF), pp. 298–301.
ICPRICPR-2010-SenkoK #clustering #pattern matching #pattern recognition #recognition #using
Pattern Recognition Method Using Ensembles of Regularities Found by Optimal Partitioning (OVS, AVK), pp. 2957–2960.
ICPRICPR-2010-TrummerMD #online #optimisation #using
Online Next-Best-View Planning for Accuracy Optimization Using an Extended E-Criterion (MT, CM, JD), pp. 1642–1645.
ICPRICPR-2010-VanacloigOGV #image #integration #people
Locating People in Images by Optimal Cue Integration (VLAV, JARO, GAG, JMVG), pp. 1804–1807.
ICPRICPR-2010-ZhouL #approximate #monte carlo #optimisation #performance
Efficient Polygonal Approximation of Digital Curves via Monte Carlo Optimization (XZ, YL), pp. 3513–3516.
KDDKDD-2010-AbeMPRJTBACKDG #learning #optimisation #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-HeLC #kernel #scalability #similarity
Scalable similarity search with optimized kernel hashing (JH, WL, SFC), pp. 1129–1138.
KDDKDD-2010-LiuMTLL #learning #metric #optimisation #using
Semi-supervised sparse metric learning using alternating linearization optimization (WL, SM, DT, JL, PL), pp. 1139–1148.
KMISKMIS-2010-DotoliF #multi #optimisation
A Hierarchical Vendor Selection Optimization Technique for Multiple Sourcing (MD, MF), pp. 195–200.
KMISKMIS-2010-SalgadoV #agile #optimisation
Kanban Sharing and Optimization in Bosch Production System (PS, LV), pp. 81–91.
KRKR-2010-LarbiKM
A Characterization of Optimality Criteria for Decision Making under Complete Ignorance (RBL, SK, PM).
KRKR-2010-OrtizRS #owl #reasoning #worst-case
Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2 (MO, SR, MS).
RecSysRecSys-2010-JamborW #collaboration #multi #optimisation
Optimizing multiple objectives in collaborative filtering (TJ, JW), pp. 55–62.
SEKESEKE-2010-SouzaPB #approach #optimisation #testing
A Constrained Particle Swarm Optimization Approach for Test Case Selection (LSdS, RBCP, FdAB), pp. 259–264.
SEKESEKE-2010-WangXLS #debugging #optimisation #probability
A Stochastic Model for Optimizing the Patching Time of Software Bugs (YW, DX, WML, DBS), pp. 88–92.
SIGIRSIGIR-2010-CarpinetoR #clustering
Optimal meta search results clustering (CC, GR), pp. 170–177.
SIGIRSIGIR-2010-LongCZCZT #learning #optimisation #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 #optimisation #statistics
On statistical analysis and optimization of information retrieval effectiveness metrics (JW, JZ), pp. 226–233.
SIGIRSIGIR-2010-WilkinsSF #data fusion
Properties of optimally weighted data fusion in CBMIR (PW, AFS, PF), pp. 643–650.
OOPSLAOOPSLA-2010-PurandareDE #monitoring #optimisation
Monitor optimization via stutter-equivalent loop transformation (RP, MBD, SGE), pp. 270–285.
OOPSLAOOPSLA-2010-TianJZS #optimisation #paradigm
An input-centric paradigm for program dynamic optimizations (KT, YJ, EZZ, XS), pp. 125–139.
TOOLSTOOLS-EUROPE-2010-HundtSG #aspect-oriented #embedded #optimisation
Optimizing Aspect-Oriented Mechanisms for Embedded Applications (CH, DS, SG), pp. 137–153.
PPDPPPDP-2010-Balabonski
Optimality for dynamic patterns (TB), pp. 231–242.
PPDPPPDP-2010-TekleGL #datalog #graph #optimisation #query
Graph queries through datalog optimizations (KTT, MG, YAL), pp. 25–34.
QAPLQAPL-2010-RabeS #game studies #markov
Optimal Time-Abstract Schedulers for CTMDPs and Markov Games (MNR, SS), pp. 144–158.
POPLPOPL-2010-TateSL #compilation #generative #optimisation #proving
Generating compiler optimizations from proofs (RT, MS, SL), pp. 389–402.
REFSQREFSQ-2010-SakhniniBM #effectiveness #elicitation #requirements #validation
Validation of the Effectiveness of an Optimized EPMcreate as an Aid for Creative Requirements Elicitation (VS, DMB, LM), pp. 91–105.
SACSAC-2010-AthanasiadisFNS #3d #geometry #optimisation
Feature-based 3D morphing based on geometrically constrained sphere mapping optimization (TA, IF, CN, VS), pp. 1258–1265.
SACSAC-2010-BechikhSG #mobile #multi #optimisation #using
Searching for knee regions in multi-objective optimization using mobile reference points (SB, LBS, KG), pp. 1118–1125.
SACSAC-2010-CaoWWH #approach #composition #named #network #social
OASNET: an optimal allocation approach to influence maximization in modular social networks (TC, XW, SW, XH), pp. 1088–1094.
SACSAC-2010-Chen #algorithm #query
A time optimal algorithm for evaluating tree pattern queries (YC), pp. 1638–1642.
SACSAC-2010-GuoQL #configuration management #energy #network #optimisation #using
A general energy optimization model for wireless networks using configurable antennas (SG, ZQ, SL), pp. 246–250.
SACSAC-2010-HansenS #analysis #implementation #optimisation #reachability
Reachability analysis of GSPDIs: theory, optimization, and implementation (HAH, GS), pp. 2511–2516.
SACSAC-2010-LitoiuWWNI #architecture #optimisation
A business driven cloud optimization architecture (ML, CMW, JW, JN, GI), pp. 380–385.
SACSAC-2010-MylavarapuSB #approach #capacity #framework #probability
An optimized capacity planning approach for virtual infrastructure exhibiting stochastic workload (SM, VS, PB), pp. 386–390.
SACSAC-2010-PetrucciLM #clustering #optimisation #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 #optimisation
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 #optimisation
Generic flow-sensitive optimizing transformations in C++ with concepts (XT, JJ), pp. 2111–2118.
SACSAC-2010-ZhangHJ #java #locality #transaction
Optimized Java Card transaction mechanism based on object locality (DZ, ZH, WJ), pp. 550–551.
ICSEICSE-2010-NoriR #empirical #optimisation
An empirical study of optimizations in YOGI (AVN, SKR), pp. 355–364.
ASPLOSASPLOS-2010-AhmadV #maintenance #optimisation
Joint optimization of idle and cooling power in data centers while maintaining response time (FA, TNV), pp. 243–256.
CCCC-2010-Chevalier-BoisvertHV #matlab #optimisation
Optimizing Matlab through Just-In-Time Specialization (MCB, LJH, CV), pp. 46–65.
CCCC-2010-LogozzoV #abstract interpretation #agile #analysis #javascript #named #optimisation
RATA: Rapid Atomic Type Analysis by Abstract Interpretation — Application to JavaScript Optimization (FL, HV), pp. 66–83.
CCCC-2010-RoyS #optimisation
The Hot Path SSA Form: Extending the Static Single Assignment Form for Speculative Optimizations (SR, YNS), pp. 304–323.
CGOCGO-2010-BorinWWLBHNRR #named #optimisation
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 #optimisation
Hybrid Java compilation and optimization for digital TV software platform (DHJ, SMM, HSO), pp. 73–81.
CGOCGO-2010-LiAH #lightweight #optimisation
Lightweight feedback-directed cross-module optimization (DXL, RA, RH), pp. 53–61.
CGOCGO-2010-LindermanHDMN #analysis #automation #optimisation #precise #towards
Towards program optimization through automated analysis of numerical precision (MDL, MH, DLD, THYM, GPN), pp. 230–237.
CGOCGO-2010-WeiYYG #communication #pipes and filters #source code
Minimizing communication in rate-optimal software pipelining for stream programs (HW, JY, HY, GRG), pp. 210–217.
HPCAHPCA-2010-WooSLL #3d #architecture #memory management
An optimized 3D-stacked memory architecture by exploiting excessive, high-density TSV bandwidth (DHW, NHS, DLL, HHSL), pp. 1–12.
HPDCHPDC-2010-BatiniGM #architecture #enterprise #using
Optimal enterprise data architecture using publish and subscribe (CB, SG, AM), pp. 541–547.
HPDCHPDC-2010-ChenSTS #optimisation
A layout-aware optimization strategy for collective I/O (YC, HS, RT, XHS), pp. 360–363.
HPDCHPDC-2010-JonesDD #clustering #performance
Impact of sub-optimal checkpoint intervals on application efficiency in computational clusters (WMJ, JTD, ND), pp. 276–279.
HPDCHPDC-2010-MooreKMKG #performance #volunteer
Simultaneous performance exploration and optimized search with volunteer computing (LRM, MK, TM, MK, KAG), pp. 312–315.
HPDCHPDC-2010-PetrouSMFPD #mutation testing #optimisation #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 #optimisation #runtime
Run-time optimizations for replicated dataflows on heterogeneous environments (GT, TDRH, ÜVÇ, RF), pp. 13–24.
ISMMISMM-2010-Anderson #garbage collection #optimisation
Optimizations in a private nursery-based garbage collector (TAA), pp. 21–30.
LCTESLCTES-2010-KulkarniJW #optimisation #performance #sequence
Improving both the performance benefits and speed of optimization phase sequence searches (PAK, MRJ, DBW), pp. 95–104.
PPoPPPPoPP-2010-Mendez-LojoNPSHKBP #optimisation #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 #optimisation #source code
An optimizing compiler for GPGPU programs with input-data sharing (YY, PX, JK, HZ), pp. 343–344.
CSLCSL-2010-ChenF #on the #problem #proving #slicing
On Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUT (YC, JF), pp. 200–214.
ICLPICLP-2010-ShakarianSS10 #network #optimisation #problem #social #source code #using
Using Generalized Annotated Programs to Solve Social Network Optimization Problems (PS, VSS, MLS), pp. 182–191.
IJCARIJCAR-2010-GlimmHM #logic #reasoning
Optimized Description Logic Reasoning via Core Blocking (BG, IH, BM), pp. 457–471.
IJCARIJCAR-2010-GoreW #logic
Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse (RG, FW), pp. 225–239.
RTARTA-2010-Oostrom
Realising Optimal Sharing (VvO), pp. 5–6.
RTARTA-2010-WinklerSMK #optimisation
Optimizing mkbTT (SW, HS, AM, MK), pp. 373–384.
ICSTSAT-2010-KrocSS #empirical #runtime
An Empirical Study of Optimal Noise and Runtime Distributions in Local Search (LK, AS, BS), pp. 346–351.
ICSTSAT-2010-ManquinhoML #algorithm #optimisation #satisfiability
Improving Unsatisfiability-Based Algorithms for Boolean Optimization (VMM, RM, IL), pp. 181–193.
QoSAQoSA-2009-KavimandanG #model transformation #optimisation #realtime
Applying Model Transformations to Optimizing Real-Time QoS Configurations in DRE Systems (AK, ASG), pp. 18–35.
WICSA-ECSAWICSA-ECSA-2009-NallurBY #architecture #in the cloud #quality #self
Self-optimizing architecture for ensuring Quality Attributes in the cloud (VN, RB, XY), pp. 281–284.
WICSA-ECSAWICSA-ECSA-2009-RooSA #adaptation #architecture #embedded #multi #optimisation #using
An architectural style for optimizing system qualities in adaptive embedded systems using Multi-Objective Optimization (AdR, HS, MA), pp. 349–352.
ASEASE-2009-SiddiquiMK #constraints #optimisation #performance #theorem proving
Optimizing a Structural Constraint Solver for Efficient Software Checking (JHS, DM, SK), pp. 615–619.
CASECASE-2009-CaldwellM #estimation #higher-order
Second-order optimal estimation of slip state for a simple slip-steered vehicle (TMC, TDM), pp. 133–139.
CASECASE-2009-GirishJ #algorithm #flexibility #optimisation #problem #scheduling
A particle swarm optimization algorithm for flexible job shop scheduling problem (BSG, NJ), pp. 298–303.
CASECASE-2009-JohnsonM #animation #automation #optimisation #synthesis #using
Automated trajectory synthesis from animation data using trajectory optimization (ERJ, TDM), pp. 274–279.
CASECASE-2009-KhawP #assembly #multi #optimisation #problem
Multi-rule multi-objective Ant Colony Optimization for straight and U-type assembly line balancing problem (CLEK, SGP), pp. 177–182.
CASECASE-2009-ParkPSR #adaptation
Decision support for optimal adaptation of product and supply chain systems based on real options theory (CHP, LP, KS, HER), pp. 316–321.
CASECASE-2009-WangLCM #optimisation #performance #social
Efficient optimization of building emergency evacuation considering social bond of evacuees (PW, PBL, SCC, KLM), pp. 250–255.
CASECASE-2009-ZiedSN #maintenance #probability #random
An optimal production/maintenance planning under stochastic random demand, service level and failure rate (ZH, SD, NR), pp. 292–297.
DACDAC-2009-BaoAEP #dependence #energy #online #optimisation #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 #optimisation #using
Timing-driven optimization using lookahead logic circuits (MRC, KM), pp. 390–395.
DACDAC-2009-FalkK
Optimal static WCET-aware scratchpad allocation of program code (HF, JCK), pp. 732–737.
DACDAC-2009-HanumaiahRVC #constraints #manycore #throughput
Throughput optimal task allocation under thermal constraints for multi-core processors (VH, RR, SBKV, KSC), pp. 776–781.
DACDAC-2009-LeeK #manycore #optimisation #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 #optimisation #robust
Yield-driven iterative robust circuit optimization algorithm (YL, VS), pp. 599–604.
DACDAC-2009-LiuH #optimisation #parallel #performance
GPU-based parallelization for fast circuit optimization (YL, JH), pp. 943–946.
DACDAC-2009-OnaissiHN #optimisation #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 #optimisation #polynomial #using
Polynomial datapath optimization using partitioning and compensation heuristics (OS, BA, MF), pp. 931–936.
DACDAC-2009-ShengXM #algorithm #fault #multi #optimisation #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-StrojwasJRP #using
Creating an affordable 22nm node using design-lithography co-optimization (AJS, TJ, VR, LTP), pp. 95–96.
DACDAC-2009-WangH #approach #embedded #performance #simulation
An efficient approach for system-level timing simulation of compiler-optimized embedded software (ZW, AH), pp. 220–225.
DACDAC-2009-ZengZNGGS #optimisation #scheduling #using
Scheduling the FlexRay bus using optimization techniques (HZ, WZ, MDN, AG, PG, ALSV), pp. 874–877.
DATEDATE-2009-0002CWCXY #optimisation
Gate replacement techniques for simultaneous leakage and aging optimization (YW, XC, WW, YC, YX, HY), pp. 328–333.
DATEDATE-2009-ChakrabortyGRP #analysis #optimisation
Analysis and optimization of NBTI induced clock skew in gated clock trees (AC, GG, AR, DZP), pp. 296–299.
DATEDATE-2009-DiemerE #quality
A link arbitration scheme for quality of service in a latency-optimized network-on-chip (JD, RE), pp. 574–577.
DATEDATE-2009-Gomez-PradoRCGB #data flow #graph #hardware #implementation #optimisation
Optimizing data flow graphs to minimize hardware implementation (DGP, QR, MJC, JG, EB), pp. 117–122.
DATEDATE-2009-GuoS #bound #design #distributed #optimisation #using
Optimizing the HW/SW boundary of an ECC SoC design using control hierarchy and distributed storage (XG, PS), pp. 454–459.
DATEDATE-2009-HanumaiahVC #constraints #manycore #performance
Performance optimal speed control of multi-core processors under thermal constraints (VH, SBKV, KSC), pp. 1548–1551.
DATEDATE-2009-IzosimovPPEP #analysis #embedded #fault tolerance #optimisation
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 #optimisation
Test architecture design and optimization for three-dimensional SoCs (LJ, LH, QX), pp. 220–225.
DATEDATE-2009-KeinertDHHT #algorithm #image #modelling #multi #optimisation #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 #optimisation
Design optimizations to improve placeability of partial reconfiguration modules (MK, WL, JH, MP), pp. 976–981.
DATEDATE-2009-LiNZGSS #dependence #optimisation #protocol
Optimizations of an application-level protocol for enhanced dependability in FlexRay (WL, MDN, WZ, PG, ALSV, SAS), pp. 1076–1081.
DATEDATE-2009-MohammadZadehMJZ #multi #network
Multi-domain clock skew scheduling-aware register placement to optimize clock distribution network (NM, MM, AJ, MSZ), pp. 833–838.
DATEDATE-2009-VayrynenSL #execution #fault tolerance #multi #optimisation
Fault-tolerant average execution time optimization for general-purpose multi-processor system-on-chips (MV, VS, EL), pp. 484–489.
DATEDATE-2009-WangCTHR #modelling #optimisation #performance #polynomial #using
An efficient decoupling capacitance optimization using piecewise polynomial models (XW, YC, SXDT, XH, JR), pp. 1190–1195.
DATEDATE-2009-WilsonW #configuration management #variability
Optimal sizing of configurable devices to reduce variability in integrated circuits (PRW, RW), pp. 1385–1390.
DocEngDocEng-2009-KohK #documentation
Deriving image-text document surrogates to optimize cognition (EK, AK), pp. 84–93.
ICDARICDAR-2009-BloechleLI #canonical #documentation #named
OCD: An Optimized and Canonical Document Format (JLB, DL, RI), pp. 236–240.
ICDARICDAR-2009-KonyaSEG #adaptation
Constant-Time Locally Optimal Adaptive Binarization (IVK, CS, SE, SG), pp. 738–742.
ICDARICDAR-2009-SadriC #approach #documentation #optimisation
A New Approach for Skew Correction of Documents Based on Particle Swarm Optimization (JS, MC), pp. 1066–1070.
ICDARICDAR-2009-SantosKOSKB #evaluation #recognition
Evaluation of Different Strategies to Optimize an HMM-Based Character Recognition System (MS, AHRK, LSO, RS, ALK, AdSBJ), pp. 666–670.
ICDARICDAR-2009-TatsumiHK #layout #optimisation
Context-oriented Layout Optimization of Large-Print Textbooks (IT, HH, MK), pp. 1016–1020.
PODSPODS-2009-BerindeCIS #bound #fault
Space-optimal heavy hitters with strong error bounds (RB, GC, PI, MJS), pp. 157–166.
PODSPODS-2009-BravermanOZ
Optimal sampling from sliding windows (VB, RO, CZ), pp. 147–156.
PODSPODS-2009-YiZ #distributed
Optimal tracking of distributed heavy hitters and quantiles (KY, QZ), pp. 167–174.
SIGMODSIGMOD-2009-AndreiCCJS #clustering #optimisation
Ordering, distinctness, aggregation, partitioning and DQP optimization in sybase ASE 15 (MA, XC, SC, CJ, ES), pp. 917–924.
SIGMODSIGMOD-2009-BrunoCR #interactive #optimisation #query
Interactive plan hints for query optimization (NB, SC, RR), pp. 1043–1046.
SIGMODSIGMOD-2009-Chaudhuri #contract #query #question
Query optimizers: time to rethink the contract? (SC), pp. 961–968.
SIGMODSIGMOD-2009-ChenCMPSS #database #optimisation #order
Partial join order optimization in the paraccel analytic database (YC, RLC, WJM, SP, AS, ESJ), pp. 905–908.
SIGMODSIGMOD-2009-ChenGDYR #evolution #optimisation #source code
Optimizing complex extraction programs over evolving text data (FC, BJG, AD, JY, RR), pp. 321–334.
SIGMODSIGMOD-2009-HanL #manycore #optimisation #order #query
Dependency-aware reordering for parallelizing query optimization in multi-core CPUs (WSH, JL), pp. 45–58.
SIGMODSIGMOD-2009-KaderBMK #named #optimisation #runtime
ROX: run-time optimization of XQueries (RAK, PAB, SM, MvK), pp. 615–626.
SIGMODSIGMOD-2009-Neumann #optimisation #query
Query simplification: graceful degradation for join-order optimization (TN0), pp. 403–414.
SIGMODSIGMOD-2009-NicaBH #query #visualisation
Extreme visualisation of query optimizer search space (AN, DSB, DWH), pp. 1067–1070.
SIGMODSIGMOD-2009-SharafCLA #interactive #optimisation #transaction
Optimizing i/o-intensive transactions in highly interactive applications (MAS, PKC, AL, CA), pp. 785–798.
SIGMODSIGMOD-2009-WaasH #query
Parallelizing extensible query optimizers (FMW, JMH), pp. 871–878.
VLDBVLDB-2009-AgrawalGSDS #adaptation
Lazy-Adaptive Tree: An Optimized Index Structure for Flash Devices (DA, DG, RKS, YD, SS), pp. 361–372.
VLDBVLDB-2009-BellamkondaAWAZL #optimisation
Enhanced Subquery Optimizations in Oracle (SB, RA, AW, AA, MZ, CCL), pp. 1366–1377.
VLDBVLDB-2009-ChaudhuriNR #optimisation #query #testing
Exact Cardinality Query Optimization for Optimizer Testing (SC, VRN, RR), pp. 994–1005.
VLDBVLDB-2009-GottlobPS #normalisation #optimisation
Normalization and Optimization of Schema Mappings (GG, RP, VS), pp. 1102–1113.
VLDBVLDB-2009-Karras #scalability
Optimality and Scalability in Lattice Histogram Construction (PK), pp. 670–681.
VLDBVLDB-2009-XiaoTC #multi #privacy #random
Optimal Random Perturbation at Multiple Privacy Levels (XX, YT, MC), pp. 814–825.
TACASTACAS-2009-SchollDPK #constraints #detection #linear
Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints (CS, SD, FP, SK), pp. 383–397.
PEPMPEPM-2009-DavidGC #calculus #exception #optimisation
Translation and optimization for a core calculus with exceptions (CD, CG, WNC), pp. 41–50.
PLDIPLDI-2009-KunduTL #equivalence #optimisation #proving #using
Proving optimizations correct using parameterized program equivalence (SK, ZT, SL), pp. 327–337.
SASSAS-2009-Hurlin #automation #optimisation #parallel #proving #source code
Automatic Parallelization and Optimization of Programs by Proof Rewriting (CH), pp. 52–68.
SASSAS-2009-Simon #analysis #optimisation #pointer #similarity #using
Optimizing Pointer Analysis Using Bisimilarity (LS), pp. 222–237.
STOCSTOC-2009-BernsteinK
A nearly optimal oracle for avoiding failed vertices and edges (AB, DRK), pp. 101–110.
STOCSTOC-2009-Blais #testing
Testing juntas nearly optimally (EB), pp. 151–158.
CIAACIAA-2009-Zimmermann #game studies
Time-Optimal Winning Strategies for Poset Games (MZ0), pp. 217–226.
ICALPICALP-v1-2009-GfellerS #towards
Towards Optimal Range Medians (BG, PS), pp. 475–486.
ICALPICALP-v2-2009-GottlobGS #optimisation #problem #strict
Tractable Optimization Problems through Hypergraph-Based Structural Restrictions (GG, GG, FS), pp. 16–30.
ICFPICFP-2009-LiuCH #commutative #optimisation
Causal commutative arrows and their optimization (HL, EC, PH), pp. 35–46.
CHICHI-2009-BighamC #interface
Evaluating existing audio CAPTCHAs and an interface optimized for non-visual use (JPB, AC), pp. 1829–1838.
HCIHCD-2009-MayerOFNKKS #assembly #self
Cognitive Engineering for Direct Human-Robot Cooperation in Self-optimizing Assembly Cells (MPM, BO, MF, JN, WK, BK, CMS), pp. 1003–1012.
HCIHCI-VAD-2009-ChalfounF #3d #learning
Optimal Affective Conditions for Subconscious Learning in a 3D Intelligent Tutoring System (PC, CF), pp. 39–48.
HCIHIMI-II-2009-StrybelMNPV #online #optimisation
Optimizing Online Situation Awareness Probes in Air Traffic Management Tasks (TZS, KM, JHN, RP, KPLV), pp. 845–854.
ICEISICEIS-AIDSS-2009-KuoWHH #clustering #network #optimisation #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 #optimisation #using
Frequency Assignment Optimization using the Swarm Intelligence Multi-agent based Algorithm (SIMBA) (GBO), pp. 25–32.
ICEISICEIS-AIDSS-2009-ZanchettinL #design #hybrid #network #optimisation
Hybrid Optimization Technique for Artificial Neural Networks Design (CZ, TBL), pp. 242–247.
ICEISICEIS-DISI-2009-ElarissKG #multi #optimisation #paradigm #query
Query Melting — A New Paradigm for GIS Multiple Query Optimization (HEE, SK, DG), pp. 82–90.
ICEISICEIS-DISI-2009-GroppeGK #optimisation #using
Optimization of SPARQL by using coreSPARQL (JG, SG, JK), pp. 107–112.
ICEISICEIS-DISI-2009-SantosB #optimisation #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 #optimisation #search-based #web
Web Form Page in Mobile Devices — Optimization of Layout with a Simple Genetic Algorithm (LT, CB, RA, GC), pp. 118–123.
ICEISICEIS-J-2009-MohebiS #ambiguity #analysis #clustering #detection #hybrid #network #using
An Optimized Hybrid Kohonen Neural Network for Ambiguity Detection in Cluster Analysis Using Simulated Annealing (EM, MNMS), pp. 389–401.
CIKMCIKM-2009-Collins-Thompson #optimisation #query #robust
Reducing the risk of query expansion via robust constrained optimization (KCT), pp. 837–846.
CIKMCIKM-2009-DaM #named #optimisation #random
RS-Wrapper: random write optimization for solid state drive (DZ, XM), pp. 1457–1460.
CIKMCIKM-2009-DewriRRW #identification #named
POkA: identifying pareto-optimal k-anonymous nodes in a domain hierarchy lattice (RD, IR, IR, DW), pp. 1037–1046.
CIKMCIKM-2009-GedikAW #approach #code generation #data type #distributed #optimisation
A code generation approach to optimizing high-performance distributed data stream processing (BG, HA, KLW), pp. 847–856.
CIKMCIKM-2009-MasadaFTHSO #analysis #optimisation #topic
Dynamic hyperparameter optimization for bayesian topical trend analysis (TM, DF, AT, TH, YS, KO), pp. 1831–1834.
CIKMCIKM-2009-WichterichBSS #database #distance #feedback #multi
Exploring multimedia databases via optimization-based relevance feedback and the earth mover’s distance (MW, CB, MS, TS), pp. 1621–1624.
ECIRECIR-2009-DonmezC #learning #optimisation #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 #optimisation
Online feature elicitation in interactive optimization (CB, KR, PV), pp. 73–80.
ICMLICML-2009-BusettoOB
Optimized expected information gain for nonlinear dynamical systems (AGB, CSO, JMB), pp. 97–104.
ICMLICML-2009-MesmayRVP #graph #library #optimisation #performance
Bandit-based optimization on graphs with application to library performance tuning (FdM, AR, YV, MP), pp. 729–736.
ICMLICML-2009-Toussaint #approximate #optimisation #using
Robot trajectory optimization using approximate inference (MT), pp. 1049–1056.
ICMLICML-2009-WarmuthV #bibliography #optimisation #perspective #summary #tutorial
Tutorial summary: Survey of boosting from an optimization perspective (MKW, SVNV), p. 15.
ICMLICML-2009-XuWS #learning #predict
Optimal reverse prediction: a unified perspective on supervised, unsupervised and semi-supervised learning (LX, MW, DS), pp. 1137–1144.
ICMLICML-2009-YueJ #information retrieval #optimisation #problem
Interactively optimizing information retrieval systems as a dueling bandits problem (YY, TJ), pp. 1201–1208.
KDDKDD-2009-BackstromKK #optimisation #problem #scheduling #web
Optimizing web traffic via the media scheduling problem (LB, JMK, RK), pp. 89–98.
KDDKDD-2009-ChenCBT #learning #optimisation #random
Constrained optimization for validation-guided conditional random field learning (MC, YC, MRB, AET), pp. 189–198.
KDDKDD-2009-RendleMNS #learning #ranking #recommendation
Learning optimal ranking with tensor factorization for tag recommendation (SR, LBM, AN, LST), pp. 727–736.
KDIRKDIR-2009-Weichselbraun #approach #optimisation
A Utility Centered Approach for Evaluating and Optimizing Geo-tagging (AW), pp. 134–139.
KDIRKDIR-2009-WohrerZDB #composition #data mining #metaprogramming #mining #optimisation #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 #optimisation #reduction
An Approach to Support Interdisciplinary Variant Diversity Optimization — Planning Variant Diversity — Beyond Complexity Reduction (RA, SM, DS), pp. 408–411.
KEODKEOD-2009-DumitrescuK #performance #reuse #self #towards
Towards Social-software for the Efficient Reuse of Solution Patterns for Self-optimizing Systems (RD, BK), pp. 342–347.
KMISKMIS-2009-FalcaoNC #agile #data transformation #education #optimisation #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 #optimisation #process
Extended Analysis Techniques for a Comprehensive Business Process Optimization (SR, BM), pp. 77–82.
MLDMMLDM-2009-WangZ #classification #kernel
Optimal Double-Kernel Combination for Classification (FW, HZ), pp. 107–122.
RecSysRecSys-2009-ViappianiB #recommendation #set
Regret-based optimal recommendation sets in conversational recommender systems (PV, CB), pp. 101–108.
SEKESEKE-2009-AbdallahAA #multi #optimisation #visual notation
A Payload Optimization Technique for Multimedia Visual Cryptographye (MHA, RIAK, RAAD), pp. 703–708.
SEKESEKE-2009-ZhaoWX #optimisation #web #web service
User Perceived Response-time Optimization Method for Composite Web Services (JZ, YW, BX), pp. 356–363.
SIGIRSIGIR-2009-ArampatzisKR #optimisation #using
Where to stop reading a ranked list?: threshold optimization using truncated score distributions (AA, JK, SR), pp. 524–531.
SIGIRSIGIR-2009-DonmezSB #on the
On the local optimality of λRank (PD, KMS, CJCB), pp. 460–467.
SIGIRSIGIR-2009-ZhuWYWYHC #optimisation
Optimizing search engine revenue in sponsored search (YZ, GW, JY, DW, JY, JH, ZC), pp. 588–595.
OOPSLAOOPSLA-2009-DincklageD #optimisation #semantics #source code
Optimizing programs with intended semantics (DvD, AD), pp. 409–424.
POPLPOPL-2009-BronsonKO #optimisation
Feedback-directed barrier optimization in a strongly isolated STM (NGB, CK, KO), pp. 213–225.
POPLPOPL-2009-TateSTL #approach #optimisation #similarity
Equality saturation: a new approach to optimization (RT, MS, ZT, SL), pp. 264–276.
SACSAC-2009-ChenR #adaptation #quality #realtime
Adaptive optimal checkpoint interval and its impact on system’s overall quality in soft real-time applications (NC, SR), pp. 1015–1020.
SACSAC-2009-DungDH #constraints #framework #graph #optimisation
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 #optimisation
A particle swarm optimization based algorithm for fuzzy bilevel decision making with constraints-shared followers (YG, GZ, JL), pp. 1075–1079.
SACSAC-2009-HuangCZLT #java #testing
An optimized change-driven regression testing selection strategy for binary Java applications (SH, YC, JZ, ZJL, HT), pp. 558–565.
SACSAC-2009-LinL #generative #mining
Optimal candidate generation in spatial co-location mining (ZL, SL), pp. 1441–1445.
SACSAC-2009-MoserCT #embedded
Optimal service level allocation in environmentally powered embedded systems (CM, JJC, LT), pp. 1650–1657.
SACSAC-2009-QiuLS #embedded #framework #hardware #optimisation #realtime
Heterogeneous real-time embedded software optimization considering hardware platform (MQ, HL, EHMS), pp. 1637–1641.
SACSAC-2009-SkordylisT #monitoring #optimisation
Jointly optimizing data acquisition and delivery in traffic monitoring VANETs (AS, NT), pp. 2186–2190.
SACSAC-2009-WangT #algorithm #morphism
An algorithm for optimal comma free codes with isomorphism rejection (HW, VDT), pp. 1007–1008.
SACSAC-2009-XieLY #elicitation #optimisation #process #requirements
i*-prefer: optimizing requirements elicitation process based on actor preferences (HX, LL, JY), pp. 347–354.
SACSAC-2009-ZhangLZZZZ #first-order #linear #optimisation
Optimizing techniques for saturated arithmetic with first-order linear recurrence (WZ, LL, CZ, HZ, BZ, CZ), pp. 1883–1889.
ESEC-FSEESEC-FSE-2009-BeltRD #analysis #lightweight #optimisation #symbolic computation
Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses (JB, R, XD), pp. 355–364.
SPLCSPLC-2009-SavolainenM #architecture #industrial #optimisation #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 #optimisation #product line #using
Introducing and optimizing software product lines using the FEF (KS, FvdL), p. 311.
ASPLOSASPLOS-2009-TamASS #approximate #named #online #optimisation
RapidMRC: approximating L2 miss rate curves on commodity systems for online optimizations (DKT, RA, LS, MS), pp. 121–132.
CCCC-2009-KnightsMSMD #hardware #optimisation
Blind Optimization for Exploiting Hardware Features (DK, TM, PFS, MCM, AD), pp. 251–265.
CCCC-2009-Sarkar #challenge #optimisation #parallel #source code
Challenges in Code Optimization of Parallel Programs (VS), p. 1.
CCCC-2009-ZhaoCS #framework #optimisation
A Framework for Exploring Optimization Properties (MZ, BRC, MLS), pp. 32–47.
CGOCGO-2009-BerubeAHS #multi #optimisation #reduction
Workload Reduction for Multi-input Feedback-Directed Optimization (PB, JNA, RH, RS), pp. 59–69.
CGOCGO-2009-CuthbertsonVBAS #approach #hardware #monitoring #optimisation #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 #optimisation #performance
Fast Track: A Software System for Speculative Program Optimization (KK, TB, CD, CZ), pp. 157–168.
CGOCGO-2009-KumarCS #debugging
Transparent Debugging of Dynamically Optimized Code (NK, BRC, MLS), pp. 275–286.
CGOCGO-2009-LeatherBO #automation #compilation #generative #machine learning #optimisation
Automatic Feature Generation for Machine Learning Based Optimizing Compilation (HL, EVB, MFPO), pp. 81–91.
CGOCGO-2009-MarsH #framework #online #optimisation
Scenario Based Optimization: A Framework for Statically Enabling Online Optimizations (JM, RH), pp. 169–179.
CGOCGO-2009-MoseleyGP #compilation #named #optimisation #performance
OptiScope: Performance Accountability for Optimizing Compilers (TM, DG, RP), pp. 254–264.
HPCAHPCA-2009-MadanZMUBIMN #3d #capacity #communication #configuration management #optimisation
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 #optimisation #performance
Criticality-based optimizations for efficient load processing (SS, AB, HW, GHL), pp. 419–430.
HPDCHPDC-2009-KumarSMVDRKGHKS #framework #optimisation #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 #optimisation #using
Placement optimization using data context collected during garbage collection (MJS, XZ), pp. 69–78.
ISMMISMM-2009-Vengerov #analysis #garbage collection #modelling #optimisation #throughput
Modeling, analysis and throughput optimization of a generational garbage collector (DV), pp. 1–9.
LCTESLCTES-2009-BlazyR #performance
Live-range unsplitting for faster optimal coalescing (SB, BR), pp. 70–79.
LCTESLCTES-2009-LeatherOW #compilation #optimisation #performance
Raced profiles: efficient selection of competing compiler optimizations (HL, MFPO, BW), pp. 50–59.
LCTESLCTES-2009-LeeS #compilation #fault #optimisation
A compiler optimization to reduce soft errors in register files (JL, AS), pp. 41–49.
PPoPPPPoPP-2009-HuangEHC #compilation #optimisation #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 #optimisation
OpenMP to GPGPU: a compiler framework for automatic translation and optimization (SL, SJM, RE), pp. 101–110.
PPoPPPPoPP-2009-YangWXDZ #graph #optimisation
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 #optimisation #using
Heat-ray: combating identity snowball attacks using machinelearning, combinatorial optimization and attack graphs (JD, AXZ, DRS), pp. 305–320.
CADECADE-2009-GoreW #on the fly #satisfiability
An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability (RG, FW), pp. 437–452.
CAVCAV-2009-KahlonWG #partial order #reduction
Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique (VK, CW, AG), pp. 398–413.
ICLPICLP-2009-ChristiansenL #analysis #modelling #optimisation #preprocessor #sequence
Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis (HC, OTL), pp. 70–83.
ICLPICLP-2009-GavanelliAL #abduction #constraints #integration #optimisation #reasoning
Integration of Abductive Reasoning and Constraint Optimization in SCIFF (MG, MA, EL), pp. 387–401.
ICLPICLP-2009-Sneyers #compilation #complexity #constraints #optimisation
Optimizing Compilation and Computational Complexity of Constraint Handling Rules (JS), pp. 494–498.
ICSTICST-2009-ChangRV #resource management #testing
Optimal Resource Allocation for Batch Testing (FC, JR, RV), pp. 91–100.
ICSTICST-2009-GligoricGLMK #generative #graph #java #optimisation
Optimizing Generation of Object Graphs in Java PathFinder (MG, TG, SL, DM, SK), pp. 51–60.
ICSTICST-2009-WolovickDQ #execution #optimisation #realtime #testing
Optimizing Probabilities of Real-Time Test Case Execution (NW, PRD, HQ), pp. 446–455.
MBTMBT-2009-SchumannSH #graph #nondeterminism #testing #using
Computing Optimal Tests for Non-deterministic Systems Using DNNF Graphs (AS, MS, JH), pp. 87–99.
ICSTSAT-2009-BertholdHP #optimisation #pseudo #question
Nonlinear Pseudo-Boolean Optimization: Relaxation or Propagation? (TB, SH, MEP), pp. 441–446.
ICSTSAT-2009-LarrosaNOR #bound #branch #generative #optimisation
Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates (JL, RN, AO, ERC), pp. 453–466.
ICSTSAT-2009-ManquinhoSP #algorithm #optimisation
Algorithms for Weighted Boolean Optimization (VMM, JPMS, JP), pp. 495–508.
CASECASE-2008-0001LYS #optimisation
An improved lagrangian relaxation method for discrete optimization applications (WW, PBL, JHY, GAS), pp. 359–364.
CASECASE-2008-AdamekSS #hybrid #nondeterminism #probability
Stochastic optimal control for hybrid systems with uncertain discrete dynamics (FA, MS, OS), pp. 23–28.
CASECASE-2008-ArnaoutMR #algorithm #optimisation #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 #optimisation #probability
Optimal sampling in design of experiment for simulation-based stochastic optimization (MWB, LHL, CHC, AC), pp. 388–393.
CASECASE-2008-ChanYDS #clustering #scheduling #tool support
Optimal scheduling of k-unit production of cluster tools with single-blade robots (WKC, JY, SD, DS), pp. 335–340.
CASECASE-2008-FujitaHSHITNTYN #multi
Robot control cell production system of Senju (thousand-handed) Kannon model that demonstrated optimality to the multi-product production in varying volumes for eight years (TF, NH, YS, HH, KI, TT, MN, WT, HY, TN), pp. 478–485.
CASECASE-2008-GiglioMSS #hybrid #optimisation
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 #optimisation
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 #optimisation #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-PaekL #clustering #scheduling #strict #tool support
Optimal scheduling of dual-armed cluster tools without swap restriction (JHP, TEL), pp. 103–108.
CASECASE-2008-QianZ #pipes and filters #predict #process
Optimal model predictive control of plasma pipe welding process (KQ, YZ), pp. 492–497.
CASECASE-2008-SakuraiOKT #algorithm #multi #problem #search-based
A multi-inner-world Genetic Algorithm to optimize delivery problem with interactive-time (YS, TO, SK, ST), pp. 583–590.
CASECASE-2008-SharmaBDC #assembly #generative #optimisation #sequence #using
Generation of optimized robotic assembly sequence using ant colony optimization (SS, BBB, PD, BBC), pp. 894–899.
CASECASE-2008-SunZL08a #framework #optimisation
A unified optimization framework for population-based methods (JS, QZ, PBL), pp. 383–387.
CASECASE-2008-WangLCS #modelling #optimisation
Modeling and optimization of crowd guidance for building emergency evacuation (PW, PBL, SCC, JS), pp. 328–334.
CASECASE-2008-WangMF #adaptation
An adaptive and optimal setup planning system (LW, JM, HYF), pp. 67–72.
DACDAC-2008-AhmadiZ #analysis #approach #hardware #optimisation
Symbolic noise analysis approach to computational hardware optimization (AA, MZ), pp. 391–396.
DACDAC-2008-CaoFHS #algorithm #multi #scalability
Optimality and improvement of dynamic voltage scaling algorithms for multimedia applications (ZC, BF, LH, MvdS), pp. 179–184.
DACDAC-2008-ChenXY #abstraction #automation #evaluation #optimisation #refinement
Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation (YC, FX, JY), pp. 143–148.
DACDAC-2008-GoraczkoLLMPZ #clustering #embedded #energy #multi
Energy-optimal software partitioning in heterogeneous multiprocessor embedded systems (MG, JL, DL, SM, BP, FZ), pp. 191–196.
DACDAC-2008-JeongKPY #power management #reduction
Dose map and placement co-optimization for timing yield enhancement and leakage power reduction (KJ, ABK, CHP, HY), pp. 516–521.
DACDAC-2008-KurimotoSAYOTS #detection #fault #optimisation #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 #optimisation
Concurrent topology and routing optimization in automotive network integration (ML, MG, CH, JT, RR, BL), pp. 626–629.
DACDAC-2008-LuSHWX #effectiveness #multi #optimisation
Customizing computation accelerators for extensible multi-issue processors with effective optimization techniques (YSL, LS, LH, ZW, NX), pp. 197–200.
DACDAC-2008-MoffittPLA #optimisation
Path smoothing via discrete optimization (MDM, DAP, ZL, CJA), pp. 724–727.
DACDAC-2008-Moon #composition #optimisation #verification
Compositional verification of retiming and sequential optimizations (IHM), pp. 131–136.
DACDAC-2008-PaikS #multi #optimisation #standard
Multiobjective optimization of sleep vector for zigzag power-gated circuits in standard cell elements (SP, YS), pp. 600–605.
DACDAC-2008-PangR #fixpoint #optimisation
Optimizing imprecise fixed-point arithmetic circuits specified by Taylor Series through arithmetic transform (YP, KR), pp. 397–402.
DACDAC-2008-ZhangYZDKDKC #optimisation #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 #optimisation
Temperature-Aware Voltage Selection for Energy Optimization (MB, AA, PE, ZP), pp. 1083–1086.
DATEDATE-2008-Brand #design #manycore #optimisation
Optimization of Design Flows for Multi-Core x86 Microprocessors in 45 and 32nm Technologies under Productivity Considerations (HJB), pp. 938–939.
DATEDATE-2008-CalimeraBM #constraints #performance #power management
Optimal MTCMOS Reactivation Under Power Supply Noise and Performance Constraints (AC, LB, EM), pp. 973–978.
DATEDATE-2008-ChakrabortySP #layout #optimisation
Layout Level Timing Optimization by Leveraging Active Area Dependent Mobility of Strained-Silicon Devices (AC, SXS, DZP), pp. 849–855.
DATEDATE-2008-GlassLRHT #analysis #network #optimisation #reliability
Symbolic Reliability Analysis and Optimization of ECU Networks (MG, ML, FR, CH, JT), pp. 158–163.
DATEDATE-2008-HohenauerELAMBS #execution #optimisation
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 #optimisation #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 #optimisation #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 #optimisation #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 #optimisation #performance
System Performance Optimization Methodology for Infineon’s 32-Bit Automotive Microcontroller Architecture (AM, FH), pp. 962–966.
DATEDATE-2008-Mitra #challenge #reliability #robust
Globally Optimized Robust Systems to Overcome Scaled CMOS Reliability Challenges (SM), pp. 941–946.
DATEDATE-2008-MuraliMAGBBM #manycore #optimisation #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 #optimisation
Slack Allocation Based Co-Synthesis and Optimization of Bus and Memory Architectures for MPSoCs (SP, RD), pp. 206–211.
DATEDATE-2008-PaulssonHB #integration #metric #power management
Cost-and Power Optimized FPGA based System Integration: Methodologies and Integration of a Low-Power Capacity-based Measurement Application on Xilinx FPGAs (KP, MH, JB), pp. 50–55.
DATEDATE-2008-Rimolo-DonadioSGKR #analysis #metric #optimisation
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-SahaSPBW #framework #implementation #message passing #parallel
An Optimized Message Passing Framework for Parallel Implementation of Signal Processing Applications (SS, JS, SP, SSB, WW), pp. 1220–1225.
DATEDATE-2008-TcheghoMS
Optimal High-Resolution Spectral Analyzer (AT, HM, SS), pp. 62–67.
DATEDATE-2008-XiongZVH
Optimal Margin Computation for At-Speed Test (JX, VZ, CV, PAH), pp. 622–627.
DATEDATE-2008-YonedaF #functional #reuse
Wrapper and TAM Co-Optimization for Reuse of SoC Functional Interconnects (TY, HF), pp. 1366–1369.
DocEngDocEng-2008-ChaoSSVL #documentation #image #optimisation
PDF document restoration and optimization during image enhancement (HC, CS, SS, MV, JWL), pp. 150–153.
PODSPODS-2008-FaginKNP #formal method #optimisation #towards
Towards a theory of schema-mapping optimization (RF, PGK, AN, LP), pp. 33–42.
PODSPODS-2008-SchnaitterP #rank
Evaluating rank joins with optimal cost (KS, NP), pp. 43–52.
PODSPODS-2008-SozioNW #network #peer-to-peer #replication
Near-optimal dynamic replication in unstructured peer-to-peer networks (MS, TN, GW), pp. 281–290.
SIGMODSIGMOD-2008-BalminOST #optimisation #xpath
Grouping and optimization of XPath expressions in DB2 pureXML (AB, , AS, ET), pp. 1065–1074.
SIGMODSIGMOD-2008-BrunoN #design #optimisation #parametricity #physics #query
Configuration-parametric query optimization for physical design tuning (NB, RVN), pp. 941–952.
SIGMODSIGMOD-2008-CaoDCT #multi #optimisation #query
Optimizing complex queries with multiple relation instances (YC, GCD, CYC, KLT), pp. 525–538.
SIGMODSIGMOD-2008-GhelliORS #optimisation #query #xml
XML query optimization in the presence of side effects (GG, NO, KHR, JS), pp. 339–352.
SIGMODSIGMOD-2008-LiuPRY #algorithm #data type #evaluation
Near-optimal algorithms for shared filter evaluation in data stream systems (ZL, SP, AR, HY), pp. 133–146.
SIGMODSIGMOD-2008-OConnell #algorithm #challenge #optimisation #streaming
Extreme streaming: business optimization driving algorithmic challenges (WO), pp. 13–14.
VLDBVLDB-2008-BragaCDM #multi #optimisation #query #web
Optimization of multi-domain queries on the web (DB, SC, FD, DM), pp. 562–573.
VLDBVLDB-2008-DeyBDH #approximate #diagrams #query
Efficiently approximating query optimizer plan diagrams (AD, SB, HD, JRH), pp. 1325–1336.
VLDBVLDB-2008-GolabKKSY #dependence #functional #generative #on the
On generating near-optimal tableaux for conditional functional dependencies (LG, HJK, FK, DS, BY), pp. 376–390.
VLDBVLDB-2008-HanKLLM #optimisation #query
Parallelizing query optimization (WSH, WK, JL, GML, VM), pp. 188–200.
VLDBVLDB-2008-HollowayD #database
Read-optimized databases, in depth (ALH, DJD), pp. 502–513.
VLDBVLDB-2008-KementsietsidisNCV #database #multi #optimisation #query #scalability
Scalable multi-query optimization for exploratory queries over federated scientific databases (AK, FN, DVdC, SV), pp. 16–27.
VLDBVLDB-2008-LizorkinVGT #optimisation
Accuracy estimate and optimization techniques for SimRank computation (DL, PV, MNG, DT), pp. 422–433.
VLDBVLDB-2008-ZiauddinDSZY #performance
Optimizer plan change management: improved stability and performance in Oracle 11g (MZ, DD, HS, YZ, KY), pp. 1346–1355.
FoSSaCSFoSSaCS-2008-GruberJ #bound #communication #complexity #regular expression #using
Optimal Lower Bounds on Regular Expression Size Using Communication Complexity (HG, JJ), pp. 273–286.
CSMRCSMR-2008-TeleaV08a #optimisation #performance #scalability
A Tool for Optimizing the Build Performance of Large Software Code Bases (ACT, LV), pp. 323–325.
PEPMPEPM-2008-FeiginM #hardware
Jones optimality and hardware virtualization: a report on work in progress (BF, AM), pp. 169–175.
PEPMPEPM-2008-SaabasU #optimisation #proving
Proof optimization for partial redundancy elimination (AS, TU), pp. 91–101.
PLDIPLDI-2008-BondhugulaHRS #automation #locality
A practical automatic polyhedral parallelizer and locality optimizer (UB, AH, JR, PS), pp. 101–113.
PLDIPLDI-2008-ChenHPECCP #compilation #object-oriented #optimisation #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 #optimisation
Iterative optimization in the polyhedral model: part ii, multidimensional time (LNP, CB, AC, JC), pp. 90–100.
STOCSTOC-2008-ChoiK #bound #complexity #graph #query
Optimal query complexity bounds for finding graphs (SSC, JHK), pp. 749–758.
STOCSTOC-2008-HartlineR #design
Optimal mechanism design and money burning (JDH, TR), pp. 75–84.
STOCSTOC-2008-ImpagliazzoJKW #theorem
Uniform direct product theorems: simplified, optimized, and derandomized (RI, RJ, VK, AW), pp. 579–588.
STOCSTOC-2008-NordstromH #towards
Towards an optimal separation of space and length in resolution (JN, JH), pp. 701–710.
STOCSTOC-2008-ODonnellW #algorithm #testing
An optimal sdp algorithm for max-cut, and equally optimal long code tests (RO, YW), pp. 335–344.
STOCSTOC-2008-Racke #network
Optimal hierarchical decompositions for congestion minimization in networks (HR), pp. 255–264.
STOCSTOC-2008-Raghavendra #algorithm #csp #question
Optimal algorithms and inapproximability results for every CSP? (PR), pp. 245–254.
STOCSTOC-2008-Vondrak #approximate #problem
Optimal approximation for the submodular welfare problem in the value oracle model (JV), pp. 67–74.
FLOPSFLOPS-2008-KoninckSD #compilation #optimisation
Optimizing Compilation of CHR with Rule Priorities (LDK, PJS, GJD), pp. 32–47.
ICALPICALP-A-2008-AlonH #encoding
Optimal Monotone Encodings (NA, RH), pp. 258–270.
ICALPICALP-A-2008-BlaserHS #set
Asymptotically Optimal Hitting Sets Against Polynomials (MB, MH, DS), pp. 345–356.
ICALPICALP-A-2008-ChildsL #bound #order #quantum
Optimal Quantum Adversary Lower Bounds for Ordered Search (AMC, TL), pp. 869–880.
ICALPICALP-A-2008-Dachman-SoledLMSWW #encryption #learning
Optimal Cryptographic Hardness of Learning Monotone Functions (DDS, HKL, TM, RAS, AW, HW), pp. 36–47.
ICALPICALP-A-2008-MhallaP
Finding Optimal Flows Efficiently (MM, SP), pp. 857–868.
ICFPICFP-2008-MorihataMT #framework #query #recursion
Write it recursively: a generic framework for optimal path queries (AM, KM, MT), pp. 169–178.
CHICHI-2008-DixonGC #parametricity #performance
Optimal parameters for efficient crossing-based dialog boxes (MD, FG, NC), pp. 1623–1632.
CHICHI-2008-MatsuiY #algorithm #search-based
Genetic algorithm can optimize hierarchical menus (SM, SY), pp. 1385–1388.
ICEISICEIS-AIDSS-2008-DeliasDM #algorithm #optimisation #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 #optimisation #process
Model-Driven Generation and Optimization of Complex Integration Processes (MB, UW, DH, WL), pp. 131–136.
ICEISICEIS-SAIC-2008-KangasharjuK #data transfer #mobile #using #xml
Using Bit-Efficient XML to Optimize Data Transfer of XForms-Based Mobile Services (JK, OK), pp. 5–11.
CIKMCIKM-2008-BohmWHL #integration #optimisation #process
Workload-based optimization of integration processes (MB, UW, DH, WL), pp. 1479–1480.
CIKMCIKM-2008-ChenCKSS #integration #optimisation #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 #optimisation #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 #optimisation
Corpus microsurgery: criteria optimization for medical cross-language ir (MR, YY, JGC), pp. 1365–1366.
CIKMCIKM-2008-XieCGZ #navigation #optimisation #xquery
Some rewrite optimizations of DB2 XQuery navigation (GX, QC, JG, CZ), pp. 531–540.
ECIRECIR-2008-WiegandK #classification #modelling #optimisation
Optimizing Language Models for Polarity Classification (MW, DK), pp. 612–616.
ICMLICML-2008-BarrettN #learning #multi #policy
Learning all optimal policies with multiple criteria (LB, SN), pp. 41–47.
ICMLICML-2008-DonmezC #learning #optimisation #rank #reduction
Optimizing estimated loss reduction for active sampling in rank learning (PD, JGC), pp. 248–255.
ICMLICML-2008-FrancS #algorithm
Optimized cutting plane algorithm for support vector machines (VF, SS), pp. 320–327.
ICMLICML-2008-KohliSRKT #multi #on the
On partial optimality in multi-label MRFs (PK, AS, CR, VK, PHST), pp. 480–487.
ICMLICML-2008-Nijssen #classification
Bayes optimal classification for decision trees (SN), pp. 696–703.
ICMLICML-2008-Shalev-ShwartzS #dependence #optimisation #set
SVM optimization: inverse dependence on training set size (SSS, NS), pp. 928–935.
ICMLICML-2008-SzitaL #approach
The many faces of optimism: a unifying approach (IS, AL), pp. 1048–1055.
ICMLICML-2008-YuVGS #approach #optimisation
A quasi-Newton approach to non-smooth convex optimization (JY, SVNV, SG, NNS), pp. 1216–1223.
ICPRICPR-2008-GongC #graph #learning #online #optimisation #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 #optimisation #using
Non-Neighboring Rectangular Feature selection using Particle Swarm Optimization (AH, TK), pp. 1–4.
ICPRICPR-2008-KiranyazTYG #design #multi #network #optimisation
Unsupervised design of Artificial Neural Networks via multi-dimensional Particle Swarm Optimization (SK, TI, EAY, MG), pp. 1–4.
ICPRICPR-2008-KooKC #image
Non-rigid image registration based on the globally optimized correspondences (HIK, JGK, NIC), pp. 1–4.
ICPRICPR-2008-MaL08a #approach #concept #detection #optimisation #performance #semantics
An efficient gradient computation approach to discriminative fusion optimization in semantic concept detection (CM, CHL), pp. 1–4.
ICPRICPR-2008-MazharG #design #named #taxonomy
EK-SVD: Optimized dictionary design for sparse representations (RM, PDG), pp. 1–4.
ICPRICPR-2008-MissaouiF
Optimal feature weighting for the discrete HMM (OM, HF), pp. 1–4.
ICPRICPR-2008-MissaouiF08a
Optimal feature weighting for the continuous HMM (OM, HF), pp. 1–4.
ICPRICPR-2008-Nordberg #3d #optimisation #performance
Efficient triangulation based on 3D Euclidean optimization (KN), pp. 1–4.
ICPRICPR-2008-PohK #authentication #bound #fault #multimodal #on the #using
On using error bounds to optimize cost-sensitive multimodal biometric authentication (NP, JK), pp. 1–4.
ICPRICPR-2008-Tanaka #metric #multi
Multiscan-based map optimizer for RFID map-building with low-accuracy measurements (KT), pp. 1–4.
ICPRICPR-2008-YangZS #algorithm #comparison #optimisation #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 #optimisation
3D model based vehicle localization by optimizing local gradient based fitness evaluation (ZZ, ML, KH, TT), pp. 1–4.
KDDKDD-2008-EdelmanS #design #internet
Internet advertising and optimal auction design (BE, MS), p. 1.
SEKESEKE-2008-ChenLMW #algorithm #case study #optimisation #polynomial #problem #verification
Verification of Optimization Algorithms: a Case Study of a Quadratic Assignment Problem Solver (TYC, HL, RGM, DW), pp. 16–21.
SEKESEKE-2008-DaiXWLL #execution #process
Dynamically Optimize Process Execution Based on Process-agent (JD, JX, QW, ML, HL), pp. 561–564.
SIGIRSIGIR-2008-KurlandD #approach #clustering
A rank-aggregation approach to searching for optimal query-specific clusters (OK, CD), pp. 547–554.
SIGIRSIGIR-2008-LiaoCH #image #named #optimisation #scheduling #video
AdImage: video advertising by image matching and ad scheduling optimization (WSL, KTC, WHH), pp. 767–768.
SIGIRSIGIR-2008-MeiZZ #framework #graph #modelling #optimisation
A general optimization framework for smoothing language models on graph structures (QM, DZ, CZ), pp. 611–618.
SIGIRSIGIR-2008-RadlinskiBCGJR #approach #optimisation #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 #optimisation #rank
Directly optimizing evaluation measures in learning to rank (JX, TYL, ML, HL, WYM), pp. 107–114.
MODELSMoDELS-2008-KessentiniSB #model transformation #optimisation #problem
Model Transformation as an Optimization Problem (MK, HAS, MB), pp. 159–173.
MODELSMoDELS-2008-KessentiniSB #model transformation #optimisation #problem
Model Transformation as an Optimization Problem (MK, HAS, MB), pp. 159–173.
OOPSLAOOPSLA-2008-SchneiderMSA #optimisation #performance
Dynamic optimization for efficient strong atomicity (FTS, VM, TS, ARAT), pp. 181–194.
TOOLSTOOLS-EUROPE-2008-NielsenE #composition #optimisation #static typing
Optimizing Dynamic Class Composition in a Statically Typed Language (ABN, EE), pp. 161–177.
GPCEGPCE-2008-ZhangAN #constraints #optimisation #theorem proving
From generic to specific: off-line optimization for a general constraint solver (YZ, TA, FN), pp. 45–54.
POPLPOPL-2008-TristanL #case study #optimisation #scheduling #validation #verification
Formal verification of translation validators: a case study on instruction scheduling optimizations (JBT, XL), pp. 17–27.
SACSAC-2008-BragaOM #estimation #feature model #optimisation #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 #optimisation
An algorithm for effective deletion and a new optimization technique for metric access methods (RB, AJMT, CTJ), pp. 1034–1035.
SACSAC-2008-CoelhoO #optimisation
Dynamically tuning the population size in particle swarm optimization (ALVC, DGdO), pp. 1782–1787.
SACSAC-2008-IacobAI #composition #semantics
Optimized dynamic semantic composition of services (SMI, JPAA, MEI), pp. 2286–2292.
SACSAC-2008-KhanCB #optimisation
Optimizing code through iterative specialization (MAK, HPC, DB), pp. 206–210.
SACSAC-2008-LiG #detection #network #optimisation #using
TCM-KNN scheme for network anomaly detection using feature-based optimizations (YL, LG), pp. 2103–2109.
SACSAC-2008-RadtkeSW #algorithm #classification #using
Using the RRT algorithm to optimize classification systems for handwritten digits and letters (PVWR, RS, TW), pp. 1748–1752.
SACSAC-2008-SchreckFK #automation #multi #optimisation #towards
Towards automatic feature vector optimization for multimedia applications (TS, DWF, DAK), pp. 1197–1201.
SACSAC-2008-WendtGSWNM #analysis #mobile #optimisation #smarttech
System level power profile analysis and optimization for smart cards and mobile devices (MW, MG, CS, RW, UN, AM), pp. 1884–1888.
ASPLOSASPLOS-2008-OttoniA #communication #concurrent #multi #optimisation #scheduling #thread
Communication optimizations for global multi-threaded instruction scheduling (GO, DIA), pp. 222–232.
ASPLOSASPLOS-2008-TuckACT #analysis #hardware #named #optimisation
SoftSig: software-exposed hardware signatures for code analysis and optimization (JT, WA, LC, JT), pp. 145–156.
CCCC-2008-BondhugulaBKRRS #automation #locality #optimisation #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 #optimisation #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 #optimisation
Cole: compiler optimization level exploration (KH, LE), pp. 165–174.
CGOCGO-2008-KoesG #graph
Near-optimal instruction selection on dags (DRK, SCG), pp. 45–54.
CGOCGO-2008-RyooRSBUSH #gpu #optimisation #parallel #thread
Program optimization space pruning for a multithreaded gpu (SR, CIR, SSS, SSB, SZU, JAS, WmWH), pp. 195–204.
CGOCGO-2008-Sarkar #optimisation #parallel #source code
Code optimization of parallel programs: evolutionary vs. revolutionary approaches (VS), p. 1.
HPCAHPCA-2008-DasMNPNIYD #architecture #optimisation #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 #optimisation
Roughness of microarchitectural design topologies and its implications for optimization (BCL, DMB), pp. 240–251.
HPCAHPCA-2008-WangC #clustering #feedback