7557 search results - page 244 / 1512 » Modeling Timed Concurrent Systems |
165
click to vote
PPOPP
2012
ACM
14 years 2 months ago
2012
ACM
The actor model has already proven itself as an interesting concurrency model that avoids issues such as deadlocks and race conditions by construction, and thus facilitates concur...
231
click to vote
DSRT
2008
IEEE
15 years 8 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...
270
click to vote
COOPIS
2004
IEEE
15 years 10 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...
170
click to vote
SSIRI
2010
15 years 4 months ago
2010
—We describe how to use a timeband architecture to model real-time requirements. The architecture separates requirements that use different time units, producing a family of mode...
203
click to vote
WSC
2007
15 years 8 months ago
2007
Adaptive Time Warp protocols in the literature are usually based on a pre-defined analytic model of the system, expressed as a closed form function that maps system state to cont...