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

メモリの一部を一時的にゲストハードウエアのレジスタによって代行させる際に、ソースコード上での区別を不要にし、設計や検証の効率化を図る。例文帳に追加

To eliminate distinction on a source code when a part of a memory is temporarily replaced by a register of guest hardware for improving efficiency in design and verification. - 特許庁

検証支援装置１００では、ＲＴＬのソースコード１１３における調査対象変数１１１のパス上のノードを各ノードのクロックドメインごとに検出することによって遅延サイクル数１２１を特定できる。例文帳に追加

The verification support device 100 can specify the delay cycle number 121 by detecting a node on a path of the investigation object variable 111 of the RTL source code 113 for each clock domain of the respective nodes. - 特許庁

本発明はプリンタの搬送速度を変更しても印字媒体に印字された識別コードを確実に読取ることが可能な検証装置を提供することを課題とする。例文帳に追加

To provide a verification device which certainly reads an identification code printed on a printing medium even if changing the conveying speed of a printer. - 特許庁

ファイアウォール２４は、上記ソケットを介して受信したＨＴＴＰ要求を、テーブルデータ３３を基に、フィルタプロセス４１に供して、攻撃コードの有無を検証させる。例文帳に追加

The firewall 24 submits an HTTP request received through the socket to the filter process 41 on the basis of the table data 33 and has the filter process 41 verify the presence or absence of an attack code. - 特許庁

ネットワーク等を通じて移動する電子データ、プログラムコード等に書換えがあった場合にも、電子署名を付け替えることなく真正性を検証できるようにすること。例文帳に追加

To verify authenticity without exchanging a digital signature even when electronic data or a program code which moves via a network etc. is rewritten. - 特許庁

プログラムを構成するソースコードモジュールの1つに構文上の変異を挿入することによりコンピュータプログラムの機能的シミュレーション及び検証を行う。例文帳に追加

A mutated computer program 25 is processed by a 1st function simulator 26 and a detailedness check on the mutated computer program is made. - 特許庁

型シグネチャは、前記命令の入力型制約と出力型記述を含み、コード検証器（２０）は型シグネチャを分析して型エラーを検出する。例文帳に追加

The type signatures indicate the input type constraints and the output type descriptions of the instructions, and the code verifier (20) analyzes the type signatures to detect a type error. - 特許庁

検証部１６Ａでは、認証用の暗号鍵４３と公開鍵４２（暗号解読用公開情報）とを用いて暗号情報４６がデコードされ、情報の照合が行われる。例文帳に追加

The part 16A decodes cipher information 46 by using a cipher key 43 for authentication and the public key 42 (public information for preparing a cipher) to collate information. - 特許庁

非同期回路設計言語で記述されたコードを同期回路設計用のハードウエア記述言語に変換することで、同期回路用の市販シミュレータで回路設計の機能検証を行うことが可能となる。例文帳に追加

The codes transformed into the standard HDL can be functionally verified by using commercially available simulators, which are originally developed for verifying synchronous circuit design. - 特許庁

そして、再コンパイル結果Ｂａ及び指定された開発環境Ｄａ中のファイルを用いて、開発環境の照合用検証コードＡｂａを生成する。例文帳に追加

Using the recompiled result Ba and a file in the designated development environment Da, a verification code Aba for collation of a development environment is generated. - 特許庁

Kripke構造モデル３００は、検証対象ソースコード１００について定義された契約情報に記述された条件を満足しない状態を排除するようにKripke構造モデル３００を生成する。例文帳に追加

The Kripke structure model 300 is generated to eliminate a state not satisfying a condition described in contract information defined about the verification-objective source code 100. - 特許庁

回路検証装置１は、ハードウエア記述言語により記述された検証対象回路記述１０７と複数の計測対象の情報が含まれるメトリクス情報１０８とを読み込み、検証対象回路記述１０７からコードカバレッジ計測のための複数の計測ポイントを抽出し、抽出した前記複数の計測ポイント中の所定の計測ポイントのみに集約したデータベースを生成するコードカバレッジ計測ポイント抽出部１１を有する。例文帳に追加

The circuit verification apparatus 1 includes a code coverage measurement point extracting unit 11 which reads a verification object circuit description 107 described in a hardware description language and metrics information 108 including information about multiple measurement objects, extracts multiple measurement points for code coverage measurement from the verification object circuit description 107, and generates a database including only predetermined measurement points among the extracted multiple measurement points. - 特許庁

この印刷システムは、紙などの媒体に第１タイプのデータを印刷し、媒体に印刷される可変データを含む第１バーコードを媒体に印刷する、第１プリンタと、第１バーコードに基づいて媒体に可変データを印刷し、可変データが媒体に正確に印刷されたことを検証するために媒体に第２バーコードを印刷する第２プリンタとを含む。例文帳に追加

This printing system includes: a first printer to print data of a first type on a medium such as paper and to print, on the medium, a first barcode including variable data to be printed on the medium; and a second printer to print the variable data on the medium based on the first barcode and to print a second barcode on the medium for verifying that the variable data has been accurately printed on the medium. - 特許庁

また、検証を行う複合機は、読み取られた第２の紙文書の画像データから検出されたＱＲコードのうち判読不能にデータ加工されたコードデータを判読可能に復元する判読可能化処理部７６と、判読可能にされたＱＲコードから得られる紙指紋ＩＤに基づき紙指紋に関する情報を取得して、出力する情報出力部７３とを有する。例文帳に追加

A multifunction machine which performs verification has a read enabling processing unit 75 which restores into a readable state the code data reading of which is disabled out of the QR code detected from the image data of the read second paper document, and an information output unit 73 which acquires information relating to a paper fingerprint based upon the paper fingerprint ID acquired from the QR code made readable and outputs the information. - 特許庁

機能ブロック回路１は、その検証制御情報を受信すると、遷移停止制御回路４０、状態コード注入回路５０およびエラー状態注入回路８０を介して、その検証制御情報で指定される任意の状態コードおよびエラー状態を機能ブロック回路１の状態コードレジスタおよびエラー状態レジスタに注入した上で、機能ブロック回路１の動作を開始または停止させる。例文帳に追加

The functional block circuit 1, upon receiving the verification control information, injects an optional status code and an error status to be specified by the verification control information to a status code register, and an error status register of the functional block circuit 1, via a transition stop control circuit 40; and a status code injection circuit 50 and an error status injection circuit 80 and starts or stops operations of the functional block circuit 1. - 特許庁

そのため、例えば、プログラムコードの動作を逐次的に検証するときに、第２のモデルのマシンディスクリプションを選択することで、当該検証用の（第２のモデルの）インストラクションシミュレータを生成することができ、その結果、インストラクションシミュレータの生成にかかる手間を軽減することができる。例文帳に追加

Therefore, for instance, when verifying the operations of the program codes sequentially, with selecting a machine description of the second model, it becomes possible to generate the instruction simulator concerned (of the second model) for the verification when sequentially verifying the operations of the program codes, and as a result, it becomes possible to reduce the time and labor necessary for generating the instruction simulator. - 特許庁

さらにセキュアＶＭはコンテンツコードの構成データに対して、プレーヤ毎に設定された秘密鍵を適用してデジタル署名生成処理を実行し、さらに、コンテンツコード中のデータ処理プログラムの実行に際して、プレーヤ毎に設定された公開鍵を適用して上記デジタル署名に対して検証処理を実行する。例文帳に追加

Furthermore, the secure VM executes digital signature generation processing by applying a secret key set for each player to the configuration data of a content code, and executes verification processing for the digital signature by applying a public key set for each player when the data processing program in the content code is executed. - 特許庁

ＳＭＩがアサートされて認証コードが実行され、認証コードがＩＮＴ１０ｈ命令でビデオＢＩＯＳを呼び出す際には事前にハッシュ値を計算して正当性を検証し、さらに、ベクタ・テーブルをあらかじめ取得しておいたベクタ・アドレスで書き換えて、ＩＮＴ１０ｈ命令で正当なビデオＢＩＯＳが実行されるようにする。例文帳に追加

When an authentication code calls the video BIOS by INT10h instruction, the hash value is computed in advance to verify the validity, and a vector table is rewritten with the preliminarily obtained vector address, whereby the valid video BIOS can be executed by the INT10h instruction. - 特許庁

リモートコンピュータ４がＬＡＮ６へアクセスするとき、暗号鍵を用いた認証コードがＵＳＢメモリ５内で生成され（図１のエ）、認証サーバ３は、ＵＳＢメモリ５で生成された認証コードを検証することでユーザ認証を行い、被リモートコンピュータ２へのリモートアクセスを管理する（図１のオ）。例文帳に追加

When a remote computer 4 accesses a LAN 6, an authentication code using the encryption key is generated in the USB memory 5 (δ in Fig.1), and the authentication server 3 performs user authentication by verifying the authentication code generated by the USB memory 5, and manages remote access to the client remote computer 2 (ε in Fig.1). - 特許庁

また、回路検証装置１は、所定の計測ポイントついて、それぞれ対応するアサーション記述に変換するアサーション変換部１４と、データベースとアサーション記述に基づいて計測を行い得られたアサーション結果１１２とを受け取り、コードカバレッジ結果１１３を生成するコードカバレッジ結果伸長部１３とを有する。例文帳に追加

The circuit verification apparatus 1 also includes an assertion converting unit 14 configured to convert each of the predetermined measurement points to a corresponding assertion description and a code coverage result decompressing unit 13 configured to receive the database and an assertion result 112 obtained by performing measurement based on the assertion description and generate a code coverage result 113. - 特許庁

ソフトウェアデバッグプログラム１２０は、蓄積されたログデータ１０５の中の任意のログデータの選択を受け付けると、任意のログデータの実行結果に関連付けられているソースコードのアドレスを参照して検証対象のソフトウェアから任意のログデータ１０５に対応するソースコード１３２を検索してＧＵＩ１３０に出力する。例文帳に追加

When accepting the selection of arbitrary log data in the stored log data 105, a software debugging program 120 refers to the address of the source code associated with the execution result of the arbitrary log data, and retrieves a source code 132 corresponding to the arbitrary log data 105 from software to be verified, and outputs it to a GUI 130. - 特許庁

補助簿連動手段１５はデータ入力処理手段１４で変換処理した入力レコードの検証を行ない、入力レコードが新規追加データか修正用データかを判定すると共に、連動区分に基づいて連動先帳簿を検索し自動連動記帳処理或いはデータ連動修正処理を行なう。例文帳に追加

An AAB linking means 15 verifies an input record converted by a data input processing means 14, judges whether the input record is newly added data or correcting data, retrieves a linked account book based on a linking section, and executes automatic link entering processing or data link correcting processing. - 特許庁

デジタル複合装置１は、各種画像処理内容を決定する設定内容を不揮発性メモリ３に記憶し、この不揮発性メモリ３に記憶されている設定内容を、当該設定内容の文字情報とともにバーコードとして用紙に記録出力するとともに、当該記録出力したバーコードと不揮発性メモリ３の記憶している設定内容を自動的に比較検証する。例文帳に追加

A digital composite machine 1 stores setting contents for determining various image processing contents to a nonvolatile memory 3, provides a recording output onto paper in a form of a bar code together with their character information and automatically compares and verifies the outputted bar code with the setting contents stored in the nonvolatile memory 3. - 特許庁

ＲＰ１０は、リソース１２の要求の中の計算されたコードＩＤが識別されたＲＲ１４に対する１つまたは複数の有効なコードＩＤ２２のうちの１つと一致することを検証してＲＲ１４およびｉｄ２０が信頼できるものと結論し、ＲＰ１０は要求されたリソース１２をＲＲ１４に供給し、転送された要求に対し応答する。例文帳に追加

