1446 search results - page 255 / 290 » Formal analysis of hardware requirements |
ISCAS
2003
IEEE
14 years 1 months ago
2003
IEEE
Higher transistor transition frequencies, lower supply voltages and smaller physical dimensions are, nowadays, general trends in the semiconductor industry. Operating at lower sup...
EUROCAST
2003
Springer
14 years 1 months ago
2003
Springer
This paper considers the problem of texture description and feature selection for the classification of tissues in 3D Magnetic Resonance data. Joint statistical measures like grey...
IPPS
2002
IEEE
14 years 27 days ago
2002
IEEE
This paper examines the explicit communication characteristics of several sophisticated scientific applications, which, by themselves, constitute a representative suite of publicl...
RTSS
1998
IEEE
14 years 6 days ago
1998
IEEE
Previous ultra-dependable real-time computing architectures have been specialised to meet the requirements of a particular application domain. Over the last two years, a consortiu...
HASE
1997
IEEE
14 years 5 days ago
1997
IEEE
The Reusable Software Fault Tolerance Testbed ReSoFT was developed to facilitate the development and evaluation of high-assurance systems that require tolerance of both hardware...