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

When the test of a test object program is executed by a tester on the verification support system, a storage trigger event detection part 31 repeatedly determines the presence/absence of the recording trigger event.例文帳に追加

検証支援システムの上で試験者により試験対象プログラムの試験が実行されると、記憶契機事象検出部３１が記録契機事象の有無を繰り返し判断する。 - 特許庁

To provide a method of verifying a certificate, which verifies a certificate safely and rapidly, and also to provide a verification server, program, and storage medium for executing this method.例文帳に追加

証明書の有効性確認処理を安全にかつ迅速に行うことができる証明書の有効性確認方法、これを実施する検証サーバ、プログラム及び記憶媒体を提供する。 - 特許庁

To prevent the erroneous low determination of the threshold value of a memory cell to be programmed caused by the flowing-out of a cell current to an adjacent cell during program verification in a memory array having a bit line shared between memory cells.例文帳に追加

ビット線がメモリセル間で共有されたメモリアレイでは、プログラムベリファイ時に、隣接セルにセル電流が流出するために、プログラムすべきメモリセルのしきい値が低めに誤判定される。 - 特許庁

SYSTEM AND METHOD FOR VERIFICATION, DEVICE AND METHOD FOR PROCESSING INFORMATION, DEVICE AND METHOD FOR MANAGING ORDER RECEPTION, DEVICE AND METHOD FOR MANAGING DELIVERY, CHIP AND METHOD FOR MANAGING INFORMATION, RECORDING MEDIUM AND PROGRAM例文帳に追加

検証システムおよび方法、情報処理装置および方法、受注管理装置および方法、配送管理装置および方法、情報管理チップおよび方法、記録媒体、並びにプログラム - 特許庁

Does the Compliance Control Division implement specific measures of the Compliance Program in a timely and appropriate manner, conduct follow-up verification of the status of progress and achievement and report it to the Board of Directors or organization equivalent to the Board of Directors? 例文帳に追加

コンプライアンス統括部門は、コンプライアンス・プログラムの内容を適時適切に実施するとともに、進捗状況や達成状況をフォローアップし、取締役会等へ報告しているか。 - 金融庁

To provide a communication device which performs operation verification by using a communication device connected to a network when a network failure occurs, and also to provide a communication method, and a communication control program.例文帳に追加

ネットワークに接続されている通信装置を用いてネットワーク障害時の動作検証を実行することができる通信装置、通信方法及び通信制御プログラムを提供すること - 特許庁

To provide a message comparison decision method, device and program, allowing efficient verification of difference in message contents between signal files wherein encoded messages are mixed.例文帳に追加

符号化されたメッセージが混在する信号ファイル同士のメッセージ内容の差異を効率的に検証することができるメッセージ比較判定方法、その装置及びそのプログラムを提供する。 - 特許庁

CORRECTION METHOD AND VERIFICATION METHOD FOR PATTERN DIMENSION BY USING OPC, MASK AND SEMICONDUCTOR DEVICE FORMED BY USING THIS CORRECTION METHOD, AND SYSTEM AND PROGRAM TO EXECUTE THIS CORRECTION METHOD例文帳に追加

ＯＰＣを用いたパターン寸法の補正方法及び検証方法、該補正方法を用いて作成されたマスク及び半導体装置、並びに該補正方法を実行するシステム及びプログラム - 特許庁

If there is a mismatch, the parallel processing verification part 230 executes error processing such as displaying a warning message for example and forcibly ending the program.例文帳に追加

そして、不一致が検出されたら、並列処理検証部２３０は、例えば警告メッセージを表示して当該プログラムの実行を強制終了させる等のエラー処理を実行する。 - 特許庁

To provide a method of performing the verification of the value of data in a data coordination program by use of information acquired from a system that is to be data writing designation.例文帳に追加

本発明は、データ連携プログラムにおいて、データの値の検証を、データを書き込む先となるシステムから情報を取得し、その情報を用いて行う方法を提供することにある。 - 特許庁

