Stem optimis$ (all stems)

115 papers:

CASE-2015-Kruif #maintenance #optimisation #sequence

Wet-etch sequence optimisation incorporating time dependent chemical maintenance (BJdK), pp. 1389–1394.

FASE-2015-LandsbergCKL #evaluation #fault #locality #metric #optimisation #statistics

Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme (DL, HC, DK, ML), pp. 115–129.

DHM-EH-2015-HarihBR #interface #optimisation #parametricity

Optimisation of Product’s Hand-Handle Interface Material Parameters for Improved Ergonomics (GH, MB, ZR), pp. 15–25.

ICML-2015-KandasamySP #modelling #optimisation

High Dimensional Bayesian Optimisation and Bandits via Additive Models (KK, JGS, BP), pp. 295–304.

SIGIR-2015-KharitonovMSO #online #scheduling

Optimised Scheduling of Online Experiments (EK, CM, PS, IO), pp. 453–462.

OOPSLA-2015-OhYY #adaptation #learning #optimisation #program analysis

Learning a strategy for adapting a program analysis via bayesian optimisation (HO, HY, KY), pp. 572–588.

POPL-2015-VafeiadisBCMN #compilation #memory management #optimisation #what

Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it (VV, TB, SC, RM, FZN), pp. 209–220.

ICSE-v2-2015-NoureddineR #design pattern #energy #optimisation

Optimising Energy Consumption of Design Patterns (AN, AR), pp. 623–626.

CC-2015-AckermannRMS #java #optimisation #runtime

A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation (HA, CR, CM, YS), pp. 111–130.

TAP-2015-GrinchteinCP #analysis #constraints #optimisation #protocol

A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs (OG, MC, JP), pp. 137–154.

CASE-2014-GlorieuxDSL #approach #optimisation #using

Optimisation of interacting production stations using a Constructive Cooperative Coevolutionary approach (EG, FD, BS, BL), pp. 322–327.

SEFM-2014-DobrikovL #model checking #optimisation #partial order #reduction #using

Optimising the ProB Model Checker for B Using Partial Order Reduction (ID, ML), pp. 220–234.

KDD-2014-YuanWCMS #empirical #optimisation #realtime

An empirical study of reserve price optimisation in real-time bidding (SY, JW, BC, PM, SS), pp. 1897–1906.

KR-2014-EwinPV #calculus #reasoning

Transforming Situation Calculus Action Theories for Optimised Reasoning (CJE, ARP, SV).

PLDI-2013-MorissetPN #compilation #formal method #memory management #optimisation #testing

Compiler testing via a theory of sound optimisations in the C11/C++11 memory model (RM, PP, FZN), pp. 187–196.

SAS-2013-WhiteM #algebra #analysis #memory management #optimisation #using

Concise Analysis Using Implication Algebras for Task-Local Memory Optimisation (LW, AM), pp. 433–453.

ICFP-2013-McDonellCKL #functional #gpu #optimisation #source code

Optimising purely functional GPU programs (TLM, MMTC, GK, BL), pp. 49–60.

IFL-2013-HackettHJ #approach #optimisation #recursion #source code

The Under-Performing Unfold: A new approach to optimising corecursive programs (JH, GH, MJ), p. 1.

DATE-2012-WangKAAW #design #energy #optimisation

Response-surface-based design space exploration and optimisation of wireless sensor nodes with tunable energy harvesters (LW, TJK, BMAH, MA, JW), pp. 733–738.

IFL-2012-Magalhaes #optimisation #source code

Optimisation of Generic Programs Through Inlining (JPM), pp. 104–121.

ICPR-2012-EdmundsonS #image #performance #retrieval #using

Fast JPEG image retrieval using optimised Huffman tables (DE, GS), pp. 3188–3191.

ICPR-2012-FrouzeshPH #modelling #optimisation

A combined method for finding best starting points for optimisation in bernoulli mixture models (FF, SP, YH), pp. 1128–1131.

ICPR-2012-GimelfarbGND #concurrent #optimisation #problem

Concurrent propagation for solving ill-posed problems of global discrete optimisation (GLG, RG, RN, PD), pp. 1864–1867.

ICPR-2012-PillaiFR #classification #multi #optimisation

