K
Kaushik Ravindran
Researcher at National Instruments
Publications - 30
Citations - 1790
Kaushik Ravindran is an academic researcher from National Instruments. The author has contributed to research in topics: Dataflow & Model of computation. The author has an hindex of 14, co-authored 30 publications receiving 1769 citations. Previous affiliations of Kaushik Ravindran include University of California, Berkeley & Sadia S.A..
Papers
More filters
Patent
Developing programs in a graphical specification and constraint language
Kaushik Ravindran,Guang Yang,Jacob Kornerup,I.C. Wong,Jeffrey N. Correll,Michael J. Trimborn,Hugo A. Andrade +6 more
TL;DR: In this article, a graphical program is created in a graphical specification and constraint language that allows specification of a model of computation and explicit declaration of constraints in response to user input, and the specification or constraints are useable to analyze the graphical program or generate a program or simulation.
Patent
Automatically Mapping Program Functions to Distributed Heterogeneous Platforms Based on Hardware Attributes and Specified Constraints
Kaushik Ravindran,Hugo A. Andrade,Ankita Prasad,Arkadeb Ghosal,Trung N. Tran,Rhishikesh Limaye,Patricia Derler,Jacob Kornerup +7 more
TL;DR: In this article, a method for automatically mapping program functions to distributed heterogeneous platforms based on hardware attributes and specified constraints is presented, which includes receiving a plurality of program functions and determining constraint information for each.
Proceedings ArticleDOI
Correct and non-defensive glue design using abstract models
Stavros Tripakis,Hugo A. Andrade,Arkadeb Ghosal,Rhishikesh Limaye,Kaushik Ravindran,Guoqiang Wang,Guang Yang,Jacob Kormerup,I.C. Wong +8 more
TL;DR: The key idea is to use high-level models, such as dataflow graphs, that enable efficient automated analysis that employs the right models to explore accurate performance and resource trade-offs.
Proceedings ArticleDOI
Static dataflow with access patterns: semantics and analysis
Arkadeb Ghosal,Rhishikesh Limaye,Kaushik Ravindran,Stavros Tripakis,Ankita Prasad,Guoqiang Wang,Trung N. Tran,Hugo A. Andrade +7 more
TL;DR: This work formalizes the semantics of SDF-AP, defines key properties governing model execution, and discusses algorithms to check these properties under correctness and resource constraints, and results are presented to evaluate these analysis algorithms on practical applications modeled by S DF-AP.
Patent
Graphical specification and constraint language for developing programs for hardware implementation and use
Kaushik Ravindran,Jacob Kornerup,Rhishikesh Limaye,Guang Yang,Guoqiang Wang,Jeffrey N. Correll,Arkadeb Ghosal,Sadia Malik,E. Crain Ii Charles,Michael J. Trimborn +9 more
TL;DR: In this paper, a graphical program is created in a graphical specification and constraint language that allows specification of a model of computation and explicit declaration of constraints in response to user input, and the specification or constraints are useable to analyze the graphical program or generate a program or simulation.