811 search results - page 147 / 163 » Integrating Formal Description Techniques |
DATE
2010
IEEE
14 years 18 days ago
2010
IEEE
—The growing trend towards using component based design approach in embedded system development requires addressing newer system engineering challenges. These systems are usually...
ICCTA
2007
IEEE
13 years 11 months ago
2007
IEEE
The variables of the high-level specifications and the automatically generated temporary variables are mapped on to the data-path registers during data-path synthesis phase of hig...
DATE
2004
IEEE
13 years 11 months ago
2004
IEEE
Designing cost-sensitive real-time control systems for safetycritical applications requires a careful analysis of the cost/coverage trade-offs of fault-tolerant solutions. This fu...
ICCV
1995
IEEE
13 years 11 months ago
1995
IEEE
We present a novel motion-based approach for the part determination and shape estimation of a human’s body parts. The novelty of the technique is that neither a prior model of t...
ACMSE
2008
ACM
13 years 9 months ago
2008
ACM
As computers become increasingly integral to daily life there is a need for computer scientists to focus on the user. This, in part, entails developing applications that have inte...