4930 search results - page 550 / 986 » Testing a Safety-Critical Application |
200
click to vote
USENIX
1996
15 years 9 months ago
1996
lmbench is a micro-benchmark suite designed to focus attention on the basic building blocks of many common system applications, such as databases, simulations, software developmen...
154
click to vote
ANLP
1992
15 years 8 months ago
1992
Multilevel semantics has been proposed as a powerful architecture for semantic analysis. We propose a methodology that, while maintaining the generality of the multilevel approach...
189
click to vote
WCE
2007
15 years 8 months ago
2007
— New friction material formulations are compared with a commercial brake friction material used in Light Rail Transit (LRT) operating in Malaysia. Characterization techniques su...
158
click to vote
WCE
2007
15 years 8 months ago
2007
—This paper presents an implementation of a simplified filtering estimator for satellite attitude determination using GPS (Global Positioning System) signals. The non-linear syst...
189
click to vote
AIPS
2009
15 years 8 months ago
2009
In this paper a planning framework based on Ant Colony Optimization techniques is presented. It is well known that finding optimal solutions to planning problems is a very hard co...