Rhishikesh Limaye

According to our database1, Rhishikesh Limaye authored at least 14 papers between 2004 and 2016.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2016
Tokens vs. Signals: On Conformance between Formal Models of Dataflow and Hardware.
J. Signal Process. Syst., 2016

Specification of precise timing in synchronous dataflow models.
Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

2014
On tokens and signals: Bridging the semantic gap between dataflow models and hardware implementations.
Proceedings of the XIVth International Conference on Embedded Computer Systems: Architectures, 2014

Modeling, Analysis, and Implementation of Streaming Applications for Hardware Targets.
Proceedings of the Embedded Systems Development, From Functional Models to Implementations, 2014

2012
Early timing estimation for system-level design using FPGAs (abstract only).
Proceedings of the ACM/SIGDA 20th International Symposium on Field Programmable Gate Arrays, 2012

Analysis techniques for static dataflow models with access patterns.
Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing, 2012

Tools for deploying dataflow models on FPGA targets.
Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing, 2012

Static dataflow with access patterns: semantics and analysis.
Proceedings of the 49th Annual Design Automation Conference 2012, 2012

2011
Symbolic predictive analysis for concurrent programs.
Formal Aspects Comput., 2011

Correct and non-defensive glue design using abstract models.
Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011

2010
Trace-Based Symbolic Analysis for Atomicity Violations.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

2009
On the Computational Complexity of Satisfiability Solving for String Theories
CoRR, 2009

Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2004
On Design and Implementation of an Embedded Automatic Speech Recognition System.
Proceedings of the 17th International Conference on VLSI Design (VLSI Design 2004), 2004


  Loading...