Sentence examples for efficient rewriting from inspiring English sources

MSOS specifications are executable and analyzable in the Maude MSOS Tool, which uses efficient rewriting to execute, search and model checking MSOS specifications.

The Preference SQL optimizer does an efficient rewriting into standard SQL, including a high-level implementation of the skyline operator for Pareto-optimal sets.

First, we elaborate on techniques we developed for efficient rewriting of residual data from H.264/AVC to SVC.

Finding an effective and efficient query rewriting algorithm for regular expression queries is vital for knowledge sharing between peers in PKMSs; and for this our solution is characterized by graph-based query rewriting.

Constraint network transformations such as constraint propagations are then specified with efficient rewrite rules exploiting the network's structure provided by terms.

They said the contractors had moved that part of the new system to beefed-up hardware and were busy rewriting the software code to make it more robust and efficient.

We introduce an efficient sequential convex programming approach to solve the corresponding nonconvex problem by rewriting the nonconvex constraints as a difference of two convex functions.

For problems involving general domains, and operators with constant coefficients, a highly efficient approach is to rewrite the boundary value problem as a Boundary Integral Equation (BIE), and then solve the BIE using fast methods such as, e.g., the Fast Multipole Method (FMM).

They were rewriting history.

Rewriting "Ulysses" for Twitter.

So it's a question of rewriting, rewriting, rewriting.