| 1 |
On the Transferability of Pre-trained Language Models for Low-Resource Programming Languages ...
|
|
Chen, Fuxiang. - : Federated Research Data Repository / dépôt fédéré de données de recherche, 2022
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Mobile System for Adaptive Qualified Measurement ; Système de Mesure Mobile Adaptif Qualifié
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-01889927 ; Modélisation et simulation. Université de Haute Alsace - Mulhouse, 2018. Français. ⟨NNT : 2018MULH8953⟩ (2018)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
Intégration d'instructions data-parallèles dans le langage PSC et compilation pour processeur SIMD (INTEL SSE)
|
|
|
|
BASE
|
|
Show details
|
|
|
| 4 |
Methodology for the derivation of product behavior in a Software Product Line ; Méthodologie pour la dérivation comportementale de produits dans une ligne de produit logicielle
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00926141 ; Génie logiciel [cs.SE]. Université Rennes 1; université du Luxembourg, 2013. Français (2013)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
Intégration d'instructions data-parallèles dans le langage PSC et compilation pour processeur SIMD (INTEL SSE)
|
|
|
|
BASE
|
|
Show details
|
|
|
| 6 |
End User Programming for smart spaces ; Programmation d'espace intelligent par l'utilisateur final
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00744415 ; Interface homme-machine [cs.HC]. Université de Grenoble, 2012. Français. ⟨NNT : 2012GRENM034⟩ (2012)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
Approche langage au développement du support protocolaire d'applications réseaux
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00359948 ; Réseaux et télécommunications [cs.NI]. Université Sciences et Technologies - Bordeaux I, 2008. Français (2008)
|
|
Abstract:
A network application communicates with other applications according to a set of rules known as a protocol. This communication is managed by the part of the application known as the protocol- handling layer. This protocol-handling layer enables the manipulation of protocol messages. This layer is a critical component of a network application since it represents the interface between the application and the outside world. It must thus satisfy two constraints : it must be efficient to be able to treat a large number of messages and it must be robust to face various attacks targetting the application itself or the underlying platform. Despite these constraints, the development process of this protocol-handling layer still remains rudimentary and requires a high level of expertise. It consists of translating the protocol specification written in a high level formalism such as ABNF towards low level code such as C. The gap between these abstraction levels can entail many errors. This thesis proposes a new language-based approach to the development of protocol-handling layers, to improve their robustness without compromising their performance. Our approach is based on the use of a domain-specific language, Zebu, to specify the protocol-handling layer of network applications that use textual application protocols à la HTTP. The Zebu syntax is very close to that of ABNF, facilitating the adoption of Zebu by domain experts. By annotating the original ABNF specification of a protocol, the Zebu user can dedicate the protocol-handling layer to the needs of a given application. The Zebu compiler first checks the annotated specification for inconsistencies and then generates a protocol-handling layer according to the provided annotations. This protocol- handling layer is made of a set of data structures that represent a message, a parser that fills in these data structures and various stub functions to access these data structures or drive the parsing of a message. By default, the generated message parser only accepts messages that strictly conform to the protocol. This validation criteria can be relaxed for more flexibility and better performance. ; Une application réseau communique avec d'autres applications par le biais d'un ensemble consen- suel de règles régissant la communication, appelé protocole. Cette communication est gérée par la partie de l'application connue comme la couche de support protocolaire qui gère la manipulation de messages protocolaires. Elle s'avère être un composant critique d'une application réseau puisqu'elle représente l'interface entre celle-ci et le monde extérieur. Elle est donc soumise à deux contraintes fortes : une contrainte d'efficacité pour pouvoir traiter un grand nombre de messages et une contrainte de robustesse pour faire face à des attaques visant à déstabiliser l'application ou la plate-forme maté- rielle sous-jacente. Malgré ces contraintes, le processus de développement de cette couche demeure rudimentaire et requiert un haut niveau d'expertise. Il consiste à traduire manuellement une spécifi- cation du protocole écrite dans un formalisme haut niveau comme ABNF vers du code bas niveau tel que du C. Le fossé entre ces niveaux d'abstraction favorise l'apparition d'erreurs. Cette thèse propose une approche langage au développement de la couche de support protocolaire d'applications réseaux, pour améliorer leur robustesse sans compromettre leur performance. Notre ap- proche est fondée sur l'utilisation d'un langage dédié, Zebu, pour décrire la spécification des couches de support protocolaire d'applications réseaux qui utilisent des protocoles applicatifs textuels à la HTTP. La syntaxe de Zebu est très proche de celles du formalisme ABNF, favorisant ainsi l'adoption de Zebu par des experts du domaine. En annotant la spécification ABNF d'un protocole, l'utilisateur de Zebu peut adapter une couche de support protocolaire à une application donnée. Dans un premier temps, le compilateur Zebu vérifie la spécification annotée pour déceler d'éventuelles incohérences. Ensuite, une couche de support protocolaire définie par les annotations fournies est générée automati- quement. Cette couche consiste en un ensemble de structures de données pour représenter un message, un analyseur syntaxique qui remplit ces structures de données et des fonctions utilitaires pour l'ac- cès à ces données ou piloter l'analyse syntaxique des messages. Par défaut, l'analyseur syntaxique de messages généré n'accepte que les messages respectant scrupuleusement la spécification. Ce critère de validation peut être modifié pour plus de flexibilité ou de meilleures performances.
|
|
Keyword:
[INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]; [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]; applications réseaux; Langages dédiés; protocoles textuels génie logiciel
|
|
URL: https://tel.archives-ouvertes.fr/tel-00359948/document
https://tel.archives-ouvertes.fr/tel-00359948/file/thesis.pdf
https://tel.archives-ouvertes.fr/tel-00359948
|
|
BASE
|
|
Hide details
|
|
|
| 8 |
Conceiving and Implementing a language-oriented approach for the design of automated learning scenarios
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00156874 ; Génie logiciel [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2007. Français (2007)
|
|
BASE
|
|
Show details
|
|
|
| 9 |
Faciliter l'écriture de spécifications : une étude de cas
|
|
|
|
In: https://hal.inria.fr/inria-00100702 ; [Interne] A01-R-317 || jacquot01a, 2001, 17 p (2001)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
Construction et vérification de spécifications d'Interfaces Homme-Machine
|
|
|
|
In: https://hal.inria.fr/inria-00098535 ; [Stage] 98-R-370 || chalaux98a, 1998, 87 p (1998)
|
|
BASE
|
|
Show details
|
|
|
| 11 |
Human-computer interfaces specification and prototyping ; Spécification d'interfaces homme-machine et prototypage
|
|
|
|
In: https://hal.univ-lorraine.fr/tel-01751670 ; Autre [cs.OH]. Institut National Polytechnique de Lorraine, 1995. Français. ⟨NNT : 1995INPL027N⟩ (1995)
|
|
BASE
|
|
Show details
|
|
|
| 12 |
Spécification d'interfaces homme-machine et prototypage ; Human-computer interfaces specification and prototyping
|
|
|
|
BASE
|
|
Show details
|
|
|
| 13 |
Software engineering for the lingware engineering ; Génie logiciel pour le génie linguiciel
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00005104 ; Interface homme-machine [cs.HC]. Université Joseph-Fourier - Grenoble I, 1994. Français (1994)
|
|
BASE
|
|
Show details
|
|
|
|
|
