Search results for "Optimisations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
70	Pieter H. Hartel, Theo C. Ruys, Marc C. W. Geilen	Scheduling Optimisations for SPIN to Minimise Buffer Requirements in Synchronous Data Flow.	FMCAD	2008	DBLP DOI BibTeX RDF
57	Holger Winnemöller, Shaun Bangay	Rendering optimisations for stylised sketching.	Afrigraph	2003	DBLP DOI BibTeX RDF	chalk, coal, edge-fading, hatching, pencil, uncertainty-functions, non-photorealistic rendering, rendering, temporal coherence, 3D texturing
49	Mark Timmer	SCOOP: A Tool for SymboliC Optimisations of Probabilistic Processes.	QEST	2011	DBLP DOI BibTeX RDF	SCOOP, probabilistic process algebra, data-dependent probabilistic choice, symbolic optimisations, state space reduction, linearisation
48	Alastair F. Donaldson, Paul Keir, Anton Lokhmotov	Compile-Time and Run-Time Issues in an Auto-Parallelisation System for the Cell BE Processor.	Euro-Par Workshops	2008	DBLP DOI BibTeX RDF
45	Daniel Kästner	PROPAN: A Retargetable System for Postpass Optimisations and Analyses.	LCTES	2000	DBLP DOI BibTeX RDF
43	Robin Morisset	Compiler optimisations and relaxed memory consistency models. (Optimisations des compilateurs et modèles mémoire relâchés).		2017	RDF
43	Víctor Valls, Douglas J. Leith	Max-Weight Revisited: Sequences of Non-Convex Optimisations Solving Convex Optimisations.	CoRR	2014	DBLP BibTeX RDF
40	Stephen Drape, Oege de Moor, Ganesh Sittampalam	Transforming the .NET intermediate language using path logic programming.	PPDP	2002	DBLP DOI BibTeX RDF	compiler optimisations, logic programming, program transformation, program analysis, obfuscation, meta programming
40	Johnny Öberg, Jouni Isoaho, Peeter Ellervee, Axel Jantsch, Ahmed Hemani	A Rule-Based Approach for Improving Allocation of Filter Structures in HLS.	VLSI Design	1996	DBLP DOI BibTeX RDF	CDFG, CDFG Transformations, Filter structures, Optimisations, High-Level Synthesis, Allocation, Rule-Based
36	Oege de Moor, Damien Sereni, Pavel Avgustinov, Mathieu Verbaere	Type inference for datalog and its application to query optimisation.	PODS	2008	DBLP DOI BibTeX RDF	query optimization, datalog, type inference
36	Jan Martin Jansen, Pieter W. M. Koopman, Rinus Plasmeijer	From Interpretation to Compilation.	CEFP	2007	DBLP DOI BibTeX RDF
36	Evan J. Hughes	Evolutionary many-objective optimisation: many once or one many?	Congress on Evolutionary Computation	2005	DBLP DOI BibTeX RDF
36	Martin Palkovic, Henk Corporaal, Francky Catthoor	Global Memory Optimisation for Embedded Systems Allowed by Code Duplication.	SCOPES	2005	DBLP DOI BibTeX RDF
33	Brian Davis, John Waldron	A survey of optimisations for the Java Virtual Machine.	PPPJ	2003	DBLP DOI BibTeX RDF
33	Nancy Mazur, Gerda Janssens, Wim Vanhoof	Collecting Potential Optimisations.	LOPSTR	2002	DBLP DOI BibTeX RDF
27	Alex Ng	Towards a Table Driven XML QoS Aware Transmission Framework.	ACIS-ICIS	2007	DBLP DOI BibTeX RDF	QoS, Web Services, Optimisations
27	Bernhard Scholz, Mohamed Medhat Gaber, Tim Dawborn, Raymes Khoury, Edmund Tse	Efficient Time Triggered Query Processing in Wireless Sensor Networks.	ICESS	2007	DBLP DOI BibTeX RDF	Wireless communications and ad hoc networks, communication and energy optimisations, time triggered protocols, distributed query processing
27	Radu Prodan, Thomas Fahringer	ZENTURIO: A Grid Service-Based Tool for Optimising Parallel and Grid Applications.	J. Grid Comput.	2004	DBLP DOI BibTeX RDF	NP-complete optimisations, semi-automatic performance benchmarking, throughput scheduling, genetic algorithms, OGSA, Grid applications, OGSI, Grid/Web services
24	Nicholas Fitzroy-Dale, Ihor Kuz, Gernot Heiser	Architecture optimisation with Currawong.	ApSys	2010	DBLP DOI BibTeX RDF	optimization, prolog, optimisation, android, binary rewriting
24	Richard Warburton, Sara Kalvala	From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode.	CC	2009	DBLP DOI BibTeX RDF
24	Gihan R. Mudalige, Simon D. Hammond, J. A. Smith, Stephen A. Jarvis	Predictive analysis and optimisation of pipelined wavefront computations.	IPDPS	2009	DBLP DOI BibTeX RDF
24	Benny Pinkas, Thomas Schneider 0003, Nigel P. Smart, Stephen C. Williams	Secure Two-Party Computation Is Practical.	ASIACRYPT	2009	DBLP DOI BibTeX RDF
24	Jay L. T. Cornwall, Lee W. Howes, Paul H. J. Kelly, Phil Parsonage, Bruno Nicoletti	High-performance SIMT code generation in an active visual effects library.	Conf. Computing Frontiers	2009	DBLP DOI BibTeX RDF	SIMT, gpu, visual effects
24	Jaroslav Sevcík, David Aspinall 0001	On Validity of Program Transformations in the Java Memory Model.	ECOOP	2008	DBLP DOI BibTeX RDF
24	Amy Willis, Suneer Patel, Christopher D. Clack	GP age-layer and crossover effects in bid-offer spread prediction.	GECCO	2008	DBLP DOI BibTeX RDF	age layers, crossover, finance, options, GP, spreads, ALPS
24	Pavel Avgustinov, Julian Tibble, Oege de Moor	Making trace monitors feasible.	OOPSLA	2007	DBLP DOI BibTeX RDF	program analysis, runtime verification, program monitors
24	Ramón Agüero Calvo, Abigail Surtees, Jochen Eisl, Michael Georgiades	Mobility Management in Ambient Networks.	VTC Spring	2007	DBLP DOI BibTeX RDF
24	Ajay Kumar Verma, Paolo Ienne	Automatic synthesis of compressor trees: reevaluating large counters.	DATE	2007	DBLP DOI BibTeX RDF
24	Ajay Kumar Verma, Paolo Ienne	Improving XOR-Dominated Circuits by Exploiting Dependencies between Operands.	ASP-DAC	2007	DBLP DOI BibTeX RDF	multiplier-like circuits, XOR-dominated circuits, datapath design, netlist optimization, carry-save form, column compressors, XOR operations, logic synthesizers, algebraic factoring, computer arithmetic, logic synthesis, digital design, parallel multipliers
24	John Shield, Peter Sutton, Philip Machanick	Analysis of Kernel Effects on Optimisation Mismatch in Cache Reconfiguration.	FPL	2007	DBLP DOI BibTeX RDF
24	Sameer D. Sahasrabuddhe, Hakim Raja, Kavi Arya, Madhav P. Desai	AHIR: A Hardware Intermediate Representation for Hardware Generation from High-level Programs.	VLSI Design	2007	DBLP DOI BibTeX RDF
24	Jonathan Cooper, Steve McKeever, Alan Garny	On the application of partial evaluation to the optimisation of cardiac electrophysiological simulations.	PEPM	2006	DBLP DOI BibTeX RDF
24	Adrien Lebre, Guillaume Huard, Yves Denneulin, Przemyslaw Sowa	I/O Scheduling Service for Multi-Application Clusters.	CLUSTER	2006	DBLP DOI BibTeX RDF
24	Christos Kloukinas	Thunderstriking constraints with JUPITER.	MEMOCODE	2005	DBLP DOI BibTeX RDF
24	Lian Li 0002, Jingling Xue	A trace-based binary compilation framework for energy-aware computing.	LCTES	2004	DBLP DOI BibTeX RDF	energy optimisation, link-time optimisation, profile-guided optimisation, trace, binary translation
24	Ajay Kumar Verma, Paolo Ienne	Improved use of the carry-save representation for the synthesis of complex arithmetic circuits.	ICCAD	2004	DBLP DOI BibTeX RDF
24	David Gregg, M. Anton Ertl	A Language and Tool for Generating Efficient Virtual Machine Interpreters.	Domain-Specific Program Generation	2003	DBLP DOI BibTeX RDF
24	Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva	On Deterministic Computations in the Extended Andorra Model.	ICLP	2003	DBLP DOI BibTeX RDF	Extended Andorra Model, Logic Programming, Language Implementation
24	Wei-Ngan Chin, Siau-Cheng Khoo	Calculating Sized Types.	PEPM	2000	DBLP DOI BibTeX RDF
24	Olav Beckmann, Paul H. J. Kelly	Efficient Interprocedural Data Placement Optimisation in a Parallel Library.	LCR	1998	DBLP DOI BibTeX RDF
21	Victor Epain, Rumen Andonov	Global exact optimisations for chloroplast structural haplotype scaffolding.	Algorithms Mol. Biol.	2024	DBLP DOI BibTeX RDF
21	Jirí Kaspar, Ivan Simecek	Parallel CRC optimisations on the x64 architecture: a per-partes method.	Int. J. Parallel Emergent Distributed Syst.	2024	DBLP DOI BibTeX RDF
21	Jun Wook Heo, Gowri Sankar Ramachandran, Ali Dorri, Raja Jurdak	Blockchain Data Storage Optimisations: A Comprehensive Survey.	ACM Comput. Surv.	2024	DBLP DOI BibTeX RDF
21	Sten Vercammen, Serge Demeyer, Markus Borg, Niklas Pettersson, Görel Hedin	Mutation testing optimisations using the Clang front-end.	Softw. Test. Verification Reliab.	2024	DBLP DOI BibTeX RDF
21	Teymoor Ali, Deepayan Bhowmik, Robert Nicol	Domain-Specific Optimisations for Image Processing on FPGAs.	J. Signal Process. Syst.	2023	DBLP DOI BibTeX RDF
21	Sten Vercammen, Serge Demeyer, Markus Borg	F-ASTMut mutation optimisations techniques using the Clang front-end.	Softw. Impacts	2023	DBLP DOI BibTeX RDF
21	Ian J. Hayes, Mark Utting, Brae J. Webb	Verifying Compiler Optimisations - (Invited Paper).	ICFEM	2023	DBLP DOI BibTeX RDF
21	Archie Powell, Gihan R. Mudalige	Predictive Analysis of Code Optimisations on Large-Scale Coupled CFD-Combustion Simulations using the CPX Mini-App.	IPDPS	2023	DBLP DOI BibTeX RDF
21	Sige Bian, He Li 0008, Chengcheng Wang, Changjun Song, Yongming Tang	MSBF-LSTM: Most-significant Bit-first LSTM Accelerators with Energy Efficiency Optimisations.	FCCM	2023	DBLP DOI BibTeX RDF
21	Anamaria Costache, Lea Nürnberger, Rachel Player	Optimisations and Tradeoffs for HElib.	CT-RSA	2023	DBLP DOI BibTeX RDF
21	Jale Bektas, Turgay Ibrikci	Optimisations of four imputation frameworks for performance exploring based on decision tree algorithms in big data analysis problems.	Int. J. Comput. Sci. Eng.	2022	DBLP DOI BibTeX RDF
21	James D. Trotter, Xing Cai, Simon W. Funke	On Memory Traffic and Optimisations for Low-order Finite Element Assembly Algorithms on Multi-core CPUs.	ACM Trans. Math. Softw.	2022	DBLP DOI BibTeX RDF
21	Sten Vercammen, Serge Demeyer, Markus Borg, Niklas Pettersson, Görel Hedin	Mutation Testing Optimisations using the Clang Front-end.	CoRR	2022	DBLP DOI BibTeX RDF
21	Thomas Koehler	A Domain-Extensible Compiler with Controllable Automation of Optimisations.	CoRR	2022	DBLP DOI BibTeX RDF
21	Theodoros Kapourniotis, Elham Kashefi, Dominik Leichtle, Luka Music, Harold Ollivier	Unifying Quantum Verification and Error-Detection: Theory and Tools for Optimisations.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
21	María Gutiérrez, María Ángeles Moraga, Félix García 0001	Analysing the energy impact of different optimisations for machine learning models.	ICT4S	2022	DBLP DOI BibTeX RDF
21	Jessica Vandebon, José Gabriel F. Coutinho, Wayne Luk	Meta-Programming Design-Flow Patterns for Automating Reusable Optimisations.	HEART	2022	DBLP DOI BibTeX RDF
21	Aparajita Haldar	Hypergraph-based optimisations for scalable graph analytics and learning.		2022	RDF
21	Thomas Koehler 0005	A domain-extensible compiler with controllable automation of optimisations.		2022	RDF
21	Maksim Berezov	Automatic Source-to-Source Optimizations using Machine Learning. (L'automatisation des optimisations source-à -source de programmes en utilisant des techniques de Machine Learning).		2022	RDF
21	Célia Tassadit Ait Kaci	Analysis and optimizations for partitioned global address space based HPC applications. (Analyse et optimisations pour les applications HPC à mémoire distribuée et adressable globalement).		2022	RDF
21	Vasileios Klimis	Abstractions and optimisations for model-checking software-defined networks.		2021	RDF
21	Luciano Di Palma	New Algorithms and Optimizations for Human-in-the-Loop Model Development. (Nouveaux algorithmes et optimisations pour le développement de modèles interactives).		2021	RDF
21	Mickaël Seznec	From the algorithm to the targets, optimization flow for high performance computing on embedded GPUs. (De l'algorithme à l'implémentation, flot d'optimisations pour le calcul haute performance sur GPU embarqués).		2021	RDF
21	Pierre-Léo Bégay	Developing and certifying in Coq/MathComp of Datalog optimizations for network verification. (Développement et certification en Coq/MathComp d'optimisations Datalog pour la vérification réseau).		2021	RDF
21	Tiago Trevisan Jost	Compilation and optimizations for variable precision floating-Point arithmetic : from language and libraries to code generation. (Compilation et optimisations pour l'arithmétique à virgule flottante en précision variable : du langage et des bibliothèques à la génération de code).		2021	RDF
21	Jesús Sánchez Cuadrado	A verified catalogue of OCL optimisations.	Softw. Syst. Model.	2020	DBLP DOI BibTeX RDF
21	Jon A. Hansen, Jørgen Sund, Dylan Tollemache, Ali Arefi, Ghavameddin Nourbakhsh	An enhanced breeding swarms algorithm for high dimensional optimisations.	Int. J. Bio Inspired Comput.	2020	DBLP DOI BibTeX RDF
21	Jiamin Li, Adnan Ashraf, Barry Cardiff, Rajesh C. Panicker, Yong Lian 0001, Deepu John	Low Power Optimisations for IoT Wearable Sensors Based on Evaluation of Nine QRS Detection Algorithms.	IEEE Open J. Circuits Syst.	2020	DBLP DOI BibTeX RDF
21	Stefano Cereda, Gianluca Palermo, Paolo Cremonesi, Stefano Doni	A Collaborative Filtering Approach for the Automatic Tuning of Compiler Optimisations.	CoRR	2020	DBLP BibTeX RDF
21	Stefano Cereda, Gianluca Palermo, Paolo Cremonesi, Stefano Doni	A Collaborative Filtering Approach for the Automatic Tuning of Compiler Optimisations.	LCTES	2020	DBLP DOI BibTeX RDF
21	Taylor Haar, Waseem Kamleh, James Zanotti, Yoshifumi Nakamura	Single flavour optimisations to Hybrid Monte Carlo.	Comput. Phys. Commun.	2019	DBLP DOI BibTeX RDF
21	Ioan Hadade, Feng Wang 0021, Mauro Carnevale, Luca di Mare	Some useful optimisations for unstructured computational fluid dynamics codes on multicore and manycore architectures.	Comput. Phys. Commun.	2019	DBLP DOI BibTeX RDF
21	Akihiro Hayashi, Jun Shirako, Ettore Tiotto, Robert Ho, Vivek Sarkar	Performance evaluation of OpenMP's target construct on GPUs - exploring compiler optimisations.	Int. J. High Perform. Comput. Netw.	2019	DBLP DOI BibTeX RDF
21	Frédéric Besson, Alexandre Dang, Thomas P. Jensen	Information-Flow Preservation in Compiler Optimisations.	CSF	2019	DBLP DOI BibTeX RDF
21	Jasmina Malicevic	Efficient large-scale graph processing: optimisations for storage, performance and evolving graphs.		2019	DOI RDF
21	Yohann Uguen	High-level synthesis and arithmetic optimizations. (Optimisations arithmétiques et synthèse de haut niveau).		2019	RDF
21	Atiieh Hoseinpour, Mojtaba Jafari Lahijani, Mohammad Hoseinpour, Javad Kazemitabar 0001	Fitness function improvement of evolutionary algorithms used in sensor network optimisations.	IET Networks	2018	DBLP DOI BibTeX RDF
21	Marinos Kintis, Mike Papadakis, Yue Jia 0001, Nicos Malevris, Yves Le Traon, Mark Harman	Detecting Trivial Mutant Equivalences via Compiler Optimisations.	IEEE Trans. Software Eng.	2018	DBLP DOI BibTeX RDF
21	Mike Dodds, Mark Batty, Alexey Gotsman	Compositional Verification of Compiler Optimisations on Relaxed Memory.	CoRR	2018	DBLP BibTeX RDF
21	Jack Turner, José Cano 0001, Valentin Radu, Elliot J. Crowley, Michael F. P. O'Boyle, Amos J. Storkey	Characterising Across-Stack Optimisations for Deep Convolutional Neural Networks.	CoRR	2018	DBLP BibTeX RDF
21	Mike Dodds, Mark Batty, Alexey Gotsman	Compositional Verification of Compiler Optimisations on Relaxed Memory.	ESOP	2018	DBLP DOI BibTeX RDF
21	Jack Turner, José Cano 0001, Valentin Radu, Elliot J. Crowley, Michael F. P. O'Boyle, Amos J. Storkey	Characterising Across-Stack Optimisations for Deep Convolutional Neural Networks.	IISWC	2018	DBLP DOI BibTeX RDF
21	Sten Vercammen, Serge Demeyer, Markus Borg, Sigrid Eldh	Speeding up mutation testing via the cloud: lessons learned for further optimisations.	ESEM	2018	DBLP DOI BibTeX RDF
21	Andrey Rodchenko	Software/hardware co-design and co-specialisation: novel simulation techniques and optimisations.		2018	RDF
21	Rabab Bouziane	Software-level Analysis and Optimization to Mitigate the Cost of Write Operations on Non-Volatile Memories. (Analyse du logiciel et optimisations de compilation pour réduire le coût des opérations d'écriture sur les mémoires non volatiles).		2018	RDF
21	Mohsin Raza Jafri	Analysis and optimisations in depth-based routing for underwater sensor networks.		2018	RDF
21	Duarte Patrício, Rodrigo Bruno, José Simão, Paulo Ferreira 0001, Luís Veiga	Locality-Aware GC Optimisations for Big Data Workloads.	OTM Conferences (2)	2017	DBLP DOI BibTeX RDF
21	James Stanley Targett, Peter D. Düben, Wayne Luk	Validating optimisations for chaotic simulations.	FPL	2017	DBLP DOI BibTeX RDF
21	Asen Asenov, Karim El Sayed, Ricardo Borges, Plamen Asenov, Campbell Millar, Terry Ma	TCAD based Design-Technology Co-Optimisations in advanced technology nodes.	VLSI-DAT	2017	DBLP DOI BibTeX RDF
21	Lavinia Ferariu	Using self - Organising maps for Pareto - Ranking in genetic multiobjective optimisations.	ICCP	2017	DBLP DOI BibTeX RDF
21	Alexandru Agache, Mihai Ionescu, Costin Raiciu	CloudTalk: Enabling Distributed Application Optimisations in Public Clouds.	EuroSys	2017	DBLP DOI BibTeX RDF
21	Juan José Fumero	Accelerating interpreted programming languages on GPUs with just-in-time compilation and runtime optimisations.		2017	RDF
21	Jérémy Nadal	Filtered multicarrier waveforms in the context of 5G: novel algorithms and architecture optimizations. (Formes d'onde multiporteuses filtrées dans le contexte de la 5G: nouveaux algorithmes et optimisations d'architectures).		2017	RDF
21	Clément Béra	Sista: a Metacircular Architecture for Runtime Optimisation Persistence. (Sista: une architecture meta-circulaire pour la persistance d'optimisations à la volée).		2017	RDF
21	Syed S. Husain, Athul Prasad, Andreas Kunz, Jaeseung Song, Takashi Koshimizu	Optimisations in machine type communications for sensor data networking.	IET Wirel. Sens. Syst.	2016	DBLP DOI BibTeX RDF
21	Isuru Nawinne, Haris Javaid, Roshan G. Ragel, Sri Parameswaran	Switchable cache: utilising dark silicon for application specific cache optimisations.	IET Comput. Digit. Tech.	2016	DBLP DOI BibTeX RDF
21	A. J. Umbarkar, Madhuri Satish Joshi, Wei-Chiang Hong	Comparative study of diversity based parallel dual population genetic algorithm for unconstrained function optimisations.	Int. J. Bio Inspired Comput.	2016	DBLP DOI BibTeX RDF
21	Vishwanath Venkatesan, Mohamad Chaarawi, Quincey Koziol, Neil Fortner, Edgar Gabriel	A framework for collective I/O style optimisations at staging I/O nodes.	Int. J. Big Data Intell.	2016	DBLP DOI BibTeX RDF
21	Chuanbao Du, Houde Quan, Peizhang Cui	Performance analysis and optimisations of code resources in wireless dual-channel ad hoc network.	Int. J. Inf. Commun. Technol.	2016	DBLP DOI BibTeX RDF