4360 search results - page 790 / 872 » Socio-technical systems: From design methods to systems engi... |
FMICS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Symbolic state-space generators are notoriously hard to parallelise. However, the Saturation algorithm implemented in the SMART verification tool differs from other seque...
99
Voted
ATC
2008
Springer
15 years 2 months ago
2008
Springer
In this paper, we introduce new concepts and methods for checking the correctness of control flow instructions during the execution of programs in embedded CPUs. Detecting and avoi...
109
Voted
DGO
2007
15 years 2 months ago
2007
Government e-services available to citizens represent one of the most frequent and critical points of contact between public administrations and citizens. In addition to common se...
FMICS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The FlexRay standard, developed by a cooperation of leading companies in the automotive industry, is a robust communication protocol for distributed components in modern ...
105
Voted
Publication
We present a pose estimation method for rigid
objects from single range images. Using 3D models of the
objects, many pose hypotheses are compared in a data-parallel
version of t...