Sciweavers

1276 search results - page 233 / 256
» Complexity of Fractran and Productivity
Sort
View
DATE
2003
IEEE
128views Hardware» more  DATE 2003»
14 years 21 days ago
Flexible and Formal Modeling of Microprocessors with Application to Retargetable Simulation
Given the growth in application-specific processors, there is a strong need for a retargetable modeling framework that is capable of accurately capturing complex processor behavi...
Wei Qin, Sharad Malik
DEXAW
2003
IEEE
76views Database» more  DEXAW 2003»
14 years 21 days ago
Today's DBMSs: How autonomic are they?
Database Management Systems (DBMSs) are complex systems whose manageability is increasingly becoming a real concern. Realizing that expert Database Administrators (DBAs) are scarc...
Said Elnaffar, Wendy Powley, Darcy G. Benoit, T. P...
INFOCOM
2003
IEEE
14 years 20 days ago
Pseudo Likelihood Estimation in Network Tomography
Abstract— Network monitoring and diagnosis are key to improving network performance. The difficulties of performance monitoring lie in today’s fast growing Internet, accompani...
Gang Liang, Bin Yu
IRI
2003
IEEE
14 years 20 days ago
A Formal Framework for Design Component Contracts
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
MICRO
2003
IEEE
152views Hardware» more  MICRO 2003»
14 years 20 days ago
A Systematic Methodology to Compute the Architectural Vulnerability Factors for a High-Performance Microprocessor
Single-event upsets from particle strikes have become a key challenge in microprocessor design. Techniques to deal with these transient faults exist, but come at a cost. Designers...
Shubhendu S. Mukherjee, Christopher T. Weaver, Joe...