We present a technique for the automated verification of abstract models of multithreaded programs providing fresh name generation, name mobility, and unbounded control. As high level specification language we adopt here an extension of communication finitestate machines with local variables ranging over an infinite name domain, called TDL programs. Communication machines have been proved very ...

Testing is one of the most prevalent and successful verification validation (V&V) techniques used in field software engineering. While a large number testing frameworks exist for general-purpose programming languages, providing facilities any given executable Domain Specific Language (xDSL) remains costly challenging task. In this context, standard such as Test Description (TDL) appears suitabl...

Most of the existing modeling methods and tools for embedded application development use levels of abstraction where execution and communication times of computational tasks are not adequately captured. Thus, properties such as time and value determinism, which are crucial for safety-critical real-time systems, cannot be guaranteed when refining the model to move it closer to a target platform....

Wistar rats are specifically resistant to the growth of the chemical carcinogen induced syngeneic tumors, Mc7 and Mc107 sarcoma, after being immunized with s.c. implants of irradiated tumor tissue. The central lymph of such immunized rats contains cells able to systemically transfer resistance against tumor growth to normal or irradiated recipient rats. The thoracic duct lymphocytes (TDL) from ...

We present a technique for the automated verification of abstract models of multithreaded programs providing fresh name generation, name mobility, and unbounded control. As high level specification language we adopt here an extension of communication finitestate machines with local variables ranging over an infinite name domain, called TDL programs. Communication machines have been proved very ...

This paper presents an approach for incrementally adjusting the timing behavior of legacy real-time software according to explicit timing specifications expressed in the Timing Definition Language (TDL). The primary goal of such a migration is to achieve predictable timing behavior, which enables application of formal verification methods to the legacy system. Our approach entails a minimal ins...

This paper introduces the transparent dead leaves (TDL) random field, a new germ-grain model in which the grains are combined according to a transparency principle. Informally, this model may be seen as the superposition of infinitely many semi-transparent objects. It is therefore of interest in view of the modeling of natural images. Properties of this new model are established and a simulatio...

This paper proposes a digital delay locked loop (DLL) with monotonic line (DL). DLL adopts the calibration mode to reduce non-monotonic effects for coarse-tuning (CTDL) and fine-tuning (FTDL). The detects time of unit, timing resolution CTDL, adjust range FTDL. Thus, can limit overlap between CTDL proposed was implemented using 0.18-μm CMOS process, RMS peak-to-peak jitters were 0.21% 1.72%, re...

Le présent article présente une recherche menée auprès de trois enseignantes en adaptation scolaire première année, dont les élèves présentaient tous un trouble développemental du langage (TDL). Pendant six semaines, elles ont enseigné des routines « musique-littératie ». Un devis qualitatif exploratoire a permis d’identifier caractéristiques l’environnement liées à l’enseignement qui constitua...

Este trabajo presenta los resultados de una revisión sistemática la producción científica sobre intervención en TDL (antiguamente denominado como Trastorno Específico del Lenguaje, TEL) durante el periodo 2000-2020. Se accede a 31 publicaciones localizadas las Bases datos DIALNET y EBSCO, que cumplen siguientes criterios selección: año publicación, idioma (inglés español), por pares e intervenc...