F-measure optimisation in multi-label classifiers (IP, GF, FR), pp. 2424–2427.

TOOLS-EUROPE-2012-NgYH #optimisation #parallel #programming

Multiparty Session C: Safe Parallel Programming with Message Optimisation (NN, NY, KH), pp. 202–218.

POPL-2012-KammarP #algebra #optimisation

Algebraic foundations for effect-dependent optimisations (OK, GDP), pp. 349–360.

CAV-2012-JegourelLS #model checking #optimisation #parametricity #statistics

Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking (CJ, AL, SS), pp. 327–342.

ICTSS-2012-TaylorHBD #behaviour #testing #using

Using Behaviour Inference to Optimise Regression Test Sets (RT, MH, KB, JD), pp. 184–199.

CBSE-2011-AletiM #component #deployment #learning #optimisation

Component deployment optimisation with bayesian learning (AA, IM), pp. 11–20.

CBSE-2011-KoziolekR #component #framework #modelling #optimisation #quality #towards

Towards a generic quality optimisation framework for component-based system models (AK, RHR), pp. 103–108.

DATE-2011-DraneC #optimisation

Optimisation of mutually exclusive arithmetic sum-of-products (TD, GAC), pp. 1388–1393.

PEPM-2011-PachecoC #bidirectional #lens #optimisation

Calculating with lenses: optimising bidirectional transformations (HP, AC), pp. 91–100.

PLDI-2011-Sevcik #concurrent #optimisation #source code

Safe optimisations for shared-memory concurrent programs (JS), pp. 306–316.

SAS-2011-VafeiadisN #optimisation #verification

Verifying Fence Elimination Optimisations (VV, FZN), pp. 146–162.

IFL-2011-Thomsen #functional #logic #optimisation #using

Describing and Optimising Reversible Logic Using a Functional Language (MKT), pp. 148–163.

DUXU-v2-2011-MooreBC #locality #optimisation #prototype

Optimisation of Sound Localisation for Emergency Vehicle Sirens through a Prototype Audio System (JDM, SB, VC), pp. 177–186.

CIKM-2011-RenP #maintenance #ontology #optimisation #reasoning

Optimising ontology stream reasoning with truth maintenance system (YR, JZP), pp. 831–836.

KDIR-2011-MartelotH #algorithm #community #detection #multi #optimisation #using

Multi-scale Community Detection using Stability as Optimisation Criterion in a Greedy Algorithm (ELM, CH), pp. 216–225.

RE-2011-HeavenL #design #modelling #optimisation #simulation

Simulating and optimising design decisions in quantitative goal models (WH, EL), pp. 79–88.

ISMM-2011-KaliberaJ #memory management #optimisation #performance #realtime

Handles revisited: optimising performance and memory costs in a real-time collector (TK, REJ), pp. 89–98.

QoSA-2010-MartensAKMR #approach #component #hybrid #multi #optimisation

A Hybrid Approach for Multi-attribute QoS Optimisation in Component Based Software Systems (AM, DA, HK, RM, RHR), pp. 84–101.

ICEIS-J-2010-ClariziaGN10a #adaptation #automation #lightweight #ontology #optimisation

An Adaptive Optimisation Method for Automatic Lightweight Ontology Extraction (FC, LG, PN), pp. 357–371.

ICPR-2010-ZhouR #image #optimisation

Image Inpainting Based on Local Optimisation (JZ, ARK), pp. 4440–4443.

HPDC-2010-LiewAHH #data type #distributed #graph #optimisation #parallel #streaming #towards #using

Towards optimising distributed data streaming graphs using parallel streams (CSL, MPA, JIvH, LH), pp. 725–736.

ASE-2009-AletiGMM #deployment #optimisation

Let the Ants Deploy Your Software — An ACO Based Deployment Optimisation Strategy (AA, LG, IM, IM), pp. 505–509.

DATE-2009-AliKWW #modelling #optimisation #performance

Improved performance and variation modelling for hierarchical-based optimisation of analogue integrated circuits (SA, LK, RW, PRW), pp. 712–717.

LDTA-2008-BaggeH09 #axiom #optimisation #testing

