Sciweavers

9316 search results - page 193 / 1864
» Analysis of traceback techniques
Sort
View
WSC
1998
15 years 5 months ago
Model-based Systems Analysis Using CSIM18
Achieving the best possible cost performance for a system is often the goal of the manager of that system. This is true for large systems (such as an entire railroad system) as we...
Herbert D. Schwetman
SSR
1997
67views more  SSR 1997»
15 years 5 months ago
Open Implementation Analysis and Design
This paper describes a methodology for designing Open Implementations -- software modules that can adapt or change their internals to accommodate the needs of different clients. A...
Chris Maeda, Arthur Lee, Gail C. Murphy, Gregor Ki...
MVA
1990
143views Computer Vision» more  MVA 1990»
15 years 5 months ago
Multiresolution Pyramid Architectures for Real-Time Motion Analysis
Multiresolution pyramid techniques can improve the efficiency of basic vision algorithms by orders of magnitude. They will be key to developing practical vision systems to perform...
Peter J. Burt
IJFCS
2008
81views more  IJFCS 2008»
15 years 4 months ago
Reachability Analysis in Verification via Supercompilation
Abstract. We present an approach to verification of parameterized systems, which is based on program transformation technique known as supercompilation. In this approach the statem...
Alexei Lisitsa, Andrei P. Nemytykh
143
Voted
ENGL
2007
109views more  ENGL 2007»
15 years 4 months ago
A Proposed Method for Reliability Analysis in Higher Dimension
— In this paper, a new method is proposed to evaluate the reliability of stochastic mechanical systems. This technique is based on the combination of the probabilistic transforma...
S. Kadry