9210 search results - page 9 / 1842 » Analyzing Real-Time Systems |
FC
1999
Springer
13 years 11 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 ...
RTAS
2007
IEEE
14 years 1 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...
RTAS
2006
IEEE
14 years 1 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...
ARC
2010
Springer
14 years 2 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 ...
IPPS
2005
IEEE
14 years 1 months ago
2005
IEEE
In recent years the Unified Modeling Language (UML) including its profiles gained increasing acceptance as a specification language for modeling real-time systems. It is crucia...