专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

61. 发明专利

JP2012027936A Method for verifying code transformer for system incorporated in ic card 审中-公开
标题翻译：用于验证IC卡中并入的系统的代码变换器的方法
公开(公告)号：JP2012027936A
公开(公告)日：2012-02-09
申请号：JP2011206844
申请日：2011-09-22
申请人： Cp8 Technologies , セー・ペー・8・テクノロジーズ
发明人： CHRISTIAN GAWHAR , JONATHAN THOMAS , FLADO PASCAL , DANIEL LE METAYER , YVAIN DONNAY
IPC分类号： G06F9/44 , G06K19/07 , G06F9/445 , G06F9/45 , G06F11/28 , G06F11/36 , G06F21/22 , G06K17/00
CPC分类号： G06F8/52 , G06F9/44589
摘要： PROBLEM TO BE SOLVED: To provide a method for verifying a transformer of a source code into a transformed code, designed for an incorporated system (7).SOLUTION: The method comprises at least steps of: determining a single virtual machine factoring the behavior of two codes (1) and ( 3); determining, for each of a source code (1) and a transformed code (3), a plurality of auxiliary functions representing resident differences between the source code (1) and the transformed code (3); and verifying appropriateness of correspondence between the auxiliary functions. A code transformer verification (2) results from the last step. This invention is particularly applicable to IC cards (7).
摘要翻译：要解决的问题：提供一种用于将源代码的变压器验证为针对并入的系统（7）设计的变换代码的方法。解决方案：该方法至少包括以下步骤：确定分解两个代码（1）和（3）的行为的单个虚拟机; 为源代码（1）和变换代码（3）中的每一个确定表示源代码（1）和变换代码（3）之间驻留差异的多个辅助函数; 并验证辅助功能之间的对应关系。代码转换器验证（2）来自最后一步。本发明特别适用于IC卡（7）。版权所有（C）2012，JPO＆INPIT

62. 发明专利

JP4833206B2 Generating unwind information for the optimized program 有权
公开(公告)号：JP4833206B2
公开(公告)日：2011-12-07
申请号：JP2007520530
申请日：2005-07-08
申请人：インテルコーポレイション
发明人：パティル，ハリシュ , ムート，ロベルト , ローニー，ジェフ
IPC分类号： G06F9/45
CPC分类号： G06F8/52 , G06F8/443

63. 发明专利

JP2011123917A Method for converting subject program code into target program code, computer program, and computer 有权
标题翻译：将主题程序代码转换为目标程序代码，计算机程序和计算机的方法
公开(公告)号：JP2011123917A
公开(公告)日：2011-06-23
申请号：JP2011030163
申请日：2011-02-15
申请人： Internatl Business Mach Corp , インターナショナル・ビジネス・マシーンズ・コーポレーションInternational Business Maschines Corporation
发明人： BROWN ALEX , NORTH GERAINT , WEIGEL FRANK THOMAS , KNIGHT GARETH ANTHONY
IPC分类号： G06F9/45 , G06F20060101 , G06F9/00 , G06F9/318 , G06F9/40 , G06F9/42 , G06F9/44 , G06F9/455
CPC分类号： G06F9/45516 , G06F8/52 , G06F9/4425 , G06F9/4426
摘要： PROBLEM TO BE SOLVED: To avoid an overhead to translate an external library such as a system library concerning a system for translating and executing a program code including a function call.
SOLUTION: A subject program 106 includes a subject execution file 107 and multiple subject libraries. The subject libraries include a monopolistic library 109 and a system library 111. A translator 105 replaces the call of the subject program 106 with respect to the function of the subject system library 111 with a call with respect to a function in a native system library 117 through the use of native binding.
COPYRIGHT: (C)2011,JPO&INPIT
摘要翻译：要解决的问题：为了避免翻译外部库（例如涉及用于翻译和执行包括功能调用的程序代码的系统的系统库）的开销。主题程序106包括主体执行文件107和多个主题库。主题库包括垄断库109和系统库111.翻译器105相对于本机系统库117中的功能的调用取代了对象系统库111的功能的主题程序106的调用通过使用本机绑定。版权所有（C）2011，JPO＆INPIT

64. 发明专利

JP4640683B2 Program code conversion method 有权
公开(公告)号：JP4640683B2
公开(公告)日：2011-03-02
申请号：JP2010094370
申请日：2010-04-15
申请人：インターナショナル・ビジネス・マシーンズ・コーポレーションInternational Business Maschines Corporation
发明人：ジェイソンソウログロウ , アラスデアラウズソーン
IPC分类号： G06F9/455 , G06F9/44 , G06F9/45
CPC分类号： G06F8/52 , G06F8/44 , G06F8/441 , G06F8/47 , G06F9/45504 , G06F9/45516

65. 发明专利

JP2010211816A Program code conversion method 有权
标题翻译：程序代码转换方法
公开(公告)号：JP2010211816A
公开(公告)日：2010-09-24
申请号：JP2010094369
申请日：2010-04-15
申请人： Internatl Business Mach Corp , インターナショナル・ビジネス・マシーンズ・コーポレーションInternational Business Maschines Corporation
发明人： SOULOGLOU JASON , RAWSTHORNE ALASDAIR
IPC分类号： G06F9/455 , G06F9/44 , G06F9/45
CPC分类号： G06F8/52 , G06F8/44 , G06F8/441 , G06F8/47 , G06F9/45504 , G06F9/45516
摘要： PROBLEM TO BE SOLVED: To provide a method of generating an intermediate expression of a computer program code which is written to be executed on a programmable machine.
SOLUTION: This program code conversion method includes steps of (i) the generation of a plurality of register objects for a variable value generated by the program code, and (ii) the generation of a plurality of expression objects for expressing a fixed value, and/or a relation between the fixed value and the variable value according to the program code, the objects are constituted into such a branched network as a tree having all the register objects in the lowest basic root of the network or in a level of a tree trunk, and no register object is supplied to any of the other register objects.
COPYRIGHT: (C)2010,JPO&INPIT
摘要翻译：要解决的问题：提供一种生成被编写为在可编程机器上执行的计算机程序代码的中间表达式的方法。解决方案：该程序代码转换方法包括以下步骤：（i）生成由程序代码生成的可变值的多个寄存器对象，以及（ii）生成用于表达固定的多个表达对象值，和/或根据程序代码的固定值和可变值之间的关系，将对象构成为具有网络的最低基本根中的所有寄存器对象或具有级别的树的分支网络的树干，并且没有寄存器对象被提供给任何其他寄存器对象。版权所有（C）2010，JPO＆INPIT

66. 发明专利

JP2010530996A Computer system for converting a program code, a method, and computer-readable recording medium 有权
公开(公告)号：JP2010530996A
公开(公告)日：2010-09-16
申请号：JP2010500365
申请日：2008-03-12
申请人：インターナショナル・ビジネス・マシーンズ・コーポレーションInternational Business Maschines Corporation
发明人：バラクロフ、ギャビン , ムルカイ、ジェームズ、リチャード、ヘンリー , リグビー、デービッド、ジェームズ、オリバー
IPC分类号： G06F9/455
CPC分类号： G06F8/52 , G06F9/30014 , G06F9/30174 , G06F9/3885
摘要：【課題】サブジェクト・コンピュータ・プラットフォームによって実行可能なバイナリ・コードからターゲット・コンピュータ・プラットフォームによって実行可能なターゲット・コードに変換するための方法及び装置を提供する。
【解決手段】プログラム・コード変換の際に浮動小数点演算を処理することが可能な、浮動小数点ユニットと整数ユニットとを含むプロセッサを備えるコンピュータ・システムを提供する。コンピュータ・システムは、浮動小数点演算に関する少なくとも１つの命令を含むサブジェクト・コード命令を受信し、それに応答してプロセッサ上で実行するための対応するターゲット・コードを生成するように構成された翻訳器ユニットをさらに備える。翻訳器ユニット内には、浮動小数点演算を処理するために、浮動小数点状態ユニットと浮動小数点制御ユニットとが設けられる。これらのユニットは、翻訳器ユニットに、浮動小数点ユニット上で浮動小数点演算を直接行うためのターゲット・コード、又は、例えば整数ユニット及び浮動小数点ユニットの組み合わせを用いて浮動小数点演算を間接的に行うためのターゲット・コードのいずれかを生成させる。このようにしてコンピュータ・システムの効率が改善される。
【選択図】図３

67. 发明专利

JP2010198629A Program code conversion method 有权
标题翻译：程序代码转换方法
公开(公告)号：JP2010198629A
公开(公告)日：2010-09-09
申请号：JP2010094372
申请日：2010-04-15
申请人： Internatl Business Mach Corp , インターナショナル・ビジネス・マシーンズ・コーポレーションInternational Business Maschines Corporation
发明人： SOULOGLOU JASON , RAWSTHORNE ALASDAIR
IPC分类号： G06F9/455 , G06F9/44 , G06F9/45
CPC分类号： G06F8/52 , G06F8/44 , G06F8/441 , G06F8/47 , G06F9/45504 , G06F9/45516
摘要： PROBLEM TO BE SOLVED: To convert a computer program written for a certain processor so that it can be efficiently executed on a different processor. SOLUTION: In the initial conversion of the first portion of a program code, only an intermediate representation necessary for executing the first portion of a program code under a superior condition set are generated and stored, and when the same portion 6 as the first portion of the program code is input afterward, whether or not intermediate representation for the first portion of a subject code have been generated or stored before with respect to the following conditions is determined, and when it is determined that the intermediate representation have not been generated before, additional intermediate representation necessary for executing the first portion of the program code under the consecutive conditions are generated. Thus, emulation is executed by generating the intermediate representation of the program code in a memory. COPYRIGHT: (C)2010,JPO&INPIT
摘要翻译：要解决的问题：转换为特定处理器编写的计算机程序，以便可以在不同的处理器上高效地执行。解决方案：在程序代码的第一部分的初始转换中，仅生成并存储用于执行上级条件集下的程序代码的第一部分所必需的中间表示，并且当与然后输入程序代码的第一部分，确定是否已经相对于以下条件已经生成或存储了主题代码的第一部分的中间表示，并且当确定中间表示还未被生成之前生成在连续条件下执行程序代码的第一部分所需的附加中间表示。因此，通过在存储器中生成程序代码的中间表示来执行仿真。版权所有（C）2010，JPO＆INPIT

68. 发明专利

JP2010044574A Portable terminal, portable terminal control method and portable terminal control program 审中-公开
标题翻译：便携式终端，便携式终端控制方法和便携式终端控制程序
公开(公告)号：JP2010044574A
公开(公告)日：2010-02-25
申请号：JP2008208006
申请日：2008-08-12
申请人： Sony Ericsson Mobilecommunications Japan Inc , ソニー・エリクソン・モバイルコミュニケーションズ株式会社
发明人： ICHIKAWA TOMOHIRO , HIRAO YASUYUKI , AOYANAGI KATSUMI , ASA KENJI
IPC分类号： G06F9/445 , G06F11/00
CPC分类号： G06F8/65 , G06F8/44 , G06F8/52
摘要： PROBLEM TO BE SOLVED: To facilitate version upgrade management in updating software while making it attainable to efficiently use a memory capacity in a multi-boot compatible terminal. SOLUTION: For example, a CDMA program and CDMA→GSM difference data are stored in a NAND memory 13. A MODEM processor 10 is configured to generate a GSM program by using the CDMA program and the CDMA→GSM difference data. Then, when the start of the CDMA program in the CDMA mode is selected in advance by a user, the MODEM processor 10 starts the CDMA program of the NAND memory 13. On the other hand, when the start of the GSM program in the GSM mode is selected by the user, the MODEM processor 10 generates the GSM program from the CDMA program and the CDMA→GSM difference data of the NAND memory 13 and starts it. COPYRIGHT: (C)2010,JPO&INPIT
摘要翻译：要解决的问题：为了便于更新软件的版本升级管理，同时可以在多引导兼容终端中有效地使用存储容量。解决方案：例如，CDMA程序和CDMA→GSM差异数据存储在NAND存储器13中.MEMEM处理器10被配置为通过使用CDMA程序和CDMA→GSM差分数据来生成GSM程序。然后，当用户预先选择CDMA模式的CDMA程序的开始时，MODEM处理器10启动NAND存储器13的CDMA程序。另一方面，当GSM程序在GSM 模式由用户选择，MODEM处理器10从CDMA程序和NAND存储器13的CDMA→GSM差异数据产生GSM程序并启动它。版权所有（C）2010，JPO＆INPIT

69. 发明专利

JP2008505423A Generating unwind information for the optimized program 有权
公开(公告)号：JP2008505423A
公开(公告)日：2008-02-21
申请号：JP2007520530
申请日：2005-07-08
申请人：インテルコーポレイション
发明人：パティル，ハリシュ , ムート，ロベルト , ローニー，ジェフ
IPC分类号： G06F9/45
CPC分类号： G06F8/52 , G06F8/443
摘要：プログラムの第１バイナリバージョンと、前記プログラムの第１バイナリバージョンに係るアンワインド情報とを解析するステップ、前記解析結果に少なくとも部分的に基づき、前記プログラムの第２バイナリバージョンを生成するため、前記プログラムの第１バイナリバージョンに対して最適化を実行するステップ、前記解析結果と前記実行された最適化に少なくとも部分的に基づき、前記プログラムの第２バイナリバージョンに対する更新されたアンワインド情報を生成するステップ。

70. 发明专利

JP2007537528A Data processing method, processing unit, multiple instruction word set generating method, the compiler program 有权
公开(公告)号：JP2007537528A
公开(公告)日：2007-12-20
申请号：JP2007512674
申请日：2005-05-09
申请人：コーニンクレッカフィリップスエレクトロニクスエヌヴィ
发明人：アーイェーレイテン，イェルーン
IPC分类号： G06F9/38 , G06F9/30 , G06F9/45
CPC分类号： G06F9/3842 , G06F8/52 , G06F9/30076 , G06F9/30156 , G06F9/3822 , G06F9/3853 , G06F9/3885
摘要：データ処理方法であって、複数の命令を並列に実行するよう構成された、時間定常多重命令ワード処理装置を用い、各多重命令ワードは複数の命令フィールドを有し、各命令フィールドは前記処理装置の対応するリソースの制御情報を符号化し、そしてノーオペレーション命令に関連する命令フィールド及び隣接する多重命令ワードの関連する命令フィールドの間のビット変化は最小限に抑えられる、前記多重命令ワード（ＩＮＳ（ｉ）、ＩＮＳ（ｉ＋１）、ＩＮＳ（ｉ＋２））のセットを生成する段階；入力データをレジスタファイル（ＲＦ
０、ＲＦ
１）に格納する段階；多重命令ワードセットから引き出された制御情報に基づき、前記レジスタファイルから読み出したデータを処理する段階；第１の専用ノーオペレーションコード（ｗｓ
００、ｗｓ
１０、ｗｐ
００、ｗｐ
１０）を用い、ノーオペレーションコードの実行中に、前記レジスタファイルへの結果データの書き戻しを無効にする段階、を有する。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式