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

To efficiently expand test coverage in dynamic verification of a program.例文帳に追加

プログラムの動的検証においてテストカバレッジを効率的に拡大する。 - 特許庁

To support verification of matching property between a specification and a control program.例文帳に追加

仕様書と制御プログラム間の整合性の検証を支援すること。 - 特許庁

METHOD FOR VERIFYING DATA, DATA VERIFICATION DEVICE AND ITS PROCESSING PROGRAM PRODUCT例文帳に追加

データ検証方法、データ検証装置およびその処理プログラム製品 - 特許庁

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例文帳に追加

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

Based on a program verification method of the nonvolatile memory device, a memory cell that does not need program verification has no on-cell current flowing through because the cell cannot be precharged at a time of the program verification operation.例文帳に追加

本発明の実施形態による不揮発性メモリー装置のプログラム検証方法によれば、プログラム検証を必要としないメモリーセルは、プログラム検証動作の時プリチャージできないためにオンセル電流が流れない。 - 特許庁

DEVICE FOR TESTING RULE FILE FOR LAYOUT VERIFICATION AND TEST METHOD AND TEST PROGRAM例文帳に追加

レイアウト検証用ルールファイルのテスト装置、テスト方法及びテストプログラム - 特許庁

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

論理検証装置、論理検証方法および記録媒体並びにプログラム - 特許庁

SEASON TICKET SELLING INFORMATION VERIFICATION SYSTEM, METHOD, PROGRAM AND DEVICE THEREOF例文帳に追加

定期券発売情報検証システム、方法、そのプログラム、およびその装置 - 特許庁

DESCRIPTION VERIFICATION DEVICE AND METHOD, CONTROL PROGRAM AND STORAGE MEDIUM例文帳に追加

記述検証装置及び方法及び制御プログラム及び記憶媒体 - 特許庁

MODEL CREATION DEVICE, MODEL CREATING METHOD, SOURCE CODE VERIFICATION SYSTEM AND PROGRAM例文帳に追加

モデル生成装置、モデル生成方法、ソースコード検証システムおよびプログラム - 特許庁

DEVICE AND METHOD FOR PATTERN DATA VERIFICATION, AND PROGRAM AND RECORDING MEDIUM例文帳に追加

パターンデータ検証装置、パターンデータ検証方法、プログラム及び記録媒体 - 特許庁

RELAY SERVER, SIGNATURE VERIFICATION SYSTEM, DOCUMENT DATA RELAY METHOD, AND PROGRAM例文帳に追加

中継サーバ、署名検証システム、文書データ中継方法、およびプログラム - 特許庁

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

半導体集積回路の回路遅延検証装置、方法およびプログラム - 特許庁

SAFETY VERIFICATION SYSTEM, METHOD AND PROGRAM OF REACTIVE SYSTEM, AND RECORDING MEDIUM WITH THE PROGRAM RECORDED例文帳に追加

リアクティブ・システムの安全性検証装置、方法、プログラム及びそのプログラムを記録した記録媒体 - 特許庁

DESIGN RULE VERIFICATION PROGRAM, RECORDING MEDIUM WITH THE PROGRAM RECORDED THEREON, AND DESIGN RULE VERIFYING APPARATUS例文帳に追加

設計ルール検証プログラム、該プログラムを記録した記録媒体、および設計ルール検証装置 - 特許庁

PROGRAM FOR FINANCIAL PRODUCT TRADE VERIFICATION SYSTEM, RECORDING MEDIUM FOR FINANCIAL PRODUCT TRADE VERIFICATION SYSTEM, FINANCIAL PRODUCT TRADE VERIFICATION DEVICE, FINANCIAL PRODUCT TRADE VERIFICATION SYSTEM, AND MANAGEMENT AND OPERATION DEVICE IN FINANCIAL PRODUCT TRADE VERIFICATION SYSTEM例文帳に追加

金融商品売買検証システム用プログラム、金融商品売買検証システム用記録媒体、金融商品売買検証装置、金融商品売買検証システム及び金融商品売買検証システムにおける管理運営装置 - 特許庁

To provide a semiconductor memory device such as a flash memory device for obtaining a program verification voltage that is requested by a program verification operation without any charge loss when an operation mode changes from program operation to the program verification operation.例文帳に追加

プログラム動作からプログラム検証動作へ動作モードが変化する時電荷損失なしでプログラム検証動作で要求されるプログラム検証電圧を得られる半導体メモリ装置、一具体例としてはフラッシュメモリ装置を提供すること。 - 特許庁

EXECUTION METHOD FOR PROGRAM VERIFICATION OPERATION, EXECUTION METHOD FOR ERASION VERIFICATION OPERATION, CONTROL CIRCUIT FOR DETECTING TIME, AND FLASH MEMORY DEVICE例文帳に追加

