513 search results - page 10 / 103 » Test Construction for Mathematical Functions |
INFORMATICALT
2006
13 years 7 months ago
2006
New ways to estimate ranges of values of functions from standard and inner interval arithmetic have been proposed. Using the proposed ways ranges of values of mathematical test fun...
ET
2002
13 years 7 months ago
2002
Test access mechanisms (TAMs) and test wrappers are integral parts of a system-on-chip (SOC) test architecture. Prior research has concentrated on only one aspect of the TAM/wrappe...
ADG
2006
Springer
13 years 11 months ago
2006
Springer
We present an application of an automatic theorem proving (ATP) in the verification of constructions made with dynamic geometry software (DGS). Given a specification language for g...
ACIVS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. To construct a very smooth nonseparable multiscaling function, we impose polynomial approximation order 2 and add new conditions on the polyphase highpass filters. We wo...
MTV
2005
IEEE
14 years 1 months ago
2005
IEEE
Microprocessor technology is increasingly used for many applications; the large market volumes call for cost containment in the production phase. Process yield for processor produ...