963 search results - page 27 / 193 » Modeling and analysis of real -time systems with mutex compo... |
100
click to vote
QSIC
2005
IEEE
15 years 3 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...
102
click to vote
TCS
2010
14 years 4 months 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...
TACAS
2007
Springer
15 years 3 months 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...
EUROMICRO
2007
IEEE
15 years 4 months 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...
117
click to vote
CVIU
2010
14 years 7 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...