Sciweavers

4985 search results - page 82 / 997
» Observation of String-Rewriting Systems
Sort
View
ICECCS
1995
IEEE
114views Hardware» more  ICECCS 1995»
14 years 1 months ago
A performance oriented design methodology for large-scale distributed data intensive information systems
The Earth Observing System (EOS) Data and Information System (EOSDIS) is perhaps one of the most important examples of a large-scale, geographicallydistributed, and data-intensive...
Daniel A. Menascé, Hassan Gomaa, Larry Kers...
FCT
2007
Springer
14 years 2 months ago
Local Testing of Message Sequence Charts Is Difficult
Abstract. Message sequence charts are an attractive formalism for specifying communicating systems. One way to test such a system is to substitute a component by a test process and...
Puneet Bhateja, Paul Gastin, Madhavan Mukund, K. N...
ATS
2000
IEEE
107views Hardware» more  ATS 2000»
14 years 2 months ago
Accumulation-based concurrent fault detection for linear digital state variable systems
An algorithmic fault detection scheme for linear digital state variable systems is proposed. The proposed scheme eliminates the necessity of observing the internal states of the s...
Ismet Bayraktaroglu, Alex Orailoglu
LSSC
2007
Springer
14 years 4 months ago
Comments on the GMRES Convergence for Preconditioned Systems
Abstract. The purpose of this paper is to comment a frequent observation by the engineers studying acoustic scattering. It is related to the convergence of the GMRES method when so...
Nabil Gmati, Bernard Philippe
WSC
2001
13 years 11 months ago
Statistical selection of the best system
This tutorial discusses some statistical procedures for selecting the best of a number of competing systems. The term "best" may refer to that simulated system having, s...
David Goldsman, Barry L. Nelson