「PROGRAM VERIFICATION」に関連した英語例文の一覧と使い方(15ページ目) - Weblio英語例文検索

The CPU 11 functions as at least Hash value calculating means by a signature verification program, an input data retrieving means, a signature verification operation means, a signature verification discriminating means 11d, and a final discriminating means.例文帳に追加

ＣＰＵ１１は、署名検証プログラムによって、少なくともＨａｓｈ値計算手段、入力データ検索手段、署名検証演算手段、署名検証判定手段１１ｄおよび最終判定手段として機能する。 - 特許庁

To provide an information processing program which causes a storage device to store a result of verification of an electronic signature used for the subsequent verification when the verification is performed on the electronic signature applied to the information.例文帳に追加

情報に施された電子署名に対する検証を行う場合にあって、次回の検証に用いるための、電子署名に対する検証の結果を記憶装置に記憶させるようにした情報処理プログラムを提供する。 - 特許庁

To provide an optical disk apparatus, an optical disk apparatus verification system, and an optical disk apparatus verification program, for simply performing verification of recording quality by measuring each pulse width of RF signals and totalizing measured values.例文帳に追加

ＲＦ信号の各パルス幅を測定し、測定値を集計することによって記録品位の検証を手軽に行なうことができるような光ディスク装置、光ディスク検証システム、および光ディスク検証プログラムを提供する。 - 特許庁

PROGRAM, DEVICE AND METHOD FOR SUPPORTING VERIFICATION OF LEAK CURRENT DISTRIBUTION例文帳に追加

リーク電流分布検証支援プログラム、リーク電流分布検証支援装置およびリーク電流分布検証支援方法 - 特許庁

LOGIC VERIFICATION SYSTEM, REMOTE CONTROL METHOD USED THEREFOR AND RECORD MEDIUM RECORDED WITH CONTROL PROGRAM例文帳に追加

論理検証システム及びそれに用いる遠隔制御方法並びにその制御プログラムを記録した記録媒体 - 特許庁

METHOD AND DEVICE FOR VERIFYING LOGIC CIRCUIT, AND RECORDING MEDIUM WITH LOGIC CIRCUIT VERIFICATION PROGRAM STORED THEREIN例文帳に追加

論理回路検証装置及び論理回路検証方法及び論理回路検証プログラムを格納した記録媒体 - 特許庁

PATTERN VERIFICATION-INSPECTION METHOD, METHOD FOR ACQUIRING DISTRIBUTION OF OPTICAL IMAGE INTENSITY, AND PROGRAM FOR ACQUIRING DISTRIBUTION OF OPTICAL IMAGE INTENSITY例文帳に追加

パターン検証・検査方法、光学像強度分布取得方法および光学像強度分布取得プログラム - 特許庁

PROGRAM VERIFICATION METHOD FOR NONVOLATILE MEMORY ELEMENT, SEMICONDUCTOR MEMORY DEVICE, AND PORTABLE ELECTRONIC DEVICE EQUIPPED WITH THE SAME例文帳に追加

不揮発性メモリ素子のプログラム検証方法および半導体記憶装置とそれを備えた携帯電子機器 - 特許庁

To reduce any time or labor required for verification to be executed by the simulation of a sequence program for controlling a facility.例文帳に追加

設備を制御するシーケンスプログラムのシミュレーションによる検証に要する時間ないしは労力を軽減する。 - 特許庁

METHOD, SYSTEM, AND COMPUTER PROGRAM FOR DIGITAL VERIFICATION OF COLLECTED PRIVACY POLICY IN ELECTRONIC TRANSACTION例文帳に追加

電子取引において収集されたプライバシ・ポリシをディジタル的に検証するための方法、システム、およびコンピュータ・プログラム - 特許庁

To verify a degree of risk of a developed program and easily add a signature including its verification result.例文帳に追加

開発等されたプログラムの危険度を検証し、その検証結果を含む署名を容易に付加可能にする。 - 特許庁

To provide a circuit function verification method and program capable of quickly and surely verifying hardware.例文帳に追加

ハードウェアの検証を迅速且つ確実に行うことのできる回路機能検証方法及びプログラムを提供する。 - 特許庁

VERIFICATION DEVICE AND METHOD FOR ADDITIONAL PRODUCTION POSSIBILITY AND RECORD MEDIUM WITH CONTROL PROGRAM RECORDED例文帳に追加

追加生産可能性検証装置及びその検証方法並びにその制御プログラムを記録した記録媒体 - 特許庁

