Gotowa bibliografia na temat „Programme d'ordinateur”

La croissance continuelle du nombre de publications scientifiques en médecine rend difficile une vision d'ensemble. Les systèmes de recherche de littérature peuvent être utiles dans ces conditions. Avec le manager de référence, on peut non seulement stocker et utiliser des données bibliographiques mais aussi importer des données d'autres banques comme par exemple MEDLINE. Grâce aux programmes de traitement de texte, on peut établir un index de littérature, bien qu'il faille tenir compte des directives des revues différentes. Il existe de nombreux programmes d'ordinateur à cet escient mais seulement un petit nombre est vraiment fonctionnel et permet de gagner du temps. Parmi ceux-ci, on trouve le manager de référence EndNote. La version 5.0 est disponible en Allemagne depuis peu, si bien qu'un utilisateur de longue date peut utiliser cette nouvelle version. Ce travail décrit l'utilisation de la version 5.0 du manager de référence EndNote avec nos expériences personnelles. La nouvelle version est à recommander principalement en raison de ses fonctions et de ses propriétés qui sont améliorées de façon considérable, en particulier la meilleure connexion à Microsoft Word («cite-while-you-write» fonction) et une correction d'orthographe. En résumé, EndNote 5 peut être qualifié d'instrument de travail efficace d'utilisation facile.

The purpose of this study was to investigate the benefits and challenges using laptop computers (hereafter referred to as laptops) inside and outside higher education classrooms. Quantitative and qualitative data were collected from 156 university students (54 males, 102 females) enrolled in either education or communication studies. Benefits of using laptops in class were active note taking, particularly when instructors provided materials ahead of time, searching for academic resources, use of subject-specific software, communicating and sharing information with peers, and engaging with online interactive tools. Challenges of using laptops inside the class included surfing the web for personal reasons, social networking with peers and, to a lesser extent, entertainment in the form of watching video podcasts or playing games. Benefits were reported far more often than challenges inside the classroom. Benefits of using laptops outside of class included collaboration with peers, increased productivity, and conducting research. Challenges of using laptops outside of class included surfing the web for personal reasons, social networking, and entertainment. Benefits and challenges were reported equally often outside the classroom. More research needs to be conducted on the extent to which distractions impede learning and productivity inside and outside the class. Cette étude avait pour but d’examiner les avantages et les défis associés à l'utilisation d’ordinateurs portables à l'intérieur et à l'extérieur des salles de classe d’enseignement supérieur. Des données quantitatives et qualitatives ont été recueillies auprès de 156 étudiants universitaires (54 hommes, 102 femmes) inscrits dans des programmes d’éducation ou de communication. Les avantages de l'utilisation d’ordinateurs portables en classe incluaient la prise active de notes, en particulier lorsque les instructeurs fournissaient la documentation à l'avance, la recherche de ressources universitaires, l'utilisation de logiciels spécifiques, la communication et le partage d’informations entre pairs, ainsi que l’utilisation active d’outils interactifs en ligne. Les défis incluaient le fait que les étudiants naviguent sur le web pour des raisons personnelles, utilisent les réseaux sociaux avec des pairs et, dans une moindre mesure, se divertissent en regardant des podcasts ou en jouant à des jeux vidéo. Les avantages ont été beaucoup plus souvent signalés que les défis. Les bénéfices de l'utilisation d’ordinateurs portables en dehors des cours incluaient la collaboration entre les pairs, une productivité accrue et la recherche en ligne. Les défis de l'utilisation d’ordinateurs portables en dehors des cours comprennent le fait que les étudiants naviguent sur le web pour des raisons personnelles, utilisent les réseaux sociaux et se divertissent. Dans le cas de l’utilisation des portables en dehors des salles de classe, les avantages et défis ont été signalés de manière égale. Des recherches supplémentaires doivent être menées pour déterminer dans quelle mesure les distractions entravent l'apprentissage et la productivité à l'intérieur et à l'extérieur de la salle de classe.

Cette thèse examine le statut ontologique des programmes informatiques. De précédentes études ont placé les programmes informatiques dans presque toutes les catégories ontologiques disponibles et ont affirmé qu'ils avaient une « double nature ». Ma principale contribution au débat consiste à proposer un cadre alternatif mettant l'accent sur l'implémentation informatique et ses relata. Je soutiens qu'il n'est pas nécessaire d'approuver le point de vue de la double nature en suggérant que le terme « programme » est un polysème - un terme générique abritant diverses entités couvrant la dichotomie abstrait-concret. L'avantage de ce point de vue est qu'il évite de poser des entités métaphysiquement douteuses. Au lieu de cela, nous pouvons comprendre l'ontologie des programmes comme un réseau de relations entre abstracta et concreta que nous rassemblons par la mise en oeuvre lorsque nous utilisons des machines informatiques comme outils épistémiques. Pour mettre en évidence et explorer les revendications de ce point de vue alternatif, je me plonge d'abord dans la littérature philosophique sur l'implémentation et je taxinomise ses différentes notions. En temps voulu, je propose une théorie unifiée de l'implémentation agentielle, l'UTAI. Plus précisément, l'UTAI préconise le développement d'une série d'études de cas clarificatrices connexes qui suivent trois relations de dépendance différentes entre nous et les constituants ontologiquement différents sous le terme de programme. En conséquence, je discute des implications de la première relation de dépendance entre les programmeurs et les programmes en tant qu'objets abstraits. En adoptant le problème de la création - une question bien connue de la philosophie de l'art - je présente une nouvelle perspective sur les options métaphysiques qui nous permettent de considérer les programmes comme des entités abstraites. Ensuite, je me concentre sur la seconde relation de dépendance entre les agents humains et l'informatique physique. En conséquence, je fournis un nouvel argument pour comprendre l'implémentation informatique comme une relation à trois places et je développe une notion appropriée appelée Implémentation-as (basée sur le compte DEKI de la représentation scientifique). Enfin, j'aborde la troisième relation de dépendance entre les programmeurs et les systèmes matériels utilisés pour l'exécution des programmes. En combinant les idées de l'interventionnisme, des artefacts techniques et de la littérature néo-mécaniste, j'introduis la notion de « programmabilité physique »
This thesis addresses the ontological status of computer programs. Previous studies have placed computer programs in almost every ontological category available and claimed that they have a ‘dual nature.' My primary contribution to the debate is offering an alternative framework emphasizing computational implementation and its relata. I argue that we do not need to endorse the dual nature view by suggesting that ‘program' is a polyseme - an umbrella term hosting various entities spanning the abstract-concrete dichotomy. The advantage of this view is the avoidance of positing metaphysically dubious entities. Instead, we can understand the ontology of programs as a network of relations between abstracta and concreta that we bundle together through implementation when using computing machines as epistemic tools. To flash out and explore the claims of this alternative view, I first delve into the philosophical literature on implementation and taxonomize its different notions. In due course, I offer a unified theory of agential implementation, short UTAI. Specifically, UTAI advocates developing a series of related clarificatory case studies that track three different dependency relations between us and the ontologically different constituents under the term program. Accordingly, I discuss the implications of the first dependency relation between programmers and programs as abstract objects. By adopting the Problem of Creation - a well-known issue from the philosophy of art - I present a fresh perspective on the metaphysical options that allow us to view programs as abstract entities. Next, I focus on the second dependency relation between human agents and physical computation. As a result, I provide a new argument for understanding computational implementation as a three-place relation and develop a suitable notion called Implementation-as (based on the DEKI account of scientific representation). Lastly, I address the third dependency relation between programmers and the material systems used for program execution. By combining the insights of interventionism, technical artifacts, and neo-mechanistic literature, I introduce the notion of ‘physical programmability.'

Avec l'avènement de l'informatique, l'accès à la connaissance et au savoir a changé de nature et l'ignorance de ce domaine pourrait de nos jours être assimilé à de l'analphabétisme. De là l'importance de l'étude de l'arsenal juridique choisi par les pays arabes pour gérer ce domaine. En effet les lois relatives à la protection des programmes informatiques reflètent la politique suivie par rapport à ce domaine. De la position de ces pays en tant que "consommateur" ou producteur de programmes informatiques dépendra leur choix en matière juridique mais aussi du rapport de force sur le plan international. Il est vrai que les particularités de l'Égypte et des pays arabes en tant que pays en développement ayant raté la révolution industrielle ne leur laisse pas une grande marge de manoeuvre dans leurs choix surtout avec l'internationalisation de la propriété intellectuelle et leur introduction dans le nouveau système international du commerce multilatéral.

Cette thèse présente un ensemble de techniques qui permettent l'optimisation des performances des systèmes réseaux modernes. Ces techniques reposent sur l'analyse et la transformation des programmes impliqués dans la mise en oeuvre des protocoles réseaux. La première de ces techniques fait appel à la spécialisation de programmes pour optimiser des piles de protocoles réseaux. La deuxième, que nous avons nommée spécialisation distante, permet à des systèmes embarqués limités en ressources de bénéficier de la pécialisation de programmes en déportant à travers le réseaux les opérations de spécialistion à une machine distante moins limitée. La troisième propose un nouvel allocateur de mémoire qui optimise l'utilisation des chaches matériels faite par un serveur réseau. Enfin, la quatrième utilise l'analyse de programmes statiques pour intégrer l'allocateur proposé dans un serveur réseau existant. On appelle ces techniques optimisations compilateur parce qu'elles opèrent sur le flot des données et du contrôle dans des programmes en les transformant pour qu'ils fonctionnent plus efficacement.

Le travail réalisé dans le cadre de cette thèse porte sur la transformation automatique de programmes synchrones en vue de leur implémentation asynchrone sur les architectures hétérogènes distribuées. Dans un contexte applicatif nous nous sommes plus particulièrement intéressés aux systèmes de traitements temps-réel de l'image. La démarche que nous avons suivie se base sur une phase préliminaire de conception et validation des systèmes temps-réel sous l'hypothèse de synchronisme. En pratique, nous avons utilisé un outil existant : le langage signal. Nous avons développé un ensemble de processus de transformation permettant d'automatiser l'implémentation de ces systèmes sous la forme de processus séquentiels communicants. Les caractéristiques de ce travail sont de garantir a priori la sûreté des programmes en transformant des systèmes prouves, de répartir intégralement les échanges de données de manière à ne pas recourir à des mécanismes centralises, de conserver à l'exécution un modèle dicté par la disponibilité des données. Les systèmes ainsi transformés sont constitués d'un ensemble fini de fonctions de calcul dotées d'interfaces de communications ; elles constituent les tâches du système. Ces tâches ne communiquent entre-elles que par l'intermédiaire de leurs entrées et sorties. L'émission et la réception de données sont conditionnées par des commandes gardées implémentées dans le corps des interfaces

Dans cette thèse, nous nous intéressons plus particulièrement à la vérification formelle de programmes parallèles en utilisant des techniques déductives basées sur la preuve de théorèmes. En particulier, nous nous spécifions et vérifions mécaniquement les programmes décrits en UNITY à l'aide de l'assistant de preuves COQ. Nous décrivons tout d'abord la logique sous jacente à l'assistant de preuves COQ, le Calcul des Constructions Inductives. Puis nous introduisons la théorie UNITY en s'attardant plus particulièrement sur les problèmes de sa logique résultant d'une ambiguïté de quantification au niveau des triplets de Hoare. Nous proposons alors une nouvelle logique, extension de la précédente, résolvant ses différents problèmes : une notion de contexte ou d'environnement à un programme apparaît et une nouvelle définition de l'ensemble des états atteignables est donnée. Une fois, la complétude et la correction de cette nouvelle logique démontrées, nous présentons l'outil Coq-UNITY, résultat de l'implémentation de cette nouvelle logique dans l'assistant COQ. Nous illustrons l'outil Coq-UNITY par différents exemples. Les quatre premiers sont la division euclidienne, les lecteurs-rédacteurs, le parking et le contrôleur d'ascenseur. Même si ce sont tous des cas d'école, leur difficulté est croissante. Chacun d'entre eux met, en effet, en évidence un problème particulier soit au niveau des preuves, soit au niveau spécification. Le dernier exemple concerne un protocole de télécommunications, le protocole ABT / DT. Sur cet exemple, nous montrons l'intérêt de la notion de contexte tant au niveau spécification qu'au niveau vérification
This thesis is an approach to the formaI specification and verification of distributed systems and in particular to the computer assisted verification. In this work, we use the COQ prover to verify concurrent programs and the chosen specification mechanism is the UNITY logic. First, we describe the Calculus of Inductive Constructions, which is the logic used in the Coq prover. Then we introduce the UNITY theory, but we linger over the problems of its logic, due to the ambiguity of quantifications in the Hoare triples. We propose also an extension of the logic, which solves these problems: a program's context is introduced and a new definition for reachable states is given. After the correctness and the completness of this new logic, we present the Coq-UNITY tool, which results of the implementation of this extension in the Coq system. To illustrate the feasibility of our approach, we present several examples of different complexities: the euclidian division, the reader-writer, the parking and the lift control. These four examples are the first case studies. Each of them highlights a particular problem either in proofs or in specifications. A last example describes a telecommunication protocol, namely the ABT/DT protocol. This example shows that the context is an important notion. Once the context is well-defined, it becomes very helpful in the verification

L'objectif de cette thèse était de développer des outils pour le calcul de la fiabilité des réseaux. Dans le problème considéré on doit calculer la fiabilité d'un réseau non orienté, i. E. La probabilité qu'un sous-ensemble donné de sommets du réseau soient liés quand les arêtes peuvent être défaillantes avec des probabilités connues. Ce problème est NP-difficile. Nous avons développé un logiciel qui utilise la factorisation avec réductions simples et polygone-à-chaîne et la décomposition en composantes biconnexes. Ce logiciel a donné des temps de calcul bien meilleurs que ceux présentés dans la littérature. En plus, une technique d'approximation permet de calculer rapidement des bornes de fiabilité pour des réseaux de grande taille. Nous avons ensuite mis au point une méthode pour prendre en compte la défaillance des sommets du réseau à moindre coût, en adaptant la factorisation et les réductions. Deux autres problèmes ont également été étudiés : celui de la fiabilité de deux-terminaux d'un réseau orienté, et celui du flot stochastique pour lequel les arêtes ont des capacités. Des méthodes pour traiter ces problèmes ont été élaborées et les logiciels correspondants écrits.

This thesis takes part in the formal verification of parallel programs. The aim of formal verification is to ensure that a program will run as it should, without making mistakes, blocking, or terminating abnormally. This is even more important in the parallel computation field, where the cost of calculations can be very high. The BSP model (Bulk Synchronous Parallelism) is a model of parallelism well suited for the use of formal methods. It guarantees a structure in the parallel program, by organising it into super-steps, each of them consisting of a phase of computations, then communications between the processes. In this thesis, we chose to extend an existing tool to adapt it for the proof of BSP programs. We based ourselves on Why, a VCG (verification condition generator) that has the advantage of being able to interface with several automatic provers and proof assistants to discharge the proof obligations. There are multiple contributions in this thesis. In a first part, we present a comparison of the existing BSP libraries, in order to show the most used BSP primitives, which are the most interesting to formalise. We then present BSP-Why, our tool for the proof of BSP programs. This tools uses a generation of a sequential program to simulate the parallel program in input, thus allowing the use of Why and the numerous associated provers to prove the proof obligations. We then show how BSP-Why can be used to prove the correctness of some basic BSP algorithms, and also on a more complex example, the generation of the state-space (model-checking) of systems, especially for security protocols. Finally, in order to ensure the greatest confidence in the BSP-Why tool, we give a formalisation of the language semantics, in the Coq proof assistant. We also prove the correctness of the transformation used to go from a parallel program to a sequential program

Dans la littérature sur les bases de données, il a été proposé d'utiliser des contraintes d'intégrité actives afin de restaurer l'intégrité de la base. Ces contraintes d'intégrité actives consistent en une contrainte classique augmentée d'un ensemble d'actions de mise à jour préférées qui peuvent être déclenchées quand la contrainte est violée. Dans la première partie de cette thèse, nous passons en revue les principales stratégies de réparation qui ont été proposées dans la littérature et proposons une formalisation par des programmes de la Logique Dynamique. L'outil principal que nous employons dans notre recherche est la logique DL-PA, une variante de PDL récemment introduite. Nous explorons ensuite une nouvelle façon dynamique de réparer les bases de données et comparons sa complexité calculatoire et ses propriétés générales aux approches classiques. Dans la seconde partie de la thèse nous abandonnons le cadre propositionnel et adaptons les idées susmentionnées à des langages d'un niveau supérieur. Plus précisément, nous nous intéressons aux Logiques de Description, et étudions des extensions des axiomes d'une TBox par des actions de mise à jour donnant les manières préférées par lesquelles une ABox doit être réparée dans le cas d'une inconsistance avec les axiomes de la TBox. L'extension des axiomes d'une TBox avec de telles actions de mise à jour constitue une nouvelle TBox, qui est active. Nous nous intéressons à la manière de réparer une ABox en rapport avec une telle TBox active, du point de vue syntaxique ainsi que du point de vue sémantique. Étant donnée une ABox initiale, l'approche syntaxique nous permet de construire un nouvel ensemble d'ABox dans lequel nous identifions les réparations les mieux adaptées. D'autre part, pour l'approche sémantique, nous faisons de nouveau appel au cadre de la logique dynamique et considérons les actions de mise à jour, les axiomes d'inclusion actives et les réparations comme des programmes. Étant donné une TBox active aT , ce cadre nous permet de vérifier (1) si un ensemble d'actions de mise à jour est capable de réparer une ABox en accord avec les axiomes actifs d'aT en effectuant une interprétation locale des actions de mise à jour et (2) si une ABox A' est la réparation d'une ABox donnée A sous les axiomes actifs d'aT moyennant un nombre borné de calculs, en utilisant une interprétation globale des actions de mise à jour. Après une discussion des avantages de chaque approche nous concluons en proposant une intégration des approches syntaxiques et sémantiques dans une approche cohésive
In the database literature it has been proposed to resort to active integrity constraints in order to restore database integrity. Such active integrity constraints consist of a classical constraint together with a set of preferred update actions that can be triggered when the constraint is violated. In the first part of this thesis, we review the main repairing routes that have been proposed in the literature and capture them by means of Dynamic Logic programs. The main tool we employ for our investigations is the recently introduced logic DL-PA, which constitutes a variant of PDL. We then go on to explore a new, dynamic kind of database repairing whose computational complexity and general properties are compared to the previous established approaches. In the second part of the thesis we leave the propositional setting and pursue to adapt the aforementioned ideas to higher level languages. More specifically, we venture into Description Logics and investigate extensions of TBox axioms by update actions that denote the preferred ways an ABox should be repaired in case of inconsistency with the axioms of the TBox. The extension of the TBox axioms with these update actions constitute new, active TBoxes. We tackle the problem of repairing an ABox with respect to such an active TBox both from a syntactic as well as a semantic perspective. Given an initial ABox, the syntactic approach allows us to construct a set of new ABoxes out of which we then identify the most suitable repairs. On the other hand, for the semantic approach we once again resort to a dynamic logic framework and view update actions, active inclusion axioms and repairs as programs. Given an active TBox aT , the framework allows to check (1) whether a set of update actions is able to repair an ABox according to the active axioms of aT by interpreting the update actions locally and (2) whether an ABox A' is the repair of a given ABox A under the active axioms of aT using a bounded number of computations by interpreting the update actions globally. After discussing the strong points of each direction, we conclude by combining the syntactic and semantic investigations into a cohesive approach

Les opérateurs de réseau sont confrontés à de grands défis en termes de coût et de complexité pour intégrer les nouvelles technologies de communication (e.g., 4G, 5G, fibre optique) et pour répondre aux demandes croissantes des nouveaux services réseau adaptés aux nouveaux cas d’utilisation. La "softwarization" des opérations réseau à l'aide des paradigmes SDN (Software Defined Networking) et NFV (Network Function Virtualization) est en mesure de simplifier le contrôle et la gestion des réseaux et de fournir des services réseau de manière efficace. Les réseaux programmables SDN permettent de dissocier le plan de contrôle du plan de données et de centraliser le plan de contrôle pour simplifier la gestion du réseau et obtenir une vision globale. Cependant, ceci amène des problèmes de passage à l'échelle difficiles à résoudre. Par ailleurs, en dissociant la partie matérielle de la partie logicielle des routeurs, NFV permet d'implanter de manière flexible et à moindre coût toutes sortes de fonctions réseau. La contrepartie est une dégradation des performances due à l'implantation en logiciel des fonctions réseau qui sont déportées des routeurs. Pour aborder les problèmes de passage à l'échelle et de performance des paradigmes SDN/NFV, nous proposons dans la première partie de la thèse, une architecture modulaire de gestion et de contrôle du réseau, dans laquelle le contrôleur SDN délègue une partie de ses responsabilités à des fonctions réseau spécifiques qui sont instanciées à des emplacements stratégiques de l'infrastructure réseau. Nous avons choisi un exemple d'application de streaming vidéo en direct (comme Facebook Live ou Periscope) utilisant un service de multicast IP car il illustre bien les problèmes de passage à l'échelle des réseaux programmables. Notre solution exploite les avantages du paradigme NFV pour résoudre le problème de scalabilité du plan de contrôle centralisé SDN en délégant le traitement du trafic de contrôle propre au service multicast à des fonctions réseau spécifiques (appelées MNF) implantées en logiciel et exécutées dans un environnement NFV localisé à la périphérie du réseau. Notre approche fournit une gestion flexible des groupes multicast qui passe à l'échelle. De plus, elle permet de bénéficier de la vision globale du contrôle centralisé apportée par SDN pour déployer de nouvelles politiques d'ingénierie du trafic comme L2BM (Lazy Load Balance Multicast) dans les réseaux de fournisseurs d’accès à Internet (FAI) programmables. L'évaluation de cette approche est délicate à mettre en œuvre car la communauté de recherche ne dispose pas facilement d'infrastructure SDN à grande échelle réaliste. Pour évaluer notre solution, nous avons élaboré l'outil DiG qui permet d'exploiter l'énorme quantité de ressources disponibles dans une grille de calcul, pour émuler facilement de tels environnements. DiG prend en compte les contraintes physiques (mémoire, CPU, capacité des liens) pour fournir un environnement d'évaluation réaliste et paramétrable avec des conditions contrôlées. La solution que nous proposons délègue le contrôle et la gestion du réseau concernant le service de multicast aux fonctions spécifiques MNF exécutées dans un environnement NFV. Idéalement, pour davantage d'efficacité, toutes ces fonctions spécifiques devraient être implantées directement au sein des routeurs avec du hardware programmable mais cela nécessite que ces nouveaux routeurs puissent exécuter de manière indépendante plusieurs fonctions réseau à la fois. Le langage de programmation P4 est une technologie prometteuse pour programmer le traitement des paquets de données dans les routeurs programmables (hardware et logiciels)
Network operators are facing great challenges in terms of cost and complexity in order to incorporate new communication technologies (e.g., 4G, 5G, fiber) and to keep up with increasing demands of new network services to address emerging use cases. Softwarizing the network operations using SoftwareDefined Networking (SDN) and Network Function Virtualization (NFV) paradigms can simplify control and management of networks and provide network services in a cost effective way. SDN decouples control and data traffic processing in the network and centralizes the control traffic processing to simplify the network management, but may face scalability issues due to the same reasons. NFV decouples hardware and software of network appliances for cost effective operations of network services, but faces performance degradation issues due to data traffic processing in software. In order to address scalability and performance issues in SDN/NFV, we propose in the first part of the thesis, a modular network control and management architecture, in which the SDN controller delegates part of its responsibilities to specific network functions instantiated in network devices at strategic locations in the infrastructure. We have chosen to focus on a modern application using an IP multicast service for live video streaming applications (e.g., Facebook Live or Periscope) that illustrates well the SDN scalability problems. Our solution exploits benefits of the NFV paradigm to address the scalability issue of centralized SDN control plane by offloading processing of multicast service specific control traffic to Multicast Network Functions (MNFs) implemented in software and executed in NFV environment at the edge of the network. Our approach provides smart, flexible and scalable group management and leverages centralized control of SDN for Lazy Load Balance Multicast (L2BM) traffic engineering policy in software defined ISP networks. Evaluation of this approach is tricky, as real world SDN testbeds are costly and not easily available for the research community. So, we designed a tool that leverages the huge amount of resources available in the grid, to easily emulate such scenarios. Our tool, called DiG, takes into account the physical resources (memory, CPU, link capacity) constraints to provide a realistic evaluation environment with controlled conditions. Our NFV-based approach requires multiple application specific functions (e.g., MNFs) to control and manage the network devices and process the related data traffic in an independent way. Ideally, these specific functions should be implemented directly on hardware programmable routers. In this case, new routers must be able to execute multiple independently developed programs. Packet-level programming language P4, one of the promising SDN-enabling technologies, allows applications to program their data traffic processing on P4 compatible network devices. In the second part of the thesis, we propose a novel approach to deploy and execute multiple independently developed and compiled applications programs on the same network device. This solution, called P4Bricks, allows multiple applications to control and manage their data traffic, independently. P4Bricks merges programmable blocks (parsers/deparsers and packet processing pipelines) of P4 programs according to processing semantics (parallel or sequential) provided at the time of deployment