358 search results - page 59 / 72 » Model-Based Specification and Execution of Embedded Real-Tim... |
CCS
2009
ACM
13 years 11 months ago
2009
ACM
Device attestation is an essential feature in many security protocols and applications. The lack of dedicated hardware and the impossibility to physically access devices to be att...
RTAS
2008
IEEE
14 years 2 months ago
2008
IEEE
Large- and small-scale storage systems frequently serve a mixture of workloads, an increasing number of which require some form of performance guarantee. Providing guaranteed disk...
RTCSA
2005
IEEE
14 years 1 months ago
2005
IEEE
In this report, we propose an approach to integrate a hybrid garbage collection algorithm into the current response time analysis framework for real-time systems. In our approach,...
DAC
2010
ACM
13 years 11 months ago
2010
ACM
With the ever-increasing transistor variability in CMOS technology, it is essential to integrate variation-aware performance analysis into the task allocation and scheduling proce...
POPL
2011
ACM
12 years 10 months ago
2011
ACM
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...