4307 search results - page 679 / 862 » Dynamic Spyware Analysis |
168
click to vote
ISMM
2009
Springer
16 years 22 days ago
2009
Springer
Applying computer technology, such as computer vision in driver assistance, implies that processes and data are modeled as being discretized rather than being continuous. The area ...
150
click to vote
ISSTA
2009
ACM
16 years 21 days ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
183
click to vote
MICRO
2007
IEEE
16 years 14 days ago
2007
IEEE
The emergence of multicore processors has heightened the need for effective parallel programming practices. In addition to writing new parallel programs, the next generation of pr...
181
click to vote
RTSS
2007
IEEE
16 years 14 days ago
2007
IEEE
The increased complexity of performance-sensitive software systems leads to increased use of automated adaptation policies in lieu of manual performance tuning. Composition of ada...
197
click to vote
CGO
2006
IEEE
16 years 7 days ago
2006
IEEE
The majority of security vulnerabilities published in the literature are due to software bugs. Many researchers have developed program transformation and analysis techniques to au...