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

PROGRAM LOADER WITH TAMPERING VERIFICATION FUNCTION FOR LOAD-DESTINATION INFORMATION, PROCESSOR INCLUDING PROGRAM LOADER, DATA PROCESSING DEVICE INCLUDING PROCESSOR, PROGRAM LOADING METHOD, AND INTEGRATED CIRCUIT例文帳に追加

ロード先情報に対する改ざん検証機能を備えたプログラムローダ、プログラムローダを含むプロセッサ、プロセッサを含むデータ処理装置、プログラムロード方法、及び集積回路 - 特許庁

The common processing program is provided with a function for developing the verification programs verifying operation of the LSI 2 at a designated development destination address on the memory of the LSI 2 and a function for starting the designated verification program among the verification programs developed on the memory.例文帳に追加

共通処理プログラムは、LSI2の動作を検証する検証プログラムを、LSI2のメモリ上の指示された展開先アドレスに展開する機能と、メモリ上に展開されている検証プログラムの内の指示された検証プログラムを起動する機能とを有する。 - 特許庁

Therefore, afterward, the verification program is developed on the memory by using the common processing program to be operated, so that verification efficiency can be improved when a plurality of verification programs are required for verifying operation of the LSI 2.例文帳に追加

従ってこれ以後は、共通処理プログラムを利用して検証プログラムをLSI2のメモリ上に展開し、実行させることが可能となるので、LSI2の動作検証に複数の検証プログラムが必要になる場合、検証効率を向上させることが可能になる。 - 特許庁

To provide an abstraction device and a verification device of circuit description, an abstraction program and a verification program of the circuit description, and an abstraction method and a verification method of the circuit description, allowing facilitation of verification of the circuit description converted into a formal specification, wherein description contents of a program can be verified by a formal technique.例文帳に追加

プログラムの記述内容を形式的手法による検証が可能な形式的仕様に変換した回路記述の検証を簡便ならしめることができる回路記述の抽象化装置及び検証装置、回路記述の抽象化プログラム及び検証プログラム、並びに回路記述の抽象化方法及び検証方法を提供する。 - 特許庁

To prevent the erroneous trying of program verification operation and the like and the reduction of the speed of a flash memory device when program verification operation and the like are performed after delay previously set, in an execution method of program verification operation and erasion verification operation, a control circuit for a detecting time, and a flash memory device.例文帳に追加

プログラム検証動作および消去検証動作の実施方法、検出時間制御回路およびフラッシュメモリデバイスに関し、予め設定された遅延後にプログラム検証動作等を実施する場合に、プログラム検証動作等が誤って試行されたりフラッシュメモリデバイスの速度が低下したりするのを防止することを目的とする。 - 特許庁

To provide a processor verification program which automates control on generation of a processing state of a pipeline stage to be verified at the time of processor verification.例文帳に追加

プロセッサ検証時におけるパイプラインステージの検証すべき処理状態の生成に係る制御を自動化したプロセッサ検証プログラムを提供することにある。 - 特許庁

To integrate the management of a test bench of the largest arrangement and to increase the efficiency of verification time based on the construction of the test bench optimized for a verification program.例文帳に追加

最大構成のテストベンチ管理の一元化と、検証用プログラムに最適化されたテストベンチ構築による検証時間の効率化と、を実現する点にある。 - 特許庁

CONTROLLER PART OPERATION VERIFICATION SYSTEM, IMAGE PROCESSOR, CONTROLLER PART OPERATION VERIFICATION DEVICE, IMAGE DATA OUTPUT CONTROL METHOD, IMAGE DATA RESTORATION METHOD, STORAGE MEDIUM, AND PROGRAM例文帳に追加

コントローラ部動作検証システム、画像処理装置、コントローラ部動作検証装置、画像データ出力制御方法、画像データ復元方法、記憶媒体、及びプログラム - 特許庁

To provide a data verification device and a data verification program for verifying the validity of information obtained from an onboard apparatus.例文帳に追加

車載機から取得した情報の正当性の検証を行うことができるデータ検証装置及びデータ検証プログラムを提供することを目的とする。 - 特許庁

To provide a verification method and verification program of circuit design, which can improve the quality of a circuit by detecting the deadlock of a state machine.例文帳に追加

ステートマシンのデッドロックを検出し、回路の品質を向上させることができる回路設計の検証方法および検証プログラムの提供を図る。 - 特許庁

MESSAGE AUTHENTICATION CODE GENERATION DEVICE, MESSAGE AUTHENTICATION CODE VERIFICATION DEVICE, MESSAGE AUTHENTICATION CODE GENERATION METHOD, MESSAGE AUTHENTICATION CODE VERIFICATION METHOD, PROGRAM, AND RECORDING MEDIUM例文帳に追加

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

To control a bar code verification machine by a printer mounted with the bar code verification machine, even if printing bar codes by the use of a general-purpose application program.例文帳に追加

汎用のアプリケーションプログラムを使用してバーコードを印刷しても、バーコード検証機を搭載したプリンタでバーコード検証機を制御可能とする。 - 特許庁

