1429 search results - page 180 / 286 » An Overview of the Annex System |
144
click to vote
MVA
1992
15 years 7 months ago
1992
2 Computational Theory The processing of biological specimens or the 2.1 Overview examination of material surfaces for quality control requires a fast and precise autofocus system....
175
click to vote
CONCURRENCY
2010
15 years 6 months ago
2010
With the rapid replacement of closed, homogeneous, proprietary HPC systems by heterogeneous, Linux-MPI cluster systems, the state of performance monitoring and analysis tools has ...
199
click to vote
PAMI
2006
15 years 6 months ago
2006
Developing on-board automotive driver assistance systems aiming to alert drivers about driving environments, and possible collision with other vehicles has attracted a lot of atten...
186
click to vote
COMCOM
2000
15 years 6 months ago
2000
: Security is an important issue for the widespread deployment of applications based on software agent technology. It is generally agreed that without the proper countermeasures in...
180
click to vote
IEE
2010
15 years 5 months ago
2010
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...