2129 search results - page 230 / 426 » Cutting-Edge Timing Analysis Techniques |
163
click to vote
RTAS
2008
IEEE
16 years 29 days ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
161
click to vote
ICTAI
2003
IEEE
15 years 12 months ago
2003
IEEE
Conflict analysis is a powerful paradigm of backtrack search algorithms, in particular for solving satisfiability problems arising from practical applications. Accordingly, most...
180
click to vote
DAC
2000
ACM
15 years 11 months ago
2000
ACM
The decrease in feature size and added chip functionality in large sub-micron integrated circuits demand larger grids for power distribution. Since power grids are performance lim...
162
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
Abstract— Frequency dependent interconnect analysis is challenging since lumped equivalent circuit models extracted at different frequencies exhibit distinct time and frequency d...
195
click to vote
PVLDB
2010
15 years 1 months ago
2010
The ever-increasing number of intrusions in public and commercial networks has created the need for high-speed archival solutions that continuously store streaming network data to...