951 search results - page 148 / 191 » Differential testing: a new approach to change detection |
ACSC
2004
IEEE
15 years 3 months ago
2004
IEEE
Types are fundamental for enforcing levels of abstraction in modern high-level programming languages and their lower-level representations. However, some type-related features suc...
FDTC
2010
Springer
14 years 9 months ago
2010
Springer
This paper introduces some new types of optical fault attacks called fault masking attacks. These attacks are aimed at disrupting of the normal memory operation through preventing ...
ICDM
2008
IEEE
15 years 6 months ago
2008
IEEE
Although a huge amount of remote sensing data has been provided by Earth observation satellites, few data manipulation techniques and information extraction in large data sets hav...
ICRA
2007
IEEE
15 years 6 months ago
2007
IEEE
—This paper presents technology for performing autonomous commanding of a planetary rover. Through the use of AI planning, scheduling and execution techniques, the OASIS autonomo...
EVOW
2006
Springer
15 years 3 months ago
2006
Springer
In recent years dynamic optimization problems have attracted a growing interest from the community of genetic algorithms with several approaches developed to address these problems...