314 search results - page 24 / 63 » The Complexity of Coverage |
126
click to vote
VLSID
2002
IEEE
16 years 2 months ago
2002
IEEE
Directed test program-based verification or formal verification methods are usually quite ineffective on large cachecoherent, non-uniform memory access (CC-NUMA) multiprocessors b...
113
click to vote
ICASSP
2011
IEEE
14 years 5 months ago
2011
IEEE
1 A relay station (RS)-based cellular system deployment is considered, where multiple base stations (BS) cooperate in the BSRS in-band transmission for the downlink. With the joint...
114
Voted
CODES
2005
IEEE
15 years 7 months ago
2005
IEEE
The continuous improvement on the design methodologies and processes has made possible the creation of huge and very complex digital systems. Design verification is one of the mai...
111
click to vote
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
Despite the growing research effort in formal verification, constraint-based random simulation remains an integral part of design validation, especially for large design componen...
114
click to vote
AVSS
2007
IEEE
15 years 8 months ago
2007
IEEE
Wireless networks of visual sensors have recently emerged as a new type of sensor-based intelligent system, with performance and complexity challenges that go beyond that of exist...