970 search results - page 97 / 194 » Reliability Analysis of Concurrent Systems Using LTSA |
105
click to vote
ECIS
2003
15 years 1 months ago
2003
Currently, there is no standard instrument for evaluating learning effectiveness. While final examinations and end-of-semester course evaluation surveys can be used to do this, th...
102
Voted
PIMRC
2008
IEEE
15 years 6 months ago
2008
IEEE
— Future mobile communications systems demand for higher data rates and service quality compared to state-of-the-art systems. One way to achieve this ambitious goal is to use rel...
104
Voted
SBMF
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
201
click to vote
ASPLOS
2011
ACM
14 years 4 months ago
2011
ACM
Deterministic replay systems record and reproduce the execution of a hardware or software system. In contrast to replaying execution on uniprocessors, deterministic replay on mult...
100
click to vote
COMPSAC
2005
IEEE
15 years 2 months ago
2005
IEEE
Fault-tolerant mobile computing systems have different requirements and restrictions, not taken into account by conventional distributed systems. This paper presents a coordinate...