2468 search results - page 71 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
119
click to vote
EUSFLAT
2003
15 years 4 months ago
2003
The purpose of this paper is to advocate and encourage the application of fuzzy-neuro algorithms in the risk assessment of Distributed Real-Time (DRT) systems, where object-orient...
117
click to vote
WSC
2008
15 years 5 months ago
2008
Suppose one wishes to compare two closely related systems via stochastic simulation. Common random numbers (CRN) involves using the same streams of uniform random variates as inpu...
123
click to vote
FMICS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The FlexRay standard, developed by a cooperation of leading companies in the automotive industry, is a robust communication protocol for distributed components in modern ...
103
click to vote
PEPM
2009
ACM
16 years 6 days ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
155
click to vote
KBSE
2000
IEEE
15 years 7 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...