612 search results - page 11 / 123 » Bounded model checking for knowledge and real time |
RTAS
2008
IEEE
15 years 4 months ago
2008
IEEE
Real-time schedulability theory requires a priori knowledge of the worst-case execution time (WCET) of every task in the system. Fundamental to the calculation of WCET is a schedu...
ECIS
2000
14 years 11 months ago
2000
This paper proposes the use of advanced knowledge models to support real time decision for management problems as an adequate response to the current needs and technology. The new ...
FUIN
2010
14 years 7 months ago
2010
Bounded Model Checking (BMC) is an efficient technique applicable to verification of temporal properties of (timed) distributed systems. In this paper we show for the first time ho...
MTV
2003
IEEE
15 years 2 months ago
2003
IEEE
Bounded Model Checking (BMC) techniques have been used for formal hardware verification, with the help of tools such as GRASP (Generic search Algorithm for Satisfiability Proble...
TACAS
2005
Springer
15 years 3 months ago
2005
Springer
The interaction among concurrently executing threads of a program results in insidious programming errors that are difficult to reproduce and fix. Unfortunately, the problem of ve...