1980 search results - page 92 / 396 » Compositional Model Checking of Real Time Systems |
114
click to vote
ECAI
2010
Springer
15 years 29 days ago
2010
Springer
Abstract. We investigate the problem of the verification of multiagent systems by means of parallel algorithms. We present algorithms for CTLK, a logic combining branching time tem...
100
click to vote
RTSS
2000
IEEE
15 years 4 months ago
2000
IEEE
The maturity of schedulabilty analysis techniquesfor fired-prioritypreemptive scheduling has enabled the consideration of timing issues at design time using a specification of the...
165
click to vote
COOPIS
2004
IEEE
15 years 3 months ago
2004
IEEE
Large scale distributed real time and embedded (DRE) applications are complex entities that are often composed of different subsystems and have stringent Quality of Service (QoS) r...
DAC
2002
ACM
16 years 25 days ago
2002
ACM
We present a compositional approach to analyze timing behavior of complex platforms with different scheduling strategies. The approach uses event interfacing in order to couple pr...
131
click to vote
DSRT
2008
IEEE
15 years 1 months ago
2008
IEEE
In this contribution a new system for the rapid development of real-time prototypes for digital audio signal processing algorithms on Windows PCs and a Digital Signal Processor (D...