نتایج جستجو برای: insa
تعداد نتایج: 326 فیلتر نتایج به سال:
Following the definition of Gröbner bases in rings of differential operators given by Insa and Pauer(1998), we discuss some computational properties of Gröbner bases arising when the coefficient set is a ring. First we give examples to show that the generalization of S-polynomials is necessary for computation of Gröbner bases. Then we prove that under certain conditions the G-S-polynomials can ...
The DSCH program is a logic editor and simulator designed by a research group under the leadership of E.Sicard, a professor of INSA of Toulouse . DSCH is used to validate the architecture of the logic circuit before the microelectronics design is started. DSCH provides a user-friendly environment for hierarchical logic design, and fast simulation with delay analysis, which allows the design a...
The nucleation of cavities in a homogenous polymer under tensile strain is investigated in a coarse-grained molecular dynamics simulation. In order to establish a causal relation between local microstructure and the onset of cavitation, a detailed analysis of some local properties is presented. In contrast to common assumptions, the nucleation of a cavity is neither correlated to a local loss o...
David LeBoeuf,1,* Nicolas Doiron-Leyraud,1 B. Vignolle,2 Mike Sutherland,3,† B. J. Ramshaw,4 J. Levallois,2,‡ R. Daou,1,§ Francis Laliberté,1 Olivier Cyr-Choinière,1 Johan Chang,1 Y. J. Jo,5 L. Balicas,5 Ruixing Liang,4,6 D. A. Bonn,4,6 W. N. Hardy,4,6 Cyril Proust,2,6 and Louis Taillefer1,6,‖ 1Département de Physique and RQMP, Université de Sherbrooke, Sherbrooke, Québec, Canada J1K 2R1 2Labor...
The concurrency is classified into two types: structured concurrency and nonstructured concurrency. After showing that the nonstructured concurrency cannot be represented by the conventional notations in the Petri net language, a method to represent such concurrency by the language is proposed. The proposed method allows us to utilize the existing approaches for analyzing properties of a nonstr...
Ad hoc networks are spontaneous wireless networks without any wired infrastructure, composed of mobile terminals. We assume that nodes must collaborate to set up an efficient network, such a collaboration requiring a self-organization in the network. We proposed a virtual structure to organize the network: the backbone is a connected structure helping to optimize the control traffic flooding. C...
DVB-T2 is offering a new way for broadcasting value-added services to end users, such as High Definition (HD) TV and 3D TV. Thanks to the advances made in digital signal processing, and specifically in channel coding, DVBT2 brings an increased transfer capacity of 50% and a new flexibility in services’ broadcasting in contrast with the first generation DVB-T standard. As DVB-T2 is still in depl...
In this paper, we study the cost optimal solution of the well-known multi-constrained multicast routing problem. This problem consists in finding a multicast structure that spans a source node and a set of destination nodes with respect to a set of constraints. This optimization problem is particularly interesting for the multicast network communications that require Quality of Service (QoS) gu...
India has made great strides in use of Mobile telephones in recent years. Adding over 10 million phones a month, it is the fastest growing market today. The cell-phones are quickly reaching the deepest parts of the nation and serving the poorest people. The talk will examine what made this possible. It will also focus on what the unfinished telecom tasks for India are. It will examine what Indi...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید