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

INFORMATION TERMINAL EQUIPPED WITH TIME OF DAY SYNCHRONIZATION FUNCTION, PROGRAM, METHOD AND DEVICE FOR TIME OF DAY SYNCHRONIZATION, INFORMATION TERMINAL EQUIPPED WITH TIME OF DAY VERIFICATION REQUESTING FUNCTION, PROGRAM, METHOD AND DEVICE FOR REQUESTING TIME OF DAY VERIFICATION例文帳に追加

時刻同期機能を備えた情報端末、時刻同期プログラム、時刻同期方法および時刻同期装置、ならびに時刻認証要求機能を備えた情報端末、時刻認証要求プログラム、時刻認証方法および時刻認証要求装置 - 特許庁

The arrangement of the test bench needed for the verification program is described within the verification program, whereby a mechanism is constructed which is executed after the test bench conforming to the test bench arrangement described is automatically constructed from the test bench of the largest arrangement.例文帳に追加

検証用プログラムに必要なテストベンチの構成を検証用プログラム内に記述することで、記述されたテストベンチ構成にしたがったテストベンチが最大構成のテストベンチから自動的に構築されてから実行される仕組みを構築する。 - 特許庁

To provide a plant monitoring controller by which advance verification of a program for update is easily performed and switching between an execution operation of the program for update and an execution operation by the previous execution program is promptly performed.例文帳に追加

更新用プログラムの事前検証が容易にでき、かつ更新用プログラムによる実行運転と先の実行プログラムによる実行運転の切替えが迅速にできるプラント監視制御装置の提供。 - 特許庁

To provide a program providing device suitable for operation verification and provision of a program developed for an on-vehicle information system, and the on-vehicle information system for executing the program provided thereby.例文帳に追加

車載情報システム用に開発されたプログラムの動作検証および提供に好適なプログラム提供装置およびそれによって提供されたプログラムを実行する車載情報システムを提供する。 - 特許庁

To indicate the possibility of errors in assumption that provides the operational context of a program to be examined, in the verification of a program using model examination techniques where a program and assertions are inputs.例文帳に追加

プログラムと表明を入力としモデル検査技術を用いたプログラムの検証において、検査対象プログラムの動作コンテキストを与える仮定の誤りの可能性を示すことを可能にする。 - 特許庁

To reduce burdens of program execution and to facilitate the verification of a program for games from the outside in an arithmetic processing unit for a game machine with a means for judging propriety of the program for the games.例文帳に追加

遊技用プログラムの正当性判定手段を有する遊技機用演算処理装置において、プログラム実行の負担を軽減するとともに外部からの遊技用プログラムの検証を容易にする。 - 特許庁

A pipeline simulator and a verification program are generated according to the pipeline specifications which are described so that a computer can understand them and then the pipeline operation is verified on the basis of the result of simulation of RTL description that is carried out according to the verification program and the RTL description and also on the basis of the result of pipeline simulation that is carried out according to the verification program and the pipeline simulator.例文帳に追加

この発明は、計算機が解釈可能に記述されたパイプライン仕様に基づいて、パイプラインシミュレータ、検証プログラムを生成し、検証プログラムとＲＴＬ記述に基づいて実行されたＲＴＬ記述のシミュレーションの結果と、検証プログラムとパイプラインシミュレータに基づいて実行されたパイプラインシミュレーションの結果に基づいてパイプライン動作を検証するように構成される。 - 特許庁

To provide a verification method and system for an image processing program which enables a verifier to conduct verification speedily and effectively by changing a frequency of a processor in operation.例文帳に追加

動作中のプロセッサーの周波数を変化させることにより、検証者が迅速かつ、効率の良い検証を行うことを可能にする画像処理プログラム検証方法および装置を提供する。 - 特許庁

ATTRIBUTE CERTIFICATE PROCESSING SYSTEM, ATTRIBUTE CERTIFICATION REQUEST DEVICE, ATTRIBUTE CERTIFICATE ISSUING DEVICE, ATTRIBUTE VERIFICATION DEVICE, ATTRIBUTE CERTIFICATION REQUEST METHOD, ATTRIBUTE CERTIFICATE ISSUING METHOD, ATTRIBUTE VERIFICATION METHOD AND PROGRAM例文帳に追加

属性証明書処理システム、属性証明要求装置、属性証明書発行装置、属性検証装置、属性証明要求方法、属性証明書発行方法、属性検証方法及びプログラム - 特許庁

VERIFICATION METHOD FOR SEMICONDUCTOR INTEGRATED CIRCUIT PATTERN, METHOD FOR FORMING PHOTOMASK, METHOD FOR MANUFACTURING SEMICONDUCTOR INTEGRATED CIRCUIT DEVICE, AND PROGRAM TO IMPLEMENT VERIFICATION METHOD FOR SEMICONDUCTOR INTEGRATED CIRCUIT PATTERN例文帳に追加