By a data conversion and verification program 130, a data verification using the definition information 172 internally possessed by a target accounting system 170 that is the data writing designation is performed.例文帳に追加

データ変換・検証プログラム１３０で、データ書き込み先のターゲット会計システム１７０が内部に持つ定義情報１７２を用いたデータ検証を行う。 - 特許庁

PROXY SERVER, ELECTRONIC SIGNATURE SYSTEM, ELECTRONIC SIGNATURE VERIFICATION SYSTEM, NETWORK SYSTEM, ELECTRONIC SIGNATURE METHOD, ELECTRONIC SIGNATURE VERIFICATION METHOD, RECORDING MEDIUM AND PROGRAM TRANSMISSION DEVICE例文帳に追加

プロキシサーバ、電子署名システム、電子署名検証システム、ネットワークシステム、電子署名方法、電子署名検証方法、記憶媒体及びプログラム伝送装置 - 特許庁

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

回路動作検証装置、回路動作検証方法、半導体集積回路の製造方法、制御プログラム、およびコンピュータ読み取り可能な可読記憶媒体 - 特許庁

To provide a vehicle travelling verification system, a vehicle travelling verification technique, and a program capable of detecting the fake itself of GPS satellite observation data.例文帳に追加

ＧＰＳ衛星観測データの捏造自体を検出できる車両走行検証システム、車両走行検証方法及びプログラムを提供する。 - 特許庁

METHOD AND DEVICE FOR VERIFYING RATIO OPERATION AND STORAGE MEDIUM RECORDING RATIO OPERATION VERIFICATION PROGRAM例文帳に追加

レシオ動作検証方法および装置、並びにレシオ動作検証プログラムを記録した記録媒体 - 特許庁

PROGRAM, SYSTEM AND METHOD FOR TIME STAMP VERIFICATION, AND TIME STAMP GENERATION REQUEST METHOD例文帳に追加

タイムスタンプ検証プログラム、タイムスタンプ検証システム、タイムスタンプ検証方法、タイムスタンプ生成依頼方法 - 特許庁

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

入力情報検証システム、入力情報検証方法及び入力情報検証用プログラム - 特許庁

LOAD VERIFICATION REQUIREMENT SPECIFYING APPARATUS, METHOD, AND PROGRAM例文帳に追加

負荷検証要件特定装置、負荷検証要件特定方法及び負荷検証要件特定プログラム - 特許庁

CONNECTION SYSTEM FOR CONFIGURATION VERIFYING EQUIPMENT, VERIFICATION TERMINAL, CONNECTION METHOD FOR CONFIGURATION VERIFYING EQUIPMENT, AND PROGRAM例文帳に追加

構成証明機器接続システム、検証端末、構成証明機器接続方法、及びプログラム - 特許庁

A circuit verification program 16 is previously stored in a memory 12 accessible from the processor 11.例文帳に追加

プロセッサ１１からアクセス可能なメモリ１２に、回路検証プログラム１６を予め記憶しておく。 - 特許庁

DATA PROCESSING UNIT, DATA PROCESSING METHOD AND METHOD FOR PROVIDING DATA VERIFICATION VALUE, AND PROGRAM SERVICE MEDIUM例文帳に追加

データ処理装置、データ処理方法およびデータ検証値付与方法、並びにプログラム提供媒体 - 特許庁

To provide an electronic signature verification system in which the configuration of an application program is simplified.例文帳に追加

アプリケーションプログラムの構造を簡易化することができる電子署名検証システムを提供する。 - 特許庁

DATA VERIFICATION SYSTEM, ITS METHOD, IDENTIFIER CREATOR, DATA VERIFIER, PROGRAM THEREOF AND RECORD MEDIUM例文帳に追加

データ検証システム、その方法、識別子生成装置、データ検証装置、それらプログラム及び記録媒体 - 特許庁

DATA RETENTION DEVICE, DATA RETENTION METHOD, DATA VERIFICATION DEVICE, DATA ACCESS PERMISSION DEVICE, PROGRAM, RECORDING MEDIUM例文帳に追加

データ保存装置、データ保存方法、データ検証装置、データアクセス許可装置、プログラム、記録媒体 - 特許庁

CONSISTENCY VERIFICATION METHOD OF OBJECT INTERNAL STATE, INFORMATION PROCESSING SYSTEM, PROGRAM AND RECORDING MEDIUM例文帳に追加

オブジェクト内部状態の一貫性確認方法、情報処理システム、プログラム、および記録媒体 - 特許庁

INFORMATION PROCESSOR, WORK FLOW SYSTEM, VERIFICATION CONTROL METHOD FOR INFORMATION PROCESSOR, PROGRAM, AND RECORDING MEDIUM例文帳に追加

情報処理装置、ワークフローシステム、情報処理装置の検証制御方法、プログラム、及び、記録媒体。 - 特許庁

While software is executed as a verification program, the behavior model of a peripheral device is started.例文帳に追加

ソフトウエアを検証プログラムとして実行すると共に、周辺デバイスのビヘイビュアモデルが起動する機構。 - 特許庁

