15644 search results - page 2724 / 3129 » Brittle System Analysis |
214
click to vote
ISORC
2005
IEEE
16 years 13 days ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
156
click to vote
ISPASS
2005
IEEE
16 years 13 days ago
2005
IEEE
Cosmic-ray induced soft errors in cache memories are becoming a major threat to the reliability of microprocessor-based systems. In this paper, we present a new method to accurate...
182
click to vote
QSHINE
2005
IEEE
16 years 13 days ago
2005
IEEE
In this paper, we first propose an analytical model of WLANs (Wireless LANs) with an arbitrary backoff distribution and AIFS (Arbitration Inter-Frame Space). From the analysis, we ...
166
Voted
RTCSA
2005
IEEE
16 years 13 days ago
2005
IEEE
Abstract— Time-critical jobs in many real-time applications have multiple feasible intervals. Such a job is constrained to execute from start to completion in one of its feasible...
184
click to vote
RTSS
2005
IEEE
16 years 12 days ago
2005
IEEE
Periodic update transaction model has been used to maintain freshness (or temporal validity) of real-time data. Period and deadline assignment has been the main focus in the past ...