1446 search results - page 199 / 290 » Formal analysis of hardware requirements |
EUROMICRO
2003
IEEE
14 years 1 months ago
2003
IEEE
Software components promise easy reuse, dependability, and simplified development. Problems arise when implicit assumptions about the use of the component are encoded in the imple...
QEST
2010
IEEE
13 years 6 months ago
2010
IEEE
Traditional architecture design approaches hide hardware uncertainties from the software stack through overdesign, which is often expensive in terms of power consumption. The recen...
EUROMICRO
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper presents a modular modelling methodology to formulate the timing behaviour of real-time distributed component-based applications. It allows to build real-time models of...
ISCAS
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract— This paper presents and evaluates a hybrid implementation of a low complexity algorithm for speech enhancement, the Adaptive Gain Equalizer (AGE). The AGE is a subband ...
ICMENS
2003
IEEE
14 years 1 months ago
2003
IEEE
The search for existing or past life in the Universe is one of the most important objectives of NASA’s mission. In support of this objective, an ultrasonic/sonic mechanism is cu...