neural networks because of their abilities are used to patterns recognition. in statistical process control charts, a common cause variation distort expected form of unnatural patterns and so detection of assignable causes efficiently and precisely in a real-time is difficult. therefore it would be logical to propose models based neural networks for recognition and analysis of patterns in proce...

Modular reasoning about non-blocking concurrent data structures is crucial to establish the correctness of concurrent applications. To achieve this, specifications of the synchronization mechanisms used by these nonblocking concurrent classes to prevent concurrent access to shared data, are essential. This paper presents an approach to specifying such lock-free synchronization mechanisms in ter...

Many programming languages, including Java, provide support for concurrency. Although concurrency has many benefits with respect to performance, concurrent software can be problematic to develop and test because of the many different thread interleavings. We propose a comprehensive set of concurrency programming anti-patterns that can be used by Java developers to aid in avoiding many of the kn...

despite all advances, treatment of esophageal carcinoma is still unsatisfactory. currently the standard non-surgical treatment of esophageal cancer is concurrent chemotherapy and radiotherapy (chemoradiation), with results comparable to best surgical series. a few years ago, we started a chemoradiation protocol for the cancer of esophagus as a curative treatment, of which we present the prelimi...

Concurrency introduces a high degree of combinatory which may be the source of subtle mistakes. We present a new tool, Quasar, which is based on ASIS and which uses fully the concept of patterns. The analysis of a concurrent Ada program by our tool proceeds in four steps: automatic extraction of the concurrent part of the program; translation of the simplified program into a formal model using ...