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

To provide an aggregate signature system, a verification system, an aggregate signature method, and an aggregate signature program that can represent a tree structure, and achieve sequenced electronic signature through efficient arithmetic processing.例文帳に追加

木構造を表現でき、かつ効率的な演算処理によって順序付き電子署名を行うことができるアグリゲート署名システム及び検証システム及びアグリゲート署名方法及びアグリゲート署名プログラムを提供すること。 - 特許庁

To provide a program for allowing a computer to execute an asynchronous circuit verification method capable of suitably executing simulation while suppressing memory consumption without requiring the consideration of differences in the constitution of sequence circuits.例文帳に追加

順序回路構成の違いを考慮する必要が無く、メモリ使用量を抑制して適切にシミュレーションを実行することが可能な非同期回路の検証方法をコンピュータに実行させるプログラムを提供する。 - 特許庁

To provide an electronic contents originality verification evidence forming system improved in evidence ability maintaining property and which can prevent dishonest use of a time stamp and which has excellent dishonest use preventing evidence forming program and confidentiality.例文帳に追加

証拠能力の持続性の向上、タイムスタンプの不正使用防止、証拠作成時における不正防止証拠作成プロセスと機密性に優れた電子コンテンツ原本性検証証拠作成システムを提供する。 - 特許庁

In the case where the result of comparison between data to be stored in a data register and data read shows a failure and the address is a column address having a failure first, the address is stored in a fail address register 1 and the verification after the succeeding program is executed from this address failed.例文帳に追加

半導体記憶装置には、複数個のメモリセル及び複数個の前記メモリセルのうちプログラムベリファイにより最初にフェイルと判断されたもののアドレスを記憶する記憶手段が設けられている。 - 特許庁

To provide a data verification apparatus for verifying validity of data without shifting data to a disk device to which a check sum has been added without changing an application program nor the data format of a user file.例文帳に追加

アプリケーションプログラムやユーザファイルのデータ形式を変更することなく、かつチェックサムを付加したディスク装置へデータを移行することなく、データの正当性を検証することができるデータ検証装置を提供する。 - 特許庁

The CPU 11 of a computer body 10 operating according to an external program transmits the electronic data present on the work area of a RAM 13 to a verification token 40 connected to a USB interface 18.例文帳に追加

外部プログラムに従って動作するコンピュータ本体１０のＣＰＵ１１は、ＲＡＭ１３の作業領域上に存在する電子データを、ＵＳＢインタフェース１８に接続されている検証トークン４０へ送信する。 - 特許庁

To provide a controller part operation verification device, a controller part operation verifying method, a recording medium, and a program which are more useful for users by enabling execution of various tests, such as continuous operation test of a controller part from the remote place, without the need for monitoring the controller part operation verification device in the vicinity.例文帳に追加

コントローラ部動作検証装置の近くで当該装置を監視する必要がなく、離れた場所からコントローラ部に関する連続動作試験などの各種試験を実施することを可能とする等、利用者にとってより利便性の高いコントローラ部動作検証装置、コントローラ部動作検証方法、記憶媒体、及びプログラムを提供する。 - 特許庁

To provide a verification support device and a computer program, which detects a recognition object section which is an object of recognition processing, in an output data for outputting a moving image and/or sound, and which supports correctness verification operation for a speech recognition result on a unit data which is an output data for each detected recognition object section.例文帳に追加

動画及び／又は音を出力させる出力データに対し、認識処理の対象となる認識対象区間を検出し、検出した認識対象区間毎の出力データである単位データについてなされた認識処理の結果に対する正誤確認作業を支援する確認支援装置及びコンピュータプログラムを提供する。 - 特許庁

An expected value (data for verification) 503 corresponding to arbitrary data 504 is arranged in a predetermined address in the external memory stored with the arbitrary data 504, and only a program 502 for comparing verification is arranged in a ROM 509 built in the microcomputer 506 so that the microcomputer does not depend upon data in the external memory.例文帳に追加

