1448 search results - page 231 / 290 » Genetic Algorithms for Dynamic Test Data Generation |
ECOOP
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Lightweight bytecode verification uses stack maps to annotate Java bytecode programs with type information in order to reduce the verification to type checking. This pape...
102
click to vote
CRITIS
2007
14 years 11 months ago
2007
We propose and investigate a game-theoretic approach to the malware filtering and detector placement problem which arises in network security. Our main objective is to develop opt...
GLVLSI
2008
IEEE
14 years 10 months ago
2008
IEEE
The main contribution of this work is an analytical model for finding the upper bound on the temperature difference among various locations on the die. The proposed model can be u...
BIOCOMP
2009
14 years 10 months ago
2009
The accurate computational prediction of RNA secondary structures is a difficult task, but an important one, since RNA structure is usually more evolutionarily conserved than prima...
89
Voted
ESOP
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Advanced multi-threaded programs apply concurrency concepts in sophisticated ways. For instance, they use fine-grained locking to increase parallelism and change locking...