「verification program」を含む例文一覧(1027)
＜前へ 1 2 .... 9 10 11 12 13 14 15 16 17 .... 20 21 次へ＞- The NAND flash memory device includes: a cell array including a plurality of pages; a page buffer storing program data of the plurality of pages; a data storage circuit providing program verification data to the page buffer; and a control unit programming the plurality of pages without program verification operation and performing a program verification operation on the plurality of pages by using the program verification data.
本発明によるＮＡＮＤフラッシュメモリ装置は、複数のページを有するセルアレイと、前記複数のページのプログラムデータを格納するページバッファと、プログラム検証データを前記ページバッファに提供するためのデータ格納回路と、プログラム検証動作なしに前記複数のページをプログラムし、前記プログラム検証データを用いて前記複数のページに対するプログラム検証動作を行うための制御ユニッと、を含む。 - 特許庁 - The logic verification program allows a personal computer 100 to function as a verification item input editor (S1) which enables an input of a verification item in a natural language on a tabular display screen and to function as a verification result feedback means (S5) which enables the creation of a test report by feeding-back the verification result to the verification item input editor.
論理検証プログラムにより、パーソナルコンピュータ１００を、表形式の表示画面において検証項目の自然言語による入力を可能とする検証項目入力エディタ（Ｓ１）、検証結果を上記検証項目入力エディタにフィードバックすることでテストレポートの生成を可能とする検証結果フィードバック手段（Ｓ５）として機能させる。 - 特許庁 - TIME CERTIFICATE EXTENSION METHOD, TIME CERTIFICATE APPARATUS, TIME CERTIFICATE EXTENSION PROGRAM, TIME CERTIFICATE VERIFICATION PROGRAM FOR EXTENSION, AND PROGRAM RECORDING MEDIUM
時刻証明書延長方法、時刻証明装置、時刻証明書延長プログラム、延長用時刻証明書検証プログラム、およびプログラム記録媒体 - 特許庁 - To provide a test program for an application program for accurately testing the picture of an application program without manually indicating a verification object.
検証対象を手動により指定することなくアプリケーションプログラムの画面を正確にテストできるアプリケーションプログラムのテストプログラムを提供することを目的とする。 - 特許庁 - An enciphered program from the personal computer 3 is received and the authenticity of the program is verified by identifying signature information from the personal computer 3 by the verification program.
パソコン３からの暗号プログラムを受信し、その正当性をパソコン３からの署名情報を検証プログラムで識別することにより検証する。 - 特許庁 - 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
時刻証明方法、時刻証明監査方法、時刻証明装置、監査装置、時刻証明プログラム、時刻証明監査プログラム、時刻証明検証プログラム、およびプログラム記録媒体 - 特許庁
- 特許庁
- Copyright © Japan Patent office. All Rights Reserved.
