809 search results - page 126 / 162 » Requirements by Contracts allow Automated System Testing |
ICRA
2002
IEEE
15 years 4 months ago
2002
IEEE
In this paper simultaneous localization and map building is performed with a hybrid, metric - topological, approach. A global topological map connects local metric maps, allowing ...
122
click to vote
SIGIR
2012
ACM
13 years 2 months ago
2012
ACM
Many current effectiveness measures incorporate simplifying assumptions about user behavior. These assumptions prevent the measures from reflecting aspects of the search process...
SIGSOFT
1998
ACM
15 years 4 months ago
1998
ACM
Understanding large software systems is difficult. Traditionally, automated tools are used to assist program understanding. However, the representations constructed by these tool...
123
click to vote
ISSS
1995
IEEE
15 years 3 months ago
1995
IEEE
To construct complete systems on silicon, application speci c DSP accelerators are needed to speed up the execution of high throughput DSP algorithms. In this paper, a methodology...
96
Voted
MICRO
2009
IEEE
15 years 6 months ago
2009
IEEE
High assurance systems such as those found in aircraft controls and the financial industry are often required to handle a mix of tasks where some are niceties (such as the contro...