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

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

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

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

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

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

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

The method of programming the nonvolatile memory device includes a step for performing a program operation, a step for performing a program verify read operation, and a step for performing simultaneously a verification recovery operation and a pass/fail determination operation directly after the program verification read operation.例文帳に追加

本発明による不揮発性メモリ装置のプログラム方法は、プログラム動作を遂行するステップと、プログラム検証読み出し動作を遂行するステップと、前記フロッグラム検証読み出し動作直後に検証リカバリ動作とパス／フェイル判別動作とを同時に遂行するステップと、を含む。 - 特許庁

To provide an inter-processor transmission data abnormality simulation device for changing data transmitted in inter-processor communication in a multiprocessor device into various pieces of error data and transmitting the resultant data at arbitrary timing, and to provide an error verification support method, a recording medium having an error verification support program recorded thereon and the error verification support program.例文帳に追加

マルチプロセッサ装置におけるプロセッサ間通信で送信されたデータを、各種のエラーデータに改変して任意のタイミング送信することを可能とするプロセッサ間送信データ異常擬似装置、エラー検証支援方法、エラー検証支援プログラムを記録した記録媒体及びエラー検証支援プログラムの提供。 - 特許庁

To provide a verification method of electron beam lithography data for surely and rapidly verifying the multiplicity of drawing data after creating the lithography data for multiplex lithography; and to provide a verification device, a verification program, and an electron beam lithographic device.例文帳に追加

多重描画用の描画データを作成した後に、その描画データの多重度について確実且つ迅速に検証できる電子線描画データの検証方法、検証装置及び検証プログラム並びに電子線描画装置を提供することを目的とする。 - 特許庁

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

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

To provide a method, apparatus, and program for supporting verification of correspondence relation, capable of decreasing the number of intervals of video images to be viewed by an operator and verifying the corresponding relation between all scenarios and the video images.例文帳に追加

オペレータが目視すべき区間を少なくし、全てのシナリオと映像との対応関係の検証を行うことを可能にする。 - 特許庁

HAND-WASHING EQUIPMENT, HAND-WASHING ROOM, HAND- WASHING CONTROL PROGRAM MEDIUM, METHOD OF HAND- WASHING VERIFICATION SERVICE, HAND-WASHING CONTROL DISPLAY AND HAND-WASHING ANALYSIS RESULT DISPLAY例文帳に追加

手洗い設備、手洗い室、手洗い管理プログラム媒体、手洗い検証サービスの方法、手洗い管理表示及び手洗い分析結果表示 - 特許庁

To provide a device and a method for automatically generating a verification program and a property for verifying the design (operation) of a processor.例文帳に追加

プロセッサの設計検証（動作検証）を行なうための検証プログラムおよびプロパティを自動生成する装置および方法を提供する。 - 特許庁

SYSTEM AND METHOD FOR SUPPORTING TRANSACTION VERIFICATION AND STORAGE MEDIUM STORED WITH PROGRAM FOR MAKING COMPUTER PERFORM PROCESSING IN THE SYSTEM例文帳に追加

取引検証支援システム、取引検証支援方法及びそのシステムでの処理をコンピュータに行なわせるためのプログラムを格納した記憶媒体 - 特許庁

To provide an information processor, a processing method and a program which can perform verification of a recording medium without performing complex processing.例文帳に追加

複雑な処理を行うことなく、記録メディアの検証を行うことが可能な情報処理装置、処理方法およびプログラムを提供する。 - 特許庁

IMAGE FORMING APPARATUS, PRINTING DATA ALTERATION VERIFYING SYSTEM, PRINTING DATA ALTERATION VERIFICATION METHOD, COMPUTER PROGRAM, AND COMPUTER READABLE RECORDING MEDIUM例文帳に追加

画像形成装置、印刷データ改ざん検証システム、印刷データ改ざん検証方法、コンピュータプログラム、及びコンピュータ読み取り可能な記録媒体 - 特許庁

DISTRIBUTED FUNCTION COOPERATION SYSTEM, FUNCTIONAL ENTITY, DISTRIBUTED FUNCTION MANAGEMENT DEVICE, ARGUMENT NAME SOLUTION METHOD OF DISTRIBUTED FUNCTION COOPERATION SYSTEM, PARAMETER VERIFICATION METHOD OF DISTRIBUTED FUNCTION COOPERATION SYSTEM AND PROGRAM例文帳に追加

分散機能連携システム、機能実体、分散機能管理装置、分散機能連携システムの引数名解決方法、分散機能連携システムのパラメータ検証方法、およびプログラム - 特許庁

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

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

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

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

INFORMATION EQUIPMENT, PROGRAM FOR EXECUTING STEP OF DISPLAYING DISPLAY OBJECT AND VERIFICATION RESULT OF ELECTRONIC SIGNATURE FOR DISPLAY OBJECT, AND DISPLAY METHOD例文帳に追加

情報機器、表示オブジェクトと表示オブジェクトの電子署名の検証結果とを表示するステップを実行させるためのプログラム及び表示する方法 - 特許庁

To provide a representative image extraction method and a job analyzing program, for efficiently performing the specification of a job and the verification of the configurations/content of the job.例文帳に追加

ジョブの特定及びジョブの構成／内容の検証を効率的に行うことができる代表画像抽出方法及びジョブ解析プログラムの提供。 - 特許庁

To provide a NOR flash memory device of which the source line voltage is prevented from rising at the program verification operation, and its programming method.例文帳に追加

プログラム検証動作時にソースラインの電圧が上昇することを防止することができるＮＯＲフラッシュメモリ装置及びそのプログラム方法に提供すること。 - 特許庁

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

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

