The following pages link to Sriram Krishnamoorthy (Q2497739):
Displayed 3 items.
- Efficient synthesis of out-of-core algorithms using a nonlinear optimization solver (Q2497741) (← links)
- PolyCheck: dynamic verification of iteration space transformations on affine programs (Q2828296) (← links)
- GFCCLib: scalable and efficient coupled-cluster Green's function library for accurately tackling many-body electronic structure problems (Q6098374) (← links)