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

To provide an information verification device, an information verification program and an information verification method which can verify the correctness of the information of image data extracted based on any extraction condition.例文帳に追加

何らかの抽出条件に基づいて抽出された画像データ等の情報の正誤を検証する情報検証装置、情報検証プログラムおよび情報検証方法を実現する。 - 特許庁

To provide a seal verification program and a seal verification device capable of performing a seal verification with high accuracy even when a ready-made seal or the like, whose shape of the seal impression is relatively simple.例文帳に追加

比較的印影の形状が簡素な三文判等であっても、精度の高い印鑑照合を行なうことが可能な印鑑照合プログラムおよび印鑑照合装置を提供すること。 - 特許庁

To provide a design verification device, a design verification method and a design verification program that make it possible to easily and accurately generate a correspondence relationship between an operation content and an operation result of an embedded device and the like, and to perform a design verification.例文帳に追加

組込機器等の操作内容と操作結果との対応関係を容易かつ正確に生成して設計検証を行うことが可能になる、設計検証装置、設計検証方法、及び設計検証プログラムを提供すること。 - 特許庁

IMAGE VERIFICATION SYSTEM, IMAGE VERIFYING DEVICE, IMAGE VERIFYING METHOD, PROGRAM AND RECORDING MEDIUM例文帳に追加

画像検証システム、画像検証装置、画像検証方法、プログラムおよび記録媒体 - 特許庁

TELEPHONE, CONTROL METHOD THEREOF, PROGRAM, AND PRESENT/ABSENT VERIFICATION SYSTEM例文帳に追加

電話機、電話機の制御方法及びプログラム並びにこれらを使用した在／不在確認システム - 特許庁

METHOD, SYSTEM, AND COMPUTER PROGRAM PRODUCT FOR GENERATING AUTOMATED ASSUMPTION FOR COMPOSITIONAL VERIFICATION例文帳に追加

合成検証のための自動仮定を生成する方法、システム、及びコンピュータプログラム製品 - 特許庁

ELECTRONIC SIGNATURE DEVICE, ELECTRONIC SIGNATURE VERIFICATION DEVICE, ELECTRONIC SIGNATURE METHOD, PROGRAM, AND RECORDING MEDIUM例文帳に追加

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

ELECTRONIC VERIFICATION DEVICE, ELECTRONIC VERIFYING METHOD, AND PROGRAM FOR EXECUTING THE SAME METHOD BY COMPUTER例文帳に追加

電子検証装置、電子検証方法およびその方法をコンピュータに実行させるプログラム - 特許庁

DIGITAL CAMERA WITH FUNCTION OF VERIFYING ORIGINALITY OF IMAGE PICKED UP AND ITS VERIFICATION PROGRAM例文帳に追加

撮像画像のオリジナル性を証明する機能を備えた電子カメラと、その検証プログラム - 特許庁

CELLULAR PHONE TERMINAL APPARATUS, DISPATCHER NAME VERIFICATION PROGRAM, AND TELEPHONE NUMBER-SEARCHING SYSTEM例文帳に追加

携帯電話端末装置、発信者名称確認プログラム、および電話番号検索システム - 特許庁

SIGNATURE VERIFICATION DEVICE, SIGNATURE PROVIDING DEVICE, CONTROL METHOD FOR THESE DEVICES, PROGRAM, AND STORAGE MEDIUM例文帳に追加

署名検証装置、署名付与装置、及び、それらの制御方法、プログラム、記憶媒体 - 特許庁

METHOD AND PROGRAM FOR TIMING VERIFICATION OF LSI TEST DATA例文帳に追加

ＬＳＩテスト・データのタイミング検証方法およびＬＳＩテスト・データのタイミング検証プログラム - 特許庁

COMPUTER SIMULATION PROGRAM, VERIFICATION METHOD FOR MODEL OF PROCESSOR, AND COMPUTER SIMULATION METHOD例文帳に追加

計算機シミュレーションプログラム、プロセッサのモデルの検証方法、及び計算機シミュレーション方法 - 特許庁

MASK VERIFICATION METHOD, METHOD FOR MANUFACTURING SEMICONDUCTOR DEVICE, AND CONTROL PROGRAM FOR EXPOSURE CONDITION例文帳に追加

マスク検証方法、半導体装置の製造方法及び露光条件の調整プログラム - 特許庁

DATA TRANSMISSION DEVICE, DATA STORAGE DEVICE, ELECTRONIC SIGNATURE VERIFICATION DEVICE, AND PROGRAM THEREOF例文帳に追加

データ送信装置、データ記憶装置および電子署名検証装置ならびにそれらのプログラム - 特許庁

VALIDITY VERIFICATION METHOD OF DATA WRITTEN IN IC CARD, AND PROGRAM FOR IC CARD例文帳に追加

ＩＣカードに書込まれたデータの正当性検証方法およびＩＣカード用プログラム - 特許庁

CONTROLLER PART OPERATION VERIFICATION DEVICE, CONTROLLER PART OPERATION VERIFYING METHOD, RECORDING MEDIUM, AND PROGRAM例文帳に追加

コントローラ部動作検証装置、コントローラ部動作検証方法、記憶媒体、及びプログラム - 特許庁

RECOVERY SIGNATURE SYSTEM, SIGNATURE CREATING DEVICE, SIGNATURE VERIFICATION DEVICE, METHOD FOR THEM AND PROGRAM例文帳に追加

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

PRESENTATION SYSTEM AND METHOD FOR CHANGE MACHINE AND RECORDING MEDIUM WITH VERIFICATION PROGRAM RECORDED THEREON例文帳に追加

釣銭機プレゼンテーションシステム、プレゼンテーション方法、および検証プログラムを記録した記録媒体 - 特許庁

METHOD FOR ELECTRONIC SIGNATURE WITH THRESHOLD, VERIFICATION METHOD, DEVICE USING THESE METHODS AND PROGRAM例文帳に追加

閾値つき電子署名の方法、検証方法、それらの方法を用いた装置およびプログラム - 特許庁

VERIFICATION SYSTEM, PROCESSING EXECUTION DEVICE, METHOD AND PROGRAM FOR CONVERTING CONTROL COMMAND例文帳に追加

検証システム、処理実行装置、制御コマンド変換方法および制御コマンド変換プログラム - 特許庁

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

ハッシュ生成装置及び検証装置及びハッシュ生成プログラム及びハッシュ生成方法 - 特許庁

NETWORK ACCESS SYSTEM AND METHOD, VERIFICATION SYSTEM, EDGE ROUTER, ACCESS CONTROLLER, AND COMPUTER PROGRAM例文帳に追加

ネットワークアクセスシステム及び方法、認証装置、エッジルータ、アクセス制御装置、ならびに、コンピュータプログラム - 特許庁

To efficiently verify a verification object program for performing parallel processing.例文帳に追加

並行処理を行う検証対象プログラムを効率よく検証することができるようにする。 - 特許庁

To improve the maintainability and reliability of a source program and the facility of a verification test.例文帳に追加

ソースプログラムの保守性および信頼性、並びに、検証テストの容易性を向上させる。 - 特許庁

METHOD OF GENERATING A PLURALITY OF KEYS AND TAMPERING VERIFICATION METHOD, AND APPARATUS, AND STORAGE MEDIUM AND PROGRAM例文帳に追加

複数鍵生成方法及び改竄検証方法、並びに装置、記憶媒体、プログラム - 特許庁

METHOD, DEVICE FOR VERIFYING LAYOUT AND RECORDING MEDIUM IN WHICH LAYOUT VERIFICATION PROGRAM IS RECORDED例文帳に追加

レイアウト検証方法及び装置並びにレイアウト検証プログラムを記録した記録媒体 - 特許庁

In a program operation (LSB program) having the state "10", a dummy pulse having no verification operation is applied to the multi-level cell before application of a program voltage to reduce distribution width of the threshold voltage having the state "10".例文帳に追加

10”状態のプログラム動作(LSB program)を検証動作のないダミー(dummy)パルスをプログラム電圧の印加前に印加し、“10”状態のしきい値電圧の分布幅を減らす。 - 特許庁

To provide a program verification device capable of statically verifying a program for handling recursive data on the basis of representation.例文帳に追加

表明に基づいて再帰データを扱うプログラムを静的に検証することができるプログラム検証装置を提供する。 - 特許庁

PROGRAM VERIFICATION DEVICE TO EXTRACT CHECKING PROGRAM TO VERIFY PERIPHERAL AND SIMILAR FUNCTIONS BASED ON CONFIRMATION AND INSPECTION ITEM FOR MODIFICATION例文帳に追加

修正確認検査項目を元に周辺・類似機能を確認する検査プログラムを抽出するプログラム検査装置 - 特許庁

PROGRAM, APPARATUS AND METHOD FOR GENERATING VERIFICATION INFORMATION OF ELECTRONIC MAIL, AND PROGRAM AND APPARATUS FOR VERIFYING ELECTRONIC MAIL例文帳に追加

電子メールの検証情報生成プログラム、及びその装置、ならびにその方法、電子メールの検証プログラム、及びその装置 - 特許庁

The read-only memory of an IC card 1 stores a secret key for enciphering, an enciphering system identification flag, a verification identification flag, and a verification program.例文帳に追加

ＩＣカード１の読出し専用メモリは、暗号化のための秘密鍵、暗号方式識別フラグ、検証識別フラグ、検証プログラムを記憶する。 - 特許庁

The verification apparatus 110 is provided with a verification program 111, scenario data 112, iteration condition data 113, and control code information 114.例文帳に追加

検証装置１１０は、検証プログラム１１１と、シナリオデータ１１２と、反復条件データ１１３と、制御コード情報１１４と、を備えている。 - 特許庁

MESSAGE AUTHENTICATOR GENERATOR, MESSAGE AUTHENTICATOR VERIFICATION APPARATUS, MESSAGE AUTHENTICATOR GENERATING METHOD, MESSAGE AUTHENTICATOR VERIFICATION METHOD, PROGRAM, AND RECORDING MEDIUM例文帳に追加

メッセージ認証子生成装置、メッセージ認証子検証装置、メッセージ認証子生成方法、メッセージ認証子検証方法、プログラム、および記録媒体 - 特許庁

MESSAGE AUTHENTICATOR GENERATOR, MESSAGE AUTHENTICATOR VERIFICATION DEVICE, MESSAGE AUTHENTICATOR GENERATING METHOD, MESSAGE AUTHENTICATOR VERIFICATION METHOD, PROGRAM, AND RECORDING MEDIUM例文帳に追加

メッセージ認証子生成装置、メッセージ認証子検証装置、メッセージ認証子生成方法、メッセージ認証子検証方法、プログラム、および記録媒体 - 特許庁

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

半導体集積回路の回路検証プログラムおよび半導体集積回路の回路検証方法並びに半導体集積回路の製造方法 - 特許庁

METHOD, APPARATUS AND PROGRAM FOR GENERATING VERIFICATION PACKET FOR PACKET FILTER, VERIFICATION PACKET STREAM AND METHOD FOR TESTING PACKET FILTER例文帳に追加

パケットフィルタの検証パケット発生方法、検証パケット発生装置、検証パケット発生プログラム、検証パケット列並びにパケットフィルタのテスト方法 - 特許庁

OPTICAL PROXIMITY EFFECT CORRECTION METHOD AND DEVICE, OPTICAL PROXIMITY EFFECT VERIFICATION METHOD AND DEVICE, METHOD FOR MANUFACTURING EXPOSURE MASK, AND OPTICAL PROXIMITY EFFECT CORRECTION PROGRAM AND OPTICAL PROXIMITY EFFECT VERIFICATION PROGRAM例文帳に追加

光近接効果補正方法と装置、光近接効果検証方法と装置、露光用マスクの製造方法、更に光近接効果補正プログラムと光近接効果検証プログラム - 特許庁

To provide a verification support program and verification support device, which are capable of efficiently collecting record information on execution processing of a processing request by a program to be verified.例文帳に追加

検証対象のプログラムによる処理要求の実行処理の記録情報を効率よく収集することができる検証支援プログラム及び検証支援装置を提供する。 - 特許庁

To provide a development automation system of software development environments, which can shorten the time for processor verification by improving program readability, thereby facilitating the algorithm verification of a program.例文帳に追加

プログラムの可読性が向上し、それにより、プログラムのアルゴリズム検証を容易とし、プロセッサ検証のための時間を短縮できるソフトウェア開発環境開発自動化システムを提供する。 - 特許庁

To sufficiently reduce the data inspection time by storing an address of a memory cell judged to be failed first by program verification and using the failed memory cell whose address is stored for a start memory cell by the succeeding program verification.例文帳に追加

データの検査時間を十分に短縮することができ、多値データの記憶にも使用することができる半導体記憶装置及びそのデータ検査方法を提供する。 - 特許庁

When a decision result of a temporal logic formula decision device is true, a verification program interpreting part is driven to execute a verification program paired with a temporal logic formula which gets true.例文帳に追加

時相論理式判定装置の判定結果が真になった場合に、検証プログラム解釈部を駆動し、真になった時相論理式と対になっている検証プログラムを実行する。 - 特許庁

PROGRAM ALTERATION VERIFICATION METHOD, ENCAPSULATED DOCUMENT STRUCTURE, STORAGE MEDIUM, ENCAPSULATED DOCUMENT FORMATION DEVICE, ALTERATION VERIFICATION DEVICE, ENCAPSULATED DOCUMENT FORMATION PROCESSING PROGRAM, STORAGE MEDIUM STORING IT, STARTING PROGRAM, AND STORAGE MEDIUM STORING IT例文帳に追加

プログラム改ざん検証方法、カプセル化文書構造、記憶媒体、カプセル化文書作成装置、改ざん検証装置、カプセル化文書作成処理プログラム、これを記憶する記憶媒体、起動プログラム及びこれを記憶する記憶媒体 - 特許庁

To provide an asynchronous circuit-verifying program data generation method, an asynchronous circuit verification method and an asynchronous circuit verification device, allowing higher-speed verification of an asynchronous circuit.例文帳に追加

非同期回路の検証において、より高速で検証を行うことができる非同期回路検証用のプログラムデータ生成方法、非同期回路検証方法及び非同期回路検証装置を提供する。 - 特許庁

To make it possible to extend versatility, and to easily and accurately achieve verification in a verification system and a verification device for verifying the operation of a program to be executed in a device.例文帳に追加

装置において実行されるプログラムの動作を検証する検証システム及び検証装置において、汎用性を広げるとともに検証をより簡単かつ正確に行うことができるようにする。 - 特許庁