To provide a document creating apparatus for verifying alteration, alteration verifying apparatus, document creating method for verifying alteration, alteration verifying method, document creation program for verifying alteration and alteration verification program for provisioning a printed matter capable of particularly verifying alteration with respect to alteration verification technology of a printed matter.例文帳に追加

印刷物の改ざん検証技術に関し、特に改ざんを検証することができる印刷物を提供する改ざん検証用文書作成装置、改ざん検証装置、改ざん検証用文書作成方法、改ざん検証方法、改ざん検証用文書作成プログラムおよび改ざん検証プログラムを提供する。 - 特許庁

To provide a verification apparatus, a verification method and a program, capable of attaining, when modification is made to a verified reference circuit and a circuit to be verified, reduction in design time and enhanced efficiency while verifying the whole circuit.例文帳に追加

検証済みの基準回路と被検証回路とに修正が加えられた場合に、回路全体を検証しつつ、設計時間の短縮化及び効率化を図り得る、検証装置、検証方法、及びプログラムを提供する。 - 特許庁

To provide a circuit verification program for a semiconductor integrated circuit and a circuit verification method for a semiconductor integrated circuit which can correct a circuit and enhance the efficiency of reverification when an error occurs after the circuit has been verified.例文帳に追加

回路検証を行ってエラーが発生した際に回路修正と再検証の効率化を図ることができる半導体集積回路の回路検証プログラムおよび半導体集積回路の回路検証方法を提供する。 - 特許庁

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 provide an image processing method characterized by a verification method capable of reducing the amount of calculation without reducing the accuracy of detection; an image processor; an image processing program; and a recording medium with the image processing program recorded thereon.例文帳に追加

検出精度を低下させることなく計算量を低減することができる照合方法に特長をもつ画像処理方法、画像処理装置、画像処理プログラムおよび画像処理プログラムを記録した記録媒体を提供する。 - 特許庁

In communication operation verification work when porting an existing J2EE application program, a Java VM difference management part 230 of a Java VM program 220 prepares a one-to-one conversion table 245 that associates the vendor specific method executed by the application program with an alternative method.例文帳に追加

既存のＪ２ＥＥアプリケーションプログラム移植時の疎通動作検証作業において、ＪａｖａＶＭプログラム２２０のＪａｖａＶＭ差分管理部２３０は、アプリケーションプログラムが実行するベンダー固有メソッドと、代用メソッドとを関連付ける１対１の変換テーブル２４５を作成する。 - 特許庁

To provide an operation method of a nonvolatile memory device, which increases a reference voltage for a verifying operation and performs verification after a specific period to prevent an under program cell.例文帳に追加

アンダープログラムセル防止のために一定時点の後、検証動作の基準電圧を上昇させて検証する不揮発性メモリ装置の動作方法を提供すること。 - 特許庁

To provide an introduction device, an introduction method and a program enabling verification of information by a user and efficient collection and disclosure of reliable information.例文帳に追加

利用者により情報の検証が可能で、かつ、信憑性の高い情報を効率的に収集及び公開可能な紹介装置、紹介方法及びプログラムを提供する。 - 特許庁

To provide an interference verification device and method, a program and a recording medium capable of verifying interference between a tool deviating from an operating position during an operation and components.例文帳に追加

作業中に作業位置を逸脱した工具と部品との干渉を検証することができる干渉検証装置、方法、プログラムおよび記録媒体を提供する。 - 特許庁

To provide an evaluation system that can reduce man hours for verification and an evaluation, and to provide an evaluation device, an evaluation method and an evaluation program.例文帳に追加

検証及び評価に係る工数を削減することが可能な評価システム、評価装置、評価方法及び評価プログラムを提供することを目的としている。 - 特許庁

To provide a multiple signature system, a verification system, a multiple signature method, and a multiple signature program, capable of giving an electronic signature expressing a mesh structure.例文帳に追加

メッシュ構造を表現した電子署名を行うことができる多重署名システム及び検証システム及び多重署名方法及び多重署名プログラムを提供すること。 - 特許庁

To provide multi-base discrete logarithm verification method, device and program and a storage medium which are to be used for easily executing power in a group to be used for information security technology.例文帳に追加

情報セキュリティ技術において使用される群上のべき乗を容易に実行する多基底離散対数検証方法、装置、プログラム、記憶媒体を提供する。 - 特許庁

To provide a method for tunneling and slicing based bounded model checking (BMC) decomposition to improve efficiency and reduce complexity for computer program verification.例文帳に追加

コンピュータ・プログラム検証の効率を改善し複雑さを減少するための、トンネリング及びスライシング・ベースの有界モデル検査（ＢＭＣ）分解のための方法を提供する。 - 特許庁

To provide a test data generating program, a test data generating device, and a test data generating method, capable of improving exhaustiveness in validation for logic verification.例文帳に追加

論理検証における検証網羅性を向上させることが可能なテストデータ生成プログラム、テストデータ生成装置及びテストデータ生成方法を提供することを目的とする。 - 特許庁

To provide a circuit design verification method, design verification device and computer program which can judge whether a synchronous unit can operate synchronously or not by carrying out backward trace of a signal path based on information on circuit wire connection.例文帳に追加

回路の結線情報に基づき信号経路の逆方向トレースを行い、同期ユニットが同期動作できるか否かの判定が可能な回路の設計検証方法、設計検証装置、及びコンピュータプログラムを提供することを目的とする - 特許庁

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 page buffer wherein verification and reading of a program can be performed by a wired-OR system and which has a cache function, to provide a nonvolatile semiconductor memory device comprising the same and to provide its driving method.例文帳に追加

ワイアードオア方式でプログラム確認読み出しが可能であり、キャッシュ機能を有するページバッファとこれを含む不揮発性半導体メモリ装置、およびその駆動方法を提供する。 - 特許庁

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

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

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

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

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

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

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

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

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

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