326 search results - page 20 / 66 » Embedding Real Time in Stochastic Process Algebras |
119
click to vote
HPDC
1999
IEEE
15 years 5 months ago
1999
IEEE
We present a performance-based methodology for designing a high-bandwidth radar application on commodity platforms. Unlike many real-time systems, our approach works for commodity...
120
click to vote
RTCSA
2009
IEEE
15 years 8 months ago
2009
IEEE
Soft real-time sporadic multiprocessor task systems are considered that include processing pipelines. Conditions are presented for guaranteeing bounded deadline tardiness in such ...
111
click to vote
RTAS
2008
IEEE
15 years 8 months ago
2008
IEEE
We build on PTIDES, a programming model for distributed embedded systems that uses discrete-event (DE) models as program specifications. PTIDES improves on distributed DE executi...
153
click to vote
RTAS
1998
IEEE
15 years 5 months ago
1998
IEEE
This paper introduces FARA, a framework that provides abstractions and mechanisms for building integrated adaptation and resource allocation services in complex real-time systems....
121
click to vote
FDL
2006
IEEE
15 years 7 months ago
2006
IEEE
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...