INFORMATION PROCESSING APPARATUS, VERIFICATION PROCESSING APPARATUS, CONTROL METHODS THEREOF, COMPUTER PROGRAM, AND STORAGE MEDIUM例文帳に追加

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

INFORMATION PROCESSING SYSTEM, INFORMATION PROCESSOR, FUNCTIONAL VERIFICATION SUPPORT METHOD OF NEW COMPUTER AND COMPUTER PROGRAM例文帳に追加

情報処理システム、情報処理装置、新計算機の機能検証支援方法、及びコンピュータプログラム - 特許庁

To increase write operation speed by enabling simultaneous verification of many bits when verifying a program.例文帳に追加

プログラムベリファイ時に多数ビットを同時にベリファイ可能にして書き込み動作の高速化を図る。 - 特許庁

TIME STAMP COMPRESSION APPARATUS, VERIFICATION APPARATUS, REQUEST APPARATUS, SERVER, CONTROL METHOD, PROGRAM, AND STORAGE MEDIUM例文帳に追加

タイムスタンプ圧縮装置、検証装置、要求装置、サーバ、制御方法、プログラム、及び記憶媒体 - 特許庁

IDENTIFICATION CODE GENERATION/VERIFICATION DEVICE, PROGRAM AND METHOD, CARD HAVING IDENTIFICATION CODE, AND PERSONAL AUTHENTICATION SYSTEM例文帳に追加

識別コード生成・検証装置、プログラム、方法、識別コードを有するカード及び個人認証システム - 特許庁

SYSTEM AND METHOD FOR DIGITAL SIGNATURE VERIFICATION USING BIOMETRICS INFORMATION, AND PROGRAM FOR THEM例文帳に追加

バイオメトリクス情報を用いたデジタル署名・検証システムおよび方法ならびにそのためのプログラム - 特許庁

METHOD FOR VERIFYING MASK DATA AND COMPUTER-READABLE RECORDING MEDIUM WITH RECORDED VERIFICATION PROGRAM例文帳に追加

マスクデータの検証方法および検証プログラムを記録したコンピュータ読み取り可能な記録媒体 - 特許庁

To increase write operation speed by enabling simultaneous verification of many bits when a program is verified.例文帳に追加

プログラムベリファイ時に多数ビットを同時にベリファイ可能にして書き込み動作の高速化を図る。 - 特許庁

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

機械加工検証支援方法および装置、機械加工検証支援用プログラムおよび記憶媒体 - 特許庁

An information processing apparatus 110 is provided with a graphic library 112 and a verification program 111.例文帳に追加

情報処理装置１１０は、グラフィックライブラリ１１２と、検証プログラム１１１と、を備えている。 - 特許庁

CONTENT FEATURE AMOUNT EXTRACTION DEVICE AND PROGRAM THEREFOR, CONTENT VERIFICATION PROGRAM AND METHOD THEREFOR例文帳に追加

コンテンツ特徴量抽出装置及びそのプログラム並びにコンテンツ認証データ生成装置及びそのプログラム並びにコンテンツ認証方法 - 特許庁

METHOD AND PROGRAM FOR VERIFYING ELECTRONIC INFORMATION DISCLOSURE, AND RECORDING MEDIUM WITH ELECTRONIC INFORMATION DISCLOSURE VERIFICATION PROGRAM RECORDED THEREON例文帳に追加

電子情報公開検証方法、電子情報公開検証プログラム、電子情報公開検証プログラムを記録した記録媒体 - 特許庁

VERIFICATION DATA EMBEDDING METHOD, PROGRAM AND APPARATUS, IMAGE TAMPERING DETECTING METHOD, PROGRAM, APPARATUS, AND IMAGE TAMPERING DETECTION SYSTEM例文帳に追加

検証データ埋め込み方法、プログラムおよび装置、画像改竄検出方法、プログラムおよび装置ならびに画像改竄検出システム - 特許庁

To provide a process control program creation device to facilitate the construction and the verification of a process control program.例文帳に追加

本発明の目的は、プロセス制御プログラムムの構築と検証を容易にするプロセス制御プログラム作成装置を提供するにある。 - 特許庁

To provide a cross verification device capable of performing cross verification among a natural language specification, a C-language program and a GUI-base control logic in development of control software for engine, and capable of consequently enhancing the efficiency of the development; a cross verification method; and a cross verification program.例文帳に追加

エンジンの制御ソフトウェアの開発において自然言語の仕様とＣ言語のプログラムとＧＵＩベースの制御ロジックとのクロス検証を行うことができ、結果的に当該開発の効率を高めることができるクロス検証装置、クロス検証方法およびクロス検証プログラムを提供することを課題とする。 - 特許庁

TIME CERTIFICATION METHOD, TIME CERTIFICATION AUDIT METHOD, TIME CERTIFICATION DEVICE, AUDIT DEVICE, TIME CERTIFICATION PROGRAM, TIME CERTIFICATION AUDIT PROGRAM, TIME CERTIFICATION VERIFICATION PROGRAM, AND PROGRAM RECORDING MEDIUM例文帳に追加

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