CL Bates, PR Day - US Patent 6,077,312, 2000 - Google Patents
the invention is generally related to computers and computer software. More specifically, the invention is generally related to the use of breakpoints in debugging computer software …
JC Hardwick - US Patent 6,212,617, 2001 - Google Patents
(57) ABSTRACT A parallel programming system provides a laZy collection oriented data type that reduces inter-processor communica tion in programs executed on parallel …
DK Poulsen, PM Petersen, SM Shah - US Patent 6,286,130, 2001 - Google Patents
A software-implemented method for validating the correctness of parallel computer programs, written in various programming languages, with respect to these programs' …
V Grover, BJM Aarts, M Murphy - US Patent 8,984,498, 2015 - Google Patents
One embodiment of the present invention sets forth a tech nique for translating application programs written using a parallel programming model for execution on multi-core graphics …
AS Kossatchev, AV Barancev, IB Burdonov… - US Patent …, 2004 - Google Patents
(57) ABSTRACT A Systematic testing method of procedures is disclosed. The testing is carried out for parallel procedures Separately from consecutive procedures which have no …
M Serrano - US Patent 7,047,232, 2006 - Google Patents
US PATENT DOCUMENTS 5,088,034 A 2, 1992 Ihara et al.................. 717/16O 5,151,991 A* 9, 1992 Iwasawa et al............. 717 150 5,313,584 A 5/1994 Tickner et al................. 71 O? 37 …
Software code that includes instructions relating to assign ment of variables, and decision branches. The method com prises the Steps of generating a plurality of nodes, edges and …
AS Kossatchev, AV Barancev, IB Burdonov… - US Patent …, 2005 - Google Patents
(57) ABSTRACT A verification System for a procedure interface is generated by using formal specifications of the procedure interface and generating test Suites. The test Suites are …