Sciweavers

750 search results - page 68 / 150
» Using codesign techniques to support analog functionality
Sort
View
RE
1999
Springer
15 years 6 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
ASAP
2004
IEEE
140views Hardware» more  ASAP 2004»
15 years 6 months ago
Decimal Floating-Point Division Using Newton-Raphson Iteration
Decreasing feature sizes allow additional functionality to be added to future microprocessors to improve the performance of important application domains. As a result of rapid gro...
Liang-Kai Wang, Michael J. Schulte
KI
2007
Springer
15 years 2 months ago
Improving the Detection of Unknown Computer Worms Activity Using Active Learning
Detecting unknown worms is a challenging task. Extant solutions, such as anti-virus tools, rely mainly on prior explicit knowledge of specific worm signatures. As a result, after t...
Robert Moskovitch, Nir Nissim, Dima Stopel, Clint ...
ASAP
2005
IEEE
142views Hardware» more  ASAP 2005»
15 years 8 months ago
Decimal Floating-Point Square Root Using Newton-Raphson Iteration
With continued reductions in feature size, additional functionality may be added to future microprocessors to boost the performance of important application domains. Due to growth...
Liang-Kai Wang, Michael J. Schulte
ICCV
2005
IEEE
15 years 8 months ago
Image Based Regression Using Boosting Method
We present a general algorithm of image based regression that is applicable to many vision problems. The proposed regressor that targets a multiple-output setting is learned using...
Shaohua Kevin Zhou, Bogdan Georgescu, Xiang Sean Z...