任意データ５０４が収められた外部メモリ５０７内の予め定めたアドレスにその任意データに対応した期待値（検証用データ）５０３を配置し、マイクロコンピュータ５０６に内蔵されたＲＯＭ５０９内には比較検証用プログラム５０２のみを配置する構成にして、マイクロコンピュータが外部メモリ内のデータに依存しないようにした。 - 特許庁

To provide a network monitoring system, a program, a storage medium, a USB memory, a chip and a router, enabling the efficient and sure grasping and verification of degrees of attacks to a plurality of computers connected to a network or the cause thereof.例文帳に追加

ネットワークに接続された複数のコンピュータに対するアタックの程度や原因を効率よく確実に把握して立証することができる、ネットワーク監視システム、プログラム、記録媒体、ＵＳＢメモリ、チップ、及び、ルータを提供する。 - 特許庁

To provide a time stamp compression apparatus, a verification apparatus, a request apparatus, a server, a control method, a program, and a storage medium, which prvent a sender from selecting mail with a delivery certificate at time t after the time in accordance with sender's convenience.例文帳に追加

送信者が都合に合わせて時刻tでの配達証明が付加されたメールを事後に選ぶことを防止したタイムスタンプ圧縮装置、検証装置、要求装置、サーバ、制御方法、プログラム、及び記憶媒体を提供する。 - 特許庁

To provide an image verification device for retrieving a video used without permission by detecting the logo of a television broadcasting station or the logo of a television program or a preliminarily registered video from among videos contributed to a moving image sharing site or the like.例文帳に追加

動画共有サイトなどに投稿された映像の中から、テレビ放送局のロゴやテレビ番組のロゴや、予め登録された映像を検出することで、無断で使用された映像を検索する画像照合装置を得る。 - 特許庁

To provide a microcomputer of a type mixedly mounting non-volatile memory and a non-volatile memory writing method capable of shortening the written program verification period and reducing the size of a RAM necessary for writing.例文帳に追加

本発明は、書き込みプログラムの検証期間の短縮化及び書き込みに必要なＲＡＭのサイズの低減化を図ることができる不揮発メモリ混載型マイクロコンピュータ及び不揮発メモリ書き込み方法を提供することを課題とする。 - 特許庁

This device, a program product and a method are provided for optimizing dialogues between the client and the server via an active document for effectively transferring, for example data formatting operation and data verification operation from the server to the client by changing a program code on the server side and performing a portable operation by preparing the active document.例文帳に追加

サーバ側のプログラムコードを変更し、ポータブル操作の実施を、たとえば、データフォーマッティング操作、およびデータ検証操作を、サーバからクライアントに効果的に移行するためのアクティブ文書を作成することによって、アクティブ文書を介して、クライアントとサーバとの間の対話を最適化する、装置、プログラム製品および方法を提供する。 - 特許庁

Further, DS20 can be inputted from the condition setting part 10 and one of outputs DSO21 to DSO2n of respective programs P1, P2, P3 to Pn in the program 63 or variables at necessary places of the respective steps can be displayed and monitored, so high-precision verification can be performed on the source code level in the program.例文帳に追加

更に、条件設定部１０からＤＳ_20も入力でき、プログラム６３の内部の各プログラムＰ_1 ，Ｐ_2 ，Ｐ_3 〜Ｐ_n 出力ＤＳＯ_21〜ＤＳＯ_2nのいずれか、又は各ステップでの必要個所の変数を表示部１１へ表示してモニタすることができるので、プログラム内部のソースコードレベルで高精度の検証ができる。 - 特許庁

In this program verification system for verifying operation of a program by means of an ICE 400 and a virtual EEPROM 80, input/output data of the ICE 400 to/from the virtual EEPEOM 80 are acquired in a data R/W part 300, and the acquired data are visualized according to a display format of a monitor 304.例文帳に追加

