2132 search results - page 54 / 427 » Automated software winnowing |
IEEECIT
2009
IEEE
15 years 5 months ago
2009
IEEE
—Ageing populations and the necessity to reduce environmental impact raise new challenges on our living buildings. Convergence of home control systems (air conditioning, light ma...
104
click to vote
ISSTA
2009
ACM
15 years 5 months ago
2009
ACM
Dynamic analysis techniques have been extensively adopted to discover causes of observed failures. In particular, anomaly detection techniques can infer behavioral models from obs...
CCS
2007
ACM
15 years 5 months ago
2007
ACM
Software vulnerabilities have been the main contributing factor to the Internet security problems such as fast spreading worms. Among these software vulnerabilities, memory corrup...
DAC
2000
ACM
15 years 12 months ago
2000
ACM
ICSE
2003
IEEE-ACM
15 years 11 months ago
2003
IEEE-ACM
Embedded Architect is a design automation tool that embodies a static performance evaluation technique to support early, architecture-level design space exploration for component-...