963 search results - page 27 / 193 » Modeling and analysis of real -time systems with mutex compo... |
174
click to vote
QSIC
2005
IEEE
15 years 11 months ago
2005
IEEE
Fault Tree Analysis (FTA) is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional FTA does not consider transitio...
192
click to vote
TCS
2010
15 years 26 days ago
2010
Markovian process algebras, such as PEPA and stochastic -calculus, bring a powerful compositional approach to the performance modelling of complex systems. However, the models gen...
147
click to vote
TACAS
2007
Springer
16 years 8 days ago
2007
Springer
Analysis of biological data often requires an understanding of components of pathways and/or networks and their mutual dependency relationships. Such systems are often analyzed and...
162
click to vote
EUROMICRO
2007
IEEE
16 years 15 days ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
219
click to vote
CVIU
2010
15 years 3 months ago
2010
This paper demonstrates the use of a single-chip FPGA for the segmentation of moving objects in a video sequence. The system maintains highly accurate background models, and integ...