7526 search results - page 1398 / 1506 » The Design and Implementation of the A2QM3 System |
ISVLSI
2006
IEEE
14 years 3 months ago
2006
IEEE
Network-on-Chip (NoC) proposes networks to replace buses as a scalable global communication interconnect for future SoC designs. However, a bus is very efficient in broadcasting....
IWPC
2006
IEEE
14 years 3 months ago
2006
IEEE
Analysis of dynamic data structure usage is useful for both program understanding and for improving the accuracy of other program analyses. Static analysis techniques, however, su...
NDSS
2006
IEEE
14 years 3 months ago
2006
IEEE
Structured overlays are an important and powerful class of overlay networks that has emerged in recent years. They are typically targeted at peer-to-peer deployments involving mil...
ACL2
2006
ACM
14 years 2 months ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
CONEXT
2006
ACM
14 years 2 months ago
2006
ACM
Due to the lack of built-in quality of service support, IEEE 802.11 ad-hoc networks presents serious defies in meeting the demands of multimedia applications. To overcome such ch...