6800 search results - page 493 / 1360 » Testing with Functions as Specifications |
206
click to vote
PASTE
2005
ACM
16 years 1 months ago
2005
ACM
Safely updating software at remote sites is a cautious balance of enabling new functionality and avoiding adverse effects on existing functionality. A useful first step in this p...
177
click to vote
GECCO
2005
Springer
16 years 1 months ago
2005
Springer
Genetic representations that do not employ a one-to-one mapping of genotype to phenotype are known as indirect encodings, and can be much more efficient than direct encodings for ...
186
Voted
ICES
2005
Springer
16 years 1 months ago
2005
Springer
This paper describes circuit evolutionary experiments at extreme low temperatures, including the test of all system components at this extreme environment (EE). In addition to hard...
221
click to vote
IFL
2005
Springer
16 years 1 months ago
2005
Springer
Polytypic functional programming has the advantage that it can derive code for generic functions automatically. However, it is not clear whether it is useful for anything other tha...
219
click to vote
GISCIENCE
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. The SPIRIT search engine provides a test bed for the development of web search technology that is specialised for access to geographical information. Major components inc...