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

MULTIPLE SIGNATURE SYSTEM, VERIFICATION SYSTEM, MULTIPLE SIGNATURE METHOD, AND MULTIPLE SIGNATURE PROGRAM例文帳に追加

多重署名システム、検証システム、多重署名方法及び多重署名プログラム - 特許庁

LOGIC CIRCUIT VERIFICATION APPARATUS, ITS CONTROL METHOD, COMPUTER PROGRAM, AND STORAGE MEDIUM例文帳に追加

論理回路検証装置及びその制御方法、コンピュータプログラム及び記憶媒体 - 特許庁

DIGITAL SIGNATURE PROGRAM, DIGITAL SIGNATURE SYSTEM, DIGITAL SIGNATURE METHOD AND SIGNATURE VERIFICATION METHOD例文帳に追加

デジタル署名プログラム、デジタル署名システム、デジタル署名方法、署名検証方法 - 特許庁

VERIFICATION DATA CREATION METHOD, DEVICE AND PROGRAM例文帳に追加

検証データ作成方法，検証データ作成装置及び検証データ作成プログラム - 特許庁

POWER SOURCE VERIFICATION DEVICE, METHOD, AND PROGRAM, AND RECORDING MEDIUM例文帳に追加

電源検証装置、電源検証方法、電源検証プログラム、および記録媒体 - 特許庁

To provide a logic verification system for a system LSI in which a software used as a device driver and/or check program is used to perform co-verification.例文帳に追加

デバイスドライバやチェックプロとして使用するソフトウェアを、システムＬＳＩの論理検証に使用して、コ・ベリフィケーションを行う。 - 特許庁

METHOD AND DEVICE FOR DESIGN CHANGE POSITION VERIFICATION AND RECORDING MEDIUM WITH DESIGN CHANGE POSITION VERIFICATION PROGRAM RECORDED例文帳に追加

設計変更箇所検証装置、設計変更箇所検証方法、及び設計変更箇所検証プログラムを記録した記録媒体 - 特許庁

When the time of day verification requesting program 71 is started, a communication path 3 is secured between the time of day verification server 7 [figure (b)].例文帳に追加

時刻認証要求プログラムが起動されると、時刻認証サーバ７との間に通信路３が確保される［同図（ｂ）］。 - 特許庁

RELIABILITY VERIFICATION METHOD OF SEMICONDUCTOR INTEGRATED CIRCUIT DEVICE, RELIABILITY VERIFICATION APPARATUS OF SEMICONDUCTOR INTEGRATED CIRCUIT DEVICE AND COMPUTER PROGRAM例文帳に追加

半導体集積回路装置の信頼性検証方法、半導体集積回路装置の信頼性検証装置、及びコンピュータプログラム - 特許庁

CIRCUIT OPERATION VERIFICATION DEVICE, METHOD FOR MANUFACTURING SEMICONDUCTOR INTEGRATED CIRCUIT, CIRCUIT OPERATION VERIFICATION METHOD, CONTROL PROGRAM AND READABLE STORAGE MEDIUM例文帳に追加

回路動作検証装置、半導体集積回路の製造方法、回路動作検証方法、制御プログラムおよび可読記録媒体 - 特許庁

To provide a logic verification controller, a logic verification method, a computer program and a computer-readable storage medium which realize the operation verification of pipe line processing and the simultaneous operation verification of a plurality of circuits.例文帳に追加

パイプライン処理の動作検証及び複数回路の同時動作検証を可能にする論理検証制御装置及び論理検証方法、並びに、コンピュータプログラム及びコンピュータ読み取り可能な記憶媒体を提供する。 - 特許庁

To provide a logic verification system, a logic verification method, and a logic verification program, each contributes to reduction of man-hour for logic design with respect to logic verification and error position correction of a designed logic circuit.例文帳に追加

設計した論理回路の論理検証およびエラー箇所の修正において、論理設計工数の低減に寄与することのできる論理検証装置、論理検証方法および論理検証プログラムを提供する。 - 特許庁

To provide an equivalence verification program for efficiently and easily verifying equivalence between an analog circuit and a characteristic model thereof, a computer readable recording medium recording the equivalence verification program, an equivalence verification device and an equivalence verification method.例文帳に追加

アナログ回路とその特性モデルとの等価性を効果的かつ容易に検証することができる等価性検証プログラム、等価性検証プログラムを記録したコンピュータ読み取り可能な記録媒体、等価性検証装置、および等価性検証方法を提供する。 - 特許庁

