Sciweavers

6289 search results - page 341 / 1258
» Error Sequence Analysis
Sort
View
OSDI
2002
ACM
16 years 7 months ago
CMC: A Pragmatic Approach to Model Checking Real Code
Many system errors do not emerge unless some intricate sequence of events occurs. In practice, this means that most systems have errors that only trigger after days or weeks of ex...
Madanlal Musuvathi, David Y. W. Park, Andy Chou, D...
ICIP
2008
IEEE
16 years 8 months ago
Improved dynamic rate shaping for H.264/AVC video streams
In this paper, dynamic rate shaping for H.264/AVC intracoded video streams is investigated. An analysis of the distortion distinguishes different error components that lead to the...
Stijn Notebaert, Jan De Cock, Kenneth Vermeirsch, ...
183
Voted
SAS
2009
Springer
212views Formal Methods» more  SAS 2009»
16 years 7 months ago
The Causal Graph Revisited for Directed Model Checking
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
Martin Wehrle, Malte Helmert
ARITH
2007
IEEE
16 years 1 months ago
Accurate Multiple-Precision Gauss-Legendre Quadrature
Numerical integration is an operation that is frequently available in multiple precision numerical software packages. The different quadrature schemes used are considered well stu...
Laurent Fousse
BIS
2008
92views Business» more  BIS 2008»
15 years 8 months ago
Structural Detection of Deadlocks in Business Process Models
Abstract. A common task in business process modelling is the verification of process models regarding syntactical and structural errors. While the former might be checked with low ...
Ahmed Awad, Frank Puhlmann