Partial evaluation

Industry

CPC
G06F8/49

This industry / category may be too specific. Please go to a parent level for more data

Parent Industries

GPHYSICS G06Computing G06FELECTRICAL DIGITAL DATA PROCESSING G06F8/00Arrangements for software engineering

Current Industry

G06F8/49Partial evaluation

Industries

Patents Grantslast 30 patents

Information Patent Grant
Software development environment
- Patent number 12,008,362
- Issue date Jun 11, 2024
- McKinsey & Company, Inc.
- Pedro Miguel Vilhena Da Maia De Sá E Meneze
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automated integration of a source modification engine
- Patent number 11,983,265
- Issue date May 14, 2024
- RunSafe Security, Inc.
- Erik Raymond Lotspeich
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Compilation of a quantum program
- Patent number 11,983,600
- Issue date May 14, 2024
- International Business Machines Corporation
- Luciano Bello
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Multi-version shaders
- Patent number 11,243,752
- Issue date Feb 8, 2022
- Advanced Micro Devices, Inc.
- Sumesh Udayakumaran
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Event handling instruction processing
- Patent number 11,074,079
- Issue date Jul 27, 2021
- Greg Higgins
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for determining test coverage
- Patent number 10,872,033
- Issue date Dec 22, 2020
- International Business Machines Corporation
- Philip S. P. Chan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for static detection and categorization of inform...
- Patent number 10,742,666
- Issue date Aug 11, 2020
- International Business Machines Corporation
- Yinnon Haviv
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Electronic device, compiling method and computer-readable recording...
- Patent number 10,635,421
- Issue date Apr 28, 2020
- Samsung Electronics Co., Ltd.
- Jae-man Park
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for providing code completion features for code m...
- Patent number 10,437,574
- Issue date Oct 8, 2019
- Microsoft Technology Licensing, LLC
- Wai Man Yuen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for executing a computer program with a parameterised function
- Patent number 10,146,565
- Issue date Dec 4, 2018
- Commissariat a l'Energie Atomique et Aux Energies Alternatives
- Caroline Queva
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for executing a computer program with a parameterised function
- Patent number 10,140,135
- Issue date Nov 27, 2018
- Commissariat a l'Energie Atomique et Aux Energies Alternatives
- Caroline Queva
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Distributed code repository with limited synchronization locking
- Patent number 10,114,833
- Issue date Oct 30, 2018
- GitHub, Inc.
- Patrick Reynolds
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for type checking and transformation of a computer program w...
- Patent number 10,048,951
- Issue date Aug 14, 2018
- Dassault Systèmes 3DExcite GmbH
- Kai Trojahner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for automatic extraction of software design from...
- Patent number 9,977,655
- Issue date May 22, 2018
- Massively Parallel Technologies, Inc.
- Kevin D. Howard
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Distributed code repository with limited synchronization locking
- Patent number 9,977,786
- Issue date May 22, 2018
- GitHub, Inc.
- Patrick Reynolds
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Partial program specialization at runtime
- Patent number 9,952,843
- Issue date Apr 24, 2018
- NVIDIA Corporation
- Vinod Grover
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for determining test coverage
- Patent number 9,946,634
- Issue date Apr 17, 2018
- International Business Machines Corporation
- Philip S. P. Chan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Supporting dynamic behavior in statically compiled programs
- Patent number 9,836,290
- Issue date Dec 5, 2017
- Microsoft Technology Licensing, LLC
- Michal Strehovsky
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Synthesizing inputs to preserve functionality
- Patent number 9,697,018
- Issue date Jul 4, 2017
- International Business Machines Corporation
- Lucas Brutschy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Program optimization via compile time execution
- Patent number 9,690,550
- Issue date Jun 27, 2017
- National Instruments Corporation
- Hojin Kee
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Technologies for low-level composable high performance computing li...
- Patent number 9,690,552
- Issue date Jun 27, 2017
- Intel Corporation
- Hongbo Rong
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Supporting dynamic behavior in statically compiled programs
- Patent number 9,292,270
- Issue date Mar 22, 2016
- Microsoft Technology Licensing, LLC
- Michal Strehovsky
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for static detection and categorization of inform...
- Patent number 9,275,246
- Issue date Mar 1, 2016
- International Business Machines Corporation
- Yinnon Haviv
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Compile time execution
- Patent number 9,081,583
- Issue date Jul 14, 2015
- National Instruments Corporation
- Hojin Kee
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus providing COBOL decimal type arithmetic functi...
- Patent number 8,856,759
- Issue date Oct 7, 2014
- Bull HN Information Systems Inc.
- Russell W. Guenthner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Transforming dynamic source code based on semantic analysis
- Patent number 8,752,035
- Issue date Jun 10, 2014
- Microsoft Corporation
- Michael C. Fanning
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Pipelined loop parallelization with pre-computations
- Patent number 8,726,251
- Issue date May 13, 2014
- Oracle International Corporation
- Spiros Kalogeropulos
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Program analysis as constraint solving
- Patent number 8,402,439
- Issue date Mar 19, 2013
- Microsoft Corporation
- Sumit Gulwani
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for enabling profile-based call site tailor-ing using profil...
- Patent number 8,370,821
- Issue date Feb 5, 2013
- International Business Machines Corporation
- Gad Haber
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Compiler optimized function variants for use when return codes are...
- Patent number 8,291,397
- Issue date Oct 16, 2012
- International Business Machines Corporation
- Manish Ahuja
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
SOFTWARE DEVELOPMENT ENVIRONMENT
- Publication number 20230266965
- Publication date Aug 24, 2023
- McKinsey & Company, Inc.
- Pedro Miguel Vilhena Da Maia De Sá E Meneze
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMPILATION OF A QUANTUM PROGRAM
- Publication number 20220188681
- Publication date Jun 16, 2022
- International Business Machines Corporation
- Luciano Bello
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MULTI-VERSION SHADERS
- Publication number 20210011697
- Publication date Jan 14, 2021
- ADVANCED MICRO DEVICES, INC.
- Sumesh Udayakumaran
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SELF-LEARNING BASED PREDICTIVE SECURITY REQUIREMENTS SYSTEM FOR APP...
- Publication number 20200125342
- Publication date Apr 23, 2020
- CA, Inc.
- Jacek Dominiak
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHODS, SYSTEMS, ARTICLES OF MANUFACTURE AND APPARATUS FOR CODE RE...
- Publication number 20190324727
- Publication date Oct 24, 2019
- Intel Corporation
- Marcos Carranza
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DISTRIBUTED CODE REPOSITORY WITH LIMITED SYNCHRONIZATION LOCKING
- Publication number 20180246904
- Publication date Aug 30, 2018
- GitHub, Inc.
- Patrick Reynolds
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ELECTRONIC DEVICE, COMPILING METHOD AND COMPUTER-READABLE RECORDING...
- Publication number 20180203678
- Publication date Jul 19, 2018
- Samsung Electronics Co., LTD
- Jae-man PARK
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PARTIAL OBJECT INSTANTIATION FOR OBJECT ORIENTED APPLICATIONS
- Publication number 20180196650
- Publication date Jul 12, 2018
- International Business Machines Corporation
- Ronald J. Barber
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD FOR EXECUTING A COMPUTER PROGRAM WITH A PARAMETERISED FUNCTION
- Publication number 20180189086
- Publication date Jul 5, 2018
- COMMISSARIAT A L'ENERGIE ATOMIQUE ET AUX ENERGIES AL TERNATIVES
- Caroline QUEVA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR DETERMINING TEST COVERAGE
- Publication number 20180129590
- Publication date May 10, 2018
- International Business Machines Corporation
- Philip S.P. Chan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR PROVIDING CODE COMPLETION FEATURES FOR CODE M...
- Publication number 20170024195
- Publication date Jan 26, 2017
- Microsoft Technology Licensing, LLC
- Wai Man Yuen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD FOR OPTIMIZING LOOP PROCESSING UNDER CONSTRAINT ON PROCESSOR...
- Publication number 20160364220
- Publication date Dec 15, 2016
- Fujitsu Limited
- MASAKI ARAI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INTEGRATED COMPILATION MODES FOR DATA FLOW CODE GENERATION
- Publication number 20150378698
- Publication date Dec 31, 2015
- International Business Machines Corporation
- Scott Boag
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SUPPORTING DYNAMIC BEHAVIOR IN STATICALLY COMPILED PROGRAMS
- Publication number 20150277881
- Publication date Oct 1, 2015
- Microsoft Corporation
- Michal Strehovsky
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Program Optimization via Compile Time Execution
- Publication number 20150242193
- Publication date Aug 27, 2015
- National Instruments Corporation
- Hojin Kee
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Compile Time Execution
- Publication number 20140059524
- Publication date Feb 27, 2014
- Hojin Kee
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Specialized Function Implementation Using Code Frequency Profiling
- Publication number 20130031537
- Publication date Jan 31, 2013
- International Business Machines Corporation
- Omer Yehuda Boehm
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TRANSFORMING DYNAMIC SOURCE CODE BASED ON SEMANTIC ANALYSIS
- Publication number 20120311546
- Publication date Dec 6, 2012
- Microsoft Corporation
- Michael C. Fanning
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PIPELINED LOOP PARALLELIZATION WITH PRE-COMPUTATIONS
- Publication number 20120254888
- Publication date Oct 4, 2012
- Oracle International Corporation
- SPIROS KALOGEROPULOS
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and apparatus providing COBOL decimal type arithmetic functi...
- Publication number 20110191755
- Publication date Aug 4, 2011
- Bull HN Information Systems Inc.
- Russell W. Guenthner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR STATIC DETECTION AND CATEGORIZATION OF INFORM...
- Publication number 20110088023
- Publication date Apr 14, 2011
- International Business Machines Corporation
- YINNON HAVIV
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Variable type knowledge based call specialization
- Publication number 20100153912
- Publication date Jun 17, 2010
- Apple Inc.
- Victor Leonel Hernandez Porras
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROGRAM ANALYSIS AS CONSTRAINT SOLVING
- Publication number 20090326907
- Publication date Dec 31, 2009
- Microsoft Corporation
- Sumit Gulwani
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMPILER OPTIMIZED FUNCTION VARIANTS FOR USE WHEN RETURN CODES ARE...
- Publication number 20090254893
- Publication date Oct 8, 2009
- International Business Machines Corporation
- Manish Ahuja
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method for Enabling Profile-Based Call Site Tailor-ing Using Profil...
- Publication number 20090055813
- Publication date Feb 26, 2009
- Gad Haber
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Cycle simulation method, cycle simulator, and computer product
- Publication number 20070233451
- Publication date Oct 4, 2007
- FUJITSU LIMITED
- Masato Tatsuoka
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and system for versioning codes based on relative alignment...
- Publication number 20070169058
- Publication date Jul 19, 2007
- Alexandre E. Eichenberger
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Information personalization by partial evaluation
- Publication number 20030090513
- Publication date May 15, 2003
- Narendran Ramakrishnan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System, method and article of manufacture for successive compilatio...
- Publication number 20030028864
- Publication date Feb 6, 2003
- Matt Bowen
- G06 - COMPUTING CALCULATING COUNTING

