We prove that both the synchronous data ow language Lustre restricted to nite value types and the synchronous state oriented language Argos are embedded in the synchronous paradigm Timed Concurrent Constraint (tcc). In fact, for each of the two languages we provide a tcc language encoding it compositionally w.r.to the structure of programs. Moreover, we prove that the \strong abortion" mechanis...

The coexistence of gastric gastrointestinal stromal tumor (GIST) and gastric cancer is relatively high, and its prognosis is controversial due to the complex and variant kinds of presentation. Thus, the present study aimed to explore the clinicopathological features and prognostic factors of gastric GIST with synchronous gastric cancer.From May 2010 to November 2015, a total of 241 gastric GIST...

We study the problem of guaranteeing synchronous message deadlines in communication networks where the timed token medium access control protocol is employed. Synchronous capacity, defined as ihe maxrmum time for which a node can transmit its synchronous messages every time it receives the token, is a key parameter in the control of synchronous message transmission. To ensure the iransmission o...

This paper shows that, viewed in a generalized “two-hop” framework for node failure recovery, p-cycles actually have a very high inherent ability to restore paths transiting through a failed node. We also showed that with relatively little, if any, extra spare capacity, the principle is also amenable to explicit design of networks for 100% node and span failure protection with a single efficien...

The specification and implementation of Xcoop interfaces has received great attention in the last few years. In fact, the appropriate design of this system component is a key aspect for efficient and seamless co-operative management. In this context it is worth mentioning the EURESCOM P408 project and the standards of the European Telecommunication Standards Institute (ETSI) in Europe and the I...

We investigate the use of synchronous languages to model partially asynchronous systems. Through the use of intermittent activations and assertions, synchronous processes can be composed according to various asynchronous models. Common synchronization and communication mechanisms can be described. The resulting descriptions can be simulated and verified, using classical tools of synchronous pro...

The paper presents the results of a theoretical and practical evaluation of the Bulk Synchronous Parallel model, as implemented by the Oxford BSP Library. BSP claims to provide a scalable, portable and predictable framework for developing parallel software, with a reliable and straightforward analytic cost model. This work addresses these claims, and tries to establish their validity in context...

In this paper we illustrate the application of a synthesis procedure used for timed asynchronous circuits to the design of synchronous circuits. In addition to providing a uniform synthesis approach, our procedure results in circuits that are significantly smaller and faster than those designed using the synchronous design tool SIS. .

■ Abstract In 1997, after almost forty years since the initial attempt by Benioff et al (1959), continuous free oscillations of the Earth were discovered. Spheroidal fundamental modes between 2 and 7 millihertz are excited continuously with acceleration amplitudes of about 0.3–0.5 nanogals. The signal is now commonly found in virtually all data recorded by STS-1 type broadband seismometers at q...