6014 search results - page 946 / 1203 » Structural Testing with Use Cases |
158
click to vote
CIRA
2007
IEEE
15 years 11 months ago
2007
IEEE
— This research identifies a strategy called compliant formation control, which may be used to coordinate the navigational structure of a team of autonomous vehicles. This techni...
236
Voted
ICDM
2005
IEEE
15 years 10 months ago
2005
IEEE
Remote sensing image databases are the fastest growing archives of spatial information. However, we still have a limited capacity for extracting information from large remote sens...
148
click to vote
EUROPAR
2005
Springer
15 years 10 months ago
2005
Springer
A style for programming problems from matrix algebra is developed with a familiar example and new tools, yielding high performance with a couple of surprising exceptions. The under...
188
click to vote
ICS
1992
Tsinghua U.
15 years 8 months ago
1992
Tsinghua U.
CODE 2.0 is a graphical parallel programming system that targets the three goals of ease of use, portability, and production of efficient parallel code. Ease of use is provided by...
146
click to vote
ESOP
2006
Springer
15 years 8 months ago
2006
Springer
We present a multi-lingual type inference system for checking type safety of programs that use the Java Native Interface (JNI). The JNI uses specially-formatted strings to represe...