4164 search results - page 120 / 833 » Timing model reduction for hierarchical timing analysis |
151
click to vote
DLOG
2006
15 years 7 months ago
2006
We propose a technique to make consistency detection scalable for large Aboxes in secondary storage. We use static analysis of knowledge representation with summarization techniqu...
167
click to vote
P2P
2007
IEEE
16 years 19 days ago
2007
IEEE
Maintaining desired data availability while minimizing costs is the primary challenge in designing P2P storages. Data placement schemes and data availability calculation methods a...
165
click to vote
DFT
2008
IEEE
16 years 25 days ago
2008
IEEE
It is widely recognized that device and interconnect fabrics at the nanoscale will be characterized by an increased susceptibility to transient faults. This appears to be intrinsi...
306
click to vote
AUTOMATICA
2011
15 years 1 months ago
2011
Fluidification constitutes a relaxation technique for studying discrete event systems through fluidified approximated models, thus avoiding the state explosion problem. Moreove...
160
click to vote
ISORC
2009
IEEE
16 years 1 months ago
2009
IEEE
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet of abstract modeling and analysis services on top of the implementatio...