A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is
Real-time multiprocessor systems have an increasing importance in current technology and are the source of innovations to build new applications that require high levels of computations (in for example, industrial processes, transportation, telecommunications, multimedia and medical equipment). In the context of real-time systems, it is not sufficient to prove the correctness of applications in term of results but also that those results are delivered in time. The following papers are extended,doi:10.1007/s11241-013-9177-1 fatcat:llviqg6ukjh77lybys7a2girsa