We present a method to construct a validator based on translation validation approach to prove the value-equivalence of variables in the compilation of the Signal compiler. The computation of output signals in a Signal program and their counterparts in the generated C code is represented by a Synchronous Data-flow Value-Graph (Sdvg). Our validator proves that every output signal and its counter...

We propose a simple and robust automatic strategy for managing SDH/SONET and/or ATM virtual paths in real time to handle slow tra c variations. It consists of on-line measurements of o ered tra cs followed by the design and possible implementation of a new virtual path network in a repeated cycle. Methods and parameters for tra c measurements and network updating are studied and optimised to ac...

Synchronous squamous cell esophageal and squamous cell gastric cancer is a rare duo. A 48-year-old male visited our hospital with a history of dysphagia and melena and was diagnosed with synchronous esophageal and gastric cancer by endoscopy and histopathology. We report a case of a synchronous cancer that was successfully treated by chemotherapy followed by surgery. We also discuss the hypothe...

In this paper, we present a theory of synchronous data-flow languages. Our theory is supported by both some heuristic analysis of applications and some theoretical investigation of the data-flow paradigm. Our model covers both behavioural and operational aspects, and allows both synchronous and asynchronous styles of implementation for synchronous programs. This model served as a basis to estab...

This special issue is devoted to the synchronous approach to reactive and real-time programming. This introductory paper presents and discusses the application fields and the principles of synchronous programming. The major concern of the synchronous approach is to base synchronous programming languages on mathematical models. This makes it possible to handle compilation, logical correctness pr...

⎯This paper presents a solution for optimal business continuity, with storage architecture for enterprise applications, which will ensure zero data loss and quick recovery. The solution makes use of Internet protocol storage area network (IPSAN), which is used for data management without burdening the application server, as well as mix of synchronous and semi-synchronous replication techniques ...

Optimization for synchronous systems is an important problem in logic synthesis. However, the full utilization of don't care information for sequential synthesis is far from being solved. Synchronous boolean relations can represent sequential don't care information upto in synchronous systems. This allows greater exibility in expressing don't care information than ordinary boolean relations rel...