612 search results - page 36 / 123 » Bounded model checking for knowledge and real time |
101
click to vote
IJFCS
2006
15 years 14 days ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
RTSS
2007
IEEE
15 years 6 months ago
2007
IEEE
The integration phase of real-time COTS-based systems is often problematic because when multiple tasks run concurrently, the interference at the bus level between cache fetching a...
114
Voted
ECRTS
2004
IEEE
15 years 4 months ago
2004
IEEE
This paper presents a new approach to understand the event stream model. Additionally a new approximation algorithm for the feasibility test of the sporadic and the generalized mu...
111
click to vote
SRDS
1998
IEEE
15 years 4 months ago
1998
IEEE
The primary-backup replication model is one of the commonly adopted approaches to providing fault tolerant data services. Its extension to the real-time environment, however, impo...
ICC
1997
IEEE
15 years 4 months ago
1997
IEEE
: We are concerned with a real-time quality of service (QOS) estimation method for ATM statistical multiplexers with heterogeneous ON/OFF sources. We propose a real-time modeling m...