Axiom-Based Transformations: Optimisation and Testing (AHB, MH), pp. 17–33.

CC-2009-WarburtonK #architecture #bytecode #java #optimisation #specification

From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode (RW, SK), pp. 17–31.

TAP-2009-RatschanS #fault #hybrid #optimisation #quality

Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate (SR, JGS), pp. 153–168.

TLCA-2009-MostrousY #communication #higher-order #mobile #optimisation #process

Session-Based Communication Optimisation for Higher-Order Mobile Processes (DM, NY), pp. 203–218.

DATE-2008-CopeCL #configuration management #gpu #logic #memory management #using

Using Reconfigurable Logic to Optimise GPU Memory Accesses (BC, PYKC, WL), pp. 44–49.

DATE-2008-ErnstJSBC #analysis #formal method #optimisation #performance

Formal Methods in System and MpSoC Performance Analysis and Optimisation (RE, MJ, HS, MB, SC).

DATE-2008-HalakY #optimisation

Bandwidth-Centric Optimisation for Area-Constrained Links with Crosstalk Avoidance Methods (BH, AY), pp. 438–443.

DATE-2008-WangKABT #approach #energy #modelling #optimisation #performance

Integrated approach to energy harvester mixed technology modelling and performance optimisation (LW, TJK, BMAH, SPB, RNT), pp. 704–709.

PODS-2008-MoorSAV #datalog #optimisation #query #type inference

Type inference for datalog and its application to query optimisation (OdM, DS, PA, MV), pp. 291–300.

SIGMOD-2008-SereniAM #compilation #datalog #optimisation

Adding magic to an optimising datalog compiler (DS, PA, OdM), pp. 553–566.

FASE-2008-DaviesBM #distributed #optimisation

Language-Based Optimisation of Sensor-Driven Distributed Computing Applications (JJD, ARB, AM), pp. 407–422.

ICEIS-SAIC-2008-StellerKCNL #approach #pervasive #reasoning #semantics #using

A Weighted Approach for Optimised Reasoning for Pervasive Service Discovery Using Semantics and Context (LS, SK, SC, JN, SWL), pp. 113–118.

ICPR-2008-LiCS #kernel #optimisation #predict #video

An improved mean-shift tracker with kernel prediction and scale optimisation targeting for low-frame-rate video tracking (ZL, JC, NNS), pp. 1–4.

ICPR-2008-ShajiCS #optimisation

Manifold optimisation for motion factorisation (AS, SC, DS), pp. 1–4.

REFSQ-2008-ZhangFH #challenge #optimisation #requirements

Search Based Requirements Optimisation: Existing Work and Challenges (YZ, AF, MH), pp. 88–94.

DATE-2007-PopPEP #distributed #embedded #optimisation

Bus access optimisation for FlexRay-based distributed embedded systems (TP, PP, PE, ZP), pp. 51–56.

ICEIS-AIDSS-2007-BenschBRBSB #operating system #optimisation #predict #self

Self-Learning Prediction System for Optimisation of Workload Management in a Mainframe Operating System (MB, DB, WR, MB, WGS, PB), pp. 212–218.

DATE-2006-DimondML #automation #memory management #resource management

Automating processor customisation: optimised memory access and resource sharing (RGD, OM, WL), pp. 206–211.

DATE-2006-ManolacheEP #communication #optimisation #synthesis

Buffer space optimisation with communication synthesis and traffic shaping for NoCs (SM, PE, ZP), pp. 718–723.

PEPM-2006-CooperMG #on the #optimisation #partial evaluation #simulation

On the application of partial evaluation to the optimisation of cardiac electrophysiological simulations (JC, SM, AG), pp. 12–20.

IFL-2006-TrojahnerGS #array #on the #optimisation #source code #using

On Optimising Shape-Generic Array Programs Using Symbolic Structural Information (KT, CG, SBS), pp. 1–18.

CIKM-2006-TaylorZCRB #multi #optimisation #parametricity #ranking

Optimisation methods for ranking functions with multiple parameters (MJT, HZ, NC, SR, CB), pp. 585–593.

ICML-2006-Garcke

Regression with the optimised combination technique (JG), pp. 321–328.

IJCAR-2006-Zumkeller #modelling #optimisation

