Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Run-time algorithm specialisation

Known as: Run-time algorithm specialization, Specialising compiler, Specializing compiler 
In computer science, run-time algorithm specialization is a methodology for creating efficient algorithms for costly computation tasks of certain… Expand
Wikipedia

Related topics

Related topics

9 relations
Abstract machineAutomated theorem provingComputer scienceMulti-stage programming
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Improving OpenCL Performance by Specializing Compiler Phase Selection and Ordering
Automatic compiler phase selection/ordering has traditionally been focused on CPUs and, to a lesser extent, FPGAs. We present… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • figure 4
2014
2014
Singe: leveraging warp specialization for high performance on GPUs
We present Singe, a Domain Specific Language (DSL) compiler for combustion chemistry that leverages warp specialization to… Expand
  • figure 1
  • figure 2
  • figure 5
  • figure 6
  • figure 7
2004
2004
Efficient Checking of Term Ordering Constraints
Simplification orderings on terms play a crucial role in reducing the search space in paramodulation-based theorem proving. Such… Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE