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

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 platform integrity verification system wherein tamper resistance to reverse engineering of a computer program for measuring environment of a client is enhanced.例文帳に追加

クライアントの環境を測定するコンピュータプログラムのリバースエンジニアリングに対する耐タンパー性を高めたプラットフォーム完全性検証システムを提供する。 - 特許庁

PARAMETER EXTRACTION METHOD, CIRCUIT OPERATION VERIFICATION METHOD, AND STORAGE MEDIUM HAVING PROGRAM FOR EXECUTING PARAMETER EXTRACTION METHOD例文帳に追加

パラメータ抽出方法及び回路動作検証方法並びに当該パラメータ抽出方法を実行させるためのプログラムを具備する記憶媒体 - 特許庁

To provide a semiconductor storage device which shortens a time required for program verification which repeats writing and reading while maintaining reading accuracy.例文帳に追加

半導体記憶装置において、読み出し精度を維持しつつ、書き込み及び読み出しを繰り返すプログラムベリファイに要する時間を短縮する。 - 特許庁

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

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

Further, the verification program 111 counts time required for graphic processing in each combination of the candidate programs and outputs the counted time.例文帳に追加

さらに、検証プログラム１１１は、候補プログラムの組み合わせごとに、グラフィック処理に要した時間を計測して、計測された時間を出力する。 - 特許庁

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

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

The verification program makes a computer serve as an input, an information alteration detector, an image alteration detector, and a display control unit.例文帳に追加

本発明の検証プログラムは、コンピュータを、入力部、情報改ざん検出部、画像改ざん検出部、および表示制御部として機能させる。 - 特許庁

To provide an apparatus for verification of communication data which verifies data communicated between a server and a client, and to provide a computer program for the same.例文帳に追加

サーバ、クライアント間で通信されたデータを検証する通信データの検証装置及びそのコンピュータプログラムを提供することを目的とする。 - 特許庁

Since the page buffer includes an output driver driving an internal output line in one direction, program verification and reading can be performed by the wired-OR system.例文帳に追加

また、一方向に内部出力線を駆動する出力ドライバーを含むので、ワイアードオア方式でプログラム確認読み出しが可能である。 - 特許庁

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

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

At this time, when the data programmed to the memory cell require the program verification, the current is supplied to the memory cell from the sense amplifier.例文帳に追加

ここで、前記メモリセルにプログラムされたデータがプログラム検証を要する場合に、前記感知増幅器から前記メモリセルに電流が供給される。 - 特許庁

The nonvolatile memory device includes a page buffer circuit for reading a data bit from the memory cell of a row selected at the time of a program verification operation.例文帳に追加

本発明の不揮発性メモリ装置は、プログラム検証動作時選択された行のメモリセルからデータビットを読み出すページバッファ回路を含む。 - 特許庁

VOLTAGE FLUCTUATION ESTIMATING METHOD AND APPARATUS, SEMICONDUCTOR DEVICE OPERATION VERIFICATION APPARATUS, SEMICONDUCTOR DEVICE DESIGNING METHOD, PRINTED CIRCUIT BOARD DESIGNING METHOD, AND PROGRAM THEREFOR例文帳に追加

電圧変動量見積方法、装置、半導体装置動作検証装置、半導体装置設計方法、プリント板設計方法、及びプログラム - 特許庁

IMAGE VERIFICATION DEVICE, IMAGE EMBEDDING DEVICE, IMAGE DETECTION DEVICE, IMAGE EMBEDDING METHOD, IMAGE DETECTION METHOD, COMPUTER PROGRAM, AND PRINTED MATTER MANUFACTURING METHOD例文帳に追加

画像検証装置，画像埋め込み装置，画像検出装置，画像埋め込み方法，画像検出方法，コンピュータプログラム，および印刷物製造方法 - 特許庁

AMS considers Smithfield Beef Group- Souderton in compliance with all requirements of the Export Verification Program for Beef to Japan.例文帳に追加

AMS は、現在はスミスフィールドビーフグループ社サウダートン工場が日本向け牛肉の輸出証明プログラムのすべての要件に従っていると考える。 - 厚生労働省

AMS is responsible for developing Export Verification (EV) Program standards to ensure that establishments certified for export can meet the additional requirements of importing countries.例文帳に追加

AMSは、輸出認定された施設が輸入国の条件に適合できることを保証するためのEVログラムの基準を設定する責任を負っている。 - 厚生労働省

A document rule verification library group 3 is a program for verifying whether an input structured document 1 follows document rules or not.例文帳に追加

文書規約検証ライブラリ群３は、入力構造化文書１が文書規約に従っているかどうかを検証するためのプログラムである。 - 特許庁

To attain verification in a further short time even when the formats of input and output telegraphic messages are different according to the version update of a program.例文帳に追加

プログラムのバージョンアップに伴って入出力電文のフォーマットが異なっていても、より短期間で検証を行うことを可能とする。 - 特許庁

To provide an electric control design CAD apparatus with a simulation function and a program therefor that produce a verification result easy-to-understand for a designer, and link the verification result with a circuit drawing to facilitate edition of the circuit drawing.例文帳に追加

設計者に理解しやすい検証結果を作成すると共に、その検証結果と回路図面とをリンクさせて回路図面の編集を容易にしたシミュレーション機能付電気制御設計ＣＡＤ装置を提供する。 - 特許庁

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

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

A verification device 50 reads out the ciphered data for housing stored in the memory for housing 30 of the game machine 10, collates the data with collation data stored in a memory for verification 55 and verifies the truth or falsehood of the control program.例文帳に追加

検証装置50は、遊技機10の格納用記憶装置30に記憶された格納用暗号化データを読み出し、これを検証用記憶手段55に記憶された照合用データと照合することで、制御プログラムの真偽を検証する。 - 特許庁

The operation verification device combines the program and the input data to form execution sets and a test scenario as well, and subsequently continuously executes the respective execution sets to thereby automatically execute an operation test by a test program.例文帳に追加

プログラムと入力データを組み合わせて実行セット、更には、テスト・シナリオを構成した上で、各実行セットを連続実行させることにより、テスト・プログラムによる動作テストが自動実行される。 - 特許庁

To provide a program provision device and an onboard information system, suitable for operation verification and provision of a program developed for the onboard information system.例文帳に追加

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

A CPU 40 of the verification token 40 operating according to a token module program stores the received electronic data into a work area of a RAM 43.例文帳に追加

トークンモジュールプログラムに従って動作する検証トークン４０のＣＰＵ４０は、受信した電子データをＲＡＭ４３の作業領域に格納する。 - 特許庁

The connection control of a general-purpose bus 101 is operated by a program 105, and desired wiring between devices for verification is set through a general-purpose bus.例文帳に追加

プログラム１０５により汎用バス１０１の接続制御が行われ、汎用バスを介して検証用デバイス間の所望の結線を設定できる。 - 特許庁

CALIBRATION VERIFICATION METHOD IN NETWORK ANALYZER, NETWORK ANALYZER PROVIDED WITH FUNCTIONAL MEANS FOR IMPLEMENTING SAME METHOD, AND PROGRAM FOR IMPLEMENTING SAME METHOD例文帳に追加

ネットワーク・アナライザにおける校正の検証方法、該検証方法を実施するための機能手段を備えるネットワークアナライザ、該検証方法を実施するためのプログラム - 特許庁

To provide an installation control device and program for performing installation control based on the verification result of the integrity and safety of an application.例文帳に追加

アプリケーションの完全性および安全性の検証結果に基づくインストール制御を行うことができるインストール制御装置およびプログラムを提供する。 - 特許庁

To allow for identifying a cause of an abnormal ending of an RTL input program (a logic synthesis tool, a logic verification tool, etc.) in a shorter period of time.例文帳に追加

