Venkatesh-Prasad Ranganath

Follow

Person

Bangalore, IN

People

Patents Grantslast 30 patents

Information Patent Grant
Compatibility testing using traces, linear temporal rules, and beha...
- Patent number 8,892,493
- Issue date Nov 18, 2014
- Microsoft Corporation
- Randall Edward Aull
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Temporal rule-based feature definition and extraction
- Patent number 8,538,909
- Issue date Sep 17, 2013
- Microsoft Corporation
- Venkatesh-Prasad Ranganath
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Abstracting events for data mining
- Patent number 8,280,899
- Issue date Oct 2, 2012
- Microsoft Corporation
- David Lo
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System to reduce interference in concurrent programs
- Patent number 7,941,616
- Issue date May 10, 2011
- Microsoft Corporation
- Sriram Rajamani
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
TEMPORAL RULE-BASED FEATURE DEFINITION AND EXTRACTION
- Publication number 20120159263
- Publication date Jun 21, 2012
- Microsoft Corporation
- Venkatesh-Prasad Ranganath
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMPATIBILITY TESTING USING TRACES, LINEAR TEMPORAL RULES, AND BEHA...
- Publication number 20120159250
- Publication date Jun 21, 2012
- Microsoft Corporation
- Randall Edward Aull
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ABSTRACTING EVENTS FOR DATA MINING
- Publication number 20110087700
- Publication date Apr 14, 2011
- Microsoft Corporation
- David Lo
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
IDENTIFYING CONCURRENCY CONTROL FROM A SEQUENTIAL PROOF
- Publication number 20100169618
- Publication date Jul 1, 2010
- Microsoft Corporation
- Ganesan Ramalingam
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM TO REDUCE INTERFERENCE IN CONCURRENT PROGRAMS
- Publication number 20100100690
- Publication date Apr 22, 2010
- Microsoft Corporation
- Sriram Rajamani
- G06 - COMPUTING CALCULATING COUNTING