OptumSoft, Inc.

Organization

Menlo Park, CA, US

Organizations

Please log in for detailed analytics

Patents Grantslast 30 patents

Information Patent Grant
Automatic root cause analysis using ternary fault scenario represen...
- Patent number 11,372,708
- Issue date Jun 28, 2022
- OptumSoft, Inc.
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Sparse data index table
- Patent number 11,294,905
- Issue date Apr 5, 2022
- OptumSoft, Inc.
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Deferred destruction for efficient resource reclamation
- Patent number 11,232,026
- Issue date Jan 25, 2022
- OptumSoft, Inc.
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatic generation of an efficient rule set implementation
- Patent number 11,232,096
- Issue date Jan 25, 2022
- OptumSoft, Inc.
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Matchset-based automatic root cause analysis including determining...
- Patent number 10,949,285
- Issue date Mar 16, 2021
- OptumSoft, Inc.
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Compact binary event log generation
- Patent number 10,853,157
- Issue date Dec 1, 2020
- OptumSoft, Inc.
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatic root cause analysis using ternary fault scenario represen...
- Patent number 10,761,921
- Issue date Sep 1, 2020
- OptumSoft, Inc.
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Deferred destruction for efficient resource reclamation
- Patent number 10,437,720
- Issue date Oct 8, 2019
- OptumSoft, Inc.
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Efficient reliable distributed flow-controlled event propagation
- Patent number 10,243,855
- Issue date Mar 26, 2019
- OptumSoft, Inc.
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Compact binary event log generation
- Patent number 10,061,629
- Issue date Aug 28, 2018
- OptumSoft, Inc.
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Dynamic collection attribute-based computer programming language me...
- Patent number 10,025,572
- Issue date Jul 17, 2018
- OptumSoft, Inc.
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Constraint-based consistency with snapshot isolation
- Patent number 9,805,088
- Issue date Oct 31, 2017
- OptumSoft, Inc.
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Notification-based constraint set translation to imperative execution
- Patent number 9,411,563
- Issue date Aug 9, 2016
- OptumSoft, Inc.
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Constraint-based consistency with snapshot isolation
- Patent number 9,317,549
- Issue date Apr 19, 2016
- OptumSoft, Inc.
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Interpreter-based program language translator using embedded interp...
- Patent number 9,262,135
- Issue date Feb 16, 2016
- OptumSoft, Inc.
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Dynamic collection attribute-based computer programming language me...
- Patent number 9,158,519
- Issue date Oct 13, 2015
- OptumSoft, Inc.
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Efficient automated translation of procedures in an constraint-base...
- Patent number 8,972,950
- Issue date Mar 3, 2015
- OptumSoft, Inc.
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Notification-based constraint set translation to imperative execution
- Patent number 8,850,409
- Issue date Sep 30, 2014
- OptumSoft, Inc.
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Interpreter-based program language translator using embedded interp...
- Patent number 8,799,877
- Issue date Aug 5, 2014
- OptumSoft, Inc.
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Efficient automated translation of procedures in constraint-based l...
- Patent number 8,214,795
- Issue date Jul 3, 2012
- OptumSoft, Inc.
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
AUTOMATIC ROOT CAUSE ANALYSIS USING TERNARY FAULT SCENARIO REPRESEN...
- Publication number 20220365836
- Publication date Nov 17, 2022
- OptumSoft, Inc.
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INCREMENTAL RULE CONDITION EVALUATION
- Publication number 20220261664
- Publication date Aug 18, 2022
- OptumSoft, Inc.
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC GENERATION OF AN EFFICIENT RULE SET IMPLEMENTATION
- Publication number 20220100738
- Publication date Mar 31, 2022
- OptumSoft, Inc.
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC GENERATION OF CONTROL DECISION LOGIC FOR COMPLEX ENGINEER...
- Publication number 20210240148
- Publication date Aug 5, 2021
- OptumSoft, Inc.
- David R. Cheriton
- G05 - CONTROLLING REGULATING
Information Patent Application
AUTOMATIC ROOT CAUSE ANALYSIS USING TERNARY FAULT SCENARIO REPRESEN...
- Publication number 20200409782
- Publication date Dec 31, 2020
- OptumSoft, Inc.
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
USING A LANE-STRUCTURED DYNAMIC ENVIRONMENT FOR RULE-BASED AUTOMATE...
- Publication number 20200264900
- Publication date Aug 20, 2020
- OptumSoft, Inc.
- David R. Cheriton
- B60 - VEHICLES IN GENERAL
Information Patent Application
APPROXIMATE MATCHING
- Publication number 20200257692
- Publication date Aug 13, 2020
- OptumSoft, Inc.
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SPARSE DATA INDEX TABLE
- Publication number 20200218725
- Publication date Jul 9, 2020
- OptumSoft, Inc.
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DEFERRED DESTRUCTION FOR EFFICIENT RESOURCE RECLAMATION
- Publication number 20200104255
- Publication date Apr 2, 2020
- OptumSoft, Inc.
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC GENERATION OF AN EFFICIENT RULE SET IMPLEMENTATION
- Publication number 20200081882
- Publication date Mar 12, 2020
- OptumSoft, Inc.
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INCORPORATING RULES INTO COMPLEX AUTOMATED DECISION MAKING
- Publication number 20200019174
- Publication date Jan 16, 2020
- OptumSoft, Inc.
- David R. Cheriton
- B60 - VEHICLES IN GENERAL
Information Patent Application
MATCHSET-BASED AUTOMATIC ROOT CAUSE ANALYSIS
- Publication number 20190294486
- Publication date Sep 26, 2019
- OptumSoft, Inc.
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC ROOT CAUSE ANALYSIS USING TERNARY FAULT SCENARIO REPRESEN...
- Publication number 20190163551
- Publication date May 30, 2019
- OptumSoft, Inc.
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMPACT BINARY EVENT LOG GENERATION
- Publication number 20190012223
- Publication date Jan 10, 2019
- OptumSoft, Inc.
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EFFICIENT RELIABLE DISTRIBUTED FLOW-CONTROLLED EVENT PROPAGATION
- Publication number 20170093725
- Publication date Mar 30, 2017
- OptumSoft, Inc.
- David R. Cheriton
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
COMPACT BINARY EVENT LOG GENERATION
- Publication number 20170024272
- Publication date Jan 26, 2017
- OptumSoft, Inc.
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CONSTRAINT-BASED CONSISTENCY WITH SNAPSHOT ISOLATION
- Publication number 20160292212
- Publication date Oct 6, 2016
- OptumSoft, Inc.
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DYNAMIC COLLECTION ATTRIBUTE-BASED COMPUTER PROGRAMMING LANGUAGE ME...
- Publication number 20160124729
- Publication date May 5, 2016
- OptumSoft, Inc.
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DEFERRED DESTRUCTION FOR EFFICIENT RESOURCE RECLAMATION
- Publication number 20150261670
- Publication date Sep 17, 2015
- OptumSoft, Inc.
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INTERPRETER-BASED PROGRAM LANGUAGE TRANSLATOR USING EMBEDDED INTERP...
- Publication number 20150012912
- Publication date Jan 8, 2015
- OptumSoft, Inc.
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Efficient Reliable Distributed Flow-controlled Event Propagation
- Publication number 20140108642
- Publication date Apr 17, 2014
- OptumSoft, Inc.
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Efficient automated translation of procedures in an constraint-base...
- Publication number 20100131936
- Publication date May 27, 2010
- OptumSoft, Inc.
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Dynamic collection attribute-based computer programming language me...
- Publication number 20090293045
- Publication date Nov 26, 2009
- OptumSoft, Inc.
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Notification-based constraint set translation to imperative execution
- Publication number 20090293046
- Publication date Nov 26, 2009
- OptumSoft, Inc.
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING

Trademarklast 30 trademarks

Information Trademark
77269913 - TACC
- Serial number 77269913
- Registration number 3981795
- Filing date Aug 31, 2007
- OptumSoft, Inc.
- 9 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments

OptumSoft, Inc.

Organization

Patents Grantslast 30 patents

Automatic root cause analysis using ternary fault scenario represen...

Sparse data index table

Deferred destruction for efficient resource reclamation

Automatic generation of an efficient rule set implementation

Matchset-based automatic root cause analysis including determining...

Compact binary event log generation

Automatic root cause analysis using ternary fault scenario represen...

Deferred destruction for efficient resource reclamation

Efficient reliable distributed flow-controlled event propagation

Compact binary event log generation

Dynamic collection attribute-based computer programming language me...

Constraint-based consistency with snapshot isolation

Notification-based constraint set translation to imperative execution

Constraint-based consistency with snapshot isolation

Interpreter-based program language translator using embedded interp...

Dynamic collection attribute-based computer programming language me...

Efficient automated translation of procedures in an constraint-base...

Notification-based constraint set translation to imperative execution

Interpreter-based program language translator using embedded interp...

Efficient automated translation of procedures in constraint-based l...

Patents Applicationslast 30 patents

AUTOMATIC ROOT CAUSE ANALYSIS USING TERNARY FAULT SCENARIO REPRESEN...

INCREMENTAL RULE CONDITION EVALUATION

AUTOMATIC GENERATION OF AN EFFICIENT RULE SET IMPLEMENTATION

AUTOMATIC GENERATION OF CONTROL DECISION LOGIC FOR COMPLEX ENGINEER...

AUTOMATIC ROOT CAUSE ANALYSIS USING TERNARY FAULT SCENARIO REPRESEN...

USING A LANE-STRUCTURED DYNAMIC ENVIRONMENT FOR RULE-BASED AUTOMATE...

APPROXIMATE MATCHING

SPARSE DATA INDEX TABLE

DEFERRED DESTRUCTION FOR EFFICIENT RESOURCE RECLAMATION

AUTOMATIC GENERATION OF AN EFFICIENT RULE SET IMPLEMENTATION

INCORPORATING RULES INTO COMPLEX AUTOMATED DECISION MAKING

MATCHSET-BASED AUTOMATIC ROOT CAUSE ANALYSIS

AUTOMATIC ROOT CAUSE ANALYSIS USING TERNARY FAULT SCENARIO REPRESEN...

COMPACT BINARY EVENT LOG GENERATION

EFFICIENT RELIABLE DISTRIBUTED FLOW-CONTROLLED EVENT PROPAGATION

COMPACT BINARY EVENT LOG GENERATION

CONSTRAINT-BASED CONSISTENCY WITH SNAPSHOT ISOLATION

DYNAMIC COLLECTION ATTRIBUTE-BASED COMPUTER PROGRAMMING LANGUAGE ME...

DEFERRED DESTRUCTION FOR EFFICIENT RESOURCE RECLAMATION

INTERPRETER-BASED PROGRAM LANGUAGE TRANSLATOR USING EMBEDDED INTERP...

Efficient Reliable Distributed Flow-controlled Event Propagation

Efficient automated translation of procedures in an constraint-base...

Dynamic collection attribute-based computer programming language me...

Notification-based constraint set translation to imperative execution

Trademarklast 30 trademarks

77269913 - TACC