JP2018505506A5 - - Google Patents
Download PDFInfo
- Publication number
- JP2018505506A5 JP2018505506A5 JP2017560472A JP2017560472A JP2018505506A5 JP 2018505506 A5 JP2018505506 A5 JP 2018505506A5 JP 2017560472 A JP2017560472 A JP 2017560472A JP 2017560472 A JP2017560472 A JP 2017560472A JP 2018505506 A5 JP2018505506 A5 JP 2018505506A5
- Authority
- JP
- Japan
- Prior art keywords
- function
- candidate
- equivalence
- machine
- replacement
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
- 230000006870 function Effects 0.000 claims 48
- 238000000034 method Methods 0.000 claims 22
- 230000009466 transformation Effects 0.000 claims 5
- 238000006243 chemical reaction Methods 0.000 claims 2
- 238000004590 computer program Methods 0.000 claims 1
- 238000013507 mapping Methods 0.000 claims 1
Applications Claiming Priority (9)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| US201562113627P | 2015-02-09 | 2015-02-09 | |
| US201562113623P | 2015-02-09 | 2015-02-09 | |
| US62/113,627 | 2015-02-09 | ||
| US62/113,623 | 2015-02-09 | ||
| US201662277769P | 2016-01-12 | 2016-01-12 | |
| US62/277,769 | 2016-01-12 | ||
| US201662280965P | 2016-01-20 | 2016-01-20 | |
| US62/280,965 | 2016-01-20 | ||
| PCT/US2016/017160 WO2016130551A1 (en) | 2015-02-09 | 2016-02-09 | Machine-based instruction editing |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JP2018505506A JP2018505506A (ja) | 2018-02-22 |
| JP2018505506A5 true JP2018505506A5 (enExample) | 2019-02-28 |
Family
ID=55527624
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP2017560472A Pending JP2018505506A (ja) | 2015-02-09 | 2016-02-09 | 機械ベースの命令編集 |
Country Status (6)
| Country | Link |
|---|---|
| US (3) | US10296330B2 (enExample) |
| EP (1) | EP3238050A1 (enExample) |
| JP (1) | JP2018505506A (enExample) |
| CA (1) | CA2975305C (enExample) |
| IL (2) | IL253424B (enExample) |
| WO (1) | WO2016130551A1 (enExample) |
Families Citing this family (12)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US8745557B1 (en) | 2006-09-11 | 2014-06-03 | The Mathworks, Inc. | Hardware definition language generation for data serialization from executable graphical models |
| WO2016130551A1 (en) | 2015-02-09 | 2016-08-18 | Phase Change Software Llc | Machine-based instruction editing |
| US10423733B1 (en) * | 2015-12-03 | 2019-09-24 | The Mathworks, Inc. | Systems and methods for sharing resources having different data types |
| EP3545440A1 (en) * | 2017-04-11 | 2019-10-02 | Siemens Product Lifecycle Management Software Inc. | Systems and methods to semantically compare product configuration models |
| US10564939B2 (en) * | 2017-06-05 | 2020-02-18 | Devfactory Fz-Llc | Method and system for arbitrary-granularity execution clone detection |
| US10732966B2 (en) * | 2017-09-08 | 2020-08-04 | Devfactory Innovations Fz-Llc | Library model addition |
| US10114624B1 (en) * | 2017-10-12 | 2018-10-30 | Devfactory Fz-Llc | Blackbox matching engine |
| EP3545407B1 (en) | 2017-12-05 | 2025-09-03 | Phase Change Software LLC | Inductive equivalence in machine-based instruction editing |
| DE202017007536U1 (de) | 2017-12-05 | 2022-07-05 | Phase Change Software Llc | Induktive Äquivalenz bei der maschinellen Bearbeitung von Anweisungen |
| US12393425B2 (en) * | 2018-08-10 | 2025-08-19 | Beijing Naura Microelectronics Equipment Co., Ltd. | Control system and method of machine and host computer |
| US12050668B1 (en) * | 2021-01-08 | 2024-07-30 | Take-Two Interactive Software, Inc. | Method and system for obfuscating and protecting game logic and variables during video game compilation |
| US11822699B1 (en) * | 2021-10-21 | 2023-11-21 | Secure Computing, Llc | Preventing surreptitious access to file data by malware |
Family Cites Families (12)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US1029633A (en) | 1911-05-06 | 1912-06-18 | William W Revell | Vehicle-wheel. |
| US1045239A (en) | 1911-10-02 | 1912-11-26 | Waterloo Gasolene Engine Company | Device for turning crank-pins on engine-shafts. |
| US3205369A (en) * | 1960-05-09 | 1965-09-07 | Honeywell Inc | Electro-mechanical plugboard sequencing apparatus |
| US8683441B2 (en) | 2006-01-11 | 2014-03-25 | International Business Machines Corporation | Software equivalence checking |
| US8739144B2 (en) * | 2008-12-17 | 2014-05-27 | Freescale Semiconductor, Inc. | Compiler optimisation like idiom recognition through pattern matching using value numbering |
| US8434059B2 (en) * | 2009-05-01 | 2013-04-30 | Apple Inc. | Systems, methods, and computer-readable media for fertilizing machine-executable code |
| US20110126179A1 (en) * | 2009-11-24 | 2011-05-26 | Thomas Hartman | Method and System for Dynamic Patching Software Using Source Code |
| US9836283B2 (en) * | 2014-11-14 | 2017-12-05 | Cavium, Inc. | Compiler architecture for programmable application specific integrated circuit based network devices |
| WO2016130551A1 (en) | 2015-02-09 | 2016-08-18 | Phase Change Software Llc | Machine-based instruction editing |
| WO2016130542A1 (en) | 2015-02-10 | 2016-08-18 | The Trustees Of Columbia University In The City Of New York | Code relatives detection |
| US10048945B1 (en) * | 2017-05-25 | 2018-08-14 | Devfactory Fz-Llc | Library suggestion engine |
| EP3545407B1 (en) | 2017-12-05 | 2025-09-03 | Phase Change Software LLC | Inductive equivalence in machine-based instruction editing |
-
2016
- 2016-02-09 WO PCT/US2016/017160 patent/WO2016130551A1/en not_active Ceased
- 2016-02-09 CA CA2975305A patent/CA2975305C/en active Active
- 2016-02-09 EP EP16709845.8A patent/EP3238050A1/en not_active Ceased
- 2016-02-09 JP JP2017560472A patent/JP2018505506A/ja active Pending
- 2016-02-09 US US15/544,377 patent/US10296330B2/en active Active
-
2017
- 2017-07-11 IL IL253424A patent/IL253424B/en unknown
-
2019
- 2019-05-01 US US16/400,598 patent/US10452390B2/en active Active
- 2019-10-16 US US16/654,650 patent/US10877748B2/en active Active
-
2021
- 2021-06-23 IL IL284340A patent/IL284340B/en unknown
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JP2018505506A5 (enExample) | ||
| IL284340A (en) | Machine-based instruction editing | |
| RU2015103466A (ru) | Система и способ создания и использования пользовательских онтологических моделей для обработки пользовательского текста на естественном языке | |
| US9471470B2 (en) | Automatically recommending test suite from historical data based on randomized evolutionary techniques | |
| JP2015511032A5 (ja) | ソフトウエアを開発するためのコンピュータプログラム、方法、コンピュータシステム、装置及びコンピュータ | |
| JP2015005308A5 (enExample) | ||
| JP2016001502A5 (enExample) | ||
| JP2017535854A5 (enExample) | ||
| JP6258159B2 (ja) | プログラム情報生成システム、方法、及びプログラム | |
| WO2015015225A3 (en) | Software development tool | |
| JP2016207166A5 (enExample) | ||
| JP2016531366A5 (enExample) | ||
| JP2018530077A5 (enExample) | ||
| JP2015084256A5 (enExample) | ||
| JP2016511470A5 (enExample) | ||
| JP2017538996A5 (enExample) | ||
| JP2016530631A5 (enExample) | ||
| JP2013543175A5 (enExample) | ||
| JP2014158265A5 (enExample) | ||
| JP2016151932A5 (enExample) | ||
| US20170075665A1 (en) | Program information generation system, method, and computer program | |
| US20200012250A1 (en) | Program editing device, program editing method, and computer readable medium | |
| RU2017126055A (ru) | Электронное вычислительное устройство | |
| JP2016101734A5 (enExample) | ||
| JP2018519592A5 (enExample) |