Petra Leber

Person

Ehningen, DE

People

Patents Grantslast 30 patents

Information Patent Grant
Verifying the correctness of a leading zero counter
- Patent number 12,056,465
- Issue date Aug 6, 2024
- International Business Machines Corporation
- Michael Klein
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Repurposed hexadecimal floating point data path
- Patent number 11,861,325
- Issue date Jan 2, 2024
- International Business Machines Corporation
- Nicol Hofmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Vector convert hexadecimal floating point to scaled decimal instruc...
- Patent number 11,663,004
- Issue date May 30, 2023
- International Business Machines Corporation
- Eric Mark Schwarz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Instruction interrupt suppression of overflow exception
- Patent number 11,620,153
- Issue date Apr 4, 2023
- International Business Machines Corporation
- Cedric Lichtenau
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Hexadecimal floating point multiply and add instruction
- Patent number 11,531,546
- Issue date Dec 20, 2022
- International Business Machines Corporation
- Eric Mark Schwarz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Condition code anticipator for hexadecimal floating point
- Patent number 11,487,506
- Issue date Nov 1, 2022
- International Business Machines Corporation
- Silvia Melitta Mueller
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Decimal scale and convert and split to hexadecimal floating point i...
- Patent number 11,360,769
- Issue date Jun 14, 2022
- International Business Machines Corporation
- Eric Mark Schwarz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Efficient checking of a condition code anticipator for a floating p...
- Patent number 11,314,512
- Issue date Apr 26, 2022
- International Business Machines Corporation
- Petra Leber
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Repurposed hexadecimal floating point data path
- Patent number 11,188,299
- Issue date Nov 30, 2021
- International Business Machines Corporation
- Nicol Hofmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Hexadecimal exponent alignment for binary floating point unit
- Patent number 11,175,890
- Issue date Nov 16, 2021
- International Business Machines Corporation
- Kerstin Claudia Schelm
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Digit validation check control in instruction execution
- Patent number 11,099,853
- Issue date Aug 24, 2021
- International Business Machines Corporation
- Cedric Lichtenau
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Negative zero control in instruction execution
- Patent number 11,023,205
- Issue date Jun 1, 2021
- International Business Machines Corporation
- Cedric Lichtenau
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Plausibility-driven fault detection in string termination logic for...
- Patent number 10,996,951
- Issue date May 4, 2021
- International Business Machines Corporation
- Razvan Peter Figuli
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Residue prediction of packed data
- Patent number 10,929,213
- Issue date Feb 23, 2021
- International Business Machines Corporation
- Steven R. Carlough
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Residue prediction of packed data
- Patent number 10,915,385
- Issue date Feb 9, 2021
- International Business Machines Corporation
- Steven R. Carlough
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Non-overlapping substring detection within a data element string
- Patent number 10,732,972
- Issue date Aug 4, 2020
- International Business Machines Corporation
- Razvan Peter Figuli
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Decimal and binary floating point arithmetic calculations
- Patent number 10,416,962
- Issue date Sep 17, 2019
- International Business Machines Corporation
- Steven R. Carlough
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Inference based condition code generation
- Patent number 10,379,859
- Issue date Aug 13, 2019
- International Business Machines Corporation
- Steven R. Carlough
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Inference based condition code generation
- Patent number 10,379,860
- Issue date Aug 13, 2019
- International Business Machines Corporation
- Steven R. Carlough
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Decimal floating point instructions to perform directly on compress...
- Patent number 10,365,892
- Issue date Jul 30, 2019
- International Business Machines Corporation
- Steven R. Carlough
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Overflow detection for sign-magnitude adders
- Patent number 10,228,910
- Issue date Mar 12, 2019
- International Business Machines Corporation
- Petra Leber
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Residue prediction of packed data
- Patent number 10,198,302
- Issue date Feb 5, 2019
- International Business Machines Corporation
- Steven R. Carlough
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Decimal and binary floating point rounding
- Patent number 10,095,475
- Issue date Oct 9, 2018
- International Business Machines Corporation
- Steven R. Carlough
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Overflow detection for sign-magnitude adders
- Patent number 10,067,744
- Issue date Sep 4, 2018
- International Business Machines Corporation
- Petra Leber
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Decimal and binary floating point rounding
- Patent number 9,870,200
- Issue date Jan 16, 2018
- International Business Machines Corporation
- Steven R. Carlough
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Post-silicon configurable instruction behavior based on input operands
- Patent number 9,734,126
- Issue date Aug 15, 2017
- International Business Machines Corporation
- James R. Cuffney
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Residue-based checking of a shift operation
- Patent number 9,727,399
- Issue date Aug 8, 2017
- International Business Machines Corporation
- Steven R. Carlough
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Inference based condition code generation
- Patent number 9,684,515
- Issue date Jun 20, 2017
- International Business Machines Corporation
- Steven R. Carlough
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Inference based condition code generation
- Patent number 9,684,514
- Issue date Jun 20, 2017
- International Business Machines Corporation
- Steven R. Carlough
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Decimal and binary floating point rounding
- Patent number 9,658,828
- Issue date May 23, 2017
- International Business Machines Corporation
- Steven R. Carlough
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
VERIFYING THE CORRECTNESS OF A LEADING ZERO COUNTER
- Publication number 20230315394
- Publication date Oct 5, 2023
- International Business Machines Corporation
- Michael Klein
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ROUNDING HEXADECIMAL FLOATING POINT NUMBERS USING BINARY INCREMENTORS
- Publication number 20230315386
- Publication date Oct 5, 2023
- International Business Machines Corporation
- Michael Klein
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
REDUCED LOGIC CONVERSION OF BINARY INTEGERS TO BINARY CODED DECIMALS
- Publication number 20230308113
- Publication date Sep 28, 2023
- International Business Machines Corporation
- KERSTIN CLAUDIA SCHELM
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FLOATING-POINT CONVERSION WITH DENORMALIZATION
- Publication number 20230297334
- Publication date Sep 21, 2023
- International Business Machines Corporation
- Michael Klein
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
HARDWARE DEVICE TO EXECUTE INSTRUCTION TO CONVERT INPUT VALUE FROM...
- Publication number 20230289139
- Publication date Sep 14, 2023
- International Business Machines Corporation
- Kerstin Claudia Schelm
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
HARDWARE DEVICE TO EXECUTE INSTRUCTION TO CONVERT INPUT VALUE FROM...
- Publication number 20230289138
- Publication date Sep 14, 2023
- International Business Machines Corporation
- Petra Leber
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DYNAMIC ALGORITHM SELECTION
- Publication number 20230273769
- Publication date Aug 31, 2023
- International Business Machines Corporation
- Kerstin Claudia Schelm
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
HEXADECIMAL FLOATING POINT MULTIPLY AND ADD INSTRUCTION
- Publication number 20220283818
- Publication date Sep 8, 2022
- International Business Machines Corporation
- Eric Mark Schwarz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VECTOR CONVERT HEXADECIMAL FLOATING POINT TO SCALED DECIMAL INSTRUC...
- Publication number 20220276867
- Publication date Sep 1, 2022
- International Business Machines Corporation
- Eric Mark Schwarz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
REPURPOSED HEXADECIMAL FLOATING POINT DATA PATH
- Publication number 20220004361
- Publication date Jan 6, 2022
- International Business Machines Corporation
- Nicol Hofmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PLAUSABILITY-DRIVEN FAULT DETECTION IN STRING TERMINATION LOGIC FOR...
- Publication number 20210072989
- Publication date Mar 11, 2021
- International Business Machines Corporation
- Razvan Peter Figuli
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CONDITION CODE ANTICIPATOR FOR HEXADECIMAL FLOATING POINT
- Publication number 20210042088
- Publication date Feb 11, 2021
- International Business Machines Corporation
- Silvia Melitta Mueller
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EFFICIENT CHECKING OF A CONDITION CODE ANTICIPATOR FOR A FLOATING P...
- Publication number 20210042119
- Publication date Feb 11, 2021
- International Business Machines Corporation
- Petra Leber
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
REPURPOSED HEXADECIMAL FLOATING POINT DATA PATH
- Publication number 20210034325
- Publication date Feb 4, 2021
- International Business Machines Corporation
- Nicol Hofmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
HEXADECIMAL EXPONENT ALIGNMENT FOR BINARY FLOATING POINT UNIT
- Publication number 20200348908
- Publication date Nov 5, 2020
- International Business Machines Corporation
- Kerstin Claudia Schelm
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
NEGATIVE ZERO CONTROL IN INSTRUCTION EXECUTION
- Publication number 20200264840
- Publication date Aug 20, 2020
- International Business Machines Corporation
- Cedric LICHTENAU
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DIGIT VALIDATION CHECK CONTROL IN INSTRUCTION EXECUTION
- Publication number 20200264890
- Publication date Aug 20, 2020
- International Business Machines Corporation
- Cedric LICHTENAU
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INSTRUCTION INTERRUPT SUPPRESSION OF OVERFLOW EXCEPTION
- Publication number 20200249982
- Publication date Aug 6, 2020
- International Business Machines Corporation
- Cedric Lichtenau
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
NON-OVERLAPPING SUBSTRING DETECTION WITHIN A DATA ELEMENT STRING
- Publication number 20200065097
- Publication date Feb 27, 2020
- International Business Machines Corporation
- Razvan Peter Figuli
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Residue Prediction of Packed Data
- Publication number 20180276545
- Publication date Sep 27, 2018
- International Business Machines Corporation
- Steven R. Carlough
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Residue Prediction of Packed Data
- Publication number 20180276547
- Publication date Sep 27, 2018
- International Business Machines Corporation
- Steven R. Carlough
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Residue Prediction of Packed Data
- Publication number 20180276548
- Publication date Sep 27, 2018
- International Business Machines Corporation
- Steven R. Carlough
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
OVERFLOW DETECTION FOR SIGN-MAGNITUDE ADDERS
- Publication number 20180253282
- Publication date Sep 6, 2018
- International Business Machines Corporation
- Petra LEBER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DECIMAL FLOATING POINT INSTRUCTIONS TO PERFORM DIRECTLY ON COMPRESS...
- Publication number 20180203670
- Publication date Jul 19, 2018
- International Business Machines Corporation
- Steven R. Carlough
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
OVERFLOW DETECTION FOR SIGN-MAGNITUDE ADDERS
- Publication number 20180165063
- Publication date Jun 14, 2018
- International Business Machines Corporation
- Petra LEBER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DECIMAL AND BINARY FLOATING POINT ROUNDING
- Publication number 20180101358
- Publication date Apr 12, 2018
- International Business Machines Corporation
- Steven R. CARLOUGH
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INFERENCE BASED CONDITION CODE GENERATION
- Publication number 20170235573
- Publication date Aug 17, 2017
- International Business Machines Corporation
- Steven R. Carlough
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INFERENCE BASED CONDITION CODE GENERATION
- Publication number 20170235574
- Publication date Aug 17, 2017
- International Business Machines Corporation
- Steven R. Carlough
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DECIMAL AND BINARY FLOATING POINT ROUNDING
- Publication number 20170068517
- Publication date Mar 9, 2017
- International Business Machines Corporation
- Steven R. CARLOUGH
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DECIMAL AND BINARY FLOATING POINT ROUNDING
- Publication number 20160098248
- Publication date Apr 7, 2016
- International Business Machines Corporation
- Steven R. CARLOUGH
- G06 - COMPUTING CALCULATING COUNTING

Petra Leber

Person

Patents Grantslast 30 patents

Verifying the correctness of a leading zero counter

Repurposed hexadecimal floating point data path

Vector convert hexadecimal floating point to scaled decimal instruc...

Instruction interrupt suppression of overflow exception

Hexadecimal floating point multiply and add instruction

Condition code anticipator for hexadecimal floating point

Decimal scale and convert and split to hexadecimal floating point i...

Efficient checking of a condition code anticipator for a floating p...

Repurposed hexadecimal floating point data path

Hexadecimal exponent alignment for binary floating point unit

Digit validation check control in instruction execution

Negative zero control in instruction execution

Plausibility-driven fault detection in string termination logic for...

Residue prediction of packed data

Residue prediction of packed data

Non-overlapping substring detection within a data element string

Decimal and binary floating point arithmetic calculations

Inference based condition code generation

Inference based condition code generation

Decimal floating point instructions to perform directly on compress...

Overflow detection for sign-magnitude adders

Residue prediction of packed data

Decimal and binary floating point rounding

Overflow detection for sign-magnitude adders

Decimal and binary floating point rounding

Post-silicon configurable instruction behavior based on input operands

Residue-based checking of a shift operation

Inference based condition code generation

Inference based condition code generation

Decimal and binary floating point rounding

