Performance Evaluation of Concurrent System Using Formal Model : Simulation Speedup
スポンサーリンク
概要
- 論文の詳細を見る
- 2003-11-01
著者
-
Kim Tag
Department Of Electrical Engineering And Computer Science Korea Advanced Institute Of Science And Te
-
Kim Tag
Department Of Electrical Engineering And Computer Science Korea Advanced Institute Of Science And Te
-
Lee Wan
Department Of Biochemistry College Of Medicine Dongguk University
関連論文
- Optimal Scheduling for Real-Time Parallel Tasks(Algorithm Theory)
- Maximizing Total QoS-Provisioning of Image Streams with Limited Energy Budget
- Energy-Aware Error Correction for QoS-Provisioning Real-Time Communications in Wireless Networks
- Creolar bodies in asthmatic children
- Expression of E- and N-cadherin and clinicopathology in hepatocellular carcinoma
- Involvement of Vesicular H^+-ATPase in Insulin-Stimulated Glucose Transport in 3T3-F442A Adipocytes
- Changes in renal function after nephron-sparing surgery in patients with a normal contralateral kidney
- Fabrication of W_2NiB_2-Ni Borides Cermets
- Characteristics and prognosis of chromophobe non-metastatic renal cell carcinoma : A multicenter study
- Pressure Effect on the Formation of Ferroelectric SrBi_2Ta_2O_9 Thin Films
- SLA-Based Scheduling of Bag-of-Tasks Applications on Power-Aware Cluster Systems
- Configuration Sharing to Reduce Reconfiguration Overhead Using Static Partial Reconfiguration
- Performance Evaluation of Concurrent System Using Formal Model : Simulation Speedup(Concurrent System Technology)
- Epigenetic methylation and expression of caspase 8 and survivin in hepatocellular carcinoma
- Active Multicast Congestion Control with Hop-by-Hop Credit-Based Mechanism
- Trace-Driven Performance Simulation Modeling for Fast Evaluation of Multimedia Processor by Simulation Reuse(Simulation and Verification, VLSI Design and CAD Algorithms)
- Top-Down Retargetable Framework with Token-Level Design for Accelerating Simulation Speed of Processor Architecture(Simulation Acceletor)(VLSI Design and CAD Algorithms)
- Performance Evaluation of Concurrent System Using Formal Model : Simulation Speedup
- Umbilical laparoendoscopic single site surgery versus inguinal varicocelectomy for bilateral varicocele : A comparative study
- A high supply voltage bandgap reference circuit using drain-extended MOS devices
- An Optimal Resource Sharing in Hierarchical Virtual Organizations in the Grid