198 search results - page 9 / 40 » Analyzing Partially-Implemented Real-Time Systems |
RTAS
2007
IEEE
15 years 6 months ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
103
Voted
FC
1999
Springer
15 years 3 months ago
1999
Springer
We analyze “coin-wallet” and “balance-wallet” under partial real-time audit, and compute upper bounds on theft due to the fact that not all the transactions are audited in ...
83
Voted
RTAS
2007
IEEE
15 years 6 months ago
2007
IEEE
Stochastic analysis techniques for real-time systems model the execution time of tasks as random variables. These techniques constitute a very powerful tool to study the behaviour...
112
Voted
RTAS
2006
IEEE
15 years 5 months ago
2006
IEEE
Recent studies show that, voltage scaling, which is an efficient energy management technique, has a direct and negative effect on system reliability because of the increased rate...
102
Voted
ARC
2010
Springer
15 years 6 months ago
2010
Springer
This paper presents the design and FPGA-implementation of a sampler that is suited for sampling real-time events in embedded systems. Such sampling is useful, for example, to test ...