9842 search results - page 1554 / 1969 » Compositional timing analysis |
251
click to vote
VLSI
2007
Springer
15 years 11 months ago
2007
Springer
Abstract—Analysis and verification environments for nextgeneration nano-scale RFIC designs must be able to cope with increasing design complexity and to account for new effects,...
122
click to vote
3DPVT
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper presents a method for obtaining accurate dense elevation and appearance models of terrain using a single camera on-board an aerial platform. Applications of this method...
137
click to vote
AICCSA
2006
IEEE
15 years 11 months ago
2006
IEEE
Poorly designed software systems are difficult to understand and maintain. Modifying code in one place could lead to unwanted repercussions elsewhere due to high coupling. Adding ...
127
click to vote
AICCSA
2006
IEEE
15 years 11 months ago
2006
IEEE
The specification, analysis, and administration of business processes have charged great importance in this last time. This has been caused by a competitive industry necessity, dy...
125
click to vote
COMPSAC
2006
IEEE
15 years 11 months ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...