プログラム検証動作の実施方法、消去検証動作の実施方法、検出時間制御回路、およびフラッシュメモリデバイス - 特許庁

SIGNATURE VERIFICATION SYSTEM, SIGNATURE VERIFICATION METHOD, BLIND SIGNATURE GENERATION METHOD, USER DEVICE, AND BLIND SIGNATURE GENERATION PROGRAM例文帳に追加

署名検証システム、署名検証方法、ブラインド署名生成方法、利用者装置、及びブラインド署名生成プログラム - 特許庁

DEVICE, SYSTEM, METHOD, PROGRAM, PRINTED MATTER AND RECORDING MEDIUM RELATING TO PRINTED MATTER VERIFICATION INFORMATION ADDITION AND PRINTED MATTER VERIFICATION例文帳に追加

印刷物検証情報付加及び印刷物検証に関連する装置、システム、方法、プログラム、印刷物及び記録媒体 - 特許庁

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

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

LOGIC VERIFICATION SYSTEM AND METHOD, LOGIC CONE EXTRACTION DEVICE AND METHOD, AND LOGIC VERIFICATION AND LOGIC CONE EXTRACTION PROGRAM例文帳に追加

論理検証システム及び方法、論理コーン抽出装置及び方法、論理検証及び論理コーン抽出プログラム - 特許庁

To execute co-verification by using software to be used as a device driver or a check program for the logical verification of a system LSI.例文帳に追加

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

To provide a game machine and verification device which make difficult forgery or falsification of a control program and which can prevent a leak of contents of the control program in verification of its truth or falsehood.例文帳に追加

制御プログラムの偽造又は改ざんを困難なものとするとともに、制御プログラムの真偽の検証の際に、制御プログラムの内容の漏洩を防ぐ。 - 特許庁

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例文帳に追加

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

SECURITY REFERENCE VERIFICATION METHOD, ITS EXECUTION DEVICE, AND ITS PROCESSING PROGRAM例文帳に追加

セキュリティ基準検証方法及びその実施装置並びにその処理プログラム - 特許庁

SYSTEM AND APPARATUS FOR VERIFICATION OF SIGNAL, COMPUTER PROGRAM AND RECORDING MEDIUM例文帳に追加

信号検証システム、信号検証装置、コンピュータプログラム、及び記録媒体 - 特許庁

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

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

CURRENT VALUE EVALUATION AND VERIFICATION SUPPORTING SYSTEM, METHOD AND PROGRAM例文帳に追加

時価評価検証支援システム、検証支援方法、および、検証支援プログラム - 特許庁

VERIFICATION OF COMPUTER PROGRAM ASSOCIATED WITH UNEXPECTED RESPONSE TO ACCESS REQUEST例文帳に追加

アクセス要求に対する予期せぬ応答に関するコンピュータ・プログラムの検証 - 特許庁

ELECTRONIC DEVICE, IMAGE PROCESSOR, REMOTE MANAGEMENT SYSTEM, PROGRAM, AND VERIFICATION METHOD例文帳に追加

電子装置、画像処理装置、遠隔管理システム、プログラム及び認証方法 - 特許庁

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

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

METHOD, MOBILE TERMINAL, PROCESSING APPARATUS AND PROGRAM FOR EXECUTING VERIFICATION PROCESS例文帳に追加

検証プロセスを実行するための方法、移動端末、処理装置及びプログラム - 特許庁

CERTIFICATE VERIFICATION SERVER, METHOD, AND PROGRAM例文帳に追加

証明書検証サーバ、証明書検証方法、および証明書検証プログラム - 特許庁

ENCRYPTION PROTOCOL SAFETY VERIFICATION DEVICE, ENCRYPTION PROTOCOL DESIGN DEVICE, ENCRYPTION PROTOCOL SAFETY VERIFICATION METHOD, ENCRYPTION PROTOCOL DESIGN METHOD, ENCRYPTION PROTOCOL SAFETY VERIFICATION PROGRAM AND ENCRYPTION PROTOCOL DESIGN PROGRAM例文帳に追加

暗号プロトコル安全性検証装置、暗号プロトコル設計装置、暗号プロトコル安全性検証方法、暗号プロトコル設計方法、暗号プロトコル安全性検証プログラムおよび暗号プロトコル設計プログラム - 特許庁

A verification program acquiring means 13 is connected to the verification program storing server specified by the server address to transmit a signature algorithm identifier and acquire a signature verification program corresponding to the identifier.例文帳に追加

検証プログラム取得手段１３が、検証プログラム保持サーバアドレスにより特定される検証プログラム保持サーバに接続して、署名アルゴリズム識別子を送信し、この署名アルゴリズム識別子に対応する署名検証プログラムを取得する。 - 特許庁

