1399 search results - page 212 / 280 » Verification of Test Suites |
HT
2005
ACM
15 years 5 months ago
2005
ACM
Conversion between different adaptive hypermedia systems has barely been proposed, yet alone tested in realistic settings. This paper presents the evaluation of the interoperabili...
102
click to vote
NOSSDAV
2005
Springer
15 years 5 months ago
2005
Springer
Wireless Network Interface (WNI) is one of the most critical components for power efficiency in multimedia streaming to mobile devices. A common strategy to save power is to switc...
ISQED
2003
IEEE
15 years 5 months ago
2003
IEEE
To save layout area for electrostatic discharge (ESD) protection design in the SOC era, test chip with large size NMOS devices placed under bond pads has been fabricated in 0.35-Â...
169
click to vote
ASIAMS
2009
IEEE
15 years 5 months ago
2009
IEEE
—Reduced ordered binary decision diagram (ROBDD) is a memory-efficient data structure which is used in many applications such as synthesis, digital system, verification, testing ...
124
click to vote
UML
2001
Springer
15 years 4 months ago
2001
Springer
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...