887 search results - page 123 / 178 » Automated Detection of Design Patterns |
DAC
1998
ACM
16 years 24 days ago
1998
ACM
We describe the verification of the IM: a large, complex (12,000 gates and 1100 latches) circuit that detects and marks the boundaries between Intel architecture (IA-32) instructi...
DAC
1999
ACM
16 years 24 days ago
1999
ACM
This paper presents a synthesis tool ICEBERG for embedded in-circuit emulators (ICE's), that are part of the development environment for microcontroller (or microprocessor)-b...
DATE
2009
IEEE
15 years 6 months ago
2009
IEEE
Equivalence checking and property checking are powerful techniques to detect error traces. Debugging these traces is a time consuming design task where automation provides help. I...
113
click to vote
ISMDA
2004
Springer
15 years 5 months ago
2004
Springer
Thermal medical imaging provides a valuable method for detecting various diseases such as breast cancer or Raynaud’s syndrome. While previous efforts on the automated processing...
SP
2002
IEEE
14 years 11 months ago
2002
IEEE
A security policy specifies session participant requirements. However, existing frameworks provide limited facilities for the automated reconciliation of participant policies. Thi...