vix.ing · top · new · best · stats · spec

Sanil Rao

  1. Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
    2025/01/15 by Naifeng Zhang, Zhang, Naifeng, Sanil Rao +5 · 1 citation
    Computer Science · Decision Sciences · #Distributed and Parallel Computing Systems #FOS: Computer and information sciences #Programming Languages (cs.PL) #Scientific Computing and Data Management #Semantic Web and Ontologies #Symbolic Computation (cs.SC)