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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

To provide a pattern dependent correction method capable of detecting an accurate program verification current for a target memory cell not affected by a leakage current from an adjacent memory cell in a nonvolatile storage device in which an average current for two reference cells is reference current.例文帳に追加

２つのリファレンスセルの平均電流をリファレンス電流とする構成の不揮発性半導体記憶装置において、隣接メモリセルのリーク電流に影響されない、対象メモリセルの正確なプログラムベリファイ電流の検出を可能とするパターン依存補正方式を提供する。 - 特許庁

To provide an environmental accounting support apparatus, and a method and a program for preparing environmental accounting reports by which environmental accounting satisfying all of object adaptivity, reliability, clearness, comparison availability, and verification availability can be easily prepared by utilizing existing accounting data without changing any of the existing accounting data.例文帳に追加

既存の会計データを何等変更することなく利用して、目的適合性，信頼性，明瞭性，比較可能性及び検証可能性の全てを満足する環境会計の作成が容易な環境会計支援装置及び環境会計報告作成方法とそのプログラムを提供する。 - 特許庁

To provide a semiconductor integrated circuit device which makes a high yield and high reliability possible by enhancing the detection capability of the verification of an OTP (One-Time Programmable) memory using an electric fuse, re-programming and relieving a detected failed bit, and a program method therefor.例文帳に追加

電気ヒューズを用いたＯＴＰメモリのベリファイの検知能力を向上させ、検出された不良ビットを再プログラムして救済することにより、高歩留まり、高信頼性を可能にする半導体集積回路装置及びそのプログラム方法を提供することを目的としている。 - 特許庁

To provide a design verification device and method, estimating a motion between components, based on an adjacent situation between the components, to define the motion, without inputting information for defining the motion between the adjacent components for the purpose of verifying design between the components with motion, and a program and a recording medium therefor.例文帳に追加

動きを伴う部品間の設計検証のために、隣接する部品間の動きを定義するための情報を入力しなくても、部品間の隣接状態に基づいて、部品間の動きを推定し、その動きを定義することができる設計検証装置、方法、プログラムおよび記録媒体を提供する。 - 特許庁

To provide a device, method and program for testing a branch prediction circuit of an information processor, in which verification of the branch prediction circuit can be easily and efficiently performed without performing processing for specifying a branch point and substituting a branch instruction by the other instruction.例文帳に追加

分岐ポイントを特定して分岐命令を他の命令で置き換える処理を行うことなく、容易に、かつ効率的に分岐予測回路の検証を可能とする情報処理装置の分岐予測回路の試験装置、情報処理装置の分岐予測回路の試験方法及び情報処理装置の分岐予測回路の試験プログラムを提供すること。 - 特許庁

To provide hand-washing equipment, a hand-washing control computer program medium, a method of hand-washing verification service, a hand-washing control display and a hand-washing analysis display that all enable a kitchen worker to wash the hands continuously properly for preventing harmful microorganisms from moving from an article of food to another via hands and containers in feeding facilities and a food service industry.例文帳に追加

本発明の課題は、給食施設やフードサービス産業において、有害な微生物が人の手や容器などを通じてある食品から他の食品に移動すること防止するため、厨房作業員に正しい手洗い作業を常に行わせること可能とする、手洗い設備、手洗い管理コンピュータ・プログラム媒体、手洗い検証サービスの方法、手洗い管理表示及び手洗い分析表示を提供することにある。 - 特許庁

DATA STORAGE METHOD, DATA STORAGE SYSTEM AND PROGRAM (VERIFICATION OF DATA INTEGRITY IN STORAGE SYSTEM)例文帳に追加

データ格納方法、データ・ストレージ・システムおよびプログラム（ストレージ・システムにおけるデータ完全性の検証）（著作権および商標登録表示本特許文書の開示の一部は、著作権保護を受ける内容を含む。本所有権者は、特許文書または特許開示書のいずれか一つによるファクシミリ複写物には、複写物が特許商標庁の特許ファイルまたは記録として世に出現している限り異論はないが、他の場合に全ての著作権は完全に留保する。）（本明細書で参照するある種のマークについては、出願人またはその譲受人と提携しまたは提携しない第三者の、慣習法上の、または登録された商標である可能性がある。これらのマークを使用するのは、例示によって実施可能な開示を提供するためであり、そのようなマークに関連するもののみに本発明の範囲を制限するように解釈されるべきではない。） - 特許庁