Formal Global Optimisation with Taylor Models (RZ), pp. 408–422.

LICS-2006-DawarGKS #approximate #first-order #optimisation #problem

Approximation Schemes for First-Order Definable Optimisation Problems (AD, MG, SK, NS), pp. 411–420.

DATE-2005-KherijiDCM #approach #optimisation #testing

Optimising Test Sets for a Low Noise Amplifier with a Defect-Oriented Approach (RK, VD, JLC, SM), pp. 170–171.

PLDI-2005-AvgustinovCHKLLMSST #aspectj #optimisation

Optimising aspectJ (PA, ASC, LJH, SK, JL, OL, OdM, DS, GS, JT), pp. 117–128.

SAS-2005-GlewPG #architecture #optimisation #plugin #type safety

Type-Safe Optimisation of Plugin Architectures (NG, JP, CG), pp. 135–154.

ICEIS-v3-2005-CallejasCC #concept #optimisation #process

Conceptual Optimisation in Business Process Management (YC, JLC, MC), pp. 233–239.

MLDM-2005-KovalevP #database #image #optimisation

Optimising the Choice of Colours of an Image Database for Dichromats (VAK, MP), pp. 456–465.

LCTES-2005-FrankeOTF #embedded #optimisation #probability #source code

Probabilistic source-level optimisation of embedded programs (BF, MFPO, JT, GF), pp. 78–86.

ICLP-2005-Wielemaker #implementation #prolog #query #semantics #web

An Optimised Semantic Web Query Language Implementation in Prolog (JW), pp. 128–142.

FASE-2004-SaffreyC #communication #model checking #optimisation

Optimising Communication Structure for Model Checking (PS, MC), pp. 310–323.

ICML-2004-HerschtalR #optimisation #using

Optimising area under the ROC curve using gradient descent (AH, BR).

ICPR-v4-2004-PagesSF

A New Optimised De Bruijn Coding Strategy for Structured Light Patterns (JP, JS, JF), pp. 284–287.

ICPR-v4-2004-ZhuRL04a #algorithm #optimisation #robust

A Robust Regularised Restoration Algorithm Based on Topkis-Veinott Optimisation Method (DZ, MR, RAL), pp. 705–708.

GPCE-2004-SeefriedCK #domain-specific language #embedded #haskell #optimisation #using

Optimising Embedded DSLs Using Template Haskell (SS, MMTC, GK), pp. 186–205.

DATE-2003-SokolovBY #optimisation

STG Optimisation in the Direct Mapping of Asynchronous Circuits (DS, AVB, AY), pp. 10932–10939.

SCAM-2003-BaggeKHV #c++ #design #optimisation #source code

Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs (OSB, KTK, MH, EV), p. 65–?.

ICEIS-2002-KrishnaswamyLZ #data mining #distributed #mining #optimisation #predict #runtime

Supporting the Optimisation of Distributed Data Mining by Predicting Application Run Times (SK, SWL, ABZ), pp. 374–381.

ECIR-2002-BoughanemT #case study #documentation #optimisation #query #retrieval #search-based #using

A Study on Using Genetic Niching for Query Optimisation in Document Retrieval (MB, LT), pp. 135–149.

LOPSTR-2002-MazurJV #optimisation

Collecting Potential Optimisations (NM, GJ, WV), pp. 109–110.

SAC-2002-BesnardL #constraints #design #identification #industrial #lessons learnt #optimisation #re-engineering #reuse

Lessons from industrial design for software engineering through constraints identification, solution space optimisation and reuse (DB, ATL), pp. 732–738.

HPDC-2002-CoxBCDEFJGGPKSSTWX #design #grid #optimisation

Grid Services in Action: Grid Enabled Optimisation and Design Search (SJC, RPB, LC, MD, MHE, MJF, ZJ, MG, CAG, GEP, AJK, MS, NS, BT, JLW, GX), p. 413.

ICEIS-v1-2001-CounsellLSTM #data analysis #email #optimisation #using

Optimising the Grouping of Email Users to Servers Using Intelligent Data Analysis (SC, XL, SS, AT, JM), pp. 489–496.

CAiSE-2000-VassiliadisS #database #modelling #multi #optimisation

