4307 search results - page 456 / 862 » Dynamic Spyware Analysis |
230
click to vote
Book
This book covers several topics such as Classification, Classical Statistical Methods, Modern Statistical Techniques, Machine Learning of Rules and Trees, Neural Networks
Methods ...
126
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. In this paper we present InvGen, an automatic linear arithmetic invariant generator for imperative programs. InvGen's unique feature is in its use of dynamic analysi...
140
Voted
ASM
2010
ASM
15 years 11 months ago
2010
ASM
We extend the Alloy language with the standard imperative constructs; we show the mix of declarative and imperative constructs to be useful in modeling dynamic systems. We present ...
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper proposes a temperature-aware dynamic voltage selection technique for energy minimization and presents a thorough analysis of the parameters that influence the potential...
152
click to vote
LSSC
2007
Springer
15 years 11 months ago
2007
Springer
We present a general framework for analysis and design of optimization based numerical feedback stabilization schemes utilizing ideas from relaxed dynamic programming. The applicat...