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

To drastically improve a word program time by hardware-processing generation of initial verification-voltage of read-out operation included in write-in and erase operation.例文帳に追加

書き込みや消去動作に含まれる読み出し動作の初期ベリファイ電圧の生成をハードウェア処理することにより、ワードプログラム時間を大幅に向上する。 - 特許庁

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 content feature amount extraction device and a program therefor, which is used for content verification data and extracts feature amount capable of specifying the content, and to provide a content verification data generating device and a program therefor, which is capable of surely verifying the content and authenticating a content distributor.例文帳に追加

コンテンツの認証データとして使用し、コンテンツを特定することができる特徴量を抽出するコンテンツ特徴量抽出装置及びそのプログラムを提供し、コンテンツ及びコンテンツ配信者の認証を確実に行なうことができる、コンテンツ認証データ生成装置及びそのプログラム、並びにコンテンツ認証方法を提供する。 - 特許庁

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

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

The generation device 100 has an input part 102 for inputting a verification range in each task included in the application program; a detection part 104 for detecting the condition parameter included in the application program and a generation part 105 for calculating measurement conditions 106, based on the verification range and the condition parameter.例文帳に追加

生成装置１００は、アプリケーションプログラムに含まれる各タスクにおける検証範囲を入力する入力部１０２と、アプリケーションプログラムに含まれる条件パラメータを検出する検出部１０４と、検証範囲及び条件パラメータに基づき計測条件１０６を算出する生成部１０５とを有する。 - 特許庁

When the platform integrity verification succeeds, an additional program (e.g. a remote access client) necessary for utilizing a thin client server 13 or a thin client server 14 is transmitted from an integrity verification server 12 to a computer 1 and the additional program is applied to the thin client OS developed on the computer 1.例文帳に追加

プラットフォーム完全性検証に成功すると，完全性検証サーバ１２からコンピュータ１に，シンクライアントサーバ１３或いはシンクライアントサーバ１４を利用するために必要な追加プログラム（例えば，リモートアクセスクライアント）が送信され，コンピュータ１上に展開されているシンクライアントＯＳに該追加プログラムが適用される。 - 特許庁

An information processing apparatus generates an anti-bagging routine which hinders dynamic analysis, and processing for verifying presence of the alteration of the program to perform self-rewrite according to verification results of the alteration, and adds them in an object program.例文帳に追加

情報処理装置は、動的解析を妨げるアンチデバッギングルーチンと、プログラムの改ざんの有無を検証しその検証結果に応じて自己書換えを行う処理とを生成し、それらを対象プログラムに追加する。 - 特許庁

To automatically generate a test program for operation verification of a processing system of a test object developed as a refine product to a standardized product, and verify the operation validity by use of the test program.例文帳に追加

標準規格品に対するリファイン品として開発した検査対象の処理系に関し、処理系の動作検証を行うテストプログラムを自動生成し、そのテストプログラムにより動作正当性検証を行う。 - 特許庁

To make it possible to easily execute the storage/verification of data loaded from an external device at the activation of a program by software processing any time required during the operation of the program and to easily specify a troubled position therefore.例文帳に追加

起動時に外部装置からローディングしたデータの保持検証を、稼働時にソフトウェア処理でいつでも必要なときに容易に行うことを可能とし、これによって不具合箇所の特定を容易に行うことができる。 - 特許庁

A program counter control part 15 controls update of respective program counters PC1, PC2 such that the instruction execution interval between the verification target circuit part 11 and the duplication circuit part 12 maintains the prescribed number of the delay instructions.例文帳に追加

プログラムカウンタ制御部１５は、検証対象回路部１１と複製回路部１２との命令実行間隔が所定の遅延命令数を保つようにそれぞれのプログラムカウンタＰＣ１、ＰＣ２の更新を制御する。 - 特許庁

To provide a bias level generating circuit of a flash memory element in which oscillation can be prevented by making a bias level being suitable for the operation, when cell-program operation is performed or verification of program is performed.例文帳に追加

セルプログラム動作を行なうかプログラム検証を行なう場合、該当動作に適したバイアスレベルを作ることにより、オシレーションを防止することができるフラッシュメモリ素子のバイアスレベル生成回路を提供すること。 - 特許庁

Such processes are included that: the program pulse voltage is applied to a selected memory cell; detrapping pulse voltage for removing shallow-trapped electric charges is applied to the cell to which the program pulse voltage is applied; and the program verification pulse voltage is applied to the memory cell.例文帳に追加

選択されたメモリセルに対してプログラムパルス電圧を印加し、プログラムパルス電圧が印加されたセルに対してシャロートラップされた電荷を除去するためのデトラップパルス電圧を印加し、そしてメモリセルに対してプログラム検証パルス電圧を印加する各工程を含む。 - 特許庁

A program verification apparatus measures as a degree of exhaustiveness a range verified by model examination techniques using such an existing technique as embedding arrival confirmation codes in portions of conditional branching, and indicates the measuring result together with the verification result, thereby indicating the possibility of an assumption error to an operator.例文帳に追加

条件分岐箇所へ到達確認用のコードを埋め込む等の既存技術を用いてモデル検査技術で検証した範囲を網羅度として測定し、検証結果とともにその測定結果を示すことにより、作業者に仮定の誤りの可能性を示す。 - 特許庁

A terminal device 100 downloads a certificate verification program 508 to which an electronic signature of an authentication station is added from a server device 200, and performs verification with an electronic signature of an authentication station certificate 516 that is an electronic certificate issued by the authentication station.例文帳に追加

端末装置１００は、サーバ装置２００から認証局の電子署名が付加された証明書検証プログラム５０８をダウンロードし、認証局が発行した電子証明書である認証局証明書５１６の電子署名との検証を行う。 - 特許庁

To provide a system and an apparatus for the verification of a signal wherein vasatility are high in verification object and use, a skilled technique such as experience, intuition or the like is not required and specifications according to a taste of a user can be set, and to provide a computer program and a recording medium.例文帳に追加

検証対象及び用途において汎用性が高く、経験及び勘などの熟練した技術が不要であり、ユーザの嗜好に応じた仕様に設定することができる信号検証システム、信号検証装置、コンピュータプログラム、及び記録媒体の提供。 - 特許庁

The verification program 11 simulates a DUT 13, stops the simulation, corrects a circuit description of an I/F MODEL 134 so as to satisfy assertion and simulates the DUT 13 again, when assertion violation occurs in an interblock I/F constituting a verification object logical circuit.例文帳に追加

検証プログラム１１が、ＤＵＴ１３に対してシミュレーションを行い、構成するブロック間Ｉ／Ｆにアサーション違反があった場合は、シミュレーションを停止してアサーションを満たすようにＩ／Ｆ ＭＯＤＥＬ１３４の回路記述を修正し、再度シミュレーションする。 - 特許庁

To provide a function verification device, a test bench, a simulator program, and a storage medium for avoiding unintended register setting in each verification work and allowing a test designer to design a test without taking register competition with the other test into consideration.例文帳に追加

それぞれの検証作業で意図しないレジスタ設定となることを回避することができ、テスト設計者は他のテストとのレジスタ競合を考えることなくテストを設計することができる機能検証装置、テストベンチ、シミュレータプログラム及び記憶媒体を提供する。 - 特許庁

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

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

A simulator 10 has a simulation execution part 12 which executes a program of verification object, a trace data recording part 13 which records its result, and a simulation reproducing part 15.例文帳に追加

シミュレータ１０は、検証対象のプログラムを実行するシミュレーション実行部１２と、その結果を記録するトレースデータ記録部１３と、シミュレーション再現部１５とを有する。 - 特許庁

This constitution eliminates the need to generate the target program wherein a test code for outputting the trigger signal from the microcomputer part every time verification is performed is arranged.例文帳に追加

この構成により、検証を行う毎にマイクロコンピュータ部よりトリガ信号を出力させるテストコードを配置したターゲットプログラムを生成する必要をなくすことができる。 - 特許庁

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 the pre-verifying device of a controller capable of improving the efficiency of job site construction by further ensuring the pre-verification of a control program.例文帳に追加

制御プログラムの事前検証を一層確実なものとすることにより現地工事の効率を向上することの可能な制御装置の事前検証装置を提供する。 - 特許庁

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 an information processor capable of reducing the load required for verification and restoration of the processor and to provide a computer program executed by the information processor.例文帳に追加

装置の検証や復旧にかかる負担を軽減することができる情報処理装置、及びその情報処理装置により実行されるコンピュータプログラムを提供すること - 特許庁

To provide an automatic software verification system for reducing man-hours required to create a regression test program necessary during development as a whole.例文帳に追加

製品全体として開発時に必要とされるリグレッションテストプログラム作成に要する工数を低減できるソフトウェア自動検証システムを提供することを目的とする。 - 特許庁

A multi-control unit 60 makes verification and confirmation when connecting video conferencing devices 10 to 40 with itself, and sends a screen control program and downloads the video conference devices 10 to 40.例文帳に追加

マルチコントロールユニット６０は、テレビ会議装置１０〜４０との接続時に、認証確認後、画面制御プログラムを送出して、テレビ会議装置１０〜４０にダウンロードする。 - 特許庁

To provide a design/verification support program which can ensure consistency between a use case diagram and an activity diagram and can reduce a work load and shortening a design period by automatically generating one of the diagrams only by giving another diagram.例文帳に追加

ユースケース図またはアクティビティ図のうちいずれか一方の図を与えるだけで他方の図を自動生成することにより、両図間の整合性を取ることができる。 - 特許庁

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

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

Write or read to/from a storage element is performed by a verification test program, and the data of the scoreboard are updated so that access to the storage element can be realized at random.例文帳に追加

検証のテストプログラムで、記憶素子に対して、ライトもしくはリードを行うと同時に、スコアボードのデータを更新することによって、ランダムにアクセスすることを可能としている。 - 特許庁

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

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

