6800 search results - page 255 / 1360 » Testing with Functions as Specifications |
154
click to vote
RAM
2008
IEEE
16 years 13 days ago
2008
IEEE
This paper presents an algorithm for computing the distance between a point and a convex cone in n-dimensional space. The convex cone is specified by the set of all nonnegative com...
DATE
2007
IEEE
16 years 11 days ago
2007
IEEE
∗ This paper presents an analysis of the electrical origins of Slow Write Driver Faults (SWDFs) [1] that may affect SRAM write drivers in 65nm technology. This type of fault is t...
174
click to vote
VTS
2003
IEEE
15 years 11 months ago
2003
IEEE
As the technology is shrinking toward 50 nm and the working frequency is going into multi gigahertz range, the effect of interconnects on functionality and performance of system-o...
165
click to vote
MA
2001
Springer
15 years 10 months ago
2001
Springer
This paper presents a mobile-agent framework for building and testing mobile computing applications. When a portable computing device is moved into and attached to a new network, t...
147
click to vote
ISSAC
1989
Springer
15 years 10 months ago
1989
Springer
: We present a modification of the Goldwasser-Kilian-Atkin primality test, which, when given an input n, outputs either prime or composite, along with a certificate of correctnes...