6800 search results - page 192 / 1360 » Testing with Functions as Specifications |
ENGL
2007
13 years 9 months ago
2007
— This paper proposes the use of a controlled assistive device, aimed as a support for the impaired individuals to allow a limited ambulatory function. The aim of the overall pro...
SOSE
2008
IEEE
14 years 4 months ago
2008
IEEE
This paper presents a service oriented architecture for testing Web Services. In this architecture, various parties interoperate with each other to complete testing tasks through ...
DAC
2001
ACM
14 years 10 months ago
2001
ACM
We propose a new BDD-based method for decomposition of multi-output incompletely specified logic functions into netlists of two-input logic gates. The algorithm uses the internal ...
HICSS
2007
IEEE
14 years 4 months ago
2007
IEEE
There are many commercial software security assurance tools that claim to detect and prevent vulnerabilities in application software. However, a closer look at the tools often lea...
ARITH
2005
IEEE
14 years 3 months ago
2005
IEEE
The fused multiply accumulate instruction (fused-mac) that is available on some current processors such as the Power PC or the Itanium eases some calculations. We give examples of...