A verification system of software, having a correspondence of data to a verification program for skipping recognition processing of hardware for each verification item as a database and executing the verification program on a necessary hardware configuration by using the information of the database, is provided.例文帳に追加

検証項目毎にハードウェアの認識処理をスキップさせるためのデータと検証プログラムの対応をデータベースとして持ち、それらの情報を用いて、検証プログラムを必要なハードウェア構成で実行するソフトウェアの検証方式を提供する。 - 特許庁

This method is constituted by providing an ISA specification analyzing step S101 to analyze the ISA specification of a processor, a creating step S103 of verification program generation data to create data to be required for generation of the verification program and a verification program generating step S105 to generate the verification program by using the data.例文帳に追加

プロセッサの命令セットアーキテクチャ（ＩＳＡ）仕様を解析するＩＳＡ仕様解析ステップ（Ｓ１０１）と、検証プログラムの生成に必要なデータを作成する検証プログラム生成データ作成ステップ（Ｓ１０３）と、前記データを用いて検証プログラムを生成する検証プログラム生成ステップ（Ｓ１０５）とを有する。 - 特許庁

To provide a page buffer circuit of a flash memory device, in which a fail of programming operation can be reduced, and to provide a program operation method thereof, while allowing a memory cell determined to be programmed in a previous program verification process to be verified again in a next program verification process.例文帳に追加

前のプログラム検証過程でプログラムされたと判定されたメモリセルが次のプログラム検証過程で再検証できるようにし、プログラム動作のフェールを減少させる。 - 特許庁

APPARATUS AND PROGRAM FOR EMBEDDING VERIFICATION INFORMATION, DEVICE AND PROGRAM FOR CREATING DOCUMENT FOR FALSIFICATION VERIFICATION, AND DEVICE AND PROGRAM FOR VERIFYING FALSIFICATION例文帳に追加

検証情報埋め込み装置、検証情報埋め込みプログラム、改ざん検証用文書作成装置、改ざん検証用文書作成プログラム、改ざん検証装置および改ざん検証プログラム - 特許庁

Then, the terminal device 100 performs verification of an electronic certificate 611 issued by the server device 200 by using the certificate verification program 508 of which verification is completed.例文帳に追加

そして、端末装置１００は、検証が完了した証明書検証プログラム５０８を用いて、サーバ装置２００が発行した電子証明書６１１の検証を行う。 - 特許庁

RESPONSE VERIFICATION SYSTEM, RESPONSE TIME VERIFICATION DEVICE, INFORMATION PROCESSOR WITH RESPONSE MEASURING FUNCTION, RESPONSE TIME COLLECTING PROGRAM, AND AREA-BASED RESPONSE VERIFICATION METHOD例文帳に追加

レスポンス検証システム及びレスポンス時間検証装置及びレスポンス測定機能を備える情報処理装置及びレスポンス時間収集プログラム及び地域別レスポンス検証方法 - 特許庁

To provide a verification apparatus, a verification method, and a verification program that can verify a protocol for authentication or key exchange in accordance with the level of security.例文帳に追加

認証または鍵交換のプロトコルを安全性のレベルに応じて検証することができる検証装置、検証方法および検証プログラムを提供すること。 - 特許庁

SIGNATURE GENERATION METHOD AND SIGNATURE VERIFICATION METHOD, SIGNATURE-GENERATING APPARATUS AND SIGNATURE- VERIFYING APPARATUS, SIGNATURE GENERATION PROGRAM AND SIGNATURE VERIFICATION PROGRAM, AND STORAGE MEDIUM FOR STORING SIGNATURE GENERATION PROGRAM AND STORAGE MEDIUM FOR STORING SIGNATURE VERIFICATION PROGRAM例文帳に追加

署名作成方法及び署名検証方法及び署名生成装置及び署名検証装置及び署名生成プログラム及び署名検証プログラム及び署名作成プログラムを格納した記憶媒体及び署名検証プログラムを格納した記憶媒体 - 特許庁

SIGNATURE GENERATION METHOD AND SIGNATURE VERIFICATION METHOD, SIGNATURE-GENERATING APPARATUS AND SIGNATURE- VERIFYING APPARATUS, SIGNATURE GENERATION PROGRAM AND SIGNATURE VERIFICATION PROGRAM, AND STORAGE MEDIUM FOR STORING SIGNATURE GENERATION PROGRAM AND STORAGE MEDIUM FOR STORING SIGNATURE VERIFICATION PROGRAM例文帳に追加

署名生成方法及び署名検証方法及び署名生成装置及び署名検証装置及び署名生成プログラム及び署名検証プログラム及び署名生成プログラムを格納した記憶媒体及び署名検証プログラムを格納した記憶媒体 - 特許庁