Sciweavers

1308 search results - page 52 / 262
» Application of Hazard Analysis to Software Quality Modelling
Sort
View
172
Voted
SAC
2008
ACM
15 years 3 months ago
Adaptive methods for sequential importance sampling with application to state space models
Abstract. In this paper we discuss new adaptive proposal strategies for sequential Monte Carlo algorithms--also known as particle filters--relying on new criteria evaluating the qu...
Julien Cornebise, Eric Moulines, Jimmy Olsson
132
Voted
GRC
2007
IEEE
15 years 7 months ago
Perspectives of Granular Computing in Software Engineering
Granular computing is not only a computing model for computer-centered problem solving, but also a thinking model for human-centered problem solving. Some authors have presented t...
Jianchao Han, Jing Dong
146
Voted
ISORC
2005
IEEE
15 years 9 months ago
Model-Checking of Component-Based Event-Driven Real-Time Embedded Software
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
Zonghua Gu, Kang G. Shin
230
Voted
ISVC
2010
Springer
15 years 5 months ago
Single camera stereo system using prism and mirrors
Stereo and 3D reconstruction are used by many applications such as object modeling, facial expression studies and human motion analysis. But synchronizing multiple high frame rate ...
Gowri Somanath, Rohith MV, Chandra Kambhamettu
116
Voted
CODES
1996
IEEE
15 years 7 months ago
A Model for the Coanalysis of Hardware and Software Architectures
Successful """tiprocessor system design for complex realtime embedded applications requires powerful and comprehensive. yet cost-effective. productive. and maintain...
Fred Rose, Todd Carpenter, Sanjaya Kumar, John Sha...