Therefore, data for external verification are encodable by using a key specific to a data processing block without causing inconsistency to a result of program operation of the data processing block.例文帳に追加

したがって、データ処理ブロックのプログラム動作の結果に不一致を生じさせずに、データ処理ブロック固有の鍵を用いて外部検証用のデータを符号化することが可能となる。 - 特許庁

To provide a terminal device capable of collecting data for isolating a failure part from a terminal side at a failure after verification, and a system, method and program for isolating a network failure cause.例文帳に追加

認証後の障害時に端末側から障害箇所の切り分けのためのデータを集めることのできる端末装置、ネットワーク障害原因切り分けシステム、方法およびプログラムを得ること。 - 特許庁

If there is a mismatch, the parallel processing verification part 230 executes error processing so as to display a warning message, for example, and to forcibly terminate the program.例文帳に追加

そして、不一致が検出されたら、並列処理検証部２３０は、例えば警告メッセージを表示して当該プログラムの実行を強制終了させる等のエラー処理を実行する。 - 特許庁

To provide a design support program and method capable of effectively performing verification of operation of conveyance mechanism control software at an abnormal time such as jam occurrence etc.例文帳に追加

ジャム発生等の異常時における搬送機構制御ソフトウェアの動作検証を効率良く行うことができる設計支援プログラム及び設計支援方法を提供すること。 - 特許庁

The remote access client includes at least one application program interface (API) to receive a first verification of the operating state of a predetermined application of the remote data terminal.例文帳に追加

リモート・アクセス・クライアントは、遠隔データ端末のあらかじめ決められたアプリケーションの動作状態の第１検証を受信する少なくとも１つのアプリケーション・プログラム・インタフェース（ＡＰＩ）を含む。 - 特許庁

To provide an information processing apparatus and method, a program and a recording medium, for executing verification processing of matching of an index database defined to a hierarchical database.例文帳に追加

階層型データベースに対し定義される索引データベースの整合性の検証処理を実行する情報処理装置、情報処理方法、プログラムおよび記録媒体を提供すること。 - 特許庁

AMS auditors will request a demonstration of all verification activities used to ensure compliance to the EV Program for Japan, even when that activity is not currently being conducted.例文帳に追加

このような作業が査察時に実行されてない場合であっても、AMS査察官は日本向け EV プログラムの遵守を確保するため、全ての検証作業のデモンストレーションを要求する。 - 厚生労働省

The inspection program employee should inform the applicant that the process may be expedited if he or she provides the necessary documents (e.g., Export Verification record eligibility information), along with the application.例文帳に追加

検査プログラム担当職員は、申請書に加えて必要な文書（例：輸出証明記録適格性情報）を提出すれば処理が迅速化されることを、申請者に伝える。 - 厚生労働省

The validity verification processing program 17 performs simulation of a model by test case in cooperation with a model simulation program 14 in order to perform automatic verification of the validity of the test case to software created as a specifications model comprising a plurality of blocks and verifies the validity of the test case using input and output information of a block obtained by the simulation concerned.例文帳に追加

複数のブロックから構成されるモデルを仕様として作成したソフトウェアに対するテストケースの妥当性を自動検証すべく、妥当性検証処理プログラム１７は、モデルシミュレーションプログラム１４と協動してテストケースによるモデルのシミュレーションを行って当該シミュレーションにより得られたブロックの入出力情報を用いてテストケースの妥当性を検証する。 - 特許庁

The method for executing program verification operation has a step 81 for programming a reference memory cell, a step 83 for programming a plurality of memory cells, a step 85 for generating a set signal using content of the reference memory cell, and steps 87, 89 starting the program verification operation for the plurality of memory cells using the set signal.例文帳に追加

プログラム検証動作を実施するための方法であって、基準メモリセルをプログラムするステッ８１プと、複数のメモリセルをプログラムするステップ８３と、前記基準メモリセルの内容を用いてセット信号を生成するステップ８５と、前記セット信号を用いて、前記複数のメモリセルに対する前記プログラム検証動作を開始するステップ８７，８９と、を有するように構成する。 - 特許庁

To provide an imaging apparatus, a photographing verification method, an image verification method in producing the image, and a program which enable audibly checking the number of photographed images and the type of photographed images in performing consecutive photographing with a digital camera etc., and enable audibly or visually checking the type and the number of images in reproducing the images.例文帳に追加

デジタルカメラ等で連続撮影等を行う場合の撮影枚数や撮影画像の種類等を聴覚的に確認可能にしたり、画像再生時に画像の種類や枚数等を聴覚又は視覚で確認可能にする、撮像装置、撮影確認方法、再生時の画像確認方法、及びプログラムの提供。 - 特許庁

To provide a test pattern generation method for failure verification and its device to simply prepare a test pattern with respect to a logic circuit by using an ATPG without introducing a scan circuit even if a sequence circuit is included in the logic circuit, and to provide a failure verification method and its device, and a program.例文帳に追加

論理回路に順序回路が含まれていても、スキャン回路を導入することなく、ＡＴＰＧを用いて論理回路に対するテストパターンを簡易に作成することができる故障検証用テストパターン生成方法及びその装置、故障検証方法及びその装置、並びにプログラムを提供すること。 - 特許庁

In the program constituted in this way, an instruction is altered to an instruction different from an original, and the processing is proceeded by repeating detection/hindrance of the dynamic analysis by an anti-debugging technology, verification of integrity of itself, and execution of the self-rewrite by dynamically determining an self-rewrite object according to the verification result.例文帳に追加

このように構成されたプログラムは、命令が本来とは異なる命令に偽装されており、実行時に、動的解析をアンチデバッギング技術で検出・妨害することと、自分のインテグリティの検証と、検証結果に応じて動的に自己書換え対象を定めて自己書換えを行うことを繰り返しながら処理を進める。 - 特許庁

A high-speed emulation environment is realized by generating; a memory implemented on the emulator which performs a role of buffering based on description for supplying high-capacity data to verification target in a program for verification and a memory data transmission part implemented on a PC which performs a roll of data transmission from the PC to the emulator.例文帳に追加

検証用プログラムに大容量のデータを検証対象に供給する記述に基づいて、バッファリングの役割を果たすエミュレータ上に実装されるメモリと、ＰＣからエミュレータへのデータ転送の役割を果たすＰＣ上に実装されるメモリデータ転送部とを生成し、高速なエミュレーション環境を実現する。 - 特許庁

To improve development efficiency by dispensing with the repetition of program correction and reevaluation every occurrence of error, in the program operation verification of microcomputer software using an evaluation scenario, and preventing the occurrence of evaluation waiting depending on the decision and undecision of a standard specification.例文帳に追加

評価シナリオを用いたマイクロコンピュータソフトウェアのプログラム動作検証において、エラー発生の都度プログラム修正と再評価を繰り返すことを不要にし、実機仕様の決定と未定の存在による評価待ちの発生を防止し、開発効率を向上させる。 - 特許庁

To provide an information processing system, an information processor and an information processing method for timely informing the verification of the data for service, and a storage medium with a program to execute them read by the information processor, and program for the same.例文帳に追加

サービス対象のデータの検証処理をユーザに適時に通知する情報処理システム及び情報処理装置及び情報処理方法及びそれを実施するプログラムを情報処理装置読み出し可能に記憶した記憶媒体及びそのプログラムを提供する。 - 特許庁

To provide a test support apparatus which can streamline the data verification of a database (RDB) across program introduction by information system development, a test support system, a method of controlling the test support apparatus, a program and a recording medium.例文帳に追加