半導体集積回路パターンの検証方法、フォトマスクの作成方法、半導体集積回路装置の製造方法、及び半導体集積回路パターンの検証方法を実現するためのプログラム - 特許庁

In this broadcasting system, an edit server 150 and a program edit terminal 152 conduct management, verification and timing adjustment of a music source and a picture being a source to edit a program.例文帳に追加

編成サーバ１５０及び番組編成端末１５２は素材となる音楽素材や画像の管理、検証、及びタイミング調整を行なって番組を編成する。 - 特許庁

To provide a verification system capable of verifying a program without waiting for the completion of a real machine device even in the case that program development precedes the hardware development of a real machine.例文帳に追加

実機のハードウェア開発よりもプログラム開発の方が先行した場合でも、実機デバイスの完成を待たずにプログラム検証が可能な検証システムを提供する。 - 特許庁

To provide a device and a system suitable for operation verification and provision of a program developed for an in-vehicle information system.例文帳に追加

車載情報システム用に開発されたプログラムの動作検証および提供に好適な装置およびシステムを提供する。 - 特許庁

METHOD AND DEVICE FOR IDENTITY VERIFICATION, MEDIUM- PREPARING DEVICE, PROCESSING METHOD FOR MEDIUM SAVING INFORMATION, PROGRAM AND RECORDING MEDIUM例文帳に追加

本人確認方法、本人確認装置、媒体作成装置、媒体、媒体保管情報の処理方法、プログラム及び記録媒体 - 特許庁

A cell connected to a last word line is programmed after programming and program verification of a selected cell are completed.例文帳に追加

選択されたセルのプログラム及びプログラム検証を完了した後、最後のワードラインに連結されたセルに再プログラムを実施する。 - 特許庁

INFORMATION COMMUNICATION EQUIPMENT, VERIFICATION SERVER, COMMUNICATION SYSTEM, LEAKAGE SOURCE SPECIFICATION METHOD FOR COMMUNICATION DATA, AND LEAKAGE SOURCE SPECIFICATION PROGRAM FOR COMMUNICATION DATA例文帳に追加

情報通信装置、検証サーバ、通信システム、通信データの漏洩元特定方法及び通信データの漏洩元特定プログラム - 特許庁

To reduce execution time cost in a verification program, and to promptly verify memory access, when verifying the memory access.例文帳に追加

メモリアクセス検証の際に、検証プログラムでの実行時間コストの削減を図るとともに、メモリアクセス検証を速やかに行うこと。 - 特許庁

DEVICE, METHOD AND PROGRAM FOR AUTOMATICALLY SELECTING VERIFICATION TARGET FUNCTION例文帳に追加

検証対象関数自動選択装置、検証対象関数自動選択方法、及び検証対象関数自動選択用プログラム - 特許庁

OUTPUT LOAD VERIFYING DEVICE, OUTPUT LOAD VERIFICATION METHOD FOR HARDWARE MARCO, AND RECORDING MEDIUM WITH RECORDED THEREON OUTPUT LOAD VERIFYING PROGRAM例文帳に追加

出力負荷検証装置、ハードマクロの出力負荷検証方法および出力負荷検証プログラムを記録した記録媒体 - 特許庁

To prevent a logical circuit from missing verification by automatically interpolating an omitted test program description done by a designer.例文帳に追加

設計者によるテストプログラム記述漏れを自動的に補完することができるようにし、論理回路の検証漏れを防ぐこと。 - 特許庁

LOGIC SIMULATION DEVICE, ACCELERATING METHOD FOR LOGIC VERIFICATION TO BE USED FOR THE SAME AND STORAGE MEDIUM RECORDING CONTROL PROGRAM THEREFOR例文帳に追加

論理シミュレーション装置及びそれに用いる論理検証の高速化手法並びにその制御プログラムを記録した記録媒体 - 特許庁

To reduce the size of a program and hardware without using any coding and decoding functions when carrying out signature and verification.例文帳に追加

署名及び検証を行う場合に、暗号関数、復号関数を使用せず、プログラムやハードウェアを小さくすることを可能にする。 - 特許庁

In a system verification system, a function checker 29 compares a verification result of a test program 23 by an instruction level simulator 25 to a result from a function simulator 17 verifying an HDL 13 based on event information representing the verification item 11 related to operational specification.例文帳に追加

たとえば、テストプログラム２３を命令レベル・シミュレータ２５により検証した結果と、動作仕様に関する検証項目１１をイベントで表現したイベント情報にもとづいて、ＨＤＬ１３を検証した機能シミュレータ１７の結果とを機能チェッカー２９により比較する。 - 特許庁

