652 search results - page 15 / 131 » Deriving Specifications of Dependable Systems: toward a Meth... |
168
click to vote
IPPS
2007
IEEE
16 years 25 days ago
2007
IEEE
Real-time systems using Rate Monotonic fixed priority scheduling can be checked for schedulability either by pessimistic schedulability conditions or exact testing. Exact testing ...
181
click to vote
ICIP
2010
IEEE
15 years 3 months ago
2010
IEEE
Intra prediction has been efficiently employed in block based image/video coding to remove the spatial redundancy. In this paper, we propose a position dependent linear intra pred...
184
click to vote
RTAS
2009
IEEE
16 years 1 months 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...
293
click to vote
AEPIA
2002
15 years 6 months ago
2002
Case-Based Reasoning systems retrieve cases using a similarity function based on the K-NN or some derivatives. These functions are sensitive to irrelevant, interacting or noisy fe...
188
click to vote
IFL
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...