情報システム開発におけるプログラムの導入前後におけるデータベース（ＲＤＢ）のデータ検証作業を効率的に行うことが可能なテスト支援装置、テスト支援システム、テスト支援装置の制御方法、プログラム、及び記録媒体を提供することを目的とする。 - 特許庁

To prevent program and data inside a microprocessor from being analyzed and altered by a third party and to realize convenience which needs neither setting nor management about key information required for verification.例文帳に追加

マイクロプロセッサ内部のプログラムやデータを第三者によって解析、改竄されることを防止するとともに、認証に必要な鍵情報に関して設定や管理を必要としない利便性を実現する。 - 特許庁

A display verification program determines data and hour of the system, and reads first information corresponding to a message that is supposed to be dislayed on an EPL during the present time from a message control file.例文帳に追加

表示認証プログラムは、システムの日時を決定し、そして、現行時間中にＥＰＬ上に表示されるように仮定されるメッセージに対応した第１情報をメッセージ管理ファイルから読取る。 - 特許庁

To provide a function verification device capable of verifying with ease and high accuracy interrupts to a model designed using a hardware description language, a test bench, a simulator program, and a storage medium.例文帳に追加

ハードウェア記述言語により設計されたモデルに対する割り込みの検証を容易かつ高精度に行うことができる機能検証装置、テストベンチ、シミュレータプログラム及び記憶媒体を提供する。 - 特許庁

To provide a novel search query creation supporting apparatus capable of simplifying creation, correction and verification of a search query having a complicated logical structure, and a graphical user interface (GUI) production system, method and program.例文帳に追加

複雑な論理構造をもった検索クエリーの作成・修正・検証を簡便化することのできる新規な検索クエリー作成支援装置、グラフィカルユーザインターフェース、方法及びプログラムを提供する。 - 特許庁

OPERATING DEVICE, DECRYPTION DEVICE, ENCRYPTION DEVICE, INFORMATION SHARING SYSTEM, 2DNF OPERATING SYSTEM, SIGNATURE GENERATOR, SIGNATURE VERIFIER, SIGNATURE PROCESSING SYSTEM, SIGNATURE VERIFICATION SYSTEM, ARITHMETIC OPERATION METHOD, AND ARITHMETIC OPERATION PROGRAM例文帳に追加

演算装置、復号装置、暗号化装置、情報共有システム、２ＤＮＦ演算システム、署名生成装置、署名検証装置、署名処理システム、署名検証システム、演算方法及び演算プログラム - 特許庁

To provide a tolerance analysis computing system, analysis method and program capable of performing a tolerance design in a design department, previous verification of tolerance accumulation and optimal tolerance distribution.例文帳に追加

本発明は、設計部門における公差設計、公差積み上げの事前検証、最適公差配分を可能とした公差解析計算システム、解析方法及びプログラムを提供することを課題とする。 - 特許庁

An operation verification device acquires a log showing contents of a series of operations executed to a predetermined apparatus, specifies corresponding functions from the log, and automatically generates a program from the specified functions.例文帳に追加

動作検証装置は、所定機器に対して実行された一連の操作の内容を示すログを取得し、このログから対応する関数を特定し、特定した関数からプログラムを自動生成する。 - 特許庁

To provide a PQ measuring device and a PQ measuring program can display information of a wheel load and/or a horizontal pressure to facilitate verification of the information and rail track information.例文帳に追加

輪重及び／又は横圧と線路情報との照合が容易になるようにこれらの情報を表示させることができるＰＱ測定処理装置及びＰＱ測定処理プログラムを提供する。 - 特許庁

To provide a model preparation program, a model preparation device, and a model preparation method for preparing a model for communicating with a verification object device for executing a test which is not estimated as interface specifications.例文帳に追加

インターフェース仕様に想定されていないテストを行うための、検証対象装置と通信を行うモデルを作成するモデル作成プログラム、モデル作成装置、モデル作成方法を提供する。 - 特許庁

The user can verify the validity of the sample program from the execution results displayed on the screen of a display device, and the user can change settings according to the verification result.例文帳に追加