Partial evaluation

Industry

Parent Industries

Current Industry

Patents Grantslast 30 patents

Software development environment

Automated integration of a source modification engine

Compilation of a quantum program

Multi-version shaders

Event handling instruction processing

System and method for determining test coverage

System and method for static detection and categorization of inform...

Electronic device, compiling method and computer-readable recording...

System and method for providing code completion features for code m...

Method for executing a computer program with a parameterised function

Method for executing a computer program with a parameterised function

Distributed code repository with limited synchronization locking

Method for type checking and transformation of a computer program w...

System and method for automatic extraction of software design from...

Distributed code repository with limited synchronization locking

Partial program specialization at runtime

System and method for determining test coverage

Supporting dynamic behavior in statically compiled programs

Synthesizing inputs to preserve functionality

Program optimization via compile time execution

Technologies for low-level composable high performance computing li...

Supporting dynamic behavior in statically compiled programs

System and method for static detection and categorization of inform...

Compile time execution

Method and apparatus providing COBOL decimal type arithmetic functi...

Transforming dynamic source code based on semantic analysis

Pipelined loop parallelization with pre-computations

Program analysis as constraint solving

Method for enabling profile-based call site tailor-ing using profil...

Compiler optimized function variants for use when return codes are...

Patents Applicationslast 30 patents