ＲＴＬ入力プログラム（論理合成ツールや論理検証ツールなど）の異常終了原因の特定がより短時間で行えるようにする。 - 特許庁

PHOTOMASK PATTERN VERIFYING METHOD, PHOTOMASK PATTERN VERIFYING DEVICE, METHOD OF MANUFACTURING SEMICONDUCTOR INTEGRATED CIRCUIT, PHOTOMASK PATTERN VERIFICATION CONTROL PROGRAM AND READABLE STORAGE MEDIUM例文帳に追加

フォトマスクパターン検証方法、フォトマスクパターン検証装置、半導体集積回路の製造方法、フォトマスクパターン検証制御プログラムおよび可読記憶媒体 - 特許庁

To solve such a problem that conditions for an input value for generating a detected fault has to be verified by manual operation when performing dynamic program verification.例文帳に追加

動的プログラム検証を行う場合、検出された障害を発生させるための入力値に対する条件を人手により検証しなければならない。 - 特許庁

To provide a digital signature and an digital signature verification device for storing seal stamp data, PKI token and a program for digital signature in a portable storage medium.例文帳に追加

可搬性ある記憶媒体に、印影データ、ＰＫＩトークンおよび電子署名用プログラムを格納した電子署名および電子署名検証装置を提供する。 - 特許庁

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

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

In the selective verification operation, a data input/output circuit selectively precharges a relevant bit line according to a temporary program state of stored data.例文帳に追加

選択検証動作において、データ入出力回路は、格納されたデータの臨時プログラム状態にしたがって、該当ビットラインを選択的にプリチャージする。 - 特許庁

To provide a road traffic simulation device and program for easily performing function verification or control effect evaluation of a traffic light machine in keeping with the reality.例文帳に追加

より現実に即した交通信号機の機能検証や制御効果の評価を容易に行うための道路交通シミュレーション装置及びプログラムを提供する。 - 特許庁

To prevent function verification simulation from being disturbed by the existence of the part of a different interpretation between a program language and an HDL in a hardware description.例文帳に追加

ハードウエア記述のうちプログラム言語とＨＤＬとで解釈が分かれる部分の存在が機能検証シミュレーションを妨害することを回避する。 - 特許庁

An IC card with a secret key stored inside and with a built-in signature data generating program, and a corresponding signing device enable the electronic signature on a paper document and verification of the signature.例文帳に追加

秘密鍵を内部に記憶し、署名データの生成プログラムを内蔵したＩＣカードと、これに対応した署名装置により上記課題を解決する。 - 特許庁

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

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

In the security verification processing, the setting information to be verified is collected, and the program operating information is read out in accordance with the collected setting information.例文帳に追加

セキュリティ検証処理では、先ず、検証対象の設定情報を収集し、収集した設定情報に従ってプログラム動作情報を読み出す。 - 特許庁

To easily and efficiently search the factor of a defect which has occurred due to an operation verification test in the case of developing a computer program.例文帳に追加

コンピュータプログラムの開発の際に、動作検証試験により発生した不具合の原因の究明を容易に且つ効率的に行えるようにする。 - 特許庁

ANONYMOUS SIGNATURE GENERATING DEVICE, ANONYMOUS SIGNATURE VERIFICATION DEVICE, ANONYMOUS SIGNATURE TRACING DECISION DEVICE, ANONYMOUS SIGNATURE SYSTEM WITH TRACING FUNCTION, METHODS AND PROGRAM FOR THEM例文帳に追加

匿名署名生成装置、匿名署名検証装置、匿名署名追跡判定装置、追跡機能付き匿名署名システム、それらの方法及びプログラム - 特許庁

Meanwhile, when the program verification is not required for the data programmed in the memory cell, the supply of current to the memory cell is cut off from the sense amplifier.例文帳に追加

一方、前記メモリセルにプログラムされたデータがプログラム検証を要しない場合には、前記感知増幅器から前記メモリセルへの電流供給が遮断される。 - 特許庁

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

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