11089 search results - page 2005 / 2218 » Developing software families |
170
click to vote
ENTCS
2002
15 years 6 months ago
2002
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
143
Voted
NAR
2000
15 years 6 months ago
2000
The UK Crop Plant Bioinformatics Network (UK CropNet) was established in 1996 in order to harness the extensive work in genome mapping in crop plants in the UK. Since this date we...
151
click to vote
FMSD
2002
15 years 6 months ago
2002
Object-based sequential programming has had a major impact on software engineering. However, object-based concurrent programming remains elusive as an effective programming tool. T...
169
click to vote
IJCV
2002
15 years 6 months ago
2002
Stereo matching is one of the most active research areas in computer vision. While a large number of algorithms for stereo correspondence have been developed, relatively little wo...
172
click to vote
IJHPCA
2002
15 years 6 months ago
2002
Lack of effective performance-evaluation environments is a major barrier to the broader use of high performance computing. Conventional performance environments are based on profi...