4276 search results - page 501 / 856 » Techniques for Empirical Validation |
166
click to vote
ASIAN
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. A software birthmark is a unique characteristic of a program that can be used as a software theft detection. In this paper we suggest and empirically evaluate a static bi...
181
click to vote
SPIN
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Computational resources are increasing rapidly with the explosion of multi-core processors readily available from major vendors. Model checking needs to harness these res...
163
click to vote
CGO
2005
IEEE
16 years 9 days ago
2005
IEEE
The growing complexity of modern processors has made the generation of highly efficient code increasingly difficult. Manual code generation is very time consuming, but it is oft...
160
click to vote
AISB
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. A formal, representation-independent form of a memetic algorithm-a genetic algorithm incorporating local search--is introduced. A generalisedform of N-point crossover is ...
199
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Large heterogeneous teams will often be in situations where sensor data that is uncertain and conflicting is shared across a peer-to-peer network. Not every team member will have ...