800 search results - page 2 / 160 » Programming Models for Concurrency and Real-Time |
122
click to vote
ICVS
2001
Springer
15 years 4 months ago
2001
Springer
An increasing number of computer vision applications require on-line processing of data streams, preferably in real-time. This trend is fueled by the mainstream availability of low...
100
click to vote
ICSE
1997
IEEE-ACM
15 years 3 months ago
1997
IEEE-ACM
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...
IPPS
2003
IEEE
15 years 4 months ago
2003
IEEE
We propose a method for the timing analysis of concurrent real-time programs with hard deadlines. We divide the analysis into a machine-independent and a machinedependent task. Th...
100
click to vote
ICCL
1994
IEEE
15 years 3 months ago
1994
IEEE
This paper presents a framework to define a semantics for a real-time object-orientation programming language and to verify programs written in the language. The semantics is defi...
IJCSA
2007
14 years 11 months ago
2007
Timed Concurrent State Machines are an application of Alur’s Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea...