4307 search results - page 213 / 862 » Dynamic Spyware Analysis |
ICTAI
2009
IEEE
14 years 5 months ago
2009
IEEE
This paper presents an original dynamic subsumption technique for Boolean CNF formulae. It exploits simple and sufficient conditions to detect, during conflict analysis, clauses...
COMPLEX
2009
Springer
14 years 5 months ago
2009
Springer
This paper presents a stochastic multi-agent model of stock market. The market dynamics include switches between chartists and fundamentalists and switches in the prevailing opinio...
GECCO
2009
Springer
14 years 5 months ago
2009
Springer
Recently, it has been proven that evolutionary algorithms produce good results for a wide range of combinatorial optimization problems. Some of the considered problems are tackled...
IPPS
2007
IEEE
14 years 5 months ago
2007
IEEE
This paper proposes a novel architecture supporting dynamic load balancing on an FPGA for a Molecular Dynamics algorithm. Load balancing is primarily achieved through the use of s...
IROS
2007
IEEE
14 years 5 months ago
2007
IEEE
— A climbing robot mechanism is introduced, which uses dynamic movements to climb between two parallel vertical walls. This robot relies on its own internal dynamic motions to ga...