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

TRANSMITTER, RECEIVER, VERIFICATION-INFORMATION EMBEDDING METHOD, AND PROGRAM例文帳に追加

送信機、受信機、検証情報の埋め込み方法およびプログラム - 特許庁

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

検証支援装置、検証支援方法、及び、検証支援プログラム - 特許庁

MEMORY ACCESS VERIFICATION SYSTEM AND METHOD, AND MEMORY ACCESS-VERIFYING PROGRAM例文帳に追加

メモリアクセス検証システム及び方法、メモリアクセス検証用プログラム - 特許庁

ASYNCHRONOUS LOGIC CIRCUIT VERIFICATION DEVICE, ITS METHOD, AND PROGRAM例文帳に追加

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

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

検証支援プログラム、検証支援装置、および検証支援方法 - 特許庁

CONTRACT DEFINITION FUNCTION VERIFICATION DEVICE, METHOD THEREOF, AND PROGRAM THEREOF例文帳に追加

契約定義関数検証装置、その方法及びそのプログラム - 特許庁

SYSTEM AND METHOD FOR CERTIFICATE VERIFICATION AND PROGRAM FOR CERTIFICATE EFFECTIVENESS VERIFICATION例文帳に追加

証明書検証システムとその証明書検証方法、及び証明書有効性検証プログラム - 特許庁

VERIFICATION DEVICE, VERIFYING METHOD AND COMPUTER- READABLE RECORDING MEDIUM STORING VERIFICATION PROGRAM例文帳に追加

検証装置、検証方法および検証プログラムを格納したコンピュータ読み取り可能な記録媒体 - 特許庁

BATCH PROOF VERIFYING METHOD, PROOF DEVICE, VERIFICATION APPARATUS, AND BATCH PROOF VERIFICATION SYSTEM AND PROGRAM例文帳に追加

バッチ証明検証方法、証明装置、検証装置、バッチ証明検証システム並びにプログラム - 特許庁

TEST CASE VALIDITY AUTOMATIC VERIFICATION PROGRAM AND TEST CASE VALIDITY AUTOMATIC VERIFICATION RESULT DISPLAY METHOD例文帳に追加

テストケース妥当性自動検証プログラムおよびテストケース妥当性自動検証結果表示方法 - 特許庁

To provide a verification device, a verification method and program for improving reliability of photographic paper.例文帳に追加

印画紙の信頼性を向上し得る検証装置、検証方法及びプログラムを提案する。 - 特許庁

INFORMATION RECORDING MEDIUM VERIFICATION DEVICE, INFORMATION RECORDING MEDIUM VERIFICATION METHOD AND COMPUTER PROGRAM例文帳に追加

情報記録媒体検証装置、および情報記録媒体検証方法、並びにコンピュータ・プログラム - 特許庁

LOGIC EQUIVALENCE VERIFICATION DEVICE, LOGIC EQUIVALENCE VERIFICATION METHOD, CONTROL PROGRAM AND READABLE RECORDING MEDIUM例文帳に追加

論理等価性検証装置、論理等価性検証方法、制御プログラムおよび可読記録媒体 - 特許庁

IMAGE VERIFICATION DEVICE, IMAGE VERIFICATION METHOD, COMPUTER PROGRAM, AND COMPUTER-READABLE STORAGE MEDIUM例文帳に追加

画像検証装置、画像検証方法、コンピュータプログラム、及びコンピュータ読み取り可能な記録媒体 - 特許庁

FARE CALCULATION DEVICE, COMPARISON VERIFICATION METHOD, FARE CALCULATION METHOD AND PROGRAM例文帳に追加

運賃算出装置、突合検証方法、運賃算出方法及びプログラム - 特許庁

MAGNETIC MEMORY DEVICE, AND PROGRAM METHOD AND VERIFICATION METHOD FOR REFERENCE CELL THEREFOR例文帳に追加

磁気メモリ装置、このためのリファレンスセルのプログラム方法及び検証方法 - 特許庁

To provide an operation verification method and an operation verification program, capable of performing operation verification with a number of data patterns for operation verification in a computer.例文帳に追加

計算機での動作検証を行うのに大量のデータパターンでの動作検証を可能とする動作検証方法及び動作検証プログラムを提供する。 - 特許庁

DEVICE, METHOD AND PROGRAM FOR SUPPORTING PROGRAM VERIFICATION例文帳に追加

プログラム検証支援装置、プログラム検証支援方法、及び、プログラム検証支援プログラム - 特許庁

METHOD FOR VERIFYING LOGICAL DATA, LOGIC VERIFICATION SYSTEM FOR EXECUTING THE VERIFICATION METHOD AND RECORDING MEDIUM RECORDING PROGRAM FOR EXECUTING THE VERIFICATION METHOD例文帳に追加

