10159 search results - page 647 / 2032 » System Design Validation Using Formal Models |
206
click to vote
IEEEPACT
2006
IEEE
16 years 1 months ago
2006
IEEE
Transactional memory is an attractive design concept for scalable multiprocessors because it offers efficient lock-free synchronization and greatly simplifies parallel software....
193
Voted
RAID
2004
Springer
16 years 18 days ago
2004
Springer
Anomaly detection is a promising approach to detecting intruders masquerading as valid users (called masqueraders). It creates a user profile and labels any behavior that deviates...
198
click to vote
ICCAD
2008
IEEE
16 years 4 months ago
2008
IEEE
Abstract— This paper addresses the problem of solving finite word-length (bit-vector) arithmetic with applications to equivalence verification of arithmetic datapaths. Arithmet...
233
click to vote
SIGMETRICS
2009
ACM
16 years 1 months ago
2009
ACM
Understanding the channel popularity or content popularity is an important step in the workload characterization for modern information distribution systems (e.g., World Wide Web,...
228
click to vote
ACSD
2006
IEEE
15 years 9 months ago
2006
IEEE
Reuse of IP blocks has been advocated as a means to conquer the complexity of today's system-on-chip (SoC) designs. Component integration and verification in such systems is ...