697 search results - page 27 / 140 » On Composable System Timing, Task Timing, and WCET Analysis |
IPPS
1998
IEEE
15 years 4 months ago
1998
IEEE
This paper describes an approach to carry out performance analysis on systems which combine two major characteristics: real-time behaviour and parallel computational structure. It ...
130
Voted
JOC
2011
14 years 7 months ago
2011
In light of the growing complexity of cryptographic protocols and applications, it becomes highly desirable to mechanize — and eventually automate — the security analysis of p...
108
click to vote
DATE
2008
IEEE
15 years 7 months ago
2008
IEEE
We propose the notion of logical reliability for real-time program tasks that interact through periodically updated program variables. We describe a reliability analysis that chec...
123
click to vote
RTCSA
2008
IEEE
15 years 6 months ago
2008
IEEE
Reliability-aware power management (RAPM) schemes, which consider the negative effects of voltage scaling on system reliability, were recently studied to save energy while preserv...
111
Voted
RTCSA
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper presents a real-time scheduling algorithm with high schedulability and few preemptions for multiprocessor systems. The algorithm is based on an unorthodox method called...