Clock skew scheduling for improved reliability via quadratic programming