To provide a software verification support tool allowing lump-sum collection of information effective in verification of operation of software such as verification of normal operation, investigation of failure cause, or a grasp of an operation environment of the software by instructions of a program or one-touch operation.例文帳に追加

ソフトウェアの動作環境の把握，障害原因の追求，正常動作の検証など、ソフトウェアの動作の検証をする上で有効な情報を１タッチの操作若しくはプログラムの指令で一括して収集することが可能なソフトウェア検証支援ツールを提供する。 - 特許庁

To provide a nonvolatile memory device and a method of programming the same, in which program time can be decreased by determining the propriety of program fail through a verification line, without adding a circuit to a page buffer of a nonvolatile memory element, and at the same time, by executing a cache program and intelligence-type verification.例文帳に追加

不揮発性メモリ素子のページバッファーに回路を追加せずに検証ラインを介してプログラムフェイルの可否を判断し、知能型検証を遂行させることによってキャッシュプログラムと知能型検証を同時に遂行するようにしてプログラム時間を減らすことができる不揮発性メモリ素子及びプログラム方法を提供する。 - 特許庁

The coherent program development company or design agent prepares a data conversion program capable of transferring data between a design verification supporting device and a design changing device based on the opened data information (S102), and installs the conversion program in the design verification supporting device (S103), and performs the transfer of the data.例文帳に追加

一貫プロ開発会社又は設計事業者は、公開されたデータ情報に基づいて、設計検証支援装置と設計変更装置との間でのデータの受け渡しを可能にするためのデータの変換プログラムを作成し（Ｓ１０２）、この変換プログラムを設計検証支援装置にインストールして（Ｓ１０３）実行する。 - 特許庁

Then, the processing part 200 generates an enlarged program by using as one parallel program, the reference program and the verification object program into which each synchronization command is inserted, and a comparison program generated based on assertion at the synchronization point and stored in an assertion storage part 213 and an input data supply program stored in an input data supply program storage part 216.例文帳に追加

次に処理部２００は、同期コマンドを挿入したリファレンスプログラムおよび検証対象プログラムと、アサーション記憶部２１３へ格納された、同期点でのアサーションを基にして生成された比較プログラム、入力データ供給プログラム記憶部２１６に格納されている入力データ供給プログラムとをひとつの並行プログラムとして、拡大プログラムを生成する。 - 特許庁

A run time checker 16 and a coverage checker 18 performing the verification of an application program at execution are provided, a class file 2 (13) is inputted, and the checker 16 performs verification at execution together with appropriate test data 15.例文帳に追加

アプリケーションプログラムの実行時の検証を行うランタイムチェッカ１６とカバレッジチェッカ１８を設け、ｃｌａｓｓファイル２（１３）を入力として、適切なテストデータ１５と共にランタイムチェッカ１６で実行時検証を行う。 - 特許庁

To provide a certification research agency verification system and a certification research agency verification program, allowing specification of an improper research agency by verifying whether or not a certification research result by a research agency is proper.例文帳に追加

調査機関による認定調査結果が適切であるかを検証することにより、不適切な調査機関を特定できる認定調査機関検証システム及び認定調査機関検証プログラムを提供する。 - 特許庁

To provide a verification method of verifying an effective test program change time, in the situation where a test is allowed only once or times closely near thereto in a product such as the same magnetic storage device, and a verification system therefor.例文帳に追加

同じ磁気記憶装置などの製造物に対して１回程度しか試験できない状況において有効な試験プログラム変更時の検証方法及びその検証システムを提供することにある。 - 特許庁

AUTHORITY VERIFICATION APPARATUS, USER TERMINAL DEVICE, KEY GENERATING APPARATUS, ACCESS CONTROL SYSTEM, COMPUTER PROGRAM, AUTHORITY VERIFICATION METHOD, OPERATION REQUEST NOTIFYING METHOD, KEY GENERATING METHOD AND ACCESS CONTROL METHOD例文帳に追加

権限検証装置及び利用者端末装置及び鍵生成装置及びアクセス制御システム及びコンピュータプログラム及び権限検証方法及び操作要求通知方法及び鍵生成方法及びアクセス制御方法 - 特許庁

To provide a software verification method capable of verifying software without changing a parameter value related to resource size when operation verification is performed by another machine in a parameter group for determining the operation of a program.例文帳に追加

プログラムの動作を決定するパラメタ群において、他マシンで動作検証を行う場合、資源のサイズに関するパラメタ値を変更することなく、ソフトウェアの検証を行うことができるソフトウェア検証方法を提供する。 - 特許庁

To provide a mask pattern verification method, mask pattern generation method, pattern data processor, and program, for fast pattern verification to prevent destruction of a stencil mask using a simple graphic process.例文帳に追加