ＩＣＥ４００と仮想ＥＥＰＲＯＭ８０とを用いてプログラムの動作検証を行うプログラム検証システムであって、仮想ＥＥＰＲＯＭ８０に対するＩＣＥ４００の入出力データをデータＲ／Ｗ部３００で取得し、取得したデータをモニタ３０４の表示形式に合わせて可視化する。 - 特許庁

To provide a program development support device for safety controller capable of preventing a programming error such as arranging a function block in an inappropriate position, and in an inappropriate order, when such a programming error arises, to easily find the fact, and also to facilitate parameter verification of an output condition function block in a program after completion.例文帳に追加

ファンクションブロックを誤った位置に配置したり、誤った順序で配置すると言ったプログラミングミスが生じ難く、かつそのようなプログラミングミスが生じた場合には、そのことを容易に発見することができ、しかも完成後のプログラムにおける出力条件ファンクションブロックのパラメータ検証も容易とすること。 - 特許庁

A host 100(distribution computer) distributes a new module 305b for performing service providing processing, and a terminal 300 updates an old module 305a of a control program 305 into a new module 305b distributed by the host 100, and performs the operation verification processing of the updated new module 305b, and performs error management processing when any error is detected by the operation verification processing.例文帳に追加

ホスト１００（配信用コンピュータ）がサービス提供処理を実行する新モジュール３０５ｂを配信し、端末３００が制御プログラム３０５の旧モジュール３０５ａをホスト１００により配信された新モジュール３０５ｂに更新し、更新した新モジュール３０５ｂの動作検証処理を実行し、動作検証処理でエラーを検出した時にエラー対処処理を実行する。 - 特許庁

Selective application processing from a plurality of algorithm elements for the security check processing, e.g. hash processing, encrypting/ decrypting processing and electronic signature verification processing, of a program to be downloaded to reconstitution available logic in the radio communication apparatus for software radio (SDR) and selective application of encrypting/decrypting processing keys and electronic signature verification processing keys can be attained.例文帳に追加

ソフトウェア無線（ＳＤＲ）としての無線通信装置内の再構成可能ロジックにダウンロードするプログラムに対するセキュリテイチェック処理、例えばハッシュ処理、暗号化／復号化処理、電子署名検証処理の各アルゴリズムについて、複数アルゴリズムからの選択適用処理、また暗号化／復号化処理鍵、電子署名検証処理用鍵についての選択的適用を可能とした。 - 特許庁

To provide a verification program, apparatus and method capable of surely verifying design of wiring for electrically connecting a test head body to a plurality of connection terminals to which the plurality of external terminals of an electronic component to be tested are connected.例文帳に追加

テストヘッド本体と、被試験電子部品の複数の外部端子が接続される複数の接続端子とを電気的に接続する配線の設計を確実に検証することのできる検証プログラム、検証装置及び検証方法を提供する。 - 特許庁

The programming method of the NOR flash memory includes that data stored in a data buffer are programmed to a memory cell and during a program verification operation, a supply of current from a sense amplifier to the memory cell is controlled in accordance with the data stored in the data buffer.例文帳に追加

ＮＯＲフラッシュメモリ装置のプログラム方法は、データバッファに貯蔵されたデータをメモリセルにプログラムして、プログラム検証動作時に、前記データバッファに貯蔵されたデータに応じて感知増幅器から前記メモリセルへの電流供給を制御する。 - 特許庁

The operation verification device 100 selects a function corresponding to the operation recorded in the log of a plurality of kinds of functions installed with logic for achieving various kinds of operation to generate a program for the operation test for reproducing the series of operation.例文帳に追加

そして、各種操作を実現するためのロジックが組み込まれた複数種類の関数のうちログに記録された操作に対応する関数を選択することにより、上記一連の操作を再現するための動作テスト用プログラムを生成する。 - 特許庁

To provide an image forming apparatus that can surely ensuring the operation of equipment for which a software file has been remotely updated, and that consequently minimizes the equipment operation loads of a user, and to provide a remote updating verification method and program of the image forming apparatus.例文帳に追加

遠隔でソフトウェアファイルを更新した機器の動作保障を確実に行い、ユーザの機器操作負荷を最小限に抑えることができる画像形成装置、画像形成装置の遠隔更新検証方法及びプログラムを提供する。 - 特許庁

To provide a clip tester for extremely improving reliability of verification by generating pseudo failure at timing corresponding to operation timing of a circuit to be tested, and to provide a clip testing device, a clip testing method and a clip testing program.例文帳に追加

被試験回路の動作タイミングに対応したタイミングで擬似故障を発生させることができ、もって、検証の信頼性を極めて向上させることができるクリップテスタ、クリップ試験装置、クリップ試験方法、およびクリップ試験プログラムを提供する。 - 特許庁

When the program stored in the memory 12 is executed by the processor 11 to output an action instruction signal to the verification objective circuit 13 from the processor 11, while an output specification signal is outputted to the peripheral circuit simulator 20 via the bus 15.例文帳に追加

プロセッサ１１に、メモリ１２に記憶されているプログラムを実行させて、プロセッサ１１から検証対象回路１３へ動作指示信号を出力させると共に、バス１５を介して周辺回路シミュレータ２０へ出力仕様信号を出力させる。 - 特許庁

To provide an account processing device capable of simplifying transfer slip input, and facilitating consultation and verification of transfer slip input data recorded in each book or ledger; to provide a transfer slip input processing method; to provide a program; and to provide a storage medium.例文帳に追加

振替伝票入力の簡易化を実現すると共に、各帳簿や元帳に記帳した振替伝票入力データの参照や検証を容易とした、会計処理装置、振替伝票入力処理方法、プログラム及び記憶媒体の提供 - 特許庁

To provide a timing analysis method, a timing analysis program and a timing analysis device for statistically handling the variance of elements comprising a semiconductor integrated circuit, and for performing timing verification under suitable conditions excluding excess variance.例文帳に追加

半導体集積回路を構成する素子のばらつきを統計的に扱い過剰なばらつきを含まない好適な条件でタイミング検証を行なうことが可能なタイミング解析方法、タイミング解析プログラム、およびタイミング解析装置を提供すること。 - 特許庁

Starting from January 2009, verification is additionally conducted for the maintenance program.例文帳に追加

これは、点検実績や機器の劣化状況等を踏まえた個別機器の点検や保守の計画（保全計画）を運転サイクルごとに原子力安全・保安院に届け出て確認を受ける手続きであり、原子力安全・保安院では定期検査の前に事前確認を行っている。 - 経済産業省

The page buffer circuit includes a sense amplification unit, configured to compare a reference voltage with a bit line voltage changed, based on a program state of a selected memory cell connected to the bit line of a selected memory block and to amplify a sensing node based on a difference, and a plurality of latch circuits configured to latch program verification data according to the voltage level of the sensing node.例文帳に追加

基準電圧と、選択されたメモリブロックのビットラインに連結された選択されたメモリセルのプログラム状態によって変更されるビットライン電圧を比較し、その差によってセンシングノ−ドを増幅するセンシング増幅部と、前記センシングノ−ドの電圧レベルによってプログラム検証データをラッチする複数のラッチ回路と、を含む。 - 特許庁

This method of programming a nonvolatile memory element includes steps of: applying a program voltage to a memory cell; applying a supplementary pulse to the memory cell to facilitate stabilization of an electric charge, after the program voltage is applied; applying a recovery voltage to the memory cell after applying the supplementary pulse; and verifying the memory cell by applying a verification voltage after the recovery voltage is applied.例文帳に追加

メモリセルにプログラム電圧を印加するステップと、プログラム電圧印加後、電荷の安定化を促進するように補充パルスを印加するステップと、補充パルスに続いてメモリセルに回復電圧を印加するステップと、回復電圧印加後に、検証電圧を印加して検証するステップと、を含む不揮発性メモリ素子のプログラム方法である。 - 特許庁

