US5142681A
(en)
*
|
1986-07-07 |
1992-08-25 |
International Business Machines Corporation |
APL-to-Fortran translators
|
US5127104A
(en)
*
|
1986-12-29 |
1992-06-30 |
Dataflow Computer Corporation |
Method and product involving translation and execution of programs by automatic partitioning and data structure allocation
|
US4965724A
(en)
*
|
1987-03-05 |
1990-10-23 |
Oki Electric Industry Co., Ltd. |
Compiler system using reordering of microoperations to eliminate interlocked instructions for pipelined processing of assembler source program
|
JP3053092B2
(ja)
*
|
1987-06-05 |
2000-06-19 |
株式会社日立製作所 |
並列化コンパイル方法
|
JPH03150636A
(ja)
|
1989-11-08 |
1991-06-27 |
Matsushita Electric Ind Co Ltd |
コンパイル方法
|
CA2010056C
(en)
*
|
1990-02-14 |
1998-05-12 |
Charles Brian Hall |
Method for improving the efficiency of arithmetic code generation in an optimizing compiler using machine independent update instruction generation
|
EP0453160A3
(en)
*
|
1990-04-20 |
1993-09-15 |
Digital Equipment Corporation |
A method and apparatus for analyzing the flow of data through a complex information exchange system
|
JPH0816871B2
(ja)
*
|
1990-12-07 |
1996-02-21 |
富士ゼロックス株式会社 |
プログラム翻訳装置およびプログラム翻訳方法
|
IL100989A
(en)
*
|
1991-02-27 |
1995-10-31 |
Digital Equipment Corp |
Analysis of inductive expressions in multilingual mehadoptimization
|
US5598560A
(en)
*
|
1991-03-07 |
1997-01-28 |
Digital Equipment Corporation |
Tracking condition codes in translation code for different machine architectures
|
US5307492A
(en)
*
|
1991-03-07 |
1994-04-26 |
Digital Equipment Corporation |
Mapping assembly language argument list references in translating code for different machine architectures
|
US5339238A
(en)
*
|
1991-03-07 |
1994-08-16 |
Benson Thomas R |
Register usage tracking in translating code for different machine architectures by forward and reverse tracing through the program flow graph
|
JP3032031B2
(ja)
*
|
1991-04-05 |
2000-04-10 |
株式会社東芝 |
ループ最適化方法及び装置
|
JPH04343140A
(ja)
*
|
1991-05-21 |
1992-11-30 |
Hitachi Ltd |
コンパイラの最適化処理方法
|
JPH04367033A
(ja)
*
|
1991-06-14 |
1992-12-18 |
Hitachi Ltd |
コンパイル方法
|
US5319784A
(en)
*
|
1991-12-18 |
1994-06-07 |
International Business Machines Corp. |
System for automatic and selective compile-time installation of fastpath into program for calculation of function/procedure without executing the function/procedure
|
US5448737A
(en)
*
|
1992-03-17 |
1995-09-05 |
International Business Machines Corporation |
System and method for optimizing computer code using a compact data flow representation
|
US5452457A
(en)
*
|
1993-01-29 |
1995-09-19 |
International Business Machines Corporation |
Program construct and methods/systems for optimizing assembled code for execution
|
US5548761A
(en)
*
|
1993-03-09 |
1996-08-20 |
International Business Machines Corporation |
Compiler for target machine independent optimization of data movement, ownership transfer and device control
|
WO1994025917A1
(en)
*
|
1993-04-26 |
1994-11-10 |
Comdisco Systems, Inc. |
Method for scheduling synchronous data flow graphs
|
US6397380B1
(en)
|
1994-10-21 |
2002-05-28 |
International Business Machines Corporation |
Computer-program compilers comprising a program augmentation capability
|
KR0139162B1
(ko)
*
|
1994-11-30 |
1998-05-15 |
김광호 |
부호어재배정을 이용한 가변장부호화장치 및 복호화장치
|
JP3650649B2
(ja)
*
|
1995-06-16 |
2005-05-25 |
松下電器産業株式会社 |
最適化装置
|
US6202203B1
(en)
*
|
1995-12-06 |
2001-03-13 |
International Business Machines Corporation |
Method of, system for, and computer program product for providing global value numbering
|
US6035124A
(en)
*
|
1995-12-06 |
2000-03-07 |
International Business Machines Corporation |
Method of, system for, and computer program product for providing extended global value numbering
|
US5805895A
(en)
*
|
1996-06-09 |
1998-09-08 |
Motorola, Inc. |
Method and apparatus for code translation optimization
|
US6151704A
(en)
*
|
1997-04-01 |
2000-11-21 |
Intel Corporation |
Method for optimizing a loop in a computer program by speculatively removing loads from within the loop
|
US7120906B1
(en)
*
|
2000-04-28 |
2006-10-10 |
Silicon Graphics, Inc. |
Method and computer program product for precise feedback data generation and updating for compile-time optimizations
|
US6760632B1
(en)
*
|
2000-08-03 |
2004-07-06 |
International Business Machines Corporation |
Computer method for providing optimization for business processes
|
US6853866B2
(en)
*
|
2001-02-20 |
2005-02-08 |
International Business Machines Corporation |
Computer method for providing optimization of design processes, with dynamic constraints
|
US20060075011A1
(en)
*
|
2004-09-23 |
2006-04-06 |
Fujitsu Limited |
System and method for optimizing polynomial expressions in a processing environment
|
US8060870B2
(en)
*
|
2007-09-26 |
2011-11-15 |
International Business Machines Corporation |
System and method for advanced polyhedral loop transformations of source code in a compiler
|
US8056065B2
(en)
*
|
2007-09-26 |
2011-11-08 |
International Business Machines Corporation |
Stable transitions in the presence of conditionals for an advanced dual-representation polyhedral loop transformation framework
|
US8087011B2
(en)
*
|
2007-09-26 |
2011-12-27 |
International Business Machines Corporation |
Domain stretching for an advanced dual-representation polyhedral loop transformation framework
|
US8087010B2
(en)
*
|
2007-09-26 |
2011-12-27 |
International Business Machines Corporation |
Selective code generation optimization for an advanced dual-representation polyhedral loop transformation framework
|
US8402438B1
(en)
|
2007-12-03 |
2013-03-19 |
Cadence Design Systems, Inc. |
Method and system for generating verification information and tests for software
|
US8156474B2
(en)
*
|
2007-12-28 |
2012-04-10 |
Cadence Design Systems, Inc. |
Automation of software verification
|
US8504344B2
(en)
*
|
2008-09-30 |
2013-08-06 |
Cadence Design Systems, Inc. |
Interface between a verification environment and a hardware acceleration engine
|