Patent №
US 7,941,792
Granted
2011-05-10
Filed 2005
Owner
RED HAT, INC.
Lab
—
AI components
1
hardware
Assignment
Recorded
Dataset
AIPD
2023_r1 edition
Application
11187666
A system is disclosed for compiling program code. The system provides a compiler that includes a static verifier and a runtime verifier. The static verifier performs static checks on the program code and produces object code corresponding to the program code. The runtime verifier receives the object code and performs dynamic checks on the object code in a platform dependent environment. The resulting object code can subsequently be executed.
AI hardwareG06F 9/44589
AI classification
AI hardware0.98
Natural language0.06
Planning0.02
Knowledge representation0.00
Evolutionary computation0.00
Machine learning0.00
Vision0.00
Speech0.00
Ownership
RED HAT, INC.
assignment · 174980464
Assignors
TROMEY, THOMAS JOSEPH
On an employer assignment, the assignors are typically the inventors.
From the same owner
QUANTUM SERVICE DISCOVERYUS 12,675,726 · 2026SYSTEMS AND METHODS FOR ACTIVATION SPARSE AND KERNEL SPARSE GENERAL MATRIX MULTIPLICATION IN NEURAL NETWORKSUS 12,670,370 · 2026REPLACING LAMBDA EXPRESSIONS IN A RETE NETWORK WITH CORRESPONDING CODE CLASSESUS 12,664,450 · 2026PREDICTING QUBIT ANOMALIES BASED ON UTILIZATION HISTORYUS 12,651,189 · 2026QUANTUM CODE SPACE ADMINISTRATIONUS 12,651,192 · 2026SYSTEM AND METHOD OF EXECUTING NEURAL NETWORKS USING COMPRESSION AND TENSOR COLUMNSUS 12,645,911 · 2026DECOMPOSING QUANTUM SOURCE CODE FILES INTO QUANTUM CODE SNIPPETSUS 12,639,605 · 2026Qubit Registry NamespacesUS 12,639,609 · 2026