347 search results - page 64 / 70 » Dynamic Analysis Techniques for the Reconstruction of Archit... |
IMC
2010
ACM
14 years 9 months ago
2010
ACM
Current large-scale topology mapping systems require multiple days to characterize the Internet due to the large amount of probing traffic they incur. The accuracy of maps from ex...
DAC
2003
ACM
16 years 18 days ago
2003
ACM
Functional verification is widely acknowledged as the bottleneck in the hardware design cycle. This paper addresses one of the main challenges of simulation based verification (or...
106
click to vote
INFOCOM
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract—WiMAX with femto cells is a cost-effective nextgeneration broadband wireless communication system. Cognitive Radio (CR) has recently emerged as a promising technology to...
117
click to vote
DAC
2008
ACM
16 years 19 days ago
2008
ACM
A SystemC simulation kernel consists of a deterministic implementation of the scheduler, whose specification is nondeterministic. To leverage testing of a SystemC TLM design, we f...
IEEEARES
2009
IEEE
15 years 6 months ago
2009
IEEE
Botnets have become a severe threat to the cyberspace. However, existing studies are typically conducted in an ad hoc fashion, by demonstrating specific analysis on captured bot ...