The RP 10 verifies that the code ID calculated in the request of the resource 12 is matched with one of one or more valid codes ID 22 for the identified RR 14, and concludes that the RR 14 and id 20 are reliable, and the RP 10 supplies the requested resource 12 to the RR 14, and responds to the transferred request. - 特許庁

映像再生装置２０は、圧縮された映像のフレームを暗号化したときに生成された暗号鍵認証コードと、暗号鍵認証コードの生成に利用された素データの組み合わせの検証に成功するデータ復号鍵２０３を、複数のデータ復号鍵２０３の中から選択し、圧縮された映像のフレームの暗号文を復号する。例文帳に追加

An image reproducing device 20 decodes the ciphertext of the frame of the compressed image by selecting a data decoding key 203 for making verification of combination of the encryption key authentication code which is produced when the frame of the compressed image is encrypted and the original data which are used for producing the encryption key authentication code succeed from among a plurality of the data decoding keys 203. - 特許庁

ソフトウェアデバッグ支援装置１００は、ハードウェアモデル１１２によって検証対象のソフトウェアが実行されると、ソフトウェアのソースコードごとの実行結果に当該ソースコードのアドレスを関連付つけたログデータ１０５を生成すると、生成されたログデータ１０５を記録領域に蓄積する。例文帳に追加

When software to be verified is executed by a hardware model 112, a software debugging support device 100 generates log data 105 by associating the address of the source code of software with the execution result of each source code, and stores the generated log data 105 in a recording region. - 特許庁

セクタ長拡張不能なシリアルＡＴＡ等のＨＤＤを使用した場合でも、ユーザデータに対し冗長コードを用いてデータアクセスにおけるアドレッシングの正当性の検証を行ってデータ信頼性を向上できるディスクアレイ装置を提供する。例文帳に追加

To provide a disk array device performing verification of validity of addressing in data access by use of a redundant code to user data to improve data reliability even when using an HDD such as a serial ATA not allowing expansion of sector length. - 特許庁

ＤＶＤ−Ｒ等のＷｒｉｔｅ Ｏｎｃｅ型ブランクディスクのコントロールデータ用特定セクターに、違法コピー防止用としてプリレコードされた信号を、ディスクへの追記を行うことなく正確に検証可能とする信号再生装置及び信号再生方法を提供する。例文帳に追加

To provide a signal reproducing device and a signal reproducing method capable of accurately verifying signals prerecorded for illegal copy prevention in the specified sector for control data of a write-once type blank disk such as a DVD-R without adding to a disk. - 特許庁

変換検証装置１１７では、Ａｃｃｅｓｓデータベースシステム１１１で処理するプログラムに、ＳＱＬ文を抽出するコードを挿入し、実行時にＳＱＬ文を自動的に抽出し、ＳＱＬ−ＳＥＲＶＥＲデータベースシステム１１３で処理されるＳＱＬ文に変換する。例文帳に追加

A conversion verification device 117 inserts a code for extracting an SQL sentence into a program to be processed by an Access database system 111, automatically extracts the SQL sentence in an execution, and converts it into an SQL sentence to be processed by an SQL-SERVER database system 113. - 特許庁

上位装置では、帳票に書き込まれた計数データを手入力するか又は上記計数データの書き込まれた記録媒体を記録媒体のリーダ・ライタで読み込み、監査コードの妥当性を検証し、妥当性が得られた場合に当該計数データをデータ記憶装置に保存する。例文帳に追加

In the host device, the counting data written in the slip are manually inputted or the recording medium in which the counting data are written is read by a reader/writer of the recording medium, the validity of the auditing code is verified, and when the validity is obtained, the counting data are stored in a data storage device. - 特許庁

励起光の照射により蛍光を発する蛋白をコードする遺伝子を導入した遺伝子導入個体への励起用光源として発光ダイオードを用いた遺伝子導入個体における導入遺伝子発現特性の検証方法。例文帳に追加

(4) This method for verifying a transferred gene expression characteristics in a gene transfer individual uses a light-emitting diode as a light source for excitation of a gene transfer individual into which a gene encoding a protein emitting a fluorescence by irradiation with an exciting light is transferred. - 特許庁

印刷されたコードマーク等から可視光や赤外線により容易に情報が読み取られたい改ざんされることなく、真偽の判定を行うための操作が簡単かつ確実に出来る、機械読み取り可能な偽造防止印刷物及びこれを用いた検証方法の提供。例文帳に追加

To provide an anti-counterfeit printed matter which permits simple and reliable operation for performing determination of authenticity without allowing information to be easily read or altered by visible light and IR rays from printed code marks or the like and permits mechanical reading, and a verification method using the same. - 特許庁

板金見積システムでは、自動車の車体に取り付けられたコーションプレートに記載されているカラーコードを入力することで、車検証等を確認することなく、塗装に必要となるベース塗料、メタリック塗料、パール塗料、クリア塗料等を容易に発注する。例文帳に追加

In a sheet metal estimation system, a color code written in a caution plate mounted on the body of an automobile is input so that it is not necessary to confirm any automobile inspection certificate or the like, and that it is possible to easily order base paint, metallic paint, pearl paint and clear paint or the like necessary for painting. - 特許庁

クライアントに提供されるコンテンツの電子透かしデータ列は、配信処理単位の固有識別子である固有ＩＤと、固有ＩＤに対する改ざん検証値（ＭＡＣ）と、（固有ＩＤ＋ＭＡＣ）に対するエラー訂正コード（ＥＣＣ）を含む設定とする。例文帳に追加

The digital watermarking data sequence of the content to be provided to the client is set so as to include a unique ID which is a unique identifier in units of distribution processing, a message authentication code (MAC) for the unique ID, and an error correction code (ECC) for (unique ID+MAC). - 特許庁

ダウンロードしたコンテンツが閲覧される際に、認証コードがダウンロードされているか検証し、ダウンロードされない場合には、販売店に設置されたサーバとの無線通信が可能な場合にのみ、コンテンツの閲覧を実行可能とする。例文帳に追加

When downloaded contents are browsed, whether or not any authentication code is downloaded is verified, and when it is verified that any authentication code is not downloaded, the reading of the contents is made executable only when radio communication with a server set in a selling store is possible. - 特許庁

たとえば、集積回路チップは信頼のできないファウンドリにおいて製造され、後に、集積回路チップが、その集積回路チップの半導体製造プロセスに関する元となるソースコードファイルの正当な利用にもとづく真性品であることを検証する。例文帳に追加

For example, an integrated circuit chip may be fabricated at an untrusted foundry, and by later it is checked that authenticity of the integrated circuit chip to be based on a valid usage of an original source code file associated with a semiconductor manufacturing process of the integrated circuit chip can be verified or not. - 特許庁

具体的にはコピー対象コンテンツが、情報処理装置に対応した再生パスを設定してその再生パスに従って再生を実行させる再生パス指定コンテンツであるか、再生装置において実行される再生シーケンスを検証して、正しい再生手順に従って再生処理が実行されているかを検証するコンテンツコード適用コンテンツであるか等のタイプを判別し、判別結果に応じた最適なシーケンスを適用してコピー処理を実行する。例文帳に追加

Specifically, whether the content to be copied is a reproduction path specified content in which a reproduction path corresponding to the information processing device is set and reproduction is performed according to the reproduction path; reproduction sequence performed in reproducing device is verified, with such a type being discriminated that the type is content code applying content verifying whether reproduction processing is performed, according to correct reproduction procedure; and copy processing is performed by applying optimum sequence in accordance with the discriminated result. - 特許庁

ネットワークアプリケーションに対してのユーザアカウントを認証するステップと、実オブジェクト上又は実オブジェクトに付随する資料で見ることができるコードの正当性を検証するステップと、正当性の確認に応えて、ネットワークアプリケーションで用いる仮想オブジェクトへのユーザアカウントのアクセスを許可するステップとを備える方法が提供される。例文帳に追加

The method includes: a step for authenticating user account for a network application; a step for verifying the validity of a code which can be viewed on the real object or on accompanying materials of the real object; and a step for granting the user account access to the virtual object for use in the network application in response to the confirmation of the validity. - 特許庁

検証支援装置１００によって、入力値１１０として調査対象変数（信号やレジスタ）１１１およびクロック信号名１１２と、それらを定義・参照しているＲＴＬのソースコード１１３が入力されると、調査対象変数１１１についての遅延サイクル数１２１を出力値１２０として出力する。例文帳に追加

When an investigation object variable (signal or register) 111, a clock signal name 112 and an RTL source code 113 for defining/referring to the variable and the name are inputted to a verification support device 100 as an input value 110, the verification support device 100 outputs a delay cycle number 121 related to the investigation object variable 111 as an output value 120. - 特許庁

所定のタイミングで、プロセッサ１４とＲＡＭ１３のワーキングメモリを初期化した後に、ＲＯＭ１１に作り込まれた該配布元の公開鍵と、該バッファに一時的に保持されているソフトウェアに対するシグネチャとに基づいて、ＲＯＭ１１に作り込まれた第１の処理のプログラムコードによって、該ソフトウェアの正当性を検証する。例文帳に追加

After a processor 14 and the working memory of the RAM 13 are initialized at a specified timing and, based on the public key of the distributor created in a ROM 11 and the signature of the software temporarily held in the buffer, the validity of the software is verified by a first processing program code created in the ROM 11. - 特許庁

データチェック部２は、上位装置から送られる誤り検査符号をもとに上位装置との間のインターフェイス規格で規定された手順とは異なる手順で情報の正常性を検証するとともに、記録媒体５から読み出されたデータに対して上記インターフェイス規格と異なる手順で生成したチェックコードを付加する。例文帳に追加

A data check part 2 verifies normality of the information in procedures different form the ones stipulated by an interface standard with the host device based on the error detection code to be transmitted from the host device and simultaneously adds a check code generated in procedures different from the ones of the interface standard to data read from a recording medium 5. - 特許庁

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

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. - 特許庁

その後、ユーザは、電子日誌管理装置５００を用いて、（５）認証コード付き写真１０２をアーカイブサーバ装置４００から電子日誌にコピーし、（６）電子日誌１０３に含まれる写真１０２から位置時刻検証画面１０４にリンクし、（７）電子日誌ＡＳＰサーバ１０７に電子日誌１０３を保存する。例文帳に追加

Then, the user copies the picture 102 with the authentication code from the archive server device 400 to the electronic diary (5) by using an electronic journal management device 500, and links to a location time verification screen 104 from the picture 102 included in the electronic journal 103 (6), and stores the electronic diary 103 in an electronic diary ASP server 107 (7). - 特許庁

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

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. - 特許庁

車検証の住所コードまたは電話の市外，市内局番若しくは郵便番号の少なくとも１つの検索要件と、この検索要件が表す住所と、この住所に対応する地域を表す地図とをそれぞれ関連させて記憶したデータベース１２と、検索要件または住所のいずれか一方の入力により、これに対応した地図を画面１４に表示する表示手段１６と、を備えて構成する。例文帳に追加

The device 10 is constituted by providing a database 12 which respectively relates at least one retrieval requirements among the address code, an area code, a prefix and the zone code to an address indicated by the retrieval requirements and the map indicating the area corresponding to the address and stores them and a display means 16 which displays the corresponding map on a screen 14 by one input among the retrieval requirements and the address. - 特許庁