5525 search results - page 708 / 1105 » Verification of Model Transformations |
186
click to vote
ASPDAC
2006
ACM
16 years 27 days ago
2006
ACM
As technology scales down, timing verification of digital integrated circuits becomes an increasingly challenging task due to the gate and wire variability. Therefore, statistical...
178
click to vote
DAC
2006
ACM
16 years 27 days ago
2006
ACM
VLSI engineers have traditionally used a variety of CAD analysis tools (e.g. SPICE) to deal with variability. As we go into deep sub micron issues, the analysis is becoming harder...
179
click to vote
AINA
2005
IEEE
16 years 17 days ago
2005
IEEE
: The pervasive nature of mobile and wireless systems has led to increased concerns over Quality of Service (QoS). In the prevailing models for QoS management, QoS resolution is ac...
166
click to vote
HICSS
2005
IEEE
16 years 16 days ago
2005
IEEE
This paper presents RDSS, a Resource Area Network (RAN)-based Distributed Storage System, which is designed for high scalability, long-term reliability, and operational efficiency...
201
click to vote
ACMSE
2005
ACM
16 years 15 days ago
2005
ACM
Digital libraries (DLs) have become a major focus of information technology resources for organizations from academia, to the US Department of Defense to the archeological efforts...