To search, Click below search items.
All Published Papers Search Service
Title
Model-Based Product Redesign
Author
LI Zhan-Shan, KOU Fei-hong, Cheng Xiao-chun, Wang Tao
Vol. 6 No. 1 pp. 99~102
Keywords
model-based reasoning, design conflict, redesign
High Performance Elliptic Curve GF(2m) Cryptoprocessor Secure Against Timing Attacks
Turki F. Al-Somani, M. K. Ibrahim
Vol. 6 No. 1 pp. 177~183
Elliptic Curves Cryptosystems, Mixed Coordinates, Parallel Designs, Normal Basis
Timed Weak Simulation Verification and its application to Stepwise Refinement of Real-Time Software
Satoshi Yamane
Vol. 6 No. 1 pp. 192~203
Refinement Design Method, Real-Time Software, Timed Weak Simulation Relation, Verification, Real-Time Scheduling
A Processor Development Environment C-DASH
Hideaki Yanagisawa, Minoru Uehara, Hideki Mori
Vol. 6 No. 1 pp. 227~233
ISA (Instruction Set Architecture), HW/SW Codesign (A Processor Development Environment), C-DASH (C-like Design Automation Shell, HDL (Hardware Description Language)