To provide a software design verification device for automatically verifying the consistency of software design sheets, and for reducing correction costs due to return and a verification program and a verification target program to be used for this software design verification device.例文帳に追加

本発明は、ソフトウェア設計書間の整合性検証を自動的に行い、手戻りによる修正コストを低減することが可能なソフトウェア設計検証装置ならびにそれに用いる検証プログラムおよび検証対象プログラムを提供することを目的とする。 - 特許庁

To provide a code verification processing method capable of efficiently providing information by using a display identifier, a code verification processing program and a code display program.例文帳に追加

表示識別子を用いて効率的に情報を提供することができるコード照合処理方法、コード照合処理プログラム及びコード表示プログラムを提供する。 - 特許庁

METHOD AND DEVICE FOR EXECUTING OPERATION VERIFICATION SIMULATION AND ITS PROGRAM例文帳に追加

動作検証シミュレーションの実行方法及びシミュレーション実行装置並びにプログラム - 特許庁

If the program does not satisfy the internal specification 2, a verification result report 3 which shows a verification result as an erroneous position of the program is outputted.例文帳に追加

検証対象プログラムが内部仕様２を満足することができなかった場合は、検証結果をプログラムの誤り位置として示す検証結果報告書３を出力する。 - 特許庁

To provide a data broadcasting program verification system enabling a verification on a page picture changed by a lapse of the broadcasting time of a data broadcasting program.例文帳に追加

本発明は、データ放送番組の放送時間の経過により変更されるページ画面の検証が可能なデータ放送番組検証システムの提供を目的とする。 - 特許庁

To provide a program generation device and a program verification device 1 for supporting verification without omission whether or not an output value to an input value has not been changed.例文帳に追加

入力値に対する出力値の変更がされていないかを漏れなく検証することを支援するプログラム生成装置およびプログラム検証装置１を提供する。 - 特許庁

EXECUTING METHOD FOR OPERATION VERIFICATION SIMULATION, AND SIMULATION EXECUTING APPARATUS AND PROGRAM例文帳に追加

動作検証シミュレーションの実行方法及びシミュレーション実行装置並びにプログラム - 特許庁

VERIFICATION SYSTEM, METHOD THEREFOR, DATA PROCESSING TERMINAL USING THE SAME, AND PROGRAM例文帳に追加

照合システム及びその方法並びにそれを用いたデータ処理端末及びプログラム - 特許庁

METHOD AND DEVICE FOR EXECUTING OPERATION VERIFICATION SIMULATION, AND ITS PROGRAM例文帳に追加

動作検証シミュレーションの実行方法及びシミュレーション実行装置並びにプログラム - 特許庁

MASK PATTERN VERIFICATION METHOD, MASK PATTERN GENERATION METHOD, PATTERN DATA PROCESSOR, AND PROGRAM例文帳に追加

マスクパターン検証方法、マスクパターン作成方法、パターンデータ処理装置、およびプログラム - 特許庁

METHOD FOR CREATING EVALUATION PATTERN, PROGRAM FOR CREATING EVALUATION PATTERN, AND PATTERN VERIFICATION METHOD例文帳に追加

評価パターン作成方法、評価パターン作成プログラムおよびパターン検証方法 - 特許庁

DIGITAL SIGNAL PROCESSOR, DIGITAL SIGNAL PROCESSING METHOD, PROGRAM AND VERIFICATION DEVICE例文帳に追加

ディジタル信号処理装置、ディジタル信号処理方法及びプログラム並びに認証装置 - 特許庁

APPARATUS, METHOD AND PROGRAM FOR CACHE LOGIC VERIFICATION例文帳に追加

キャッシュ論理検証装置、キャッシュ論理検証方法およびキャッシュ論理検証プログラム - 特許庁

APPARATUS AND METHOD FOR VERIFYING ASYNCHRONOUS CIRCUIT AND VERIFICATION PROGRAM THEREOF例文帳に追加

非同期回路の検証装置、非同期回路の検証方法およびその検証プログラム - 特許庁

MEASURE DECOMPOSITION DEVICE AND PROGRAM USED FOR VERIFICATION OF APPROXIMATE SIMULATION RELATION例文帳に追加

近似的なシミュレーション関係の確認に用いられる測度分解装置及びプログラム - 特許庁

ASSERTION GENERATION SYSTEM, CIRCUIT VERIFICATION SYSTEM, PROGRAM, AND ASSERTION GENERATION METHOD例文帳に追加

アサーション生成システムと回路検証システムおよびプログラムならびにアサーション生成方法 - 特許庁

