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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2008, Portland, Oregon, USA, 17-20 November 2008, pp. 1-10, 2008, IEEE, 978-1-4244-2735-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
57 | Holger Winnemöller, Shaun Bangay |
Rendering optimisations for stylised sketching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Afrigraph ![In: Proceedings of the 2nd International Conference on Computer Graphics, Virtual Reality, Visualisation and Interaction in Africa, Afrigraph 2003, Cape Town, South Africa, February 3-5, 2003, pp. 117-122, 2003, ACM, 1-58113-643-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pp. 149-150, 2011, IEEE Computer Society, 978-1-4577-0973-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par Workshops ![In: Euro-Par 2008 Workshops - Parallel Processing, VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers, pp. 163-173, 2008, Springer, 978-3-642-00954-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
45 | Daniel Kästner |
PROPAN: A Retargetable System for Postpass Optimisations and Analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Languages, Compilers, and Tools for Embedded Systems, ACM SIGPLAN Workshop LCTES 2000, Vancouver, BC, Canada, June 18, 2000, Proceedings, pp. 63-80, 2000, Springer, 3-540-41781-8. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
43 | Víctor Valls, Douglas J. Leith |
Max-Weight Revisited: Sequences of Non-Convex Optimisations Solving Convex Optimisations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1406.0899, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
40 | Stephen Drape, Oege de Moor, Ganesh Sittampalam |
Transforming the .NET intermediate language using path logic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002), pp. 133-144, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 9th International Conference on VLSI Design (VLSI Design 1996), 3-6 January 1996, Bangalore, India, pp. 133-139, 1996, IEEE Computer Society, 0-8186-7228-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2008, June 9-11, 2008, Vancouver, BC, Canada, pp. 291-300, 2008, ACM, 978-1-60558-108-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
query optimization, datalog, type inference |
36 | Jan Martin Jansen, Pieter W. M. Koopman, Rinus Plasmeijer |
From Interpretation to Compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEFP ![In: Central European Functional Programming School, Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures, pp. 286-301, 2007, Springer, 978-3-540-88058-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Evan J. Hughes |
Evolutionary many-objective optimisation: many once or one many? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2005, 2-4 September 2005, Edinburgh, UK, pp. 222-227, 2005, IEEE, 0-7803-9363-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Martin Palkovic, Henk Corporaal, Francky Catthoor |
Global Memory Optimisation for Embedded Systems Allowed by Code Duplication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCOPES ![In: Proceedings of the 9th International Workshop on Software and Compilers for Embedded Systems, Dallas, Texas, USA, September 29 - October 1, 2005, pp. 72-79, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Brian Davis, John Waldron |
A survey of optimisations for the Java Virtual Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 2nd International Symposium on Principles and Practice of Programming in Java, PPPJ 2003, Kilkenny City, Ireland, June 16-18, 2003, pp. 181-183, 2003, ACM, 0-9544145-1-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Nancy Mazur, Gerda Janssens, Wim Vanhoof |
Collecting Potential Optimisations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Based Program Synthesis and Tranformation, 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20,2002, Revised Selected Papers, pp. 109-110, 2002, Springer, 3-540-40438-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Alex Ng |
Towards a Table Driven XML QoS Aware Transmission Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 6th Annual IEEE/ACIS International Conference on Computer and Information Science (ICIS 2007), 11-13 July 2007, Melbourne, Australia, pp. 1117-1123, 2007, IEEE Computer Society, 0-7695-2841-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICESS ![In: Embedded Software and Systems, [Third] International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings, pp. 391-402, 2007, Springer, 978-3-540-72684-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Grid Comput. ![In: J. Grid Comput. 2(1), pp. 15-29, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ApSys ![In: Proceedings of the 1st ACM SIGCOMM Asia-Pacific Workshop on Systems, ApSys 2010, New Delhi, India, August 30, 2010, pp. 7-12, 2010, ACM, 978-1-4503-0195-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 17-31, 2009, Springer, 978-3-642-00721-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, May 23-29, 2009, pp. 1-8, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Benny Pinkas, Thomas Schneider 0003, Nigel P. Smart, Stephen C. Williams |
Secure Two-Party Computation Is Practical. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT 2009, 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009. Proceedings, pp. 250-267, 2009, Springer, 978-3-642-10365-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conf. Computing Frontiers ![In: Proceedings of the 6th Conference on Computing Frontiers, 2009, Ischia, Italy, May 18-20, 2009, pp. 175-184, 2009, ACM, 978-1-60558-413-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2008 - Object-Oriented Programming, 22nd European Conference, Paphos, Cyprus, July 7-11, 2008, Proceedings, pp. 27-51, 2008, Springer, 978-3-540-70591-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Amy Willis, Suneer Patel, Christopher D. Clack |
GP age-layer and crossover effects in bid-offer spread prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2008, Proceedings, Atlanta, GA, USA, July 12-16, 2008, pp. 1665-1672, 2008, ACM, 978-1-60558-130-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 589-608, 2007, ACM, 978-1-59593-786-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Spring ![In: Proceedings of the 65th IEEE Vehicular Technology Conference, VTC Spring 2007, 22-25 April 2007, Dublin, Ireland, pp. 894-898, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Ajay Kumar Verma, Paolo Ienne |
Automatic synthesis of compressor trees: reevaluating large counters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2007 Design, Automation and Test in Europe Conference and Exposition, DATE 2007, Nice, France, April 16-20, 2007, pp. 443-448, 2007, EDA Consortium, San Jose, CA, USA, 978-3-9810801-2-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Ajay Kumar Verma, Paolo Ienne |
Improving XOR-Dominated Circuits by Exploiting Dependencies between Operands. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 12th Conference on Asia South Pacific Design Automation, ASP-DAC 2007, Yokohama, Japan, January 23-26, 2007, pp. 601-608, 2007, IEEE Computer Society, 1-4244-0629-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: FPL 2007, International Conference on Field Programmable Logic and Applications, Amsterdam, The Netherlands, 27-29 August 2007, pp. 625-628, 2007, IEEE, 1-4244-1060-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 20th International Conference on VLSI Design (VLSI Design 2007), Sixth International Conference on Embedded Systems (ICES 2007), 6-10 January 2007, Bangalore, India, pp. 245-250, 2007, IEEE Computer Society, 0-7695-2762-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006, pp. 12-20, 2006, ACM, 1-59593-196-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Adrien Lebre, Guillaume Huard, Yves Denneulin, Przemyslaw Sowa |
I/O Scheduling Service for Multi-Application Clusters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLUSTER ![In: Proceedings of the 2006 IEEE International Conference on Cluster Computing, September 25-28, 2006, Barcelona, Spain, 2006, IEEE Computer Society, 1-4244-0328-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Christos Kloukinas |
Thunderstriking constraints with JUPITER. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 11-14 July 2005, Verona, Italy, Proceedings, pp. 211-220, 2005, IEEE Computer Society, 0-7803-9227-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Lian Li 0002, Jingling Xue |
A trace-based binary compilation framework for energy-aware computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2004 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'04), Washington, DC, USA, June 11-13, 2004, pp. 95-106, 2004, ACM, 1-58113-806-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 2004 International Conference on Computer-Aided Design, ICCAD 2004, San Jose, CA, USA, November 7-11, 2004, pp. 791-798, 2004, IEEE Computer Society / ACM, 0-7803-8702-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | David Gregg, M. Anton Ertl |
A Language and Tool for Generating Efficient Virtual Machine Interpreters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Domain-Specific Program Generation ![In: Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers, pp. 196-215, 2003, Springer, 3-540-22119-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva |
On Deterministic Computations in the Extended Andorra Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings, pp. 407-421, 2003, Springer, 3-540-20642-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Extended Andorra Model, Logic Programming, Language Implementation |
24 | Wei-Ngan Chin, Siau-Cheng Khoo |
Calculating Sized Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '00), Boston, Massachusetts, USA, January 22-23, 2000, pp. 62-72, 2000, ACM, 1-58113-201-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Olav Beckmann, Paul H. J. Kelly |
Efficient Interprocedural Data Placement Optimisation in a Parallel Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCR ![In: Languages, Compilers, and Run-Time Systems for Scalable Computers, 4th International Workshop, LCR '98, Pittsburgh, PA, USA, May 28-30, 1998, Selected Papers, pp. 123-138, 1998, Springer, 3-540-65172-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Victor Epain, Rumen Andonov |
Global exact optimisations for chloroplast structural haplotype scaffolding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithms Mol. Biol. ![In: Algorithms Mol. Biol. 19(1), pp. 5, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Jirí Kaspar, Ivan Simecek |
Parallel CRC optimisations on the x64 architecture: a per-partes method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Emergent Distributed Syst. ![In: Int. J. Parallel Emergent Distributed Syst. 39(3), pp. 292-316, May 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Jun Wook Heo, Gowri Sankar Ramachandran, Ali Dorri, Raja Jurdak |
Blockchain Data Storage Optimisations: A Comprehensive Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 56(7), pp. 179:1-179:27, July 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Test. Verification Reliab. ![In: Softw. Test. Verification Reliab. 34(1), January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Teymoor Ali, Deepayan Bhowmik, Robert Nicol |
Domain-Specific Optimisations for Image Processing on FPGAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Signal Process. Syst. ![In: J. Signal Process. Syst. 95(10), pp. 1167-1179, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Sten Vercammen, Serge Demeyer, Markus Borg |
F-ASTMut mutation optimisations techniques using the Clang front-end. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Impacts ![In: Softw. Impacts 16, pp. 100500, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Ian J. Hayes, Mark Utting, Brae J. Webb |
Verifying Compiler Optimisations - (Invited Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings, pp. 3-8, 2023, Springer, 978-981-99-7583-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: IEEE International Parallel and Distributed Processing Symposium, IPDPS 2023, St. Petersburg, FL, USA, May 15-19, 2023, pp. 579-589, 2023, IEEE, 979-8-3503-3766-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCCM ![In: 31st IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, FCCM 2023, Marina Del Rey, CA, USA, May 8-11, 2023, pp. 218, 2023, IEEE, 979-8-3503-1205-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Anamaria Costache, Lea Nürnberger, Rachel Player |
Optimisations and Tradeoffs for HElib. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CT-RSA ![In: Topics in Cryptology - CT-RSA 2023 - Cryptographers' Track at the RSA Conference 2023, San Francisco, CA, USA, April 24-27, 2023, Proceedings, pp. 29-53, 2023, Springer, 978-3-031-30871-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Sci. Eng. ![In: Int. J. Comput. Sci. Eng. 25(5), pp. 523-531, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 48(2), pp. 19:1-19:31, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.17215, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Thomas Koehler |
A Domain-Extensible Compiler with Controllable Automation of Optimisations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.12035, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2022, pp. 1304, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICT4S ![In: International Conference on ICT for Sustainability, ICT4S 2022, Plovdiv, Bulgaria, June 13-17, 2022, pp. 46-52, 2022, IEEE, 978-1-6654-8286-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Jessica Vandebon, José Gabriel F. Coutinho, Wayne Luk |
Meta-Programming Design-Flow Patterns for Automating Reusable Optimisations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HEART ![In: HEART 2022: International Symposium on Highly-Efficient Accelerators and Reconfigurable Technologies, Tsukuba, Japan, June 9 - 10, 2022, pp. 42-50, 2022, ACM, 978-1-4503-9660-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Aparajita Haldar |
Hypergraph-based optimisations for scalable graph analytics and learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
21 | Thomas Koehler 0005 |
A domain-extensible compiler with controllable automation of optimisations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
21 | Vasileios Klimis |
Abstractions and optimisations for model-checking software-defined networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2021 |
RDF |
|
21 | Jesús Sánchez Cuadrado |
A verified catalogue of OCL optimisations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 19(5), pp. 1139-1161, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bio Inspired Comput. ![In: Int. J. Bio Inspired Comput. 15(3), pp. 181-193, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Open J. Circuits Syst. ![In: IEEE Open J. Circuits Syst. 1, pp. 115-123, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.04092, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
21 | Stefano Cereda, Gianluca Palermo, Paolo Cremonesi, Stefano Doni |
A Collaborative Filtering Approach for the Automatic Tuning of Compiler Optimisations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 21st ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES 2020, London, UK, June 16, 2020., pp. 15-25, 2020, ACM, 978-1-4503-7094-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Taylor Haar, Waseem Kamleh, James Zanotti, Yoshifumi Nakamura |
Single flavour optimisations to Hybrid Monte Carlo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Phys. Commun. ![In: Comput. Phys. Commun. 238, pp. 111-123, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Phys. Commun. ![In: Comput. Phys. Commun. 235, pp. 305-323, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. High Perform. Comput. Netw. ![In: Int. J. High Perform. Comput. Netw. 13(1), pp. 54-69, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Frédéric Besson, Alexandre Dang, Thomas P. Jensen |
Information-Flow Preservation in Compiler Optimisations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 32nd IEEE Computer Security Foundations Symposium, CSF 2019, Hoboken, NJ, USA, June 25-28, 2019, pp. 230-242, 2019, IEEE, 978-1-7281-1407-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Jasmina Malicevic |
Efficient large-scale graph processing: optimisations for storage, performance and evolving graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
DOI RDF |
|
21 | Yohann Uguen |
High-level synthesis and arithmetic optimizations. (Optimisations arithmétiques et synthèse de haut niveau). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
21 | Atiieh Hoseinpour, Mojtaba Jafari Lahijani, Mohammad Hoseinpour, Javad Kazemitabar 0001 |
Fitness function improvement of evolutionary algorithms used in sensor network optimisations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Networks ![In: IET Networks 7(3), pp. 91-94, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 44(4), pp. 308-333, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Mike Dodds, Mark Batty, Alexey Gotsman |
Compositional Verification of Compiler Optimisations on Relaxed Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1802.05918, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1809.07196, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
21 | Mike Dodds, Mark Batty, Alexey Gotsman |
Compositional Verification of Compiler Optimisations on Relaxed Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, pp. 1027-1055, 2018, Springer, 978-3-319-89883-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IISWC ![In: 2018 IEEE International Symposium on Workload Characterization, IISWC 2018, Raleigh, NC, USA, September 30 - October 2, 2018, pp. 101-110, 2018, IEEE Computer Society, 978-1-5386-6780-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEM ![In: Proceedings of the 12th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM 2018, Oulu, Finland, October 11-12, 2018, pp. 26:1-26:9, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Andrey Rodchenko |
Software/hardware co-design and co-specialisation: novel simulation techniques and optimisations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
21 | Mohsin Raza Jafri |
Analysis and optimisations in depth-based routing for underwater sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (2) ![In: On the Move to Meaningful Internet Systems. OTM 2017 Conferences - Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part II, pp. 50-67, 2017, Springer, 978-3-319-69458-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | James Stanley Targett, Peter D. Düben, Wayne Luk |
Validating optimisations for chaotic simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: 27th International Conference on Field Programmable Logic and Applications, FPL 2017, Ghent, Belgium, September 4-8, 2017, pp. 1-4, 2017, IEEE, 978-9-0903-0428-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI-DAT ![In: 2017 International Symposium on VLSI Design, Automation and Test, VLSI-DAT 2017, Hsinchu, Taiwan, April 24-27, 2017, pp. 1-2, 2017, IEEE, 978-1-5090-3969-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Lavinia Ferariu |
Using self - Organising maps for Pareto - Ranking in genetic multiobjective optimisations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCP ![In: 13th IEEE International Conference on Intelligent Computer Communication and Processing, ICCP 2017, Cluj-Napoca, Romania, September 7-9, 2017, pp. 141-146, 2017, IEEE, 978-1-5386-3368-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Alexandru Agache, Mihai Ionescu, Costin Raiciu |
CloudTalk: Enabling Distributed Application Optimisations in Public Clouds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSys ![In: Proceedings of the Twelfth European Conference on Computer Systems, EuroSys 2017, Belgrade, Serbia, April 23-26, 2017, pp. 605-619, 2017, ACM, 978-1-4503-4938-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Juan José Fumero |
Accelerating interpreted programming languages on GPUs with just-in-time compilation and runtime optimisations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
21 | Syed S. Husain, Athul Prasad, Andreas Kunz, Jaeseung Song, Takashi Koshimizu |
Optimisations in machine type communications for sensor data networking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Wirel. Sens. Syst. ![In: IET Wirel. Sens. Syst. 6(4), pp. 102-108, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Comput. Digit. Tech. ![In: IET Comput. Digit. Tech. 10(4), pp. 157-164, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bio Inspired Comput. ![In: Int. J. Bio Inspired Comput. 8(4), pp. 248-263, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Big Data Intell. ![In: Int. J. Big Data Intell. 3(2), pp. 79-91, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Commun. Technol. ![In: Int. J. Inf. Commun. Technol. 9(3), pp. 322-336, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|