Modelling and Optimisation Issues for Multidimensional Databases (PV, SS), pp. 482–497.

ICEIS-2000-OrasanE #optimisation

Experiments in Optimising the Task of Anaphora Resolution (CO, RE), pp. 191–195.

SAC-2000-Rowstron #comprehension #optimisation

Optimising the Linda in Primitive: Understanding Tuple-Space Run-times (AITR), pp. 227–232.

LCTES-2000-Kastner #analysis #named #optimisation

PROPAN: A Retargetable System for Postpass Optimisations and Analyses (DK), pp. 63–80.

IFL-1999-Groningen #functional #lazy evaluation #multi #optimisation #recursion #tuple

Optimising Recursive Functions Yielding Multiple Results in Tuples in a Lazy Functional Language (JHGvG), pp. 59–76.

PPDP-1999-Costa #bytecode #optimisation #prolog

Optimising Bytecode Emulation for Prolog (VSC), pp. 261–277.

ITiCSE-1998-Richardson #information management #learning #optimisation

First year information systems papers — optimising learning — minimising administration (poster) (ASR), p. 301.

ICFP-1998-Gustavsson #analysis #optimisation

A Type Based Sharing Analysis for Update Avoidance and Optimisation (JG), pp. 39–50.

ICPR-1998-Ude #estimation #optimisation

Nonlinear least squares optimisation of unit quaternion functions for pose estimation from corresponding features (AU), pp. 425–427.

KDD-1998-KellyHA #data mining #mining #performance

Defining the Goals to Optimise Data Mining Performance (MGK, DJH, NMA), pp. 234–238.

JICSLP-1998-Ruiz-AndinoR #integration #optimisation #probability

Integration of CLP and Stochastic Optimisation Strategies (ARA, JJR), pp. 351–352.

ICDAR-1997-MartensC #online #optimisation #programming

Dynamic Programming Optimisation for On-line Signature Verificatio (RM, LJMC), pp. 653–656.

ITiCSE-1997-BurkeV #algorithm #optimisation #search-based #tutorial

A genetic algorithms tutorial tool for numerical function optimisation (EKB, DBV), pp. 27–30.

IFL-1997-Serrarens #multi #optimisation #using

Using Multicasting for Optimising Data-Parallelism (PRS), pp. 270–284.

IFL-1996-BoquistJ #functional #lazy evaluation #optimisation

The GRIN Project: A Highly Optimising Back End for Lazy Functional Languages (UB, TJ), pp. 58–84.

SAC-1996-HarangsriSN #classification #multi #optimisation #query #using

Query optimisation in multidatabase systems using query classification (BH, JS, AHHN), pp. 173–177.

LOPSTR-1995-VasconcelosF #approach #logic programming #optimisation #program analysis #using

An Opportunistic Approach for Logic Program Analysis and Optimisation Using Enhanced Schema-Based Transformations (WWV, NEF), pp. 174–188.

EDAC-1994-AhmedCC #approach #fault #modelling #optimisation #using

A Model-based Approach to Analog Fault Diagnosis using Techniques from Optimisation (SA, PYKC, PC), p. 665.

EDAC-1994-ByrneMLD #bibliography #optimisation #using

An Overview of Analogue Optimisation Using “AD-OPT” (EB, OM, DL, BD), pp. 540–545.

EDAC-1994-SchoofsGM #architecture #design #multi #optimisation

Signal Type Optimisation in the Design of Time-Multiplexed DSP Architectures (KS, GG, HDM), pp. 502–506.

VLDB-1994-PoulovassilisS #algebra #database #optimisation #programming language #query

Investigation of Algebraic Query Optimisation Techniques for Database Programming Languages (AP, CS), pp. 415–426.

LFP-1994-Hall #representation #type inference #using

Using Hindley-Milner Type Inference to Optimise List Representation (CVH), pp. 162–172.

JICSLP-1992-Szeredi #optimisation #problem

Exploiting Or-Parallelism in Optimisation Problems (PS), pp. 703–716.

DAC-1983-NewtonY #array #optimisation

Optimisation of global routing for the UK5000 gate array by iteration (CON, PAY), pp. 651–657.