624 search results - page 55 / 125 » Simulation of Modern Parallel Systems: A CSIM-based Approach |
105
click to vote
INFOCOM
2005
IEEE
15 years 4 months ago
2005
IEEE
Packet Classification (PC) has been a critical data path function for many emerging networking applications. An interesting approach is the use of TCAM to achieve deterministic, hi...
ISMVL
2007
IEEE
15 years 5 months ago
2007
IEEE
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...
110
Voted
DATE
2008
IEEE
15 years 5 months ago
2008
IEEE
Mutation analysis is a widely-adopted strategy in software testing with two main purposes: measuring the quality of test suites, and identifying redundant code in programs. Simila...
88
Voted
ICDCS
2007
IEEE
15 years 5 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
MAM
2006
14 years 11 months ago
2006
The increasingly constrained power budget of today's microprocessor has resulted in a situation where power savings of all components in a system have to be taken into consid...