Sciweavers

2351 search results - page 258 / 471
» A Method of Requirement Inconsistency Analysis
Sort
View
DAC
2006
ACM
15 years 11 months ago
Buffer memory optimization for video codec application modeled in Simulink
Reduction of the on-chip memory size is a key issue in video codec system design. Because video codec applications involve complex algorithms that are both data-intensive and cont...
Sang-Il Han, Xavier Guerin, Soo-Ik Chae, Ahmed Ami...
HICSS
2005
IEEE
142views Biometrics» more  HICSS 2005»
15 years 11 months ago
Measuring Information Understanding in Large Document Collections
We present a method for testing subject’s performance in a realistic (end-to-end) information understanding task— rapid understanding of large document collections—and discu...
Malcolm Slaney, Daniel M. Russell
ISCAS
2005
IEEE
122views Hardware» more  ISCAS 2005»
15 years 11 months ago
A mixed analog-digital hybrid for speech enhancement purposes
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 ...
Benny Sallberg, Mattias Dahl, Henrik Akesson, Ingv...
RE
1999
Springer
15 years 9 months ago
Formal Modeling of Space Shuttle Software Change Requests using SCR
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for ...
Virginie Wiels, Steve M. Easterbrook
DOCENG
2007
ACM
15 years 7 months ago
Editing with style
HTML has popularized the use of style sheets, and the advent of XML has stressed the importance of style as a key area complementing document structure and content. A number of to...
Vincent Quint, Irène Vatton