論理データの検証方法、該論理検証方法を実行する論理検証システム及び前記論理検証方法を実行するプログラムを記憶した記録媒体 - 特許庁

MEASUREMENT EQUIPMENT, MEASUREMENT METHOD, MEASUREMENT PROGRAM, MEASUREMENT DATA EDITING DEVICE, MEASUREMENT DATA EDITING METHOD, MEASUREMENT DATA EDITING PROGRAM, MEASUREMENT TIME VERIFICATION DEVICE, MEASUREMENT TIME VERIFICATION METHOD AND MEASUREMENT TIME VERIFICATION PROGRAM例文帳に追加

計測機器、計測方法、計測プログラム、計測データ編集装置、計測データ編集方法、計測データ編集プログラム、計測時刻検証装置、計測時刻検証方法、及び計測時刻検証プログラム - 特許庁

ELECTRONIC SIGNATURE VERIFICATION METHOD AND ITS SYSTEM AND ELECTRONIC SIGNATURE VERIFICATION PROGRAM AND RECORDING MEDIUM WITH ITS PROGRAM RECORDED例文帳に追加

電子署名検証方法及びシステム、並びに電子署名検証プログラム及びこのプログラムを記録した記録媒体 - 特許庁

SUBSTRATE PROCESSING SYSTEM, SUBSTRATE PROCESSING METHOD, VERIFICATION PROGRAM AND RECORDING MEDIUM READABLE BY COMPUTER WITH VERIFICATION PROGRAM RECORDED THEREON例文帳に追加

基板処理システム、基板処理方法、検証プログラム及び検証プログラムを記録したコンピュータ読み取り可能な記録媒体 - 特許庁

SIGNATURE VERIFICATION SYSTEM AND METHOD, SIGNATURE VERIFICATION PROGRAM AND COMPUTER READABLE RECORDING MEDIUM HAVING THE PROGRAM RECORDED THEREON例文帳に追加

署名検証システムおよび方法と署名検証プログラムおよび該プログラムを記録したコンピュータ読取り可能な記録媒体 - 特許庁

TEST PATTERN GENERATION METHOD FOR FAILURE VERIFICATION AND ITS DEVICE, FAILURE VERIFICATION METHOD AND ITS DEVICE, AND PROGRAM例文帳に追加

故障検証用テストパターン生成方法及びその装置、故障検証方法及びその装置、並びにプログラム - 特許庁

IMAGE GENERATING APPARATUS, IMAGE FILE GENERATING METHOD, IMAGE VERIFICATION APPARATUS, IMAGE VERIFICATION METHOD, PROGRAM, AND RECORDING MEDIUM例文帳に追加

画像生成装置、画像ファイル生成方法、画像検証装置、画像検証方法、プログラムおよび記録媒体 - 特許庁

CIRCUIT VERIFICATION DEVICE, METHOD FOR PRODUCING SEMICONDUCTOR INTEGRATED CIRCUIT, CIRCUIT VERIFICATION METHOD, CONTROL PROGRAM AND RECORDING MEDIUM例文帳に追加

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

ASYNCHRONOUS CIRCUIT-VERIFYING PROGRAM DATA GENERATION METHOD, ASYNCHRONOUS CIRCUIT VERIFICATION METHOD AND ASYNCHRONOUS CIRCUIT VERIFICATION DEVICE例文帳に追加

非同期回路検証用のプログラムデータ生成方法、非同期回路検証方法及び非同期回路検証装置 - 特許庁

ABSTRACTION DEVICE AND VERIFICATION DEVICE OF CIRCUIT DESCRIPTION, ABSTRACTION PROGRAM AND VERIFICATION PROGRAM OF THE CIRCUIT DESCRIPTION, AND ABSTRACTION METHOD AND VERIFICATION METHOD OF THE CIRCUIT DESCRIPTION例文帳に追加

回路記述の抽象化装置及び検証装置、回路記述の抽象化プログラム及び検証プログラム、並びに回路記述の抽象化方法及び検証方法 - 特許庁

To provide an execution order verification system, an execution order verification method and an execution order verification program, for verifying a program execution order.例文帳に追加

プログラムの実行順序を検証できる実行順序検証システム、実行順序検証方法、および実行順序検証プログラムを提供すること。 - 特許庁

BIOLOGICAL DATA VERIFICATION DEVICE, BIOLOGICAL DATA VERIFICATION METHOD, BIOLOGICAL DATA VERIFICATION PROGRAM, AND COMPUTER-READABLE RECORDING MEDIUM WITH THE PROGRAM RECORDED THEREIN例文帳に追加

生体データ照合装置、生体データ照合方法、生体データ照合プログラムおよび生体データ照合プログラムを記録したコンピュータ読取り可能な記録媒体 - 特許庁

INTER-PROCESSOR TRANSMISSION DATA ABNORMALITY SIMULATION DEVICE, ERROR VERIFICATION SUPPORT METHOD, RECORDING MEDIUM HAVING ERROR VERIFICATION SUPPORT PROGRAM RECORDED THEREON AND ERROR VERIFICATION SUPPORT PROGRAM例文帳に追加

プロセッサ間送信データ異常擬似装置、エラー検証支援方法、エラー検証支援プログラムを記録した記録媒体及びエラー検証支援プログラム - 特許庁

LASER RADAR INSTALLATION POSITION VERIFICATION APPARATUS, LASER RADAR INSTALLATION POSITION VERIFICATION METHOD, AND PROGRAM FOR LASER RADAR INSTALLATION POSITION VERIFICATION APPARATUS例文帳に追加

レーザレーダ用設置位置検証装置、レーザレーダ用設置位置の検証方法及びレーザレーダ用設置位置検証装置用プログラム - 特許庁

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

設計検証システム、設計検証方法、および、設計検証プログラム - 特許庁

DOCUMENT IMAGE VERIFICATION DEVICE, DOCUMENT IMAGE ALIGNMENT METHOD AND PROGRAM例文帳に追加

文書画像照合装置、文書画像位置合わせ方法及びプログラム - 特許庁

DEVICE VERIFICATION PROGRAM, PERFORMANCE MEASUREMENT METHOD, AND PERFORMANCE MEASUREMENT DEVICE例文帳に追加

装置検証プログラム，性能測定方法及び性能測定装置 - 特許庁

SYSTEM, METHOD, AND PROGRAM FOR MESSAGE VERIFICATION例文帳に追加

メッセージ検証システム、メッセージ検証方法およびメッセージ検証プログラム - 特許庁

SERVICE COOPERATION NETWORK SYSTEM, ITS SERVICE VERIFICATION METHOD, AND PROGRAM例文帳に追加

サービス連携ネットワークシステム及びそのサービス検証方法及びプログラム - 特許庁

SIGNATURE PRODUCING DEVICE, SIGNATURE VERIFICATION DEVICE, AND THEIR METHOD AND PROGRAM例文帳に追加

署名生成装置、署名検証装置、それらの方法及びプログラム - 特許庁

LAYOUT VERIFICATION METHOD AND PROGRAM FOR SEMICONDUCTOR INTEGRATED CIRCUIT例文帳に追加

半導体集積回路のレイアウト検証方法および検証プログラム - 特許庁

METHOD, APPARATUS AND COMPUTER PROGRAM FOR SUPPORTING SIGNATURE VERIFICATION, AND RECORDING MEDIUM例文帳に追加

署名検証支援方法、装置、コンピュータプログラム及び記録媒体 - 特許庁

DATA STRUCTURE AND RECORDING MEDIUM, AUTHORING DEVICE, AUTHORING METHOD, AUTHORING PROGRAM, RECORDING DEVICE, RECORDING METHOD, RECORDING PROGRAM, VERIFICATION DEVICE, VERIFICATION METHOD, VERIFICATION PROGRAM, AND MANUFACTURING APPARATUS AND METHOD OF RECORDING MEDIUM例文帳に追加

データ構造および記録媒体、オーサリング装置、オーサリング方法オーサリングプログラム、記録装置、記録方法および記録プログラム、検証装置、検証方法および検証プログラム、ならびに、記録媒体の製造装置および製造方法 - 特許庁

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

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

MEASUREMENT CONDITION GENERATION DEVICE AND METHOD, PROGRAM, AND PROGRAM VERIFICATION DEVICE例文帳に追加

計測条件生成装置、計測条件生成方法、プログラム及びプログラム検証装置 - 特許庁

SIGNAL PROCESSING APPARATUS, VERIFICATION SYSTEM, SIGNAL PROCESSING PROGRAM, VERIFYING PROGRAM, AND SIGNAL PROCESSING METHOD例文帳に追加

信号処理装置、検証システム、信号処理プログラム、検証プログラム、および、信号処理方法 - 特許庁

KEY MANAGEMENT SYSTEM USING SECRECY DISPERSION METHOD, VERIFICATION CENTER, COMMUNICATION TERMINAL, PROGRAM FOR VERIFICATION CENTER, PROGRAM FOR COMMUNICATION TERMINAL, AND KEY MANAGEMENT METHOD USING SECRECY DISPERSION METHOD例文帳に追加

秘密分散法による鍵管理システム、検証センタ、通信端末、検証センタ用プログラム、通信端末用プログラム、並びに秘密分散法による鍵管理方法 - 特許庁