簡易な図形演算処理を用いて、ステンシルマスクの破壊防止のためのパターン検証を高速に行うことができるマスクパターン検証方法、マスクパターン作成方法、パターンデータ処理装置、およびプログラムを提供する。 - 特許庁

To provide a job flow verification method, verification program, and flow control unit capable of verifying a series of flows without a complicated structure in a print system for generating printed matter by performing the series of jobs.例文帳に追加

一連のジョブを行って印刷物を生成する印刷システムにおいて、構成が複雑とならず、一連のフローを検証することができるジョブフロー検証方法、検証プログラムおよびフロー制御装置を提供する。 - 特許庁

To provide a program contents transmitting apparatus for providing verification purpose data broadcast contents without the need for duplicate pre-processing.例文帳に追加

本発明は、前処理を重複することなく、検証用のデータ放送コンテンツを提供する番組コンテンツ送出装置を提供する。 - 特許庁

To automate the verification of behavior depending on events spontaneously generated by a program tested, an execution environment or other software.例文帳に追加

テスト対象プログラムあるいは実行環境や他のソフトウエアが自発的に発生させる事象に依存した動作の検証を自動化する。 - 特許庁

Then, a placement plan verification program 333 at the placement plan generating server 3 validates whether each of the created placement plans complies with the altered surplus policy.例文帳に追加

次に、配置案生成サーバ3の配置案検証プログラム333は、生成された配置案が変更後の余剰ポリシに従うかを検証する。 - 特許庁

EVALUATION DEVICE FOR CONTROL SYSTEM, VERIFICATION DEVICE USED FOR THE EVALUATION DEVICE, EVALUATION METHOD FOR CONTROL SYSTEM AND COMPUTER PROGRAM USED THEREFOR例文帳に追加

制御システムの評価装置、その評価装置に用いられる検証装置、制御システムの評価方法、及びそれらに用いるコンピュータプログラム - 特許庁

An intra-certificate information acquiring means 12 acquires the address of a server storing a verification program and a public key from a public key certificate.例文帳に追加

証明書内情報取得手段１２が、公開鍵証明書から検証プログラム保持サーバアドレスと公開鍵とを取得する。 - 特許庁

FLASH MEMORY DEVICE HAVING UNIFORM THRESHOLD VALUE VOLTAGE DISTRIBUTION WITHOUT HAVING NON-PROGRAMMED CELL AND OVER-PROGRAMMED CELL AND ITS PROGRAM VERIFICATION METHOD例文帳に追加

未プログラムのセル及び過プログラムのセルなしに、均一のしきい値電圧分布を有するフラッシュメモリ装置及びそのプログラム検証方法 - 特許庁

To provide a microcomputer software operation verification system capable of efficiently and accurately debugging and evaluating a concerned program.例文帳に追加

対象プログラムのデバッグおよび評価を効率良く、かつ、精度よく行うことが可能なマイコンソフトウェア動作検証システムを提供する。 - 特許庁

This would include computer programs for age verification and scanning systems used for inventory control when included in the QSA/EV Program.例文帳に追加

月齢証明のためのコンピュータープログラム及び在庫管理用のスキャナがQSA/EV プログラムに含まれる場合、これらは確認の対象に含まれる。 - 厚生労働省

To obtain a debug device and a program verification method, capable of verifying behavior limited to a focused circuit without having to reedit a ladder program.例文帳に追加

本発明は、ラダープログラムを編集し直すことなく、着目した回路に限定して動作を確認することの出来るデバッグ装置およびプログラム確認方法を実現することを目的とする。 - 特許庁

To provide an electronic information disclosure verifying method for verifying that certain electronic information has been disclosed on a network, an electronic information disclosure verification program for realizing the electronic information disclosure verifying method, and a recording medium in which the electronic information disclosure verification program is recorded.例文帳に追加

ある電子情報がネットワーク上に公開されていたかを検証する電子情報公開検証方法、電子情報公開検証方法を実現する電子情報公開検証プログラム、その電子情報公開検証プログラムを記録した記録媒体を提供する。 - 特許庁

An information processor includes: generation means for transmitting data to a verification target from a description within a test bench program including a function of the verification target and for generating a data transmitting and receiving function to receive the data from the verification target; and implementation means for implementing the data transmitting and receiving function generated by the generation means and the function of the verification target in an emulator.例文帳に追加

検証対象の関数を含むテストベンチ・プログラム内の記述から検証対象へデータを送信すると共に、検証対象からデータを受信するデータ送受信関数を生成する生成手段と、生成手段で生成されたデータ送受信関数及び検証対象の関数をエミュレータに実装する実装手段と、を有することによって課題を解決する。 - 特許庁