17 search results - page 3 / 4 » ieeecit 2005 |
IEEECIT
2005
IEEE
13 years 11 months ago
2005
IEEE
This paper proposes a method of model-driven HW/SW co-design in embedded system design and discusses the key technology of model mapping, automatic generating codes and performanc...
IEEECIT
2005
IEEE
13 years 11 months ago
2005
IEEE
Component based software development provides an architectural way for dynamic reconfiguration. Interactions between components are explicitly represented by connectors, then reco...
IEEECIT
2005
IEEE
13 years 11 months ago
2005
IEEE
In embedded systems, performance and power are important inter-related issues that cannot be decoupled. Expensive and extensive simulations in a processor design space are usually...
IEEECIT
2005
IEEE
13 years 11 months ago
2005
IEEE
To make a web warehouse reflect the real web accurately, we should keep timeliness, freshness and consistency for the webviews. This paper fouses on one important part of webview...
IEEECIT
2005
IEEE
13 years 11 months ago
2005
IEEE
We report on a case study in which SAL model checkers have been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion prope...