Search the dblp DataBase

Publications of Author

1. Sujay Phadke, Rhishikesh Limaye, Siddharth Verma, Kavitha Subramanian
   On Design and Implementation of an Embedded Automatic Speech Recognition System. [Citation Graph (0, 0)][DBLP]
   VLSI Design, 2004, pp:127-132 [Conf]
   
2. 
   Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic. [Citation Graph (, )][DBLP]
   
   
3. 
   Trace-Based Symbolic Analysis for Atomicity Violations. [Citation Graph (, )][DBLP]
   
   
4. 
   On the Computational Complexity of Satisfiability Solving for String Theories [Citation Graph (, )][DBLP]