Sciweavers

3302 search results - page 232 / 661
» Software Is More Than Code
Sort
View
CEE
2010
70views more  CEE 2010»
15 years 5 months ago
An iterative linearised solution to the sinusoidal parameter estimation problem
Signal processing applications use sinusoidal modelling for speech synthesis, speech coding, and audio coding. Estimation of the model parameters involves non-linear optimisation ...
Jean-Marc Valin, Daniel V. Smith, Christopher Mont...
PROFES
2005
Springer
15 years 11 months ago
Investigating the Impact of Active Guidance on Design Inspection
Software inspection helps to improve the quality of software products early in the development process. For design inspection recent research showed that usage-based reading of doc...
Dietmar Winkler, Stefan Biffl, Bettina Thurnher
GLVLSI
1998
IEEE
119views VLSI» more  GLVLSI 1998»
15 years 9 months ago
A Combined Interval and Floating Point Multiplier
Interval arithmetic provides an e cient method for monitoring and controlling errors in numerical calculations. However, existing software packages for interval arithmetic are oft...
James E. Stine, Michael J. Schulte
CARDIS
1998
Springer
109views Hardware» more  CARDIS 1998»
15 years 9 months ago
The Vault, an Architecture for Smartcards to Gain Infinite Memory
Smartcard chips vendors have always done their best to embed more memory inside cards. These efforts are driven to allow their customers smartcard manufacturers - to mask more soft...
Patrick Biget
OOPSLA
2010
Springer
15 years 3 months ago
Efficient modular glass box software model checking
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
Michael Roberson, Chandrasekhar Boyapati