Worker/wrapper/makes it/faster

QR Code

Worker/wrapper/makes it/faster

Much research in program optimization has focused on formal approaches to correctness: proving that the meaning of programs is preserved by the optimisation. Paradoxically, there has been comparatively little work on formal approaches to efficiency: proving that the performance of optimized programs...

Full description

Bibliographic Details
Main Authors:	Hackett, Jennifer, Hutton, Graham
Format:	Conference or Workshop Item
Published:	2014
Subjects:	general recursion; improvement
Online Access:	https://eprints.nottingham.ac.uk/28181/

Similar Items

The worker-wrapper transformation: getting it right and making it better
by: Hackett, Jennifer L.P.
Published: (2017)

Failing faster: overlapping patterns for property-based testing
by: Fowler, Jonathan, et al.
Published: (2016)

A windowing-recursive approach for GPS real-time kinematic positioning
by: Zhou, Z., et al.
Published: (2010)

Numerical properties of adaptive recursive least-squares (RLS) algorithms with linear constraints.
by: Huo, Jia Q.
Published: (1999)

Dynamics for variable length multisection continuum arms
by: Godage, Isuru S., et al.
Published: (2016)

Adaptive antenna array beamforming using a concatenation of recursive least square and least mean square algorithms
by: Srar, Jalal Abdulsayed
Published: (2011)

Timing crisis information release via television
by: Wei, J., et al.
Published: (2010)

Programs for cheap!
by: Hackett, Jennifer, et al.
Published: (2015)

Parametric polymorphism and operational improvement
by: Hackett, Jennifer, et al.
Published: (2018)

The Application of Dynamic Compaction on Marjan Island
by: Hamidi, Babak, et al.
Published: (2012)

Filter-Wrapper Methods For Gene Selection In Cancer Classification
by: Alomari, Osama Ahmad Suleiman
Published: (2018)

A synthesised view of process improvement methodologies within the English NHS: A systematic review of empirical case studies
by: Kerrigan, Matthew David
Published: (2022)

Excellence is expected : quality monitoring and improvement in veterinary medicine
by: Rooke, Freya
Published: (2023)

Application of Dynamic Compaction in a Project with Smart Acceptance Criteria
by: Hamidi, Babak, et al.
Published: (2012)

Construction of Raw Sugar Silos Using Dynamic Replacement
by: Hamidi, Babak, et al.
Published: (2012)

One-domain-one-input: adaptive random testing by orthogonal recursive bisection with restriction
by: Ackah-Arthur, Hilary, et al.
Published: (2019)

Development of machine learning techniques for characterising changes in time-lapse resistivity monitoring
by: Ward, Wil O. C.
Published: (2018)

A unified approach to the Clenshaw summation and the recursive computation of very high degree and order normalised associated Legendre functions
by: Holmes, S., et al.
Published: (2002)

Application of dynamic compaction in Port of Ras Laffan Expansion Project
by: Hamidi, Babak, et al.
Published: (2010)

Predicting Soil Parameters by Modelling Dynamic Compaction Induced Subsidence
by: Hamidi, Babak, et al.
Published: (2010)

Application of Dynamic Replacement in a Steel Pipe Factory
by: Hamidi, Babak, et al.
Published: (2011)

The physiology efficiency and agronomic efficiency of fertilizer at mature oil palm – a review / Norsahira Mohd Sidik
by: Mohd Sidik, Norsahira
Published: (2017)

Effect of altering N application timing on critical paddy development and rice production / Rabiahtul Adawiah Rosli
by: Rosli, Rabiahtul Adawiah
Published: (2019)

Malaysian grown egusi (Citrullus lanatus) crop as potential feed stock for bio-energy
by: Bande, Yahaya Muhammad
Published: (2013)

The under-performing unfold: a new approach to optimising corecursive programs
by: Hackett, Jennifer, et al.
Published: (2013)

Unimas to enjoy faster Internet connectivity
by: The Borneo Post
Published: (2007)

China’s Weibo: is faster different?
by: Sullivan, Jonathan
Published: (2013)

Faster 'Harvast' with UPM product
by: New Straits Times
Published: (2023)

Self-test for faster results
by: Tang, Ashley
Published: (2021)

The Application of Dynamic Compaction to HFO Tanks
by: Hamidi, Babak, et al.
Published: (2011)

Searching the hyper-heuristic design space
by: Swan, Jerry, et al.
Published: (2014)

Documentation of plant-based food wrapper utilised by communities in Bintulu, Sarawak
by: Nurul Aisyah Yusli,, et al.
Published: (2023)

Documentation of plant-based food wrapper utilised by communities in Bintulu, Sarawak
by: Yusli, Nurul Aisyah, et al.
Published: (2023)

Feature Selection Method Based On Hybrid Filter-Metaheuristic Wrapper Approach
by: Jothi, Neesha
Published: (2020)

Making Functionality More General
by: Hutton, Graham, et al.
Published: (1992)

Organisational learning in SMEs: a process improvement perspective
by: Matthews, Rupert Lawrence, et al.
Published: (2016)

Employing performance counters and software wrapper for measuring QoS attributes of web services
by: Arab, Bahareh Sadat, et al.
Published: (2011)

Compute Language Interface: A Transparent Wrapper Library For Multi Cpu-Gpu
by: Ooi, Keng Siang
Published: (2013)

A review on effectiveness between liquid and solid fertilizer towards the growth of oil palm in nursery / Ahmad Syafiq Norridzwan
by: Norridzwan, Ahmad Syafiq
Published: (2017)

An adaptive wrapper algorithm for file transfer applications to support optimal large file transfers
by: Ghobadi, Alireza, et al.
Published: (2009)