Patents Applicationslast 30 patents

VERIFYING THE CORRECTNESS OF A LEADING ZERO COUNTER

ROUNDING HEXADECIMAL FLOATING POINT NUMBERS USING BINARY INCREMENTORS

REDUCED LOGIC CONVERSION OF BINARY INTEGERS TO BINARY CODED DECIMALS

FLOATING-POINT CONVERSION WITH DENORMALIZATION

HARDWARE DEVICE TO EXECUTE INSTRUCTION TO CONVERT INPUT VALUE FROM...

HARDWARE DEVICE TO EXECUTE INSTRUCTION TO CONVERT INPUT VALUE FROM...

DYNAMIC ALGORITHM SELECTION

HEXADECIMAL FLOATING POINT MULTIPLY AND ADD INSTRUCTION

VECTOR CONVERT HEXADECIMAL FLOATING POINT TO SCALED DECIMAL INSTRUC...

REPURPOSED HEXADECIMAL FLOATING POINT DATA PATH

PLAUSABILITY-DRIVEN FAULT DETECTION IN STRING TERMINATION LOGIC FOR...

CONDITION CODE ANTICIPATOR FOR HEXADECIMAL FLOATING POINT

EFFICIENT CHECKING OF A CONDITION CODE ANTICIPATOR FOR A FLOATING P...

REPURPOSED HEXADECIMAL FLOATING POINT DATA PATH

HEXADECIMAL EXPONENT ALIGNMENT FOR BINARY FLOATING POINT UNIT

NEGATIVE ZERO CONTROL IN INSTRUCTION EXECUTION

DIGIT VALIDATION CHECK CONTROL IN INSTRUCTION EXECUTION

INSTRUCTION INTERRUPT SUPPRESSION OF OVERFLOW EXCEPTION

NON-OVERLAPPING SUBSTRING DETECTION WITHIN A DATA ELEMENT STRING

Residue Prediction of Packed Data

Residue Prediction of Packed Data

Residue Prediction of Packed Data

OVERFLOW DETECTION FOR SIGN-MAGNITUDE ADDERS

DECIMAL FLOATING POINT INSTRUCTIONS TO PERFORM DIRECTLY ON COMPRESS...

OVERFLOW DETECTION FOR SIGN-MAGNITUDE ADDERS

DECIMAL AND BINARY FLOATING POINT ROUNDING

INFERENCE BASED CONDITION CODE GENERATION

INFERENCE BASED CONDITION CODE GENERATION

DECIMAL AND BINARY FLOATING POINT ROUNDING

DECIMAL AND BINARY FLOATING POINT ROUNDING