Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Rhishikesh Limaye
@article{DBLP:journals/vlsisp/TripakisLRWAG16,
author = {Stavros Tripakis and
Rhishikesh Limaye and
Kaushik Ravindran and
Guoqiang Wang and
Hugo A. Andrade and
Arkadeb Ghosal},
title = {Tokens vs. Signals: On Conformance between Formal Models of Dataflow
and Hardware},
journal = {J. Signal Process. Syst.},
volume = {85},
number = {1},
pages = {23--43},
year = {2016},
url = {https://doi.org/10.1007/s11265-015-0971-y},
doi = {10.1007/S11265-015-0971-Y},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/vlsisp/TripakisLRWAG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/DerlerRL16,
author = {Patricia Derler and
Kaushik Ravindran and
Rhishikesh Limaye},
title = {Specification of precise timing in synchronous dataflow models},
booktitle = {2016 {ACM/IEEE} International Conference on Formal Methods and Models
for System Design, {MEMOCODE} 2016, Kanpur, India, November 18-20,
2016},
pages = {85--94},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/MEMCOD.2016.7797751},
doi = {10.1109/MEMCOD.2016.7797751},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/memocode/DerlerRL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/samos/TripakisLRW14,
author = {Stavros Tripakis and
Rhishikesh Limaye and
Kaushik Ravindran and
Guoqiang Wang},
title = {On tokens and signals: Bridging the semantic gap between dataflow
models and hardware implementations},
booktitle = {XIVth International Conference on Embedded Computer Systems: Architectures,
Modeling, and Simulation, {SAMOS} 2014, Agios Konstantinos, Samos,
Greece, July 14-17, 2014},
pages = {51--58},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/SAMOS.2014.6893194},
doi = {10.1109/SAMOS.2014.6893194},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/samos/TripakisLRW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/RavindranGLKACKWWYETPT14,
author = {Kaushik Ravindran and
Arkadeb Ghosal and
Rhishikesh Limaye and
Douglas Kim and
Hugo A. Andrade and
Jeff Correll and
Jacob Kornerup and
Ian C. Wong and
Gerald Wang and
Guang Yang and
Amal Ekbal and
Mike Trimborn and
Ankita Prasad and
Trung N. Tran},
editor = {Alberto L. Sangiovanni{-}Vincentelli and
Haibo Zeng and
Marco Di Natale and
Peter Marwedel},
title = {Modeling, Analysis, and Implementation of Streaming Applications for
Hardware Targets},
booktitle = {Embedded Systems Development, From Functional Models to Implementations},
pages = {19--39},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-1-4614-3879-3\_2},
doi = {10.1007/978-1-4614-3879-3\_2},
timestamp = {Fri, 14 Apr 2023 11:09:08 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/RavindranGLKACKWWYETPT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GhosalLRTPWTA12,
author = {Arkadeb Ghosal and
Rhishikesh Limaye and
Kaushik Ravindran and
Stavros Tripakis and
Ankita Prasad and
Guoqiang Wang and
Trung N. Tran and
Hugo A. Andrade},
editor = {Patrick Groeneveld and
Donatella Sciuto and
Soha Hassoun},
title = {Static dataflow with access patterns: semantics and analysis},
booktitle = {The 49th Annual Design Automation Conference 2012, {DAC} '12, San
Francisco, CA, USA, June 3-7, 2012},
pages = {656--663},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2228360.2228479},
doi = {10.1145/2228360.2228479},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/GhosalLRTPWTA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasip/RavindranGLAAIKPTTWY12,
author = {Kaushik Ravindran and
Arkadeb Ghosal and
Rhishikesh Limaye and
Hugo A. Andrade and
Alejandro Asenjo and
Takao Inoue and
Douglas Kim and
Ankita Prasad and
Trung N. Tran and
Mike Trimborn and
Guoqiang Wang and
Guang Yang},
title = {Tools for deploying dataflow models on {FPGA} targets},
booktitle = {Proceedings of the 2012 Conference on Design and Architectures for
Signal and Image Processing, {DASIP} 2012, Karlsruhe, Germany, October
23-25, 2012},
pages = {1--2},
publisher = {{IEEE}},
year = {2012},
url = {https://ieeexplore.ieee.org/document/6385426/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dasip/RavindranGLAAIKPTTWY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasip/RavindranGLWYA12,
author = {Kaushik Ravindran and
Arkadeb Ghosal and
Rhishikesh Limaye and
Guoqiang Wang and
Guang Yang and
Hugo A. Andrade},
title = {Analysis techniques for static dataflow models with access patterns},
booktitle = {Proceedings of the 2012 Conference on Design and Architectures for
Signal and Image Processing, {DASIP} 2012, Karlsruhe, Germany, October
23-25, 2012},
pages = {1--8},
publisher = {{IEEE}},
year = {2012},
url = {https://ieeexplore.ieee.org/document/6385382/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dasip/RavindranGLWYA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpga/AndradeGLMPRTWY12,
author = {Hugo A. Andrade and
Arkadeb Ghosal and
Rhishikesh Limaye and
Sadia Malik and
Newton Petersen and
Kaushik Ravindran and
Trung N. Tran and
Guoqiang Wang and
Guang Yang},
editor = {Katherine Compton and
Brad L. Hutchings},
title = {Early timing estimation for system-level design using FPGAs (abstract
only)},
booktitle = {Proceedings of the {ACM/SIGDA} 20th International Symposium on Field
Programmable Gate Arrays, {FPGA} 2012, Monterey, California, USA,
February 22-24, 2012},
pages = {271},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2145694.2145761},
doi = {10.1145/2145694.2145761},
timestamp = {Tue, 06 Nov 2018 16:58:22 +0100},
biburl = {https://dblp.org/rec/conf/fpga/AndradeGLMPRTWY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/WangKLGG11,
author = {Chao Wang and
Sudipta Kundu and
Rhishikesh Limaye and
Malay K. Ganai and
Aarti Gupta},
title = {Symbolic predictive analysis for concurrent programs},
journal = {Formal Aspects Comput.},
volume = {23},
number = {6},
pages = {781--805},
year = {2011},
url = {https://doi.org/10.1007/s00165-011-0179-2},
doi = {10.1007/S00165-011-0179-2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/WangKLGG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/TripakisAGLRWYKW11,
author = {Stavros Tripakis and
Hugo A. Andrade and
Arkadeb Ghosal and
Rhishikesh Limaye and
Kaushik Ravindran and
Guoqiang Wang and
Guang Yang and
Jacob Kornerup and
Ian C. Wong},
editor = {Robert P. Dick and
Jan Madsen},
title = {Correct and non-defensive glue design using abstract models},
booktitle = {Proceedings of the 9th International Conference on Hardware/Software
Codesign and System Synthesis, {CODES+ISSS} 2011, part of ESWeek '11
Seventh Embedded Systems Week, Taipei, Taiwan, 9-14 October, 2011},
pages = {59--68},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2039370.2039382},
doi = {10.1145/2039370.2039382},
timestamp = {Mon, 26 Nov 2018 12:14:45 +0100},
biburl = {https://dblp.org/rec/conf/codes/TripakisAGLRWYKW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/WangLGG10,
author = {Chao Wang and
Rhishikesh Limaye and
Malay K. Ganai and
Aarti Gupta},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Trace-Based Symbolic Analysis for Atomicity Violations},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {328--342},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_27},
doi = {10.1007/978-3-642-12002-2\_27},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/WangLGG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/JhaLS09,
author = {Susmit Jha and
Rhishikesh Limaye and
Sanjit A. Seshia},
editor = {Ahmed Bouajjani and
Oded Maler},
title = {Beaver: Engineering an Efficient {SMT} Solver for Bit-Vector Arithmetic},
booktitle = {Computer Aided Verification, 21st International Conference, {CAV}
2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5643},
pages = {668--674},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02658-4\_53},
doi = {10.1007/978-3-642-02658-4\_53},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/JhaLS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0903-2825,
author = {Susmit Jha and
Sanjit A. Seshia and
Rhishikesh Limaye},
title = {On the Computational Complexity of Satisfiability Solving for String
Theories},
journal = {CoRR},
volume = {abs/0903.2825},
year = {2009},
url = {http://arxiv.org/abs/0903.2825},
eprinttype = {arXiv},
eprint = {0903.2825},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0903-2825.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsid/PhadkeLVS04,
author = {Sujay Phadke and
Rhishikesh Limaye and
Siddharth Verma and
Kavitha Subramanian},
title = {On Design and Implementation of an Embedded Automatic Speech Recognition
System},
booktitle = {17th International Conference on {VLSI} Design {(VLSI} Design 2004),
with the 3rd International Conference on Embedded Systems Design,
5-9 January 2004, Mumbai, India},
pages = {127--132},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICVD.2004.1260914},
doi = {10.1109/ICVD.2004.1260914},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vlsid/PhadkeLVS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
