4307 search results - page 436 / 862 » Dynamic Spyware Analysis |
100
click to vote
ISBI
2008
IEEE
16 years 5 months ago
2008
IEEE
We propose a novel method for axonal bouton modeling and automated detection in populations of labeled neurons, as well as bouton distribution analysis for the study of neural cir...
280
click to vote
PLDI
2009
ACM
16 years 5 months ago
2009
ACM
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
131
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
Program analysis tools typically compute two types of information: (1) may information that is true of all program executions and is used to prove the absence of bugs in the progr...
175
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
— Frequent failure occurrences are becoming a serious concern to the community of high-end computing, especially when the applications and the underlying systems rapidly grow in ...
134
click to vote
HASE
2007
IEEE
15 years 11 months ago
2007
IEEE
Electric Power Systems (EPS) become more and more critical for our society, since they provide vital services for the human activities. At the same time, obtaining dependable beha...