5054 search results - page 828 / 1011 » simulation 2008 |
148
click to vote
PRDC
2008
IEEE
16 years 26 days ago
2008
IEEE
Reliability has become a serious concern as systems embrace nanometer technologies. In this paper, we propose a novel approach for organizing redundancy that provides high degree ...
181
click to vote
QEST
2008
IEEE
16 years 26 days ago
2008
IEEE
We present the KPC-Toolbox, a collection of Matlab scripts for fitting workload traces into Markovian Arrival Processes (MAPs) in an automatic way. We first present detailed sen...
161
click to vote
QEST
2008
IEEE
16 years 26 days ago
2008
IEEE
We present Hintikka games for formulae of the probabilistic temporal logic PCTL and countable labeled Markov chains as models, giving an operational account of the denotational se...
160
click to vote
RTAS
2008
IEEE
16 years 25 days ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
201
click to vote
RTCSA
2008
IEEE
16 years 25 days 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...