SOFTWARE DEVELOPMENT ENVIRONMENT

COMPILATION OF A QUANTUM PROGRAM

MULTI-VERSION SHADERS

SELF-LEARNING BASED PREDICTIVE SECURITY REQUIREMENTS SYSTEM FOR APP...

METHODS, SYSTEMS, ARTICLES OF MANUFACTURE AND APPARATUS FOR CODE RE...

DISTRIBUTED CODE REPOSITORY WITH LIMITED SYNCHRONIZATION LOCKING

ELECTRONIC DEVICE, COMPILING METHOD AND COMPUTER-READABLE RECORDING...

PARTIAL OBJECT INSTANTIATION FOR OBJECT ORIENTED APPLICATIONS

METHOD FOR EXECUTING A COMPUTER PROGRAM WITH A PARAMETERISED FUNCTION

SYSTEM AND METHOD FOR DETERMINING TEST COVERAGE

SYSTEM AND METHOD FOR PROVIDING CODE COMPLETION FEATURES FOR CODE M...

METHOD FOR OPTIMIZING LOOP PROCESSING UNDER CONSTRAINT ON PROCESSOR...

INTEGRATED COMPILATION MODES FOR DATA FLOW CODE GENERATION

SUPPORTING DYNAMIC BEHAVIOR IN STATICALLY COMPILED PROGRAMS

Program Optimization via Compile Time Execution

Compile Time Execution

Specialized Function Implementation Using Code Frequency Profiling

TRANSFORMING DYNAMIC SOURCE CODE BASED ON SEMANTIC ANALYSIS

PIPELINED LOOP PARALLELIZATION WITH PRE-COMPUTATIONS

Method and apparatus providing COBOL decimal type arithmetic functi...

SYSTEM AND METHOD FOR STATIC DETECTION AND CATEGORIZATION OF INFORM...

Variable type knowledge based call specialization

PROGRAM ANALYSIS AS CONSTRAINT SOLVING

COMPILER OPTIMIZED FUNCTION VARIANTS FOR USE WHEN RETURN CODES ARE...

Method for Enabling Profile-Based Call Site Tailor-ing Using Profil...

Cycle simulation method, cycle simulator, and computer product

Method and system for versioning codes based on relative alignment...

Information personalization by partial evaluation

System, method and article of manufacture for successive compilatio...