This page buffer operation method of the nonvolatile memory device activates only a first latch section included in each of a plurality of page buffers and inactivates a second latch section in the case of a copy back program operation, and activates the first latch section or the second latch section in the case of program operation, read operation, and verification operation.例文帳に追加

本発明の不揮発性メモリ装置のページバッファ動作方法は、コピーバックプログラム動作の際には複数のページバッファそれぞれに含まれた第１ラッチ部のみを活性化させ、第２ラッチ部を非活性化させ、プログラム、読み出しおよび検証動作の際には前記第１ラッチ部または前記第２ラッチ部を活性化させることを特徴とする。 - 特許庁

A peripheral device interface 116 is prepared from the device driver and check program for controlling behavior models 110-112 of any peripheral device, and thereby the device driver and check program capable of operating on the actual chip can undergo a logic verification using the behavior models 110-112 of the peripheral device.例文帳に追加

デバイスドライバおよびチェックプロから、周辺デバイスのビヘイビュアモデル１１０〜１１２を制御するため周辺デバイスインターフェース１１６を用意することにより、実チップ上で動作可能な該デバイスドライバおよび該チェックプロが、該周辺デバイスのビヘイビュアモデル１１０〜１１２を用いて論理検証できることを特徴とするシステムＬＳＩの論理検証方式。 - 特許庁

In starting the use of a portable terminal, for example, when mounting a battery, a program is transferred from the ROM of a second semiconductor chip to the RAM of a first semiconductor chip, and then the program stored in the RAM of the first semiconductor chip is periodically verified based on a verification cycle determined according to the frequency of incoming in a standby status.例文帳に追加

電池の装着時など、携帯端末の使用を開始するときに、第２半導体チップのＲＯＭから第１半導体チップのＲＡＭにプログラムの転送を行ない、その後、待ち受け状態において、着信の頻度に応じて決定されたベリファイ周期に基づいて、周期的に第１半導体チップのＲＡＭに記憶されたプログラムのベリファイを実行する。 - 特許庁

To provide a multiple signature system in which the signature size is limited to a constant value even if the number of persons signing increases, and order-attached electronic signature can be performed efficiently by arithmetic processing, and to provide a verification system, a multiple signature method and a multiple signature program.例文帳に追加

署名する人数が増えても署名サイズを一定値に抑制し、かつ効率的な演算処理によって順序付き電子署名を行うことができる多重署名システム、検証システム、多重署名方法及び多重署名プログラムを提供すること。 - 特許庁

In this system verification device 100, a microcomputer 110 for switch control for setting a switch circuit 111 by program execution is mounted on a target board 101, and switch control on the target board 101 is controlled by software from a terminal 104 at a remote place.例文帳に追加

システム検証装置１００は、ターゲットボード１０１に、スイッチ回路１１１の設定をプログラム実行により行うスイッチ制御用マイクロコンピュータ１１０を実装し、ターゲットボード１０１上のスイッチ制御を遠隔地の端末１０４からソフトウェアによって制御する。 - 特許庁

To provide a verification method and system capable of increasing the accuracy of a simulation device, by making it easy to achieve time synchronization between a simulative component part achieved by a program on a computer and another simulative component part achieved by a reconfigurable device.例文帳に追加

計算機上のプログラムで実現される模擬的構成部分と再構成可能なデバイスにより実現される模擬的構成部分との間で時間的同期が取りやすく、模擬装置の精度を高めることができる検証方法及びシステムを提供する。 - 特許庁

To provide an aggregate signature system, a verification system, an aggregate signature method, and an aggregate signature program that can control a sign size to a constant value and achieve sequenced electronic signature through efficient arithmetic processing even when persons who sign increase in number.例文帳に追加

署名する人数が増えても署名サイズを一定値に抑制し、かつ効率的な演算処理によって順序付き電子署名を行うことができるアグリゲート署名システム及び検証システム及びアグリゲート署名方法及びアグリゲート署名プログラムを提供すること。 - 特許庁

To provide a game machine which facilitates the development, verification or others of a control program by enabling the rational execution of various processings related to lottery under a special game state in a type which carries out the lottery under the special game state responding to the detection of the winning of prizes with game balls.例文帳に追加

遊技球の入賞検出に基づいて特別遊技状態の抽選を行う遊技機において、特別遊技状態の抽選に関連した各種処理を合理的に実行でき、制御プログラムの開発、検証等が容易となるものを提供する。 - 特許庁

To provide an authentication card, an authentication system, a guidance method and a program which can guide a person to be authenticated so as to allow imaging of an image capable of at least extracting the feature amount of a face of the person to be authenticated, which is required for verification of authentication.例文帳に追加

認証の照合に必要な認証対象者の顔の特徴量を少なくとも抽出することができる画像を撮像できるように、認証対象者を誘導する認証カード、認証システム、ガイダンス方法及びプログラムを提供すること。 - 特許庁

The nonvolatile memory device performs data sensing to memory cells presently chosen by the nonvolatile memory device, and verification of a program state or an erasure state to data sensed before by other memory cells of the nonvolatile memory device, simultaneously.例文帳に追加

本発明による不揮発性メモリ装置は、不揮発性メモリ装置で現在選択されたメモリセルに対するデータ感知と、前記不揮発性メモリ装置の他のメモリセルで以前に感知されたデータに対するプログラム状態または消去状態の検証とを同時に実行する。 - 特許庁

To provide a game machine that performs a lottery of a special game condition on the basis of detection of winning of a game ball, capable of executing reasonably a variety of processing relating to the lottery of a special game condition and facilitating development, verification or the like of a control program.例文帳に追加

遊技球の入賞検出に基づいて特別遊技状態の抽選を行う遊技機において、特別遊技状態の抽選に関連した各種処理を合理的に実行でき、制御プログラムの開発、検証等が容易となるものを提供する。 - 特許庁

To provide an emulator description automatic generation system and an emulator description automatic generation program capable of automatically adding power supply parts necessary for interface matching and emulator verification in programmable parts on a circuit diagram before preparing an emulation description.例文帳に追加

エミュレータ記述を作成するに先だって、回路図上で、プログラマブル部品におけるインタフェース整合およびエミュレータ検証に必要な電源部品を自動的に追加することができるエミュレータ記述自動生成システムおよびエミュレータ記述自動生成プログラムを提供する。 - 特許庁

To provide an aggregate signature system, a verification system, an aggregate signature method, and an aggregate signature program that suppress a signature size to a constant value even when persons who sign increase in number, and achieve a sequenced electronic signature through efficient arithmetic processing.例文帳に追加

署名する人数が増えても署名サイズを一定値に抑制し、かつ効率的な演算処理によって順序付き電子署名を行うことができるアグリゲート署名システム、検証システム、アグリゲート署名方法及びアグリゲート署名プログラムを提供すること。 - 特許庁

If the request to execute the instruction retry will cause a program stop by an instruction retry mechanism, and if verification is canceled, a parity check circuit 205 for detecting a parity error assumes that no parity error has been detected to deter the execution of the instruction retry.例文帳に追加

パリティエラーの検出をおこなうパリティチェック回路２０５は、命令リトライの実行を依頼すると命令リトライ機構によりプログラムが停止し、検証が中止されてしまう場合にはパリティエラーを検出しなかったものとし、命令リトライの実行を抑制する。 - 特許庁

To provide a terminal device in which a verification program of an electronic certificate is not necessary to be previously installed in an electronic certificate issue system including a server device for issuing a unique electronic certificate and the terminal device for using the issued electronic certificate.例文帳に追加

独自の電子証明書を発行するサーバ装置と発行された電子証明書を利用する端末装置とから成る電子証明書発行システムにおいて、予め電子証明書の検証プログラムが組み込まれている必要のない端末装置を提供する。 - 特許庁