326 search results - page 20 / 66 » Embedding Real Time in Stochastic Process Algebras |
HPDC
1999
IEEE
14 years 1 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...
RTCSA
2009
IEEE
14 years 3 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 ...
RTAS
2008
IEEE
14 years 3 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...
RTAS
1998
IEEE
14 years 28 days 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....
FDL
2006
IEEE
14 years 2 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...