3799 search results - page 669 / 760 » An Engineering Approach to Formal Methods |
111
click to vote
ISQED
2005
IEEE
15 years 10 months ago
2005
IEEE
Layout migration has re-emerged as an important task due to the increasing use of library hard intellectual properties. While recent advances of migration tools have accommodated ...
140
click to vote
LCN
2005
IEEE
15 years 10 months 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...
146
click to vote
GCC
2005
Springer
15 years 10 months ago
2005
Springer
In the current Web, e-document has been the most common vehicle for delivering and exchanging information. As the amount of e-documents has grown enormously, effective classificati...
117
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
Several general purpose benchmark generators are now available in the literature. They are convenient tools in dynamic continuous optimization as they can produce test instances w...
140
click to vote
GLVLSI
2003
IEEE
15 years 9 months ago
2003
IEEE
In dense integrated circuit designs, management of routing congestion is essential; an over congested design may be unroutable. Many factors influence congestion: placement, rout...