An identifier such as an event ID, which is assigned to a broadcast program is recorded in storage means 372 of a verification management system 30 in advance, and an identifier included in verification information received from a digital broadcasting receiver 20 and the identifier recorded in the storage means 372 are compared, whereby whether the viewer watched the program is authenticated.例文帳に追加

放送された番組に付与されたイベントＩＤ等の識別子を照合管理システム３０の記憶手段３７２に記録しておき、デジタル放送受信機２０から受信した照合情報に含まれる識別子と、記憶手段３７２に記憶される識別子とを比較して、視聴者が番組を視聴したか否かを認証する。 - 特許庁

The agent server device 1 has a program verifying/converting mechanism 15 to carry out verification of safety of the program and program conversion suitable to operate on the agent server 1, and a program executing condition preserving mechanism 18 to preserve the condition of the program being executed, and a program executing and controlling mechanism 16 automatically preserves the proper executing condition with proper timing by working with the communication mechanism.例文帳に追加

エージェントサーバ装置１はプログラムの安全性の検証とエージェントサーバ装置１上で動作するのにふさわしいようなプログラム変換とを行うプログラム検証／変換機構１５と、実行中のプログラムの状態を保存するプログラム実行状態保存機構１８とを持ち、プログラム実行制御機構１６が通信機構と連動して適切なタイミングで適切な実行状態を自動保存する。 - 特許庁

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

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

The charge sharing circuit 240 performs charge sharing by the load capacitor of a word line with a program voltage that is supplied during program operation and a capacitor 115 of the charge sharing circuit 240 in response to a discharge enable signal DIS and lowers a word line voltage to a program verification voltage without any charge loss.例文帳に追加

このチャージシェアリング回路２４０は、放電イネーブル信号ＤＩＳに応答して、プログラム動作中供給されたプログラム電圧を有するワードラインのロードキャパシタと当該回路２４０のキャパシタ１１５とでチャージシェアリングして電荷損失なしでワードライン電圧をプログラム検証電圧に下げる。 - 特許庁

Thus, it is possible to newly prepare control program preparation software capable of outputting a control program without interrupting the communication relay, or to repeat the update and verification of the control program without switching the connection while it is not necessary to add any switcher to a control system 1.例文帳に追加

これにより、通信中継を阻害せずに制御プログラムを出力可能な制御プログラム作成ソフトを新たに作成したり、切り換え器を制御システム１に追加する必要がないにも拘らず、接続を切り換えずに、制御プログラムの更新と検証とを繰り返すことができる。 - 特許庁

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

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

The verification program 111 transmits the control code to the learning remote controller 120 on the basis of the scenario data 112, the iteration condition data 113, and the control code information 114 in order to apply function tests to a built-in program 131.例文帳に追加

検証プログラム１１１は、組込みプログラム１３１の機能テストをおこなうため、シナリオデータ１１２、反復条件データ１１３および制御コード情報１１４に基づいて、学習リモコン１２０に対して制御コードを送信する。 - 特許庁

By inspecting the state transition in each path to the plurality of paths based on the discrimination condition, a non-verifying path excluded from the verification target by the verification program 22 and a verifying path set as the verification target are discriminated, and the plurality of paths are stored while the non-verifying path and the verifying path can be identified based on a discrimination result thereof.例文帳に追加

そして、複数のパスについて、判別条件に基づきパス毎における状態遷移を検査することにより、検証プログラム２２による検証対象から除外される非検証用パスと検証対象とされる検証用パスとを判別し、その判別結果に基づき、複数のパスを非検証用パスと検証用パスとが識別可能な状態で保存する。 - 特許庁

To provide a circuit operation verification method, a circuit operation verification device, and a computer program, capable of correctly and speedily verifying whether or not a circuit element built in a semiconductor integrated circuit malfunctions by considering each voltage drop of power supply wiring and grounding wiring.例文帳に追加

電源配線及び接地配線夫々の電圧降下を考慮して、半導体集積回路が有する回路素子が誤作動するか否かを正確かつ高速に検証することができる回路動作検証方法、回路動作検証装置及びコンピュータプログラムを提供する。 - 特許庁

In the verification of the logical operation of the information processor, the verification of the logical operation is realized with high accuracy, by generating more transaction competitive patterns by making an I/O emulator work together with a test program, and also by automatically preparing input data to the I/O emulator.例文帳に追加

情報処理装置の論理動作の検証において、Ｉ／Ｏエミュレータとテストプログラムを連動させ、且つＩ／Ｏエミュレータへの入力データは自動で作成することで、より多くのトランザクション競合パターンを発生させることにより、論理動作の検証を高精度に実現する。 - 特許庁

To provide a verification apparatus, verification method, and program which verifies, prior to the installation of a three-dimensional laser radar for safely, quickly, and surely detecting an object present in a predetermined area by applying a laser toward the predetermined area in a scanning manner, the installation position of the laser radar.例文帳に追加

所定領域に向けてレーザを走査照射して所定領域に存在する物体を検知する３次元レーザレーダを設置するに先立って、レーザレーダの設置位置の検証を、安全、迅速、確実に行うことができる検証装置、検証方法及びプログラムを提案する。 - 特許庁