7118 search results - page 1045 / 1424 » Electrical and Computer Engineering |
183
click to vote
GLVLSI
2005
IEEE
16 years 12 days ago
2005
IEEE
A hierarchical scheme with cells and modules is crucial for managing design complexity during a large integrated circuit design. We present a methodology for thermal aware cell-ba...
210
click to vote
ISORC
2005
IEEE
16 years 11 days ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
191
click to vote
ISORC
2005
IEEE
16 years 11 days ago
2005
IEEE
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
184
click to vote
ISQED
2005
IEEE
16 years 11 days ago
2005
IEEE
Hierarchical approach greatly facilitates large-scale chip design by hiding distracting details in low-level objects. However, the lowlevel designs have to have a global view of h...
174
click to vote
LCN
2005
IEEE
16 years 11 days ago
2005
IEEE
The dynamic classification and identification of network applications responsible for network traffic flows offers substantial benefits to a number of key areas in IP network engi...