3934 search results - page 525 / 787 » Approximate Schedulability Analysis |
172
click to vote
ICCD
2001
IEEE
16 years 3 months ago
2001
IEEE
We present a simulation-based semi-formal verification method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where cove...
167
click to vote
CSMR
2007
IEEE
16 years 1 months ago
2007
IEEE
Many of the existing techniques for impact set computation in change propagation and regression testing are approximate for the sake of efficiency. A way to improve precision is ...
168
click to vote
PAM
2007
Springer
16 years 23 days ago
2007
Springer
We report results from the analysis of a 24-hour packet trace containing TCP traffic of approximately 1300 residential ADSL clients. Some of our observations confirm earlier studi...
154
click to vote
SEFM
2006
IEEE
16 years 20 days ago
2006
IEEE
tic analysis tools based on abstraction are sound but not complete. Several practical static analysis tools are heuristic in nature —they are neither sound nor complete, but have...
151
click to vote
ACCV
2006
Springer
16 years 19 days ago
2006
Springer
We developed a system including two modules: the texture analysis module and the texture synthesis module. The analysis module is capable of analyzing an input image and performing...