2132 search results - page 54 / 427 » Automated software winnowing |
153
click to vote
IEEECIT
2009
IEEE
16 years 24 days 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...
192
click to vote
ISSTA
2009
ACM
16 years 20 days 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...
161
Voted
CCS
2007
ACM
16 years 10 days 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...
97
Voted
DAC
2000
ACM
16 years 7 months ago
2000
ACM
148
Voted
ICSE
2003
IEEE-ACM
16 years 6 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-...