216 search results - page 8 / 44 » Additive envelopes of continuous functions |
ATS
2005
IEEE
14 years 1 months ago
2005
IEEE
In the past, test data volume reduction techniques have concentrated heavily on scan test data content. However, functional vectors continue to be utilized because they target uni...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
ACT Line-of-Sight (LOS) delay estimation with high accuracy is a pre-requisite for reliable location via satellite systems. The future European satellite positioning system, Galile...
TPHOL
1995
IEEE
13 years 11 months ago
1995
IEEE
This paper presents a survey of HOLCF, a higher order logic of computable functions. The logic HOLCF is based on HOLC, a variant of the well known higher order logic HOL, which o e...
ISCA
1996
IEEE
13 years 11 months ago
1996
IEEE
In an effort to push the envelope of system performance, microprocessor designs are continually exploiting higher levels of instruction-level parallelism, resulting in increasing ...
JLP
2010
13 years 6 months ago
2010
We generalize various notions of generalized metrics even further to one general concept comprising them all. For convenience, we turn around the ordering in the target domain of ...