Search Results for author:
Found 3 papers, 0 papers with code
A heuristic method for data allocation and task scheduling on heterogeneous multiprocessor systems under memory constraints
Computing workflows in heterogeneous multiprocessor systems are frequently modeled as directed acyclic graphs of tasks and data blocks, which represent computational modules and their dependencies in the form of data produced by a task and used by others.
Branching Strategy Selection Approach Based on Vivification Ratio
This approach uses the LRB branching strategy more to solve the instances with a very low vivification ratio.
Clause Vivification by Unit Propagation in CDCL SAT Solvers
Original and learnt clauses in Conflict-Driven Clause Learning (CDCL) SAT solvers often contain redundant literals.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
