42507 search results - page 415 / 8502 » On the analysis of |
186
click to vote
TACAS
2007
Springer
16 years 1 months ago
2007
Springer
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
192
click to vote
VAMOS
2007
Springer
16 years 1 months ago
2007
Springer
The automated analysis of feature models is recognized as one of the key challenges for automated software development in the context of Software Product Lines (SPL). However, aft...
184
click to vote
AINA
2006
IEEE
16 years 1 months ago
2006
IEEE
Due to the ever-increasing size of sequence databases it has become clear that faster techniques must be employed to effectively perform biological sequence analysis in a reasonab...
212
click to vote
COMSWARE
2006
IEEE
16 years 1 months ago
2006
IEEE
Many of the bugs in distributed software modules are security vulnerabilities, the most common and also the most exploited of which are buffer overflows and they typically arise in...
142
click to vote
DSD
2006
IEEE
16 years 1 months ago
2006
IEEE
Modern day applications require use of multi-processor systems for reasons of scalability and power efficiency. As more and more applications are integrated on a single device, m...