4307 search results - page 138 / 862 » Dynamic Spyware Analysis |
ISCAS
2002
IEEE
14 years 3 months ago
2002
IEEE
The paper analyses the nature of limit cycles induced through the interaction of transformer tap changing and load dynamics. Linearization of a Poincar´e map is used to prove loc...
ICCAD
2005
IEEE
14 years 3 months ago
2005
IEEE
As power density increases exponentially, runtime regulation of operating temperature by dynamic thermal managements becomes necessary. This paper proposes a novel approach to the...
ACSAC
2010
IEEE
13 years 8 months ago
2010
IEEE
The JavaScript language is a core component of active and dynamic web content in the Internet today. Besides its great success in enhancing web applications, however, JavaScript p...
ISSTA
2012
ACM
12 years 18 days ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
PASTE
2004
ACM
14 years 3 months ago
2004
ACM
This work discusses two non-traditional approaches for evaluating the imprecision of static analysis. The approaches are based on proofs of feasibility or infeasibility that are c...