ユーザはディスプレイ装置の画面上に表示された実行結果からサンプルプログラムの妥当性を検証することができ、その検証結果に基づいてユーザが設定内容を変更することが可能である。 - 特許庁

To provide a system, a method, and a computer program for performing verification by reading information out of the data track and servo track of a cleaner tape by a tape drive when an input/output converter of the tape drive is cleaned.例文帳に追加

テープ・ドライブの入出力変換器のクリーニングに、テープ・ドライブがクリーナ・テープのデータ・トラック及びサーボ・トラックから情報を読み取ることにより検証するシステム、方法、及びコンピュータ・プログラムを提供する。 - 特許庁

To provide a lithography simulation method capable of accurately verifying a transcription pattern even though a calculating area of the lithography simulation is narrowed to achieve a good balance between a reduction of calculation time and an accuracy of the pattern verification, and to provide a program for making a computer execute the method.例文帳に追加

リソグラフィ・シミュレーションの計算領域を狭くしても転写パターンを正確に検証することができ、計算時間の短縮とパターン検証の正確性との両立をはかる。 - 特許庁

To provide a semiconductor memory device in which program verification and read-out operation having reliability can be achieved even if threshold voltage distribution corresponding to a data state is shifted depending on temperature variation.例文帳に追加

データ状態に対応するスレッショルド電圧分布が温度変化により移動しても信頼性を有するプログラム検証及び読み出し動作を遂行することができる半導体メモリ装置を提供すること。 - 特許庁

To provide a log extraction system and program capable of reducing unnecessary portions by extracting portions effective for automatic analysis or visible verification from a log recording behaviors of an application therein.例文帳に追加

アプリケーションの挙動を記録したログから自動解析や目視による検証に有効な部分を抽出し、不要な部分を削減することができるログ抽出システムおよびプログラムを提供する。 - 特許庁

A program has a means for randomly executing a test execution process and a means for managing the control and termination of the process, and has a mechanism for automatically conducting these means, in the system verification of the logical circuit.例文帳に追加

論理回路のシステム検証において、テスト実行プロセスをランダム実行させる手段と、プロセスの実行、終了を管理する手段とを有し、それらの手段を自動的に行う仕組みを有するプログラム。 - 特許庁

NISA reviewed the adequacy of the submitted long-term maintenance program taking account of the verification result the 40th AMTA conducted by the Japan Nuclear Energy Safety Organization.例文帳に追加

原子力安全・保安院は、申請のあった長期保守管理方針の妥当性について、原子力安全基盤機構が実施した技術的妥当性の確認結果を踏まえつつ、審査を行った。 - 経済産業省

Threshold voltage having an intermediate value in the threshold voltage distribution is set as representative threshold voltage, program operations are performed repeatedly until threshold voltage of a "L" level becomes higher than verification voltage while changing program voltage only by difference for threshold voltage of the lowest "L" level (Low Level).例文帳に追加

しきい値電圧分布中の中間値を有するしきい値電圧を代表しきい値電圧として設定し、最も低い”Ｌ”レベル（Low Level）のしきい値電圧との差だけプログラム電圧を変更しながら、”Ｌ”レベルのしきい値電圧が検証電圧より高くなるまでプログラム動作を繰り返して実施する。 - 特許庁

Therefore, for instance, when verifying the operations of the program codes sequentially, with selecting a machine description of the second model, it becomes possible to generate the instruction simulator concerned (of the second model) for the verification when sequentially verifying the operations of the program codes, and as a result, it becomes possible to reduce the time and labor necessary for generating the instruction simulator.例文帳に追加

そのため、例えば、プログラムコードの動作を逐次的に検証するときに、第２のモデルのマシンディスクリプションを選択することで、当該検証用の（第２のモデルの）インストラクションシミュレータを生成することができ、その結果、インストラクションシミュレータの生成にかかる手間を軽減することができる。 - 特許庁