Ronny Morad

Person

Kiriat Ata, IL

People

Patents Grantslast 30 patents

Information Patent Grant
Verification of distributed symmetric multi-processing systems
- Patent number 9,710,427
- Issue date Jul 18, 2017
- International Business Machines Corporation
- Alex Goryachev
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Circuit modification
- Patent number 9,633,155
- Issue date Apr 25, 2017
- International Business Machines Corporation
- Wesam Ibraheem
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verification of distributed symmetric multi-processing systems
- Patent number 9,298,670
- Issue date Mar 29, 2016
- International Business Machines Corporation
- Alex Goryachev
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatic generation of a resource reconfiguring test
- Patent number 9,218,273
- Issue date Dec 22, 2015
- International Business Machines Corporation
- Erez Lev Meir. Bilgory
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System-level testcase generation
- Patent number 8,868,976
- Issue date Oct 21, 2014
- International Business Machines Corporation
- Shimon Ben-Yehuda
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Instruction-by-instruction checking on acceleration platforms
- Patent number 8,601,418
- Issue date Dec 3, 2013
- International Business Machines Corporation
- Debapriya Chatterjee
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Integrating templates into tests
- Patent number 8,397,217
- Issue date Mar 12, 2013
- International Business Machines Corporation
- Alex Goryachev
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatic copying by ancestor in object-oriented languages
- Patent number 8,327,323
- Issue date Dec 4, 2012
- International Business Machines Corporation
- Karen Holtz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for generating an explanation of a CSP solution
- Patent number 7,523,445
- Issue date Apr 21, 2009
- International Business Machines Corporation
- Felix Geller
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
CIRCUIT MODIFICATION
- Publication number 20170132346
- Publication date May 11, 2017
- International Business Machines Corporation
- WESAM IBRAHEEM
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VERIFICATION OF DISTRIBUTED SYMMETRIC MULTI-PROCESSING SYSTEMS
- Publication number 20150242359
- Publication date Aug 27, 2015
- International Business Machines Corporation
- Alex Goryachev
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC GENERATION OF A RESOURCE RECONFIGURING TEST
- Publication number 20140344785
- Publication date Nov 20, 2014
- International Business Machines Corporation
- EREZ LEV MEIR. BILGORY
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Partial Instruction-by-instruction checking on acceleration platforms
- Publication number 20140019929
- Publication date Jan 16, 2014
- International Business Machines Corporation
- Gal Raviv
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VERIFICATION OF DISTRIBUTED SYMMETRIC MULTI-PROCESSING SYSTEMS
- Publication number 20130339662
- Publication date Dec 19, 2013
- International Business Machines Corporation
- Alex Goryachev
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INSTRUCTION-BY-INSTRUCTION CHECKING ON ACCELERATION PLATFORMS
- Publication number 20130311962
- Publication date Nov 21, 2013
- International Business Machines Corporation
- Debapriya Chatterjee
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INTEGRATING TEMPLATES INTO TESTS
- Publication number 20110209004
- Publication date Aug 25, 2011
- International Business Machines Corporation
- Alex Goryachev
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC COPYING BY ANCESTOR IN OBJECT-ORIENTED LANGUAGES
- Publication number 20100146482
- Publication date Jun 10, 2010
- International Business Machines Corporation
- Karen Holtz
- G06 - COMPUTING CALCULATING COUNTING

Ronny Morad

Person

Patents Grantslast 30 patents

Verification of distributed symmetric multi-processing systems

Circuit modification

Verification of distributed symmetric multi-processing systems

Automatic generation of a resource reconfiguring test

System-level testcase generation

Instruction-by-instruction checking on acceleration platforms

Integrating templates into tests

Automatic copying by ancestor in object-oriented languages

Method for generating an explanation of a CSP solution

Patents Applicationslast 30 patents

CIRCUIT MODIFICATION

VERIFICATION OF DISTRIBUTED SYMMETRIC MULTI-PROCESSING SYSTEMS

AUTOMATIC GENERATION OF A RESOURCE RECONFIGURING TEST

Partial Instruction-by-instruction checking on acceleration platforms

VERIFICATION OF DISTRIBUTED SYMMETRIC MULTI-PROCESSING SYSTEMS

INSTRUCTION-BY-INSTRUCTION CHECKING ON ACCELERATION PLATFORMS

INTEGRATING TEMPLATES INTO TESTS

AUTOMATIC COPYING BY ANCESTOR IN OBJECT-ORIENTED LANGUAGES