Search Results - Mitra, R.S

Refine Results
  1. 1
    Rap1GAP Induces Secretion of MMP-9 and Promotes Invasion in Human Oropharyngeal Squamous Cell Carcinoma

    Rap1GAP Induces Secretion of MMP-9 and Promotes Invasion in Human Oropharyngeal Squamous Cell Carcinoma by D’Silva, N.J, Mitra, R.S, Palit, S, Maldonado, D, Cordell, K, Pan, Q, Chepeha, D, Henson, B

    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Strategies for mainstream usage of formal verification

    Strategies for mainstream usage of formal verification by Mitra, Raj S.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Keratinocytes as initiators of inflammation

    Keratinocytes as initiators of inflammation by Barker, J.N.W.N, Griffiths, C.E.M, Nickoloff, B.J, Mitra, R.S, Dixit, V.M, Nickoloff, B.J

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Lessons and Experiences with High-Level Synthesis

    Lessons and Experiences with High-Level Synthesis by Sarkar, S., Dabral, S., Tiwari, P.K., Mitra, R.S.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Hybrid Verification of Protocol Bridges

    Hybrid Verification of Protocol Bridges by Tiwari, P., Mitra, R.S.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  6. 6
    Rap1, a small GTP-binding protein is upregulated during arrest of proliferation in human keratinocytes

    Rap1, a small GTP-binding protein is upregulated during arrest of proliferation in human keratinocytes by D'Silva, N.J., Mitra, R.S., Zhang, Z., Kurnit, D.M., Babcock, C.R., Polverini, P.J., Carey, T.E.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    A priori formal coverage analysis for protocol properties

    A priori formal coverage analysis for protocol properties by Tiwari, P., Biswas, S., Mitra, R.S.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    Use of C/C++ models for architecture exploration and verification of DSPs

    Use of C/C++ models for architecture exploration and verification of DSPs by Brier, David, Mitra, Raj S.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  9. 9
    Directed-simulation assisted formal verification of serial protocol and bridge

    Directed-simulation assisted formal verification of serial protocol and bridge by Gorai, Saurav, Biswas, Saptarshi, Bhatia, Lovleen, Tiwari, Praveen, Mitra, Raj S.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  10. 10
    Leveraging semi-formal and sequential equivalence techniques for multimedia SOC performance validation

    Leveraging semi-formal and sequential equivalence techniques for multimedia SOC performance validation by Bhatia, Lovleen, Gaur, Jayesh, Tiwari, Praveen, Mitra, Raj S., Matange, Sunil H.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  11. 11
    Hardware software partitioning using genetic algorithm

    Hardware software partitioning using genetic algorithm by Saha, D., Mitra, R.S., Basu, A.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  12. 12
    Rap1GAP Inhibits Tumor Growth in Human Oropharyngeal Squamous Cell Carcinoma

    Rap1GAP Inhibits Tumor Growth in Human Oropharyngeal Squamous Cell Carcinoma by D'Silva, N.J., Zhang, Z.C., Mitra, R.S., Henson, B., Datta, N.S., McCauley, L., Kumar, P., Lee, J.S.-J., Carey, T.E.

    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    Building a verification test plan: trading brute force for finesse

    Building a verification test plan: trading brute force for finesse by Bacchini, F., Malik, S., Bergeron, J., Foster, H., Piziali, A., Mitra, R.S., Ahlschlager, C., Stein, D.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  14. 14
    Interface synthesis for embedded applications in a codesign environment

    Interface synthesis for embedded applications in a codesign environment by Basu, A., Mitra, R.S., Marwedel, P.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  15. 15
    A new algorithm for implementation of design functions by available devices

    A new algorithm for implementation of design functions by available devices by Mitra, R.S., Roop, P.S., Basu, A.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  16. 16
    Design of microprocessor-based systems: a knowledge-based approach

    Design of microprocessor-based systems: a knowledge-based approach by Mitra, R.S., Kumar, M., Basu, A.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  17. 17
    Implementation of design functions by available devices: a new algorithm

    Implementation of design functions by available devices: a new algorithm by Mitra, R.S., Roop, P.S., Basu, A.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  18. 18
    Elastic, maximal matching

    Elastic, maximal matching by Mitra, R.S., Murthy, N.N.

    Published in Pattern recognition
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  19. 19
    Asynchronous implementation of synchronous Esterel specifications

    Asynchronous implementation of synchronous Esterel specifications by Mitra, R.S., Bhattacharya, B., Lavagno, L.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  20. 20
    A consistent labeling approach to hardware software partitioning

    A consistent labeling approach to hardware software partitioning by Mitra, R.S., Qadir, M.G., Basu, A.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: