Relevant bibliographies by topics / Communications concurrentes

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Communications concurrentes'

Author: Grafiati
Published: 4 June 2021
Last updated: 4 May 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Communications concurrentes.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Communications concurrentes"

1

Martinasson, Maxime, and Jean-François Méhaut. "Modèle de communications concurrentes sur des grappes SMP." Techniques et sciences informatiques 27, no. 3-4 (April 30, 2008): 317–44. http://dx.doi.org/10.3166/tsi.27.317-344.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Hussain, Sajjad, Aftab Hussain, Muhmmad Waleed Aftab, Hamza Kundi, Irfan Ullah, Abid Ali, Shahid Rasool, Umar Ali Khan, and Hassan M. Al-Jawahry. "Massive Connectivity and Low-Latency for Next-Generation Internet of Things: A Filtered OFDM-based Deep Learning Approach." Journal of Smart Internet of Things 2023, no. 2 (December 1, 2023): 115–21. http://dx.doi.org/10.2478/jsiot-2023-0014.

Full text
Abstract:
Abstract The Internet of Things (IoT) is one of the numerous services offered by sixth-generation (6G) mobile communications. It is necessary to meet heterogeneous criteria for large connectivity and low latency to serve the various kinds of IoT applications. In order to concurrently provide enormous connectivity and meet the low-latency conditions in the uplink IoT network, we proposed filtered orthogonal frequency division multiplexing (FOFDM) based on a service group adopting the deep learning (DL) technique. The proposed FOFDM-DL platform focuses on two key areas: first, it works for the concurrence of different time-frequency granularity appropriate for distinct service-based grouping, and secondly, it facilitates low latency and massive connectivity to deliver dependable communications. The suggested FOFDM-DL architecture may accommodate the needs of massive machine-type communication referred as mMTC and ultra-reliable and low-latency communications known as uRLLC concurrently for the next-generation communication systems. However, the uRLLC and mMTC requirements can only be supported separately by the new radio (NR)-5G, beyond 5G (or 6G). In comparison to the traditional scheme, simulation results demonstrate that the suggested FOFDM-DL platform works surprisingly well in the next-generation IoT network.
APA, Harvard, Vancouver, ISO, and other styles
3

Collette, Karine. "La concurrence discursive." Communication, Vol. 25/2 (June 15, 2007): 107–30. http://dx.doi.org/10.4000/communication.707.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Warren, Nooshin L., and Alina Sorescu. "When 1 + 1 > 2: How Investors React to New Product Releases Announced Concurrently with Other Corporate News." Journal of Marketing 81, no. 2 (March 2017): 64–82. http://dx.doi.org/10.1509/jm.15.0275.

Full text
Abstract:
Firms routinely use press releases to announce the launch of their new products. An examination of these press releases shows that in approximately 7% of cases, firms issue new product announcements concurrently with other corporate announcements. However, the consequences of these actions are unknown because event studies typically eliminate concurrent announcements in an attempt to avoid their confounding effects. The authors use a comprehensive sample of press releases issued by publicly traded U.S. firms to document the consequences of firms announcing the release of a new product concurrently with another corporate announcement that conveys good news. Drawing on Merton's (1987) model of capital market equilibrium with incomplete information, the authors identify three conditions that are conducive to the issuance of concurrent new product announcements. They then verify that under these conditions, the increase in shareholder value associated with concurrent announcements is higher than that associated with issuing two similar announcements separately. This research provides insights into how firms can leverage corporate communications to increase stock prices.
APA, Harvard, Vancouver, ISO, and other styles
5

Hussein, Ahmed F., and Hany Elgala. "Design and spectral analysis of mixed-carrier communication for sixth-generation networks." Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 476, no. 2238 (June 2020): 20200165. http://dx.doi.org/10.1098/rspa.2020.0165.

Full text
Abstract:
The fifth-generation (5G) wireless cellular network is expected to be ready for commercialization within this year. The huge spectrum enabled by the millimetre-wave (mm-Wave) technology is expected to introduce a hype in data usage per user. The 5G is also expected to concurrently support a wide variety of services; however, the practical trade-offs associated with concurrent services require further investigations. In this work, a physical layer (PHY) design to support visible light communications is considered to efficiently support concurrent services that are essential to serve the needs of the sixth-generation (6G) network. A novel communication technique, i.e. mixed-carrier communication (MCC), is proposed. MCC enables simultaneous wireless services such as broadband access, low-rate internet-of-things connectivity, device-free sensing, and device-based localization. This study presents, firstly, a thorough investigation of the design procedure of the novel MCC PHY, secondly, the spectral profile of MCC towards proper spectrum management and interference analysis, and thirdly, performance evaluation based on modelling, simulation and an experimental proof-of-concept. The design steps recommend that the system performance degrades beyond a signal-to-noise ratio (SNR) threshold. For instance, SNR of 25.1 dB and 2.6652 optical power ratio between the communications signal and the driving envelope, for 64-quadrature amplitude modulation (64-QAM), are recommended to avoid performance degradation due to clipping. Simulation results show an interference-immune performance of a properly managed spectrum. For a bit-error-rate (BER) of 10 −3 , an SNR penalty of 2–5 dB is observed for different interference scenarios. The experimental measurements illustrate a high-quality signal of 21 dB SNR at 50 cm and 10 −3 BER using 64-QAM.
APA, Harvard, Vancouver, ISO, and other styles
6

Ramya, T. Rama Rao, and Revathi Venkataraman. "Concurrent Multi-Band Low-Noise Amplifier." Journal of Circuits, Systems and Computers 26, no. 06 (March 5, 2017): 1750104. http://dx.doi.org/10.1142/s0218126617501043.

Full text
Abstract:
With rapid expansions of wireless communications, requirements for transceivers that support concurrent multiple services are continuously increasing and demanding design of a concurrent low-noise amplifier (LNA) with low noise figure (NF), high gain, and high linearity over a wide frequency range for various wireless applications. The proposed work focuses on a concurrent multi-band LNA that works at navigational frequencies, namely, of 1.2[Formula: see text]GHz and 1.5[Formula: see text]GHz, wireless communication frequencies, namely, of 2.45[Formula: see text]GHz and 3.3[Formula: see text]GHz, dedicated short range communication (DSRC) frequency of 5.8[Formula: see text]GHz for the vehicular communication applications. This circuit has a distinct input matching network which resonates at all desired five frequency bands and is achieved by adapting frequency transformation method. To accomplish simultaneous reception of the desired penta-band, the output matching is designed with simple LC matching network with the aid of load-pull methodology.
APA, Harvard, Vancouver, ISO, and other styles
7

Urban, Susan D., Ziao Liu, and Le Gao. "Decentralized Communication for Data Dependency Analysis Among Process Execution Agents." International Journal of Web Services Research 8, no. 4 (October 2011): 1–28. http://dx.doi.org/10.4018/jwsr.2011100101.

Full text
Abstract:
This paper presents the authors results with the investigation of decentralized data dependency analysis among concurrently executing processes in a service-oriented environment. Distributed Process Execution Agents (PEXAs) are responsible for controlling the execution of processes that are composed of web services. PEXAs are also associated with specific distributed sites for the purpose of capturing data changes that occur at those sites in the context of service executions using Delta-Enabled Grid Services. PEXAs then exchange this information with other PEXAs to dynamically discover data dependencies that can be used to enhance recovery activities for concurrent processes that execute with relaxed isolation properties. This paper outlines the functionality of PEXAs, describing the data structures, algorithms, and communication mechanisms that are used to support decentralized construction of distributed process dependency graphs, demonstrating a more dynamic and intelligent approach to identifying how the failure of one process can potentially affect other concurrently executing processes.
APA, Harvard, Vancouver, ISO, and other styles
8

Iqbal, Muhammad Shahid, Yalcin Sadi, and Sinem Coleri. "Minimum Length Scheduling for Multi-Cell Full Duplex Wireless Powered Communication Networks." Sensors 21, no. 19 (October 2, 2021): 6599. http://dx.doi.org/10.3390/s21196599.

Full text
Abstract:
Wireless powered communication networks (WPCNs) will be a major enabler of massive machine type communications (MTCs), which is a major service domain for 5G and beyond systems. These MTC networks will be deployed by using low-power transceivers and a very limited set of transmission configurations. We investigate a novel minimum length scheduling problem for multi-cell full-duplex wireless powered communication networks to determine the optimal power control and scheduling for constant rate transmission model. The formulated optimization problem is combinatorial in nature and, thus, difficult to solve for the global optimum. As a solution strategy, first, we decompose the problem into the power control problem (PCP) and scheduling problem. For the PCP, we propose the optimal polynomial time algorithm based on the evaluation of Perron–Frobenius conditions. For the scheduling problem, we propose a heuristic algorithm that aims to maximize the number of concurrently transmitting users by maximizing the allowable interference on each user without violating the signal-to-noise-ratio (SNR) requirements. Through extensive simulations, we demonstrate a 50% reduction in the schedule length by using the proposed algorithm in comparison to unscheduled concurrent transmissions.
APA, Harvard, Vancouver, ISO, and other styles
9

Wu, Bin, Nobuo Funabiki, Sujan Chandra Roy, Md Mahbubur Rahman, Dezheng Kong, and Shihao Fang. "An Application of Throughput Request Satisfaction Method for Maximizing Concurrent Throughput in WLAN for IoT Application System." Sensors 24, no. 7 (March 28, 2024): 2173. http://dx.doi.org/10.3390/s24072173.

Full text
Abstract:
With the wide applications of the Internet of Things (IoT) in smart home systems, IEEE 802.11n Wireless Local Area Networks (WLANs) have become a frequently chosen communication technology due to their adaptability and affordability. In a high-density network of devices such as the smart home scenerio, a host often meets interferences from other devices and unequal Received Signal Strength (RSS) from Access Points (APs). This results in throughput unfairness/insufficiency problems between hosts communicating concurrently in WLAN. Previously, we have studied the throughput request satisfaction method to address this problem. It calculates the target throughput from measured single and concurrent throughputs of hosts and controls the actual throughput at this target one by applying traffic shaping at the AP. However, the insufficiency problem of maximizing the throughput is not solved due to interferences from other hosts. In this paper, we present an extension of the throughput request satisfaction method to maximize the throughput of a high-priority host under concurrent communications. It recalculates the target throughput to increase the actual throughput as much as possible while the other hosts satisfy the least throughput. For evaluations, we conduct experiments using the test-bed system with Raspberry Pi as the AP devices in several topologies in indoor environments. The results confirm the effectiveness of our proposal.
APA, Harvard, Vancouver, ISO, and other styles
10

