147 search results - page 5 / 30 » Computer-Aided Extraction of Software Components |
DAC
2002
ACM
14 years 8 months ago
2002
ACM
Design tools can be profitably associated with libraries of reusable modeling components that will make the description and also the validation of the models much easier. Furtherm...
JDCTA
2010
13 years 2 months ago
2010
Screening mammography represents the technique adopted to detect breast cancer at an early stage. However the presence of artifacts and pectoral muscle can disturb the detection o...
INFSOF
2000
13 years 7 months ago
2000
An important issue in a component-based software development process is the supply source of mature, reliable, adaptable, and maintainable components. We define as component minin...
ISSS
1995
IEEE
13 years 11 months ago
1995
IEEE
Designers of embedded systems are facing ever tighter constraintson design time, but computer aided design tools for embedded systems have not kept pace with these trends. The Chi...
ICSE
2010
IEEE-ACM
13 years 9 months ago
2010
IEEE-ACM
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...