Execution Time Analysis for Binary Code Executed on a Pipelined Processor Using Parametric Model Checking
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 2006-10-15
著者
-
Higashino Teruo
Department Of Informatics And Mathematical Science Osaka University
-
Higashino Teruo
Department Of Information Networking Graduate School Of Information Science And Technology Osaka Uni
-
Nakata Akio
Department Of Information Networking Graduate School Of Information Science And Technology Osaka Uni
-
Nakata Akio
Department Of Information And Computer Sciences Faculty Of Engineering Science Osaka University
-
FUJITA HIROHISA
Department of Information Networking, Graduate School of Information Science and Technology, Osaka U
-
FUKAMATI SHIRO
Department of Information Networking, Graduate School of Information Science and Technology, Osaka U
-
Fukamati Shiro
Department Of Information Networking Graduate School Of Information Science And Technology Osaka Uni
-
Fujita Hirohisa
Department Of Information Networking Graduate School Of Information Science And Technology Osaka Uni
関連論文
- Distal Vasoconstriction Following Coronary Angioplasty : Comparison of Emergent and Elective PTCA
- A WDS Clustering Algorithm for Wireless Mesh Networks
- Ferroelectricity in RbLiSO_4
- An Optical-Drop Wavelength Assignment Algorithm for Efficient Wavelength Reuse under Heterogeneous Traffic in WDM Ring Networks(Discrete Mathematics and Its Applications)
- A Minimum Dead Space Algorithm for Generalized Isochronous Channel Reuse Problems in DQDB Networks(Network)
- P2PMM_router : A Two-Stage Heuristic Algorithm to Peer-to-Peer Multicast Routing Problems in Multihome Networks(Discrete Mathematics and Its Applications)
- A Quasi-Solution State Evolution Algorithm for Channel Assignment Problems in Cellular Networks(Special Section on Discrete Mathematics and Its Applications)
- Time-Action Alternating Model for Timed Processes and Its Symbolic Verification of Bisimulation
- A Proposal of Optimal Path Selection Algorithm for Static and Mobile Multicast Routing Problems
- Deriving Concurrent Synchronous EFSMs from Protocol Specifications in LOTOS (Special Section on Selected Papers from the 11th Workshop on Circuits and Systems in Karuizawa)
- A Method to Convert Concurrent EFSMs with Multi-Rendezvous into Synchronous Sequential Circuit(Special Section on Concurrent Systems Technology)
- Execution Time Analysis for Binary Code Executed on a Pipelined Processor Using Parametric Model Checking
- Relaxation of Coefficient Sensitiveness to Performance for Neural Networks Using Neuron Filter through Total Coloring Problems
- A Proposal of Neuron Filter: A Constraint Resolution Scheme of Neural Networks for Combinatorial Optimization Problems
- A Minimal-State Processing Search Algorithm for Graph Coloring Problems
- I-123 Metaiodobenzylguanidine Cardiac Scintigraphy in Patients with an Implanted Permanent Pacemaker.
- Central Retinal Artery Occlusion Following Cardiac Catheterization.