Search Results - Das, Batsayan

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    VeriBlock: A Novel Blockchain Framework based on Verifiable Computing and Trusted Execution Environment

    VeriBlock: A Novel Blockchain Framework based on Verifiable Computing and Trusted Execution Environment by Maddali, Lakshmi Padmaja, Thakur, Meena Singh Dilip, Vigneswaran, R, Rajan, M A, Kanchanapalli, Srujana, Das, Batsayan

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Utilising condor for data parallel analytics in an IoT context - An experience report

    Utilising condor for data parallel analytics in an IoT context - An experience report by Mukherjee, Arijit, Dey, Swarnava, Paul, Himadri Sekhar, Das, Batsayan

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Model checking on state transition diagram

    Model checking on state transition diagram by Das, Batsayan, Sarkar, Dipankar, Chattopadhyay, Santanu

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    Model checking on state transition diagram

    Model checking on state transition diagram by Batsayan Das, Dipankar Sarkar, Santanu Chattopadhyay

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: