Ngôn ngữ
Không có dữ liệu
Thông báo
Không có thông báo mới
機械・車両などが実際に動いていること。
(1)時の長さ。 時の流れのある一点からある一点まで。
〖program〗
安全マージンを加えるという手法が採られてきた。また、クリティカルなシステムでは、ハードウェアが単純な場合、人手による静的解析が行われてきた。近年、産業界でも WCET を自動的に計算する手法が注目されてきている。人手による解析では、ハードウェアの複雑化が問題となってきており、安全マージンをどう決めるかも困難になってきている。
動的プログラム解析(どうてきプログラムかいせき、英: dynamic program analysis)とは、ソフトウェア解析手法の一種であり、実際のあるいは仮想のプロセッサでプログラムを実行して解析を行うこと。動的解析を効率よく行うために、標的プログラムに十分な量のテストケースを入力し、興味深い動
平 時実(たいら の ときざね)は、平安時代末期から鎌倉時代初期にかけての公家。桓武平氏高棟王流、権大納言・平時忠の長男。官位は従三位・左中将。讃岐を号す。 仁安元年(1166年)従五位下に叙爵されると同時に越後守に任官する。仁安3年(1167年)従五位上、嘉応元年(1169年)正五位下と昇叙された
実空間(じつくうかん、Real space) 現実の空間、実在する空間のこと。 成分が実数である実ベクトルによって構成される空間のこと。実数空間。 特に物性物理学では、単位格子ベクトルを用いて周期性を持つ結晶を表現することが多く、その単位格子ベクトルで構成される空間
長い時間。 長いあいだ。