DEVICE, METHOD AND PROGRAM FOR CAD DATA IDENTITY VERIFICATION例文帳に追加

ＣＡＤデータ同一性検証装置、ＣＡＤデータ同一性検証方法、及びＣＡＤデータ同一性検証プログラム - 特許庁

A voltage generation circuit 11 generates a required voltage in each of program, verification, and lead operations.例文帳に追加

電圧発生回路１１は、プログラム動作、ベリファイ動作、リード動作において、それぞれ所要の電圧を発生する。 - 特許庁

DEVICE AND METHOD FOR VERIFYING MULTI-CYCLE PATH AND COMPUTER READABLE STORAGE MEDIUM WITH VERIFICATION PROGRAM STORED THEREIN例文帳に追加

マルチサイクルパス検証装置、検証方法及び検証プログラムを記憶したコンピュータ読み取り可能な記憶媒体 - 特許庁

The processing of comparing a game machine control program verification code 121a calculated based on a normal game machine control program 121c with the control program verification code newly calculated based on the game machine control program 121c stored in the storage means 121 at the time of verification is periodically or repeatedly executed or is executed based on command signals.例文帳に追加

正規の遊技機制御プログラム１２１ｃを基に算出した遊技機制御プログラム検証コード１２１ａと検証時に記憶手段１２１が記憶している遊技機制御プログラム１２１ｃを基に改めて算出した制御プログラム検証コードとを比較する処理を、定期的或いは繰返し実行するようにし、又は、指令信号に基づいて実行するようにした。 - 特許庁

To provide a program distribution system for keeping constant conditions which are disclosed in the existing distribution system of a zero knowledge verification portable program secret, preventing reverse engineering based on the constant conditions and a verification body and enhancing tamper resistance of a distribution program.例文帳に追加

既存のゼロ知識証明携帯プログラム配信方式においては公開していた不変条件を秘匿し、不変条件及び証明本体に基づくリバースエンジニアリングを防止し、配信プログラムの耐タンパ性を向上させるプログラム配信方式を提供する。 - 特許庁

The CPU has a sub-program control part 65 of small throughput and a backup program control part 66 and is further provided with verification ports 67.例文帳に追加

このＣＰＵは、処理量の少ないサブプログラム制御部６５およびバックアッププログラム制御部６６を備え、さらに、判別ポート６７が設けられている。 - 特許庁

SIGNATURE VERIFICATION DEVICE, ITS METHOD, COMPUTER PROGRAM, RECORDING MEDIUM WITH THE PROGRAM RECORDED, AUTHENTICATION STATION, AND METHOD FOR ISSUING PUBLIC KEY CERTIFICATE例文帳に追加

署名検証装置、その方法、コンピュータプログラム及びそのプログラムを記録した記録媒体、ならびに認証局及び公開鍵証明書発行方法 - 特許庁

To precisely verify a program for performing floating point operation which operates on an incorporated microcomputer on a personal computer by using personal computer verification program.例文帳に追加

組込みマイコン上で動作する浮動小数点演算を行うプログラムを、パソコン用検証プログラムを用いてパソコン上で精度良く検証可能とする。 - 特許庁

To adapt verification of software to middleware having different program layers respectively on a higher level and lower level such as a panel operation control program of an image forming device.例文帳に追加

ソフトウェアの検証を、画像形成装置のパネル操作制御プログラムのような上位と下位にそれぞれ別のプログラムの層を持つミドルウェアに適するようにする。 - 特許庁

DOCUMENT PREPARATION SYSTEM, METHOD AND PROGRAM, RECORDING MEDIUM STORING ITS PROGRAM AND DOCUMENT VERIFICATION SYSTEM, METHOD AND PROGRAM, AND RECORDING MEDIUM STORING ITS PROGRAM例文帳に追加

文書作成装置、文書検証装置、文書作成方法、文書検証方法、文書作成プログラム、文書検証プログラム、文書作成プログラムを格納した記録媒体、および文書検証プログラムを格納した記録媒体 - 特許庁

TIME CERTIFICATION APPARATUS, TIME CERTIFICATION REQUEST ACCEPTING APPARATUS, TIME CERTIFICATION METHOD, TIME CERTIFICATION REQUEST ACCEPTING METHOD, TIME CERTIFICATION PROGRAM, TIME CERTIFICATION REQUEST ACCEPTANCE PROGRAM, TIME CERTIFICATION VERIFICATION PROGRAM, AND PROGRAM RECORDING MEDIUM例文帳に追加

時刻証明装置、時刻証明要求受付装置、時刻証明方法、時刻証明要求受付方法、時刻証明プログラム、時刻証明要求受付プログラム、時刻証明検証プログラム、およびプログラム記録媒体 - 特許庁

The time of day verification requesting program 71 synchronizes standard clock of the time of day verification server 7 with the standard time of day by obtaining time of day information via the communication path 3 [figure (c)].例文帳に追加

時刻認証要求プログラム７１は、通信路３を介して時刻情報を定期的に取得することで時刻認証サーバ７の標準時計と基準時刻を同期させる［同図（ｃ）］。 - 特許庁

A signature verification execution means 14 applies a signature generation procedure written in the signature verification program to signature target data, signature data and the public key to verify the signature.例文帳に追加

署名検証実行手段１４が署名対象データと署名データと公開鍵とに対して署名検証プログラムに記載の署名生成手順を適用して検証を行う。 - 特許庁

To provide a parameter verification system, device, method and program for performing parameter verification work efficiently with high quality without having impact on general users.例文帳に追加

パラメータ検証の作業を一般ユーザに影響を与えることなく、高品質で効率的に実施できるパラメータ検証システム、パラメータ検証装置、パラメータ検証方法およびプログラムを提供する。 - 特許庁

To provide an asynchronous logic circuit verification device which can perform logic verification in a state close to a real machine without a setting constraint such as clock frequency and its method, and a program.例文帳に追加

クロック周波数などの設定制約がなく、実機に近い状況で論理検証を行うことが可能な非同期論理回路検証装置およびその方法、並びにプログラムを提供する。 - 特許庁

To provide an electronic document verification system and a verification program capable of verifying an electronic signature and a time stamp at a high speed even when a size of electronic data being an application object of the electronic signature and the time stamp is increased.例文帳に追加

電子署名とタイムスタンプとの適用対象となる電子データのサイズが大きくなった場合にも、電子署名とタイムスタンプとを高速に検証することができるようにする。 - 特許庁

The assertion base verification is performed by using the verification device 102 of hardware configuration which performs parallel operation independently of a CPU core 103 of the microcomputer which executes a control program serially.例文帳に追加

制御プログラムを逐次実行するマイクロコンピュータのＣＰＵコア１０３と独立して並行動作するハードウェア構成の検証装置１０２を用いアサーションベース検証を行う。 - 特許庁

To provide a verification data creation method, device and program, allowing efficient creation of high-quality verification data in a short time.例文帳に追加

高品質の検証データを、短時間で効率的に作成可能な検証データ作成方法，検証データ作成装置及び検証データ作成プログラムを提供することを目的とする。 - 特許庁

Thus, it is not required to conduct the program verification for all column addresses for the 2nd and succeeding program verification tests.例文帳に追加

そして、そのデータ検査においては、複数個の前記メモリセルのプログラムベリファイを行い、前記プログラムベリファイにより最初にフェイルと判断されたアドレスを記憶手段に記憶させた後、前記アドレスが記憶されたメモリセルから次のプログラムベリファイを行う。 - 特許庁

The page mode flash memory or floating gate memory device includes a page buffer 11 based on constant current bit latch which can perform efficiently program process, program verification, read-out and erasure verification process during page mode operation.例文帳に追加

本発明のページ・モード・フラッシュ・メモリーあるいはフローティング・ゲート・メモリー・デバイスは、ページ・モード動作中に効率よくプログラム・プロセス、プログラム検証、読出し及び消去検証プロセスを可能にする定電流ビット・ラッチに基づくページ・バッファ11を含む。 - 特許庁

AUTHENTICATED ENCRYPTION METHOD AND APPARATUS, AUTHENTICATED ENCRYPTION PROGRAM, MEMORY MEDIUM HAVING AUTHENTICATED ENCRYPTION PROGRAM STORED THEREON, AUTHENTICATED DECRYPTION METHOD AND APPARATUS, AUTHENTICATED DECRYPTION PROGRAM, MEMORY MEDIUM HAVING AUTHENTICATED DECRYPTION PROGRAM STORED THEREON, DENIAL CANCELLING METHOD, VERIFYING METHOD, VERIFIER AND VERIFICATION PROGRAM, AND MEMORY MEDIUM HAVING THE VERIFICATION PROGRAM STORED THEREON例文帳に追加

認証付暗号方法及び装置及び認証付暗号プログラム及び認証付暗号プログラムを格納した記憶媒体及び認証付復号方法及び装置及び認証付復号プログラム及び認証付復号プログラムを格納した記憶媒体及び否認性取り消し方法及び検証方法及び検証装置及び検証プログラム及び検証プログラムを格納した記憶媒体 - 特許庁

The method of programming the nonvolatile memory device includes a step for performing a program operation, a step for performing a program verify read operation, and a step for performing simultaneously a verification recovery operation and a pass/fail determination operation directly after the program verification read operation.例文帳に追加

本発明による不揮発性メモリ装置のプログラム方法は、プログラム動作を遂行するステップと、プログラム検証読み出し動作を遂行するステップと、前記フロッグラム検証読み出し動作直後に検証リカバリ動作とパス／フェイル判別動作とを同時に遂行するステップと、を含む。 - 特許庁

To provide an inter-processor transmission data abnormality simulation device for changing data transmitted in inter-processor communication in a multiprocessor device into various pieces of error data and transmitting the resultant data at arbitrary timing, and to provide an error verification support method, a recording medium having an error verification support program recorded thereon and the error verification support program.例文帳に追加

マルチプロセッサ装置におけるプロセッサ間通信で送信されたデータを、各種のエラーデータに改変して任意のタイミング送信することを可能とするプロセッサ間送信データ異常擬似装置、エラー検証支援方法、エラー検証支援プログラムを記録した記録媒体及びエラー検証支援プログラムの提供。 - 特許庁

A verification test program 106 and a CPU model 101 request an access to a memory model 105 for the memory control circuit 102.例文帳に追加

検証テストプログラム１０６とＣＰＵモデル１０１は、メモリ制御回路１０２にメモリモデル１０５へのアクセスを要求する。 - 特許庁

ORIGINAL NATURE WARRANT SYSTEM, ELECTRONIC SIGNATURE GENERATION INTERFACE METHOD, ORIGINAL NATURE VERIFICATION INTERFACE METHOD, PROGRAM, AND RECORDING MEDIUM例文帳に追加

原本性保証システム、電子署名生成インタフェース方法、原本性検証インタフェース方法、プログラム、及び記録媒体 - 特許庁

To provide a technique of generating test data capable of testing a verification program without preparing multiple test data.例文帳に追加

複数のテストデータを準備することなく、検証プログラムをテストすることができるテストデータを生成する技術を提供する。 - 特許庁

DEVICE AND METHOD FOR API SPECIFICATION VERIFICATION, PROGRAM FOR EXECUTING THE SAME, AND STORAGE MEDIUM FOR STORING THE SAME例文帳に追加

ＡＰＩ仕様検証装置及び方法、当該方法を実行させるプログラム、当該プログラムを格納する記憶媒体 - 特許庁

To inexpensively perform operation verification of a test program at high speed in offline simulation environment of a test device.例文帳に追加

試験装置のオフライン・シュミレーション環境において、テストプログラムの動作検証をより高速かつ低コストで実現する。 - 特許庁

However, handwriting verification done on a TV Tokyo program concluded that Tenkai was the same person or very close. 例文帳に追加

ただテレビ東京が特別番組で行った筆跡鑑定では、「極めて本人か、それに近い人物」との結果が出ている。 - Wikipedia日英京都関連文書対訳コーパス

SEMICONDUCTOR INTEGRATED CIRCUIT, ITS DESIGNING DEVICE, DESIGNING METHOD, DESIGNING PROGRAM, TEST VECTOR VERIFICATION DEVICE, AND TEST VECTOR GENERATION DEVICE例文帳に追加

半導体集積回路、その設計装置、設計方法、設計プログラム、テストベクタ検証装置、およびテストベクタ作成装置 - 特許庁

LAYOUT VERIFICATION METHOD FOR SEMICONDUCTOR INTEGRATED CIRCUIT, DESIGN METHOD, LAYOUT DESIGN PROGRAM, AND MANUFACTURING METHOD FOR THE SEMICONDUCTOR INTEGRATED CIRCUIT例文帳に追加

半導体集積回路のレイアウト検証方法、設計方法、レイアウト設計プログラム、半導体集積回路の製造方法 - 特許庁

VERIFICATION SYSTEM, SEMICONDUCTOR INTEGRATED CIRCUIT, METHOD AND PROGRAM FOR VERIFYING SEMICONDUCTOR INTEGRATED CIRCUIT例文帳に追加

検証システム、半導体集積回路、半導体集積回路の検証方法、及び半導体集積回路の検証プログラム - 特許庁