「code verification」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

Code Listing4.10: Digest verification failure 例文帳に追加

コード表示4.10: ダイジェスト検証の失敗 - Gentoo Linux

BAR CODE VERIFICATION SYSTEM AND PRINTER DRIVER例文帳に追加

バーコード検証システムおよびプリンタドライバ - 特許庁

TWO-DIMENSIONAL CODE AND TWO-DIMENSIONAL CODE-RELATED INFORMATION VERIFICATION SYSTEM AND INFORMATION VERIFICATION METHOD例文帳に追加

２次元コード及び該２次元コードによる情報検証システム並びに情報検証方法 - 特許庁

The code verification system includes memory (15) and a code verifier (20).例文帳に追加

コード検証システムはメモリ（１５）とコード検証器（２０）を含む。 - 特許庁

SOURCE CODE VERIFICATION MANAGEMENT DEVICE, METHOD, AND PROGRAM例文帳に追加

ソースコード検証管理装置、方法、及びプログラム - 特許庁

VERIFICATION OF DATA TRANSFER BASED ON SPECIFIC ID CODE例文帳に追加

特定ＩＤコ—ドに基づくデ—タ転送検証 - 特許庁

SOURCE CODE VERIFICATION PROCESSING TIME CALCULATION DEVICE AND METHOD例文帳に追加

ソースコード検証処理時間計算装置及び方法 - 特許庁

If the verification code matches the specific user code, even if the verification code does not match the device authentication code, an image forming device 18 can be used.例文帳に追加

装置認証コードと一致しない場合であっても特定使用者コードと一致する場合には、画像形成装置１８を使用することができる。 - 特許庁

MESSAGE AUTHENTICATION CODE GENERATION DEVICE, MESSAGE AUTHENTICATION CODE VERIFICATION DEVICE, MESSAGE AUTHENTICATION CODE GENERATION METHOD, MESSAGE AUTHENTICATION CODE VERIFICATION METHOD, PROGRAM, AND RECORDING MEDIUM例文帳に追加

メッセージ認証子生成装置、メッセージ認証子検証装置、メッセージ認証子生成方法、メッセージ認証子検証方法、プログラム、および記録媒体 - 特許庁

The source code verification part applies a source code verification method to the flatted source code to store the obtained error trace in an error trace storage part.例文帳に追加

ソースコード検証部は、フラット化されたソースコードにソースコード検証手法を適用し、得られたエラートレースをエラートレース記憶部に格納する。 - 特許庁

A model verification code generation part 27 generates a model verification code wherein the specification of the system is described, from the domain specialization model (the verification target) based on a "domain specialization model To model verification code mapping rule".例文帳に追加

モデル検証コード生成部２７は、「ドメイン特化モデルＴｏモデル検証コードマッピングルール」に基づいて、ドメイン特化モデル（検証対象）から、当該システムの仕様を記述したモデル検証コードを生成する。 - 特許庁

To improve the efficiency of source code verification processing by setting a time-out time in source code verification processing.例文帳に追加

ソースコード検証処理において、タイムアウト時間の設定を可能にし、ソースコード検証処理の効率を向上させる。 - 特許庁

The printer 20 controls the bar code verification machine 18, based on the bar code information after printing the received bar code, and obtains a bar code verification result with respect to a printed result.例文帳に追加

プリンタ２０は、受信したバーコードを印刷後、バーコード情報に基づいてバーコード検証機１８を制御し、印刷結果に対するバーコード検証結果を得る。 - 特許庁

To provide a code verification system and method utilized to type check compiled code.例文帳に追加

コンパイル済みのコードの型チェックを行うコード検証システム及び方法を提供する。 - 特許庁

To provide an identification code verifying device, an identification code verification system, a method of verifying an identification code, and an identification code verification program, which easily perform verification when separately performing printing and verification of an identification code and verifying identification codes of various types.例文帳に追加

識別コードの印刷と検証を別々に行なう場合や、様々なタイプの識別コードの検証を行なう場合に、検証を容易に行なうことができる識別コード検証装置、識別コード検証システム、識別コード検証方法、識別コード検証プログラムを提供することである。 - 特許庁

To provide a bar code recognizing and processing apparatus by which a recognition rate of bar code is raised by making the most of recognizing processing result of a pre bar code reader (pre BCR) use to recognition processing of a verification bar code reader (verification BCR).例文帳に追加

プレＢＣＲの認識処理結果をベリファイＢＣＲの認識処理に活用することによってバーコードの認識率を上げるバーコード認識処理装置を提供する。 - 特許庁

This source code verification system 200 converts verification-objective source code 100 into a Kripke structure model 300, model-inspects the Kripke structure model 300, and verifies thereby the verification-objective source code 100.例文帳に追加

ソースコード検証システム２００は、検証対象ソースコード１００をKripke構造モデル３００に変換し、Kripke構造モデル３００に対してモデル検査を行うことにより、検証対象ソースコード１００を検証する。 - 特許庁

IDENTIFICATION CODE GENERATION/VERIFICATION DEVICE, PROGRAM AND METHOD, CARD HAVING IDENTIFICATION CODE, AND PERSONAL AUTHENTICATION SYSTEM例文帳に追加

識別コード生成・検証装置、プログラム、方法、識別コードを有するカード及び個人認証システム - 特許庁

To provide a code verification processing method capable of efficiently providing information by using a display identifier, a code verification processing program and a code display program.例文帳に追加

表示識別子を用いて効率的に情報を提供することができるコード照合処理方法、コード照合処理プログラム及びコード表示プログラムを提供する。 - 特許庁

MODEL CREATION DEVICE, MODEL CREATING METHOD, SOURCE CODE VERIFICATION SYSTEM AND PROGRAM例文帳に追加

モデル生成装置、モデル生成方法、ソースコード検証システムおよびプログラム - 特許庁

A development environment verification code determination part 118 determines whether the verification code Aba for collation of a development environment matches a development environment verification code Abb, which is included in the development result R, or not.例文帳に追加

開発環境検証コード判定部１１８により、開発環境の照合用検証コードＡｂａと、開発成果物Ｒに含まれている開発環境検証コードＡｂｂとが一致するか否かを判定する。 - 特許庁

To improve the reusability of a test code in the logic verification of an LSI, and to improve the efficiency of logical verification.例文帳に追加

ＬＳＩの論理検証におけるテストコードの再利用性の向上、及び論理検証の効率化を図る。 - 特許庁

When the execution programs 26-1 and 26-2 are executed by an execution channel, a verification code is generated, and stored in a verification code storage area 22.例文帳に追加

実行チャネルで実行プログラム２６−１、２６−２が実行されると検証コードが生成されて検証コード格納領域２２に格納される。 - 特許庁

To control a bar code verification machine by a printer mounted with the bar code verification machine, even if printing bar codes by the use of a general-purpose application program.例文帳に追加

汎用のアプリケーションプログラムを使用してバーコードを印刷しても、バーコード検証機を搭載したプリンタでバーコード検証機を制御可能とする。 - 特許庁

The verification support processing circuit 22 acquires and transmits the status code history to the electronic circuit verification device 200.例文帳に追加

検証支援処理回路２２は、その状態コードの履歴を取得して、電子回路検証装置２００へ送信する。 - 特許庁

A different security code is generated for each transaction for verification.例文帳に追加

異なるセキュリティコードは、ベリフィケーションのために、各トランザクションについて生成される。 - 特許庁

There are still tools missing that provide verification for complex code (for instance, testing the execution of code).例文帳に追加

しかし、複雑なコードの検証（例えば、コードの実行のテスト）を提供するためのツールは、依然として見当たらない。 - 特許庁

The property count part 120 calculates the time-out time of the source code verification of the source code based on the property information.例文帳に追加

プロパティカウント部１２０は、プロパティ情報に基づいてソースコードのソースコード検証のタイムアウト時間を演算する。 - 特許庁

A verification part 104 verifies this iris code with an iris code registered in the registration database 105.例文帳に追加

照合部１０４では、このアイリスコードと、登録データベース１０５に登録されているアイリスコードとの照合を行う。 - 特許庁

To provide a verification device of a program, wherein influence of presence/absence of a verification code on temporal behavior of a code amount or a control system is reduced.例文帳に追加

検証コードの有無がコード量や制御系システムの時間的なふるまいに与える影響を小さくすることができるプログラムの検証装置を提供すること。 - 特許庁

A model verification execution part 30 executes Spin with the model verification code as input, and acquires data indicating a counter example of the specification of the system as a verification result (the counter example).例文帳に追加

モデル検証実行部３０は、モデル検証コードを入力としてＳｐｉｎを実行し、当該システムの仕様の反例を示すデータを検証結果（反例）として取得する。 - 特許庁

To provide a verification management device for executing the verification of all source codes within a limited time, and for dynamically reassigning a verification scheduled time assigned to each source code.例文帳に追加

制限時間内に全てのソースコードの検証を実行し、ソースコード毎に割り付ける検証予定時間の動的な再割り付けを可能とする検証管理装置を提供する。 - 特許庁

METHOD AND DEVICE FOR CODE PROCESSING, METHOD AND DEVICE FOR VERIFICATION, AND VICARIOUS OPERATION METHOD例文帳に追加

暗号処理方法及び装置及び検証方法及び装置及び代行運用方法 - 特許庁

Verification of correctness is an important issue for parallel code because of its complexity.例文帳に追加

正しさの検証は、並列コードについては、その複雑さのために重要な問題である。 - 特許庁

Furthermore, the host computer transmits to the printer 20 bar code information that includes the kind, a code, size, and a position, or the like, of the bar code used, when the bar code verification machine 18 is controlled.例文帳に追加

さらにプリンタ２０に対して、バーコードのビットマップデータとともに、バーコード検証機１８を制御するときに使用するバーコードの種類やコード、大きさ、位置などのバーコード情報を送信する。 - 特許庁

To automatically select a function having high verification effect, in a processing system for performing verification of a source code by use of model inspection technique.例文帳に追加

モデル検査技法を利用してソースコードの検証を行う処理系において、検証効果が高くなる関数を自動選択する。 - 特許庁

A verification code of a card inserted into a card reading unit 24 is compared with a device authentication code stored at the device authentication code storage unit 26 and a specific user code stored at the specific user code storage unit 28.例文帳に追加

カード読取装置２４に挿入されるカードの照合コードは、装置認証コード記憶部２６に記憶された装置認証コードと特定使用者コード記憶部２８に記憶された特定使用者コードと比較される。 - 特許庁

To provide a load distribution system which reduces a verification processing time by distributing verification processing by means of distributed processing in a source code verification system using a model inspection technique.例文帳に追加

モデル検査方式を用いたソースコード検証システムにおいて、分散処理により検証処理を分散させることで、検証処理時間を短縮する負荷分散システムを提供する。 - 特許庁

Even if a code for verification which has a problem is received, the system does not stop data transmission immediately, but behaves as usual and stops when the code for verification is further received several times, so that which code for verification has a problem can not easily be known to the outside.例文帳に追加

問題のある検証用コードを受け取った場合でも直ちにデータ送出を停止せず何事もなかったかの用に振る舞い、更に数回の検証用コード受信後に停止することにより、いずれの検証用コードに不具合があったのかを外部には容易には判らない様にする。 - 特許庁

The verification apparatus 110 is provided with a verification program 111, scenario data 112, iteration condition data 113, and control code information 114.例文帳に追加

検証装置１１０は、検証プログラム１１１と、シナリオデータ１１２と、反復条件データ１１３と、制御コード情報１１４と、を備えている。 - 特許庁

Because the verification target codes 1-8 are each a code comprising a combination of three values of +, -, and zero, a data amount handled upon verification is reduced, so that the verification of the verification target codes can be performed in a short time.例文帳に追加

これらの照合対象コード１〜８は、＋、−及び零の三値の組み合わせからなるコードとなるため、照合の際にハンドリングするデータ量が少なくなり、結果的に照合対象コードの照合を短時間に行うことができる。 - 特許庁

To provide a circuit verification apparatus executing code coverage measurement in emulation.例文帳に追加

コードカバレッジ計測をエミュレーションにおいて実行することができる回路検証装置を提供する。 - 特許庁

When presence of the bar code is detected but the bar code is not recognized, lighting of verification BCR123 is changed to purple lighting being different from blue lighting of the pre BCR121 and recognition processing is performed by the verification BCR.例文帳に追加

バーコード有りが検知されたが認識されない場合、ベリファイＢＣＲ１２３の照明をプレＢＣＲ１２１の青色照明と異なる紫色照明にしてベリファイＢＣＲで認識処理を行う。 - 特許庁

A QR code (an information code C1), or a partially non-disclosed code, in which code types of other information codes and display positions on a display surface are included as nondisclosure data, is displayed on a display surface 13 of a sheet 12 that is a verification object of an optical information verification machine 20.例文帳に追加

光学的情報検証機２０の検証対象である用紙１２では、他の情報コードのコード種別および表示面に対する表示位置が非公開データとして含まれる一部非公開コードであるＱＲコード（情報コードＣ１）が、表示面１３に表示されている。 - 特許庁

To restrain state explosion of a problem at the time when conducting model inspection in verification of a source code.例文帳に追加

ソースコードの検証に対してモデル検査を行う際に問題となる状態爆発を抑制する。 - 特許庁