2935 search results - page 428 / 587 » An Integrated Approach to High Integrity Software Verificati... |
193
Voted
TVLSI
2008
15 years 5 months ago
2008
With increasing levels of integration of multiple processing cores and new features to support software functionality, recent generations of microprocessors face difficult validati...
185
Voted
ICST
2009
IEEE
15 years 3 months ago
2009
IEEE
Measurement and detection of redundancy in test suites attempt to achieve test minimization which in turn can help reduce test maintenance costs, and to also ensure the integrity ...
177
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The ever-increasing amount of data in biomedical research, and in cancer research in particular, needs to be managed to support efficient data access, exchange and integration. Exi...
229
Voted
AROBOTS
2011
15 years 1 months ago
2011
Abstract— GP-BayesFilters are a general framework for integrating Gaussian process prediction and observation models into Bayesian filtering techniques, including particle filt...
171
Voted
TAAS
2010
15 years 26 days ago
2010
stractions that support application developers to describe dynamic organizations. The organization model is part of an integrated approach, called MACODO: Middleware Architecture f...