DEVICE AND METHOD FOR OUTPUTTING STORAGE POSITION OF VERIFICATION TARGET CHARACTER STRING AND COMPUTER PROGRAM例文帳に追加

検証対象文字列の格納位置出力装置、方法、及びコンピュータ・プログラム - 特許庁

AGGREGATE SIGNATURE SYSTEM, VERIFICATION SYSTEM, AGGREGATE SIGNATURE METHOD, AND AGGREGATE SIGNATURE PROGRAM例文帳に追加

アグリゲート署名システム、検証システム、アグリゲート署名方法及びアグリゲート署名プログラム - 特許庁

INFORMATION PROCESSING APPARATUS, VERIFICATION METHOD AND PROGRAM FOR ALLOWING COMPUTER TO EXECUTE THE METHOD例文帳に追加

情報処理装置、検証方法、および該方法をコンピュータに実行させるプログラム - 特許庁

ELECTRONIC INFORMATION VERIFICATION PROGRAM, APPARATUS AND METHOD例文帳に追加

電子情報検証プログラム、電子情報検証装置および電子情報検証方法 - 特許庁

KEY MANAGEMENT SERVER IN ENCRYPTION SYSTEM, PROGRAM FOR CONTROLLING DECRYPTION APPARATUS, KEY MANAGEMENT SERVER IN SIGNATURE/VERIFICATION SYSTEM AND PROGRAM FOR CONTROLLING VERIFICATION APPARATUS例文帳に追加

暗号システムにおける鍵管理サーバおよび復号装置を制御するプログラム，ならびに署名／検証システムにおける鍵管理サーバおよび検証装置を制御するプログラム - 特許庁

SECRET CALCULATION SYSTEM, SECRET CALCULATION METHOD, SECRET CALCULATION DEVICE, VERIFICATION DEVICE, AND PROGRAM例文帳に追加

秘密計算システム、秘密計算方法、秘密計算装置、検証装置、およびプログラム - 特許庁

To provide a program verifying device which realizes efficient verification of a program by eliminating determination work by a user.例文帳に追加

ユーザの判定作業を排除し、プログラムの検証を効率化することのできるプログラム検証装置を得る。 - 特許庁

To provide a high speed program for a page mode flash memory, verification of the program, and a read-out and erasure verifying algorithm.例文帳に追加

ページ・モード・フラッシュ・メモリー用の高速プログラム、プログラム検証、読出し及び消去検証アルゴリズムを提供する。 - 特許庁

ELECTRONIC APPLICATION DEVICE, METHOD AND PROGRAM, AND DIGITAL SIGNATURE VERIFICATION DEVICE, METHOD AND PROGRAM例文帳に追加

電子申請装置およびその方法ならびにプログラム、電子署名検証装置およびその方法ならびにプログラム - 特許庁

Operation program verification means 25B determines the presence or absence of the interference of the operation program in which the avoidance operation is set.例文帳に追加

動作プログラム検証手段２５Ｂが、回避動作を設定した動作プログラムの干渉の有無を判定させる。 - 特許庁

To provide a program verification support system for verifying whether an application program has correctly operated or not.例文帳に追加

アプリケーションプログラムが正しく動作したか否かを検証するためのプログラム検証支援システムを提供する。 - 特許庁

A processing part 200 inserts a synchronization command into each synchronization point on the reference program and on the verification object program, respectively.例文帳に追加

処理部２００は、リファレンスプログラムと、検証対象プログラムの同期点にそれぞれ同期コマンドを挿入する。 - 特許庁

To provide a substrate processing system, a substrate processing method, a verification program and a recording medium on which verification program is recorded by which percentage of completion of a processing recipe execution program is promptly improved.例文帳に追加

処理レシピ実行プログラムの完成度を速やかに向上させることのできる基板処理システム、基板処理方法、検証プログラム、及び検証プログラムを記録した記録媒体を提供する。 - 特許庁

To provide an information processor and a program capable of efficiently conducting verification complexly using plural verification conditions.例文帳に追加

複数の検証条件を複合的に用いた検証を効率的に行うことが可能な情報処理装置及びプログラムを提供する。 - 特許庁

To provide an equivalence verification device capable of performing equivalence verification having high reliability, a data processing method thereof, and a program.例文帳に追加

信頼性の高い等価性検証を行うことができる等価性検証装置、そのデータ処理方法、およびプログラムを提供する。 - 特許庁

To provide a program verification device which can show whether verification of conversion performed by using an instruction pattern is adequately achieved.例文帳に追加

命令パターンを用いて行われた変換の検証が十分にできたか否かを示すことが可能なプログラム検証装置を提供する。 - 特許庁