9267 search results - page 384 / 1854 » Expectation-Oriented Analysis and Design |
168
click to vote
ISQED
2007
IEEE
16 years 1 months ago
2007
IEEE
Design verification has become a bottleneck of modern designs. Recently, simulation-based random verification has attracted a lot of interests due to its effectiveness in uncoveri...
198
click to vote
IWPC
2002
IEEE
15 years 11 months ago
2002
IEEE
Past research on software comprehension tools has produced a wealth of lessons in building good tools. However our explanations of these tools tends to be weakly grounded in exist...
174
click to vote
WCRE
2002
IEEE
15 years 11 months ago
2002
IEEE
At MITRE we are developing tools to aid analysts in assessing the operational usability and quality of object-oriented code. Our tools statically examine source code, automaticall...
168
click to vote
ICECCS
2002
IEEE
15 years 12 months ago
2002
IEEE
Network traffic logs play an important role in incident analysis. With the increasing throughput of network links, maintaining a complete log of all network activity has become a...
149
click to vote
DELTA
2006
IEEE
16 years 28 days ago
2006
IEEE
— Design, Verification and Test of integrated circuits with millions of gates put strong requirements on design time, test volume, test application time, test speed and diagnost...