Mitra Purandare

Person

Rueschlikon, CH

People

Patents Grantslast 30 patents

Information Patent Grant
Deep neural network on field-programmable gate array
- Patent number 11,907,828
- Issue date Feb 20, 2024
- International Business Machines Corporation
- Mitra Purandare
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Messaging for a hardware acceleration system
- Patent number 11,630,696
- Issue date Apr 18, 2023
- International Business Machines Corporation
- Dionysios Diamantopoulos
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Random sequence generation for gene simulations
- Patent number 11,521,705
- Issue date Dec 6, 2022
- International Business Machines Corporation
- Raphael Polig
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Interactive-aware clustering of stable states
- Patent number 11,515,005
- Issue date Nov 29, 2022
- International Business Machines Corporation
- Mitra Purandare
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Genetic disease modeling
- Patent number 11,177,042
- Issue date Nov 16, 2021
- International Business Machines Corporation
- Roland Mathis
Information Patent Grant
Native code generation for cloud services
- Patent number 11,150,926
- Issue date Oct 19, 2021
- International Business Machines Corporation
- Raphael Polig
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Learning framework for software-hardware model generation and verif...
- Patent number 10,970,449
- Issue date Apr 6, 2021
- International Business Machines Corporation
- Rajdeep Mukherjee
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for verifying hardware/software co-designs
- Patent number 10,169,495
- Issue date Jan 1, 2019
- International Business Machines Corporation
- Mitra Purandare
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for verifying hardware/software co-designs
- Patent number 9,996,637
- Issue date Jun 12, 2018
- International Business Machines Corporation
- Mitra Purandare
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Calculating an immediate parent assertion statement for program ver...
- Patent number 9,436,582
- Issue date Sep 6, 2016
- International Business Machines Corporation
- Viresh Paruthi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verifying correctness of regular expression transformations that us...
- Patent number 8,688,608
- Issue date Apr 1, 2014
- International Business Machines Corporation
- Kubilay Atasu
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
MESSAGING FOR A HARDWARE ACCELERATION SYSTEM
- Publication number 20210303352
- Publication date Sep 30, 2021
- International Business Machines Corporation
- Dionysios Diamantopoulos
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DEEP NEURAL NETWORK ON FIELD-PROGRAMMABLE GATE ARRAY
- Publication number 20210064975
- Publication date Mar 4, 2021
- International Business Machines Corporation
- Mitra Purandare
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Native Code Generation for Cloud Services
- Publication number 20200272487
- Publication date Aug 27, 2020
- International Business Machines Corporation
- Raphael POLIG
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INTERACTIVE-AWARE CLUSTERING OF STABLE STATES
- Publication number 20200273539
- Publication date Aug 27, 2020
- International Business Machines Corporation
- Mitra Purandare
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
RANDOM SEQUENCE GENERATION FOR GENE SIMULATIONS
- Publication number 20200089842
- Publication date Mar 19, 2020
- International Business Machines Corporation
- Raphael Polig
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
LEARNING FRAMEWORK FOR SOFTWARE-HARDWARE MODEL GENERATION AND VERIF...
- Publication number 20190087513
- Publication date Mar 21, 2019
- International Business Machines Corporation
- Rajdeep Mukherjee
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
GENETIC DISEASE MODELING
- Publication number 20190065693
- Publication date Feb 28, 2019
- International Business Machines Corporation
- Roland Mathis
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD FOR VERIFYING HARDWARE/SOFTWARE CO-DESIGNS
- Publication number 20180232467
- Publication date Aug 16, 2018
- International Business Machines Corporation
- Mitra Purandare
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD FOR VERIFYING HARDWARE/SOFTWARE CO-DESIGNS
- Publication number 20170031806
- Publication date Feb 2, 2017
- International Business Machines Corporation
- Mitra Purandare
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VERIFYING CORRECTNESS OF REGULAR EXPRESSION TRANSFORMATIONS THAT US...
- Publication number 20130007530
- Publication date Jan 3, 2013
- International Business Machines Corporation
- Kubilay Atasu
- G06 - COMPUTING CALCULATING COUNTING

Mitra Purandare

Person

Patents Grantslast 30 patents

Deep neural network on field-programmable gate array

Messaging for a hardware acceleration system

Random sequence generation for gene simulations

Interactive-aware clustering of stable states

Genetic disease modeling

Native code generation for cloud services

Learning framework for software-hardware model generation and verif...

Method for verifying hardware/software co-designs

Method for verifying hardware/software co-designs

Calculating an immediate parent assertion statement for program ver...

Verifying correctness of regular expression transformations that us...

Patents Applicationslast 30 patents

MESSAGING FOR A HARDWARE ACCELERATION SYSTEM

DEEP NEURAL NETWORK ON FIELD-PROGRAMMABLE GATE ARRAY

Native Code Generation for Cloud Services

INTERACTIVE-AWARE CLUSTERING OF STABLE STATES

RANDOM SEQUENCE GENERATION FOR GENE SIMULATIONS

LEARNING FRAMEWORK FOR SOFTWARE-HARDWARE MODEL GENERATION AND VERIF...

GENETIC DISEASE MODELING

METHOD FOR VERIFYING HARDWARE/SOFTWARE CO-DESIGNS

METHOD FOR VERIFYING HARDWARE/SOFTWARE CO-DESIGNS

VERIFYING CORRECTNESS OF REGULAR EXPRESSION TRANSFORMATIONS THAT US...