6800 search results - page 689 / 1360 » Testing with Functions as Specifications |
191
click to vote
ETFA
2008
IEEE
16 years 1 months ago
2008
IEEE
RFID are used to identify products in factory automation applications; Multi agent systems are a possibility to introduce flexibility into production processes. This article intro...
184
click to vote
HASE
2008
IEEE
16 years 1 months ago
2008
IEEE
A high assurance system requires both functional and nonfunctional correctness before the system is put into operation. To examine whether a system’s actual performance complies...
179
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
One of the important aspects in digital video applications is spatial and temporal characteristic. A very little progress has been achieved on spatiotemporal modeling of video dat...
192
click to vote
ICCAD
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents ISCLEs, a novel and robust analog design method that promises to scale with Moore’s Law, by doing boosting-style importance sampling on digital-sized circuit...
277
click to vote
ACISICIS
2007
IEEE
16 years 1 months ago
2007
IEEE
Most region based shape image retrieval techniques in literature are complex to implement. As the result of their complex computations, the retrieval performance of these techniqu...