Hyppa Martin, Jolene, Joe Reichle, Adele Dimian, and Mo Chen. "Communication Modality Sampling for a Toddler With Angelman Syndrome." Language, Speech, and Hearing Services in Schools 44, no. 4 (October 2013): 327–36. http://dx.doi.org/10.1044/0161-1461(2013/12-0108).

Full text
Abstract:
Purpose Vocal, gestural, and graphic communication modes were implemented concurrently with a toddler with Angelman syndrome to identify the most efficiently learned communication mode to emphasize in an initial augmentative communication system. Method Symbols representing preferred objects were introduced in vocal, gestural, and graphic communication modes using an alternating treatment single-subject experimental design. Conventionally accepted prompting strategies were used to teach symbols in each communication mode. Because the learner did not vocally imitate, vocal mode intervention focused on increasing vocal frequency as an initial step. Results When graphic and gestural mode performances were compared, the learner most accurately produced requests in graphic mode (percentage of nonoverlapping data = 96). Given the lack of success in prompting vocal productions, a comparison between vocal and the other two communication modes was not made. Conclusion A growing body of evidence suggests that concurrent modality sampling is a promising low-inference, data-driven procedure that can be used to inform selection of a communication mode(s) for initial emphasis with young children. Concurrent modality sampling can guide clinical decisions regarding the allocation of treatment resources to promote success in building an initial communicative repertoire.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Communications concurrentes"

1

Martinasso, Maxime. "Analyse et modélisation des communications concurrentes dans les réseaux haute performance." Phd thesis, Université Joseph Fourier (Grenoble), 2007. http://tel.archives-ouvertes.fr/tel-00165164.

Full text
Abstract:
La croissance des capacités de calcul des processeurs se poursuit, non plus par l'augmentation des fréquences d'horloge, mais par la multiplication d'unités de traitement (coeur) au sein des chips. Cette augmentation du nombre de coeurs par processeur induit un partage des autres omposants de la machine entre les différentes requêtes. En outre, les applications parallèles provenant du calcul scientifique s'efforcent d'exploiter au maximum les ressources d'une architecture parallèle. La compréhension du partage de ressource devient un des défis majeurs pour utiliser efficacement ces architectures.
Ces nouveaux comportements de partage de ressources, ainsi produits, sont difficiles à interpréter et à prédire. Dans cette thèse, nous avons étudié le problème du partage du réseau. Les grappes de calcul utilisent des réseaux dédiés tels que Gigabit Ethernet, Myrinet ou Quadrics. L'exécution simultanée des tâches d'une application entraîne des accès concurrents sur la ressource réseau. Leurs effets conduisent à une perte de performance qui découle du partage de la bande passante réseau entre communications.
Suivant ce contexte, nous présentons une analyse fine des comportements concurrents sur les architectures : Quadrics, Myrinet et Gigabit Ethernet. Cette analyse conduit à la définition de modèles prédictifs basés sur la notion de partage de la bande passante. En outre, nous montons que l'intégration de ces modèles dans une simulation permet de prédire les impacts dûs à la concurrence entre communications MPI résultantes de l'exécution d'applications scientifiques. La prédiction des comportements concurrents donne lieu, au niveau scientifique et technique, à une meilleure connaissance des besoins des applications et, au niveau industriel, à la proposition de solutions de grappes adaptées aux besoins de leurs clientèles.
APA, Harvard, Vancouver, ISO, and other styles
2

Brunet, Elisabeth. "Une approche dynamique pour l'optimisation des communications concurrentes sur réseaux hautes performance." Thesis, Bordeaux 1, 2008. http://www.theses.fr/2008BOR13721/document.

Full text
Abstract:
Cette thèse cherche à optimiser les communications des applications de calcul intensif s'exécutant sur des grappes de PC. En raison de l'usage massif de processeurs multicoeurs, il est désormais impératif de gérer un grand nombre de flux de communication concurrents. Nous avons mis en évidence et analysé les performances décevantes des solutions actuelles dans un tel contexte. Nous avons ainsi proposé une architecture de communication centrée sur l'arbitrage de l'accès aux matériels. Son originalité réside dans la dissociation de l'activité de l'application de celle des cartes réseaux. Notre modèle exploite l'intervalle de temps introduit entre le dépot des requêtes de communication et la disponibilité des cartes réseaux pour appliquer des optimisations de manière opportuniste. NewMadeleine implémente ce concept et se révèle capable d'exploiter les réseaux les plus performants du moment. Des tests synthétiques et portages d'implémentations caractéristiques de MPI ont permis de valider l'architecture proposée
The aim of this thesis is to optimize the communications of high performance applications, in the context of clusters computing. Given the massive use of multicore architectures, it is now crucial to handle a large number of concurrent communication flows. We highlighted and analyzed the shortcomings of existing solutions. We therefore designed a new way to schedule communication flows by focusing on the activity of the network cards. Its novelty consists in untying the activity of applications from that of the network cards. Our model takes advantage of the delay that exists between the deposal of the communication requests and the moment when the network cards become idle in order to apply some opportunistic optimizations. NewMadeleine implements this model, thus making possible to exploit last generation high speed networks. The approach of NewMadeleine is not only validated by synthetical tests but also by real applications
APA, Harvard, Vancouver, ISO, and other styles
3

Brunet, Elisabeth Namyst Raymond. "Une approche dynamique pour l'optimisation des communications concurrentes sur réseaux hautes performance." S. l. : S. n, 2008. http://ori-oai.u-bordeaux1.fr/pdf/2008/BRUNET_ELISABETH_2008.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Vienne, Jérôme. "Prédiction de performances d'applications de calcul haute performance sur réseau Infiniband." Phd thesis, Université de Grenoble, 2010. http://tel.archives-ouvertes.fr/tel-00728156.

Full text
Abstract:
Afin de pouvoir répondre au mieux aux différents appels d'offres, les constructeurs de grappe de calcul ont besoin d'outils et de méthodes permettant d'aider au mieux la prise de décisions en terme de design architectural. Nos travaux se sont donc intéressés à l'estimation des temps de calcul et à l'étude de la congestion sur le réseau InfiniBand. Ces deux problèmes sont souvent abordés de manière globale. Néanmoins, une approche globale ne permet pas de comprendre les raisons des pertes de performance liées aux choix architecturaux. Notre approche s'est donc orientée vers une étude plus fine. Pour évaluer les temps de calcul, la démarche proposée s'appuie sur une analyse statique ou semistatique du code source afin de le découper en blocs, avant d'effectuer un micro-benchmarking de ces blocs sur l'architecture cible. Pour l'estimation des temps de communication, un modèle de répartition de bande passante pour le réseau InfiniBand a été développé, permettant ainsi de prédire l'impact lié aux communications concurrentes. Ce modèle a ensuite été intégré dans un simulateur pour être validé sur un ensemble de graphes de communication synthétiques et sur l'application Socorro.
APA, Harvard, Vancouver, ISO, and other styles
5

Vienne, Jérôme. "Prédiction de performances d'applications de calcul haute performance sur réseau Infiniband." Phd thesis, Grenoble, 2010. http://www.theses.fr/2010GRENM043.

Full text
Abstract:
Afin de pouvoir répondre au mieux aux différents appels d'offres, les constructeurs de grappe de calcul ont besoin d'outils et de méthodes permettant d'aider au mieux la prise de décisions en terme de design architectural. Nos travaux se sont donc intéressés à l'estimation des temps de calcul et à l'étude de la congestion sur le réseau InfiniBand. Ces deux problèmes sont souvent abordés de manière globale. Néanmoins, une approche globale ne permet pas de comprendre les raisons des pertes de performance liées aux choix architecturaux. Notre approche s'est donc orientée vers une étude plus fine. Pour évaluer les temps de calcul, la démarche proposée s'appuie sur une analyse statique ou semistatique du code source afin de le découper en blocs, avant d'effectuer un micro-benchmarking de ces blocs sur l'architecture cible. Pour l'estimation des temps de communication, un modèle de répartition de bande passante pour le réseau InfiniBand a été développé, permettant ainsi de prédire l'impact lié aux communications concurrentes. Ce modèle a ensuite été intégré dans un simulateur pour être validé sur un ensemble de graphes de communication synthétiques et sur l'application Socorro
Manufacturers of computer clusters require tools to assist them in making better decisions in terms of architectural design. To address this need, in this thesis work, we focus on the specific issues of estimating computation times and InfiniBand network congestion. These two problems are often dealt with globally. However, an overall approach does not explain the reasons of performance loss related to architectural choices. So our approach was to conduct a more detailed study. In this thesis work, we focus on the following : 1) the estimation of computation time in a Grid, and 2) the estimation of communication times over Infiniband networks. To evaluate the computation time, the proposed approach is based on a static or semi-static analysis of the source code, by cutting it into blocks, before making a micro-benchmarking of these blocks on the targeted architecture. To estimate the communication time, a model of bandwidth sharing for Infiniband networks has been developed, allowing one to predict the impact related to concurrent communications. This model was then incorporated into a simulator to be validated on a set of synthetic communication graphs and on the application Socorro
APA, Harvard, Vancouver, ISO, and other styles
6

Réty, Jean-Hugues. "Langages concurrents avec contraintes : communication par messages et distribution." Orléans, 1997. http://www.theses.fr/1997ORLE2023.

Full text
Abstract:
Nous proposons un modele de calcul concurrent par contraintes distribue dont le mecanisme de calcul local est un langage concurrent avec contraintes (cc) et dont la communication inter sites s'effectue par messages. Les canaux de communication sont des variables (logiques) du systeme de contraintes, aussi bien au niveau local (communication ask/tell des cc) qu'au niveau global (communication par messages). Les contraintes permettent une modelisation logique de la communication par messages, cette derniere s'integrant de maniere tres homogene dans les cc. Ce mecanisme de communication est proche de celui du pi-calcul de milner, parrow et walker dans sa version asynchrone. Nous definissons une relation de bisimilarite sur le langage propose et donnons un encodage du pi-calcul qui est prouve etre completement adequat.
APA, Harvard, Vancouver, ISO, and other styles
7

Lai, Lu Ming. "A refinement calculus for concurrent systems with communications." Thesis, University of Oxford, 1990. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.334891.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Cyriac, Aiswarya. "Verification of communicating recursive programs via split-width." Thesis, Cachan, Ecole normale supérieure, 2014. http://www.theses.fr/2014DENS0004/document.

Full text
Abstract:
Cette thèse développe des techniques à base d'automates pour la vérification formelle de systèmes physiquement distribués communiquant via des canaux fiables de tailles non bornées. Chaque machine peut exécuter localement plusieurs programmes récursifs (multi-threading). Un programme récursif peut également utiliser pour ses calculs locaux des structures de données non bornées, comme des files ou des piles. Ces systèmes, utilisés en pratique, sont si puissants que tous leurs problèmes de vérification deviennent indécidables. Nous introduisons et étudions un nouveau paramètre, appelé largeur de coupe (split-width), pour l'analyse de ces systèmes. Cette largeur de coupe est définie comme le nombre minimum de scissions nécessaires pour partitioner le graphe d'une exécution en parties sur lesquelles on pourra raisonner de manière indépendante. L'analyse est ainsi réalisée avec une approche diviser pour régner. Lorsqu'on se restreint à la classe des comportements ayant une largeur de coupe bornée par une constante, on obtient des procédures de décision optimales pour divers problèmes de vérification sur ces systèmes tels que l'accessibilité, l'inclusion, etc. ainsi que pour la satisfaisabilité et le model checking par rapport à divers formalismes comme la logique monadique du second ordre, la logique dynamique propositionnelle et des logiques temporelles. On montre aussi que les comportements d'un système ont une largeur de coupe bornée si et seulement si ils ont une largeur de clique bornée. Ainsi, grâce aux résultats de Courcelle sur les graphes de degré uniformément borné, la largeur de coupe est non seulement suffisante, mais aussi nécessaire pour obtenir la décidabilité du problème de satisfaisabilité d'une formule de la logique monadique du second ordre. Nous étudions ensuite l'existence de contrôleurs distribués génériques pour nos systèmes distribués. Nous proposons plusieurs contrôleurs, certains ayant un nombre fini d'états et d'autres étant déterministes, qui assurent que les comportements du système sont des graphes ayant une largeur de coupe bornée. Un système ainsi contrôlé de manière distribuée hérite des procédures de décision optimales pour les différents problèmes de vérification lorsque la largeur de coupe est bornée. Cette classe décidable de système généralise plusieurs sous-classes décidables étudiées précédemment
This thesis investigates automata-theoretic techniques for the verification of physically distributed machines communicating via unbounded reliable channels. Each of these machines may run several recursive programs (multi-threading). A recursive program may also use several unbounded stack and queue data-structures for its local-computation needs. Such real-world systems are so powerful that all verification problems become undecidable. We introduce and study a new parameter called split-width for the under-approximate analysis of such systems. Split-width is the minimum number of splits required in the behaviour graphs to obtain disjoint parts which can be reasoned about independently. Thus it provides a divide-and-conquer approach for their analysis. With the parameter split-width, we obtain optimal decision procedures for various verification problems on these systems like reachability, inclusion, etc. and also for satisfiability and model checking against various logical formalisms such as monadic second-order logic, propositional dynamic logic and temporal logics. It is shown that behaviours of a system have bounded split-width if and only if they have bounded clique-width. Thus, by Courcelle's results on uniformly bounded-degree graphs, split-width is not only sufficient but also necessary to get decidability for MSO satisfiability checking. We then study the feasibility of distributed controllers for our generic distributed systems. We propose several controllers, some finite state and some deterministic, which ensure that the behaviours of the system have bounded split-width. Such a distributedly controlled system yields decidability for the various verification problems by inheriting the optimal decision procedures for split-width. These also extend or complement many known decidable subclasses of systems studied previously
APA, Harvard, Vancouver, ISO, and other styles
9

Chéry, Blair. "Recherche sur les modes de règlement des contentieux liés aux infrastructures de communications électroniques." Thesis, Toulouse 1, 2014. http://www.theses.fr/2014TOU10042.

Full text
Abstract:
Les réseaux de communications électroniques sont à l’origine des contentieux de plus en plus fréquents dont les modes de règlement se révèlent particulièrement originaux. Ils impliquent notamment la mobilisation des compétences techniques que ne possèdent pas les magistrats professionnels où des durées de règlement des différends qui sont difficilement compatible avec les délais de procédure classique devant les tribunaux. En d’autres termes, ils appellent des formes originales de règlement des contentieux devant les autorités de régulation de communications électroniques. Un tel sujet resterait anecdotique si le contentieux des infrastructures de communications électroniques n’avait pas été traité de manière spécifique et avec une certaine ressemblance dans les différents systèmes juridiques. Notre objectif est de comprendre et d’analyser le contentieux dans une perspective globale. Dans cette perspective, au-delà de la répartition géographique de ce modèle, cette étude nous permettra de poser des questions de fond permettant de saisir le règlement des litiges dans toutes ses dimensions. L‘étude du règlement des contentieux des réseaux de communications électroniques dans sa globalité apparaît aujourd’hui essentielle pour la compréhension des grandes évolutions juridiques avec les grands bouleversements apportés par la mondialisation et les nouvelles technologies
The electronic communications networks are causing disputes increasingly frequent whose payment methods are particularly original. In particular, they involve the mobilization of technical skills that do not have professional judges where periods of dispute resolution are hardly compatible with the deadlines conventional court proceedings. In other words, they call original forms of settlement proceedings before the regulatory authorities for electronic communications. Such a subject would remain anecdotal of dispute electronic communications infrastructures had not been treated specifically and with some similarity in the different legal systems. Our goal is to understand and analyze litigation in a global perspective. In this perspective, beyond the geographical distribution of this model, this study allows us to ask fundamental questions to capture the settlement of disputes in all its dimensions. The study of the settlement of dispute electronic communications networks as a whole now appears essential for the understanding of the major legal developments with major changes brought about by globalization and new technologies
APA, Harvard, Vancouver, ISO, and other styles
10

Popović, Dušan. "Le droit communautaire de la concurrence et les communications électroniques." Paris 10, 2007. http://www.theses.fr/2007PA100157.

Full text
Abstract:
Durant les vingt dernières années, le secteur des communications électroniques a connu une transformation sans précédent au sein de l’Union européenne : une série des monopoles nationaux a été remplacée par un système fondé sur la libre concurrence. Cette ouverture à la concurrence a été réalisée grâce à l’adoption des mesures de libéralisation et d’harmonisation en vertu des articles 86 et 95 du Traité CE. Toutefois, le fait que les marchés des communications électroniques soient devenus concurrentiels n’exclut pas la possibilité de comportements anticoncurrentiels des entreprises. D’où l’intérêt d’analyser les marchés, ce qui est possible tant en application des règles sectorielles qu’en application du droit commun de la concurrence. En droit sectoriel, l’analyse des marchés s’appuie sur les principes du droit de la concurrence mais il existe certaines particularités puisque cette analyse est toujours prospective. En effet, les règles sectorielles visent à prévenir un comportement abusif et non à le sanctionner. Lorsque le droit commun de la concurrence est appliqué dans le secteur des communications électroniques, il existe également des spécificités car l’expansion dynamique de ce secteur, tout comme la convergence des technologies, ont une influence sur l’analyse des autorités compétentes
In the last twenty years, the electronic communications sector in the European Union has undergone a remarkable transformation: a series of national monopolies has been replaced by a system based on competition. This has been accomplished by the adoption of liberalization and harmonization measures based on Articles 86 and 95 of the Treaty. However, the fact that competition has been introduced to the electronic communications markets does not exclude the possibility of anti-competitive behaviour of enterprises. An analysis of those markets is therefore needed. This could be done by applying both sector-specific and general competition rules. As regards sector-specific regulation, although market analysis is based on the principles of competition law there are certain specificities since that analysis is always prospective: sector-specific rules aim at preventing an abusive behaviour and not at sanctioning it. On the other hand, the application of general competition rules in the electronic communications sector is also particular since the dynamic development of the sector as well as the convergence of technologies influence the analysis undertaken by the competent authorities
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Communications concurrentes"

1

Loch, C. H. Communication and uncertainty in concurrent engineering. Fontainebleau: INSEAD, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Loch, C. Communication and uncertainty in concurrent engineering. France: INSEAD, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Hill, Ralph D. Supporting concurrence, communication and synchronization in human-computer interaction. Toronto: University of Toronto, Computer Systems Research Institute, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Le droit communautaire de la concurrence et les communications électroniques. Paris: L.G.D.J., 2009.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Popović, Dušan. Le droit communautaire de la concurrence et les communications électroniques. Paris: L.G.D.J., 2009.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Pallot, Marc. Concurrent Enterprising: Toward the Concurrent Enterprise in the Era of the Internet and Electronic Commerce. Boston, MA: Springer US, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Apt, Krzysztof R. Logics and Models of Concurrent Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 1985.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Vanessa, Oakley, ed. EU communications law. Bembridge: Palladian Law, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Great Britain. Office of Communications, ed. Communications: The next decade : a collection of essays prepared for the UK Office of Communications. London: Ofcom, 2006.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Birman, Kenneth P. Reliable communication in the presence of failures. [Washington, DC: National Aeronautics and Space Administration, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Communications concurrentes"

1

Fotta, Michael E., and Ray A. Daley. "Improving interpersonal communications on multifunctional teams." In Concurrent Engineering, 75–92. Boston, MA: Springer US, 1993. http://dx.doi.org/10.1007/978-1-4615-3062-6_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Vitányi, Paul M. B. "A Modest Proposal for Communication Costs in Multicomputers." In Concurrent Computations, 203–16. Boston, MA: Springer US, 1988. http://dx.doi.org/10.1007/978-1-4684-5511-3_12.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Honda, Kohei, and Mario Tokoro. "On asynchronous communication semantics." In Object-Based Concurrent Computing, 21–51. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-55613-3_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Nguyen, Khanh. "Asymmetric Concurrent Signatures." In Information and Communications Security, 181–93. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11602897_16.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Amiruzzaman, Md, Hassan Peyravi, M. Abdullah-Al-Wadud, and Yoojin Chung. "Concurrent Covert Communication Channels." In Advances in Computer Science and Information Technology, 203–13. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-13577-4_18.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Coppo, Mario, and Mariangiola Dezani-Ciancaglini. "Structured Communications with Concurrent Constraints." In Trustworthy Global Computing, 104–25. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-00945-7_7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Susilo, Willy, Yi Mu, and Fangguo Zhang. "Perfect Concurrent Signature Schemes." In Information and Communications Security, 14–26. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-30191-2_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Nielson, Hanne Riis, and Flemming Nielson. "Communication Analysis for Concurrent ML." In Monographs in Computer Science, 185–235. New York, NY: Springer New York, 1997. http://dx.doi.org/10.1007/978-1-4612-2274-3_7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Given-Wilson, Thomas, Daniele Gorla, and Barry Jay. "Concurrent Pattern Calculus." In IFIP Advances in Information and Communication Technology, 244–58. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-15240-5_18.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Wang, Guilin, Feng Bao, and Jianying Zhou. "The Fairness of Perfect Concurrent Signatures." In Information and Communications Security, 435–51. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11935308_31.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Communications concurrentes"

1

Kumsap, Chamnan, Somsarit Sinnung, and Suriyawate Boonthalarath. "Establishing a mesh communication backbone for disaster management: proof of concept." In THE 9TH INTERNATIONAL DEFENCE AND HOMELAND SECURITY SIMULATION WORKSHOP. CAL-TEK srl, 2019. http://dx.doi.org/10.46354/i3m.2019.dhss.002.

Full text
Abstract:
"This article addresses the establishment of a mesh communication backbone to facilitate a near real-time and seamless communications channel for disaster data management at its proof of concept stage. A complete function of the data communications is aimed at the input in near real-time of texts, photos, live HD videos of the incident to originate the disaster data management of a military unit responsible for prevention and solving disaster problems and in need of a communication backbone that links data from a Response Unit to an Incident Command Station. The functions of data flow were tested in lab and at fields. Texts encompassing registered name, latitude, longitude, sent time were sent from concurrent 6 responders. Photos and full HD live videos were successfully sent to a laptop Incident Command Station. However, a disaster database management system was needed to store data sent by the Response Unit. Quantitative statistics were suggested for a more substantial proof of concept and subject to further studies."
APA, Harvard, Vancouver, ISO, and other styles
2

Ahn, Sung-Hoon, Shad Roundy, Paul K. Wright, and Shuh-Yuan Liou. "“Design Consultant”: A Network-Based Concurrent Design Environment." In ASME 1999 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 1999. http://dx.doi.org/10.1115/imece1999-0716.

Full text
Abstract:
Abstract In today’s globally distributed business environment, resolution of the communication problems between team members is a critical issue. A project named the Design Consultant has been launched to improve inter/intra-departmental communications. Leveraging available Internet technology, the Design Consultant enables designers to share design information with other team members including colleague designers, CAE analysts, manufacturing engineers, and marketing engineers. The network accessible DFX modules assist designers to simulate manufacturability and to estimate cost and time for fabrication resulting in faster product development. Building blocks of the Design Consultant were established based on a 3-tier client/server architecture, and feasibility tests were successful. As part of the feasibility tests, the Design Consultant for Part Reuse and the Design Consultant for Rubber Molding were implemented to prove the concept of the network-based Concurrent Engineering.
APA, Harvard, Vancouver, ISO, and other styles
3

Hogg, John, and Rodney Iversen. "Representing concurrent communication systems." In the workshop. New York, New York, USA: ACM Press, 1991. http://dx.doi.org/10.1145/127056.127076.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Lima, David, Eliana Almeida, and Andre Aquino. "Evaluation of parking space detection systems using wireless cameras." In VII Simpósio Brasileiro de Computação Ubíqua e Pervasiva. Sociedade Brasileira de Computação - SBC, 2015. http://dx.doi.org/10.5753/sbcup.2015.10181.

Full text
Abstract:
This work presents a deep analysis of na embedded system to detect free on-street parking slots by using wireless cameras. To allow distributed processing and the communication, intelligent boards were embedded in the cameras. Three different system architectures are considered: sentralized, hybrid and embedded. Each architeture was simulated considering the variation of the communications radius size, the amount of cameras and the amount of concurrent system queries. The results of simulation revealed that the performance of embedded proposal is better than the hybrid one in all scenarios. Additionaly, the embedded proposal was evaluated considering eventual cameras failure. It was observed that these failures influence directly the answer time of system.
APA, Harvard, Vancouver, ISO, and other styles
5

Diaz, Silvia, and Paulo Sérgio Souza. "Structural testing criteria for concurrent programs considering loop executions." In XX Simpósio em Sistemas Computacionais de Alto Desempenho. Sociedade Brasileira de Computação - SBC, 2019. http://dx.doi.org/10.5753/wscad_estendido.2019.8711.

Full text
Abstract:
Parallel programs are imperative for improving performance and problem solving, having an increasing demand on implementing efficient parallel programming techniques. This entails new challenges on software testing to ensure their quality and reliability. Structural testing is a technique that allows the identification of concurrency defects by analyzing the internal structure of the program. However, the non-determinism of concurrent programs has implications in the testing activity, requiring the use of structured methods to reveal defects. Testing criteria support the selection of test cases in a systematic form by statically analysing elements of concurrent programs. We found that there are currently gaps in the definition of testing criteria contemplating scenarios with elements that are dynamically evaluated, such as the execution of communication primitives inside loops. The objective of this project is to define structural testing criteria to guide the selection of test cases, improving the reliability of concurrent programs by revealing non-determinism related errors present in repetition structures. We developed a Concurrent Defects Taxonomy, identifying and classifying concurrency types of defects found in related literature. The analysis of such defects, paths inside loops, number of loop iterations, and nested loops allow us to model the proposed structural testing criteria. We define new sets and associations related to communication and synchronization flows for message-passing programs, establishing a model for testing criteria. We implemented the proposed test model in ValiMPI, a testing tool prototype, considering the new concepts defined in our test model, generating required elements and evaluating coverage after constructing loop paths. For the application evaluation of criteria we perform an empirical study with statistical validation, indicating the results for cost, effectiveness and strength. Our experimental evaluation demonstrated that the proposed testing criteria generates required elements that support the identification of concurrency defects occurring in different loop iterations, when having communicational events with non-deterministic behavior.
APA, Harvard, Vancouver, ISO, and other styles
6

Ferna´ndez, Marco Gero, David W. Rosen, Janet K. Allen, and Farrokh Mistree. "Digital Interfaces: The Key to Effective Decision-Making in Distributed Collaborative Design and Manufacturing." In ASME 2002 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2002. http://dx.doi.org/10.1115/detc2002/cie-34466.

Full text
Abstract:
In product development, the interfaces between distinct phases of a design process are not well defined and largely misunderstood. The same ambiguity holds true for interactions among distributed stakeholders engaged in shared, concurrent design tasks. Such vagueness fosters poor communication, problematic changeovers, and hard-to-manufacture designs. Resulting design processes tend to be iterative and not only increase product development costs and extend time-to-market, but also ultimately impede collaboration. What is needed is the ability to propagate decision-critical, up-to-date information alongside design knowledge for both sequential and concurrent design tasks. This is particularly important for dependent and interdependent decisions that cannot be made in isolation. To address this need, digital interfaces are being developed as key components to successful collaboration in distributed design and manufacture applications. Such digital interfaces will constitute a means of communicating critical information and will address the need for allocating responsibility for decisions. The potential implementation of a digital interface is illustrated in an example focusing on the production of a functional prototype of a disposable camera spool.
APA, Harvard, Vancouver, ISO, and other styles
7

Borras, Jordi, and Gregori Vazquez. "Distributed Feedback-Aided Subspace Concurrent Opportunistic Communications." In 2019 IEEE 20th International Workshop on Signal Processing Advances in Wireless Communications (SPAWC). IEEE, 2019. http://dx.doi.org/10.1109/spawc.2019.8815484.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Benevides, Mario Folhadela, and Isaque Macalam Saab Lima. "Dynamic Epistemic Logic with Assignments, Concurrency and Communication Actions." In Workshop Brasileiro de Lógica. Sociedade Brasileira de Computação - SBC, 2020. http://dx.doi.org/10.5753/wbl.2020.11455.

Full text
Abstract:
This work proposes an extension of Dynamic Epistemic Logic with Communication Actions by adding the notion of postconditions from Dynamic Epistemic Logic with Assigments to deal with boolean assignments to action models. Other concurrent logics, like Concurrent Epistemic Action Logic introduced by Ditmarsch, Hoek and Kooi, do not deal with boolean assignments. We present an axiomatization and show that the proof of soundness, completeness and decidability can be done using a reduction method.
APA, Harvard, Vancouver, ISO, and other styles
9

Baillie, C. F. "Comparing communication in concurrent processor operating systems." In the third conference. New York, New York, USA: ACM Press, 1988. http://dx.doi.org/10.1145/62297.62318.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Colby, Christopher. "Analyzing the communication topology of concurrent programs." In the 1995 ACM SIGPLAN symposium. New York, New York, USA: ACM Press, 1995. http://dx.doi.org/10.1145/215465.215592.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Communications concurrentes"

1

Lee, Y., D. King, and E. Oki. Path Computation Element Communication Protocol (PCEP) Requirements and Protocol Extensions in Support of Global Concurrent Optimization. RFC Editor, July 2009. http://dx.doi.org/10.17487/rfc5557.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Li, Yinhua, Wanting Lan, and Xiaohui Hou. The effectiveness of physical activities on children with autism spectrum disorder: A systematic review and network meta-analysis. INPLASY - International Platform of Registered Systematic Review and Meta-analysis Protocols, April 2022. http://dx.doi.org/10.37766/inplasy2022.4.0034.

Full text
Abstract:
Review question / Objective: The purpose of this meta-analysis was to evaluate the efficacy of different physical activity interventions and to determine which physical activity interventions are most effective for children with autism spectrum disorder. Condition being studied: Autism is a set of heterogeneous neurodevelopmental conditions, characterized by early-onset difficulties in social communication and unusually restricted, repetitive behavior and interests. Autism affects more male than female individuals, and comorbidity is common (>70% have concurrent conditions). Exercise has increasingly emerged as one of the promising compensation methods that can positively affect autistic symptoms. The positive effects of various physical activity interventions have been reported, but it is unclear which interventions are most effective at improving symptoms of autism.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Communications concurrentes' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography