54 search results - page 10 / 11 » A Lambda Calculus for Real Analysis |
DATE
2009
IEEE
14 years 2 days ago
2009
IEEE
Abstract—Many application domains require adaptive realtime embedded systems that can change their functionality over time. In such systems it is not only necessary to guarantee ...
RTAS
2009
IEEE
14 years 1 days ago
2009
IEEE
Over the last few years, Real-Time Calculus has been used extensively to model and analyze embedded systems processing continuous data/event streams. Towards this, bounds on the a...
CODES
2008
IEEE
13 years 11 months ago
2008
IEEE
The heterogeneity of modern MPSoC architectures, coupled with the increasing complexity of the applications mapped onto them has recently led to a lot of interest in hybrid perfor...
FMCO
2005
Springer
13 years 11 months ago
2005
Springer
babilistic Chemical Abstract Machine and the Expressiveness of Linda Languages Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, Universi...
EMSOFT
2010
Springer
13 years 3 months ago
2010
Springer
Many real-time applications are designed to work in different operating modes each characterized by different functionality and resource demands. With each mode change, resource d...