| 1 |
Eine agentenbasierte Architektur für Programmierung mit gesprochener Sprache
|
|
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Concepts et sémantique des langages de programmation 2 : constructions modulaires et objet avec OCaml, Python, C++, Ada et Java
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03030511 ; ISTE Editions, 2021, 9781784057022 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
Concepts et sémantique des langages de programmation 1 : constructions fonctionnelles et impératives avec OCaml, Python, C et C++
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03030484 ; ISTE Editions, 2021, 9781784057015 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
Weak supervision for learning discourse structure in multi-party dialogues ; Supervision distante pour l'apprentissage de structures discursives dans les conversations multi-locuteurs
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03622653 ; Artificial Intelligence [cs.AI]. Université Paul Sabatier - Toulouse III, 2021. English. ⟨NNT : 2021TOU30138⟩ (2021)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
Bootstrap-Based Language Development: Turning an existing VM into a polyglot VM ; Développement de langages basé l’amorçage
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03511998 ; Computer Science [cs]. Université de Lille; IMT Lille Douai, 2021. English (2021)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
Identifying and solving issues with acquiring skills in computer programming for non-English speakers
|
|
|
|
In: Nnass, IA, (2020). Identifying and solving issues with acquiring skills in computer programming for non-English speakers. Doctoral Thesis. Central Queensland University, http://dx.doi.org/10.25946/5f039502e1dec (2020)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
Static Analysis for BSPlib Programs ; Analyse statique des programmes BSPlib
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-02920363 ; Distributed, Parallel, and Cluster Computing [cs.DC]. Université d'Orléans, 2019. English. ⟨NNT : 2019ORLE2005⟩ (2019)
|
|
BASE
|
|
Show details
|
|
|
| 9 |
Computing with relations, functions, and bindings ; Calculer avec des relations, des fonctions et des lieurs
|
|
|
|
In: https://hal.archives-ouvertes.fr/tel-02414237 ; Logic in Computer Science [cs.LO]. Institut Polytechnique de Paris, 2019. English. ⟨NNT : 2019IPPAX005⟩ (2019)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
Designing Language-Agnostic Code Transformation Engines ; Construction de moteurs de transformation de code automatique agnostiques du langage
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03356307 ; Programming Languages [cs.PL]. Université de Lille, 2019. English (2019)
|
|
BASE
|
|
Show details
|
|
|
| 11 |
Zielsystemunabhängige Quelltextsynthese aus natürlicher Sprache
|
|
|
|
BASE
|
|
Show details
|
|
|
| 12 |
Método e linguagem para modelagem gráfica de requisitos de software e sistemas ; Method and language for graphical modeling of requirements for software and systems
|
|
Novaes, Paulo José Dantas. - : Universidade Tecnológica Federal do Paraná, 2019. : Curitiba, 2019. : Brasil, 2019. : Programa de Pós-Graduação em Engenharia Elétrica e Informática Industrial, 2019. : UTFPR, 2019
|
|
BASE
|
|
Show details
|
|
|
| 13 |
A combined language and polyhedral approach to heterogeneous parallelism ; Une approche combinée langage-polyédrique pour la programmation parallèle hétérogène
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-01988073 ; Distributed, Parallel, and Cluster Computing [cs.DC]. Université Paris sciences et lettres, 2018. English. ⟨NNT : 2018PSLEE062⟩ (2018)
|
|
Abstract:
Nowadays, optimizing compilers are increasingly challenged by the diversity of programming languages and heterogeneity of architectures. The polyhedral model is a powerful mathematical framework for programs to exploit automatic parallelization and locality optimization, playing an important role in the field of optimizing compilers. A long standing limitation of the model has been its restriction to static control affine programs, resulting in an emergent demand for the support of non-affine extensions. This is particularly acute in the context of heterogeneous architectures where a variety of computation kernels need to be analyzed and transformed to match the constraints of hardware accelerators and to manage data transfers across memory spaces. We explore multiple non-affine extensions of the polyhedral model, in the context of a welldefined intermediate language combining affine and syntactic elements. On the one hand, we explain how transformations and code generation for loops with non-affine, data-dependent and dynamic loop bounds are integrated into a polyhedral framework, extending the applicable domain of polyhedral compilation in the realm of non-affine applications. On the other hand, we describe the integration of overlapped tiling for stencil computations into a general polyhedral framework, automating non-affine transformations in polyhedral compilation. We evaluate our techniques on both CPU and GPU architectures, validating the effectiveness of the optimizations by conducting an in-depth performance comparison with state-of-the-art frameworks and manually-written libraries. ; De nos jours, l'optimisation des compilateurs est de plus en plus mise à l'épreuve par la diversité des langages de programmation et l'hétérogénéité des architectures. Le modèle polyédrique est un puissant cadre mathématique permettant aux programmes d’exploiter la parallélisation automatique et l’optimisation de la localité, jouant un rôle important dans le domaine de l’optimisation des compilateurs. Une limite de longue date du modèle réside dans sa restriction aux programmes affines à contrôle statique, ce qui a entraîné une demande émergente de prise en charge d'extensions non affines. Cela est particulièrement aigu dans le contexte d'architectures hétérogènes où une variété de noyaux de calcul doivent être analysés et transformés pour répondre aux contraintes des accélérateurs matériels et pour gérer les transferts de données à travers des espaces mémoire. Nous explorons plusieurs extensions non affines du modèle polyhédral, dans le contexte d'un langage intermédiaire bien défini combinant des éléments affines et syntaxiques. D'un côté, nous expliquons comment les transformations et la génération de code pour des boucles avec des limites de boucle dynamiques non dépendantes des données et dynamiques sont intégrées dans un cadre polyédrique, élargissant ainsi le domaine applicable de la compilation polyédrique dans le domaine des applications non affines. D'autre part, nous décrivons l'intégration du pavage en recouvrement pour les calculs de pochoir dans un cadre polyhédral général, en automatisant les transformations non affines dans la compilation polyhédrique. Nous évaluons nos techniques sur des architectures de CPU et de GPU, en validant l'efficacité des optimisations en effectuant une comparaison approfondie des performances avec des frameworks et des librairies écrites à la pointe de la technologie.
|
|
Keyword:
[INFO.INFO-DC]Computer Science [cs]/Distributed; and Cluster Computing [cs.DC]; Automatic parallelization; Compilation polyédrique; Parallel; Parallel programming; Parallélisation automatique; Polyhedral compilation; Programmation parallèle
|
|
URL: https://tel.archives-ouvertes.fr/tel-01988073v2/file/Zhao-2018-These.pdf
https://tel.archives-ouvertes.fr/tel-01988073
https://tel.archives-ouvertes.fr/tel-01988073v2/document
|
|
BASE
|
|
Hide details
|
|
|
| 14 |
Programação como forma de vida : uma crítica ao representacionalismo na teoria da computação ; Computer programming as form of life : a critique of representationalism in theory of computation
|
|
|
|
BASE
|
|
Show details
|
|
|
| 16 |
Design and Implementation of an Optionally-Typed Functional Programming Language
|
|
|
|
In: Li, Patrick Shaobai. (2017). Design and Implementation of an Optionally-Typed Functional Programming Language. UC Berkeley: Electrical Engineering. Retrieved from: http://www.escholarship.org/uc/item/99k5w2m0 (2017)
|
|
BASE
|
|
Show details
|
|
|
| 17 |
Mobile user authentication system (MUAS) for e-commerce applications.
|
|
|
|
BASE
|
|
Show details
|
|
|
| 19 |
Redundancy in Linear Systems: Combinatorics, Algorithms and Analysis
|
|
|
|
BASE
|
|
Show details
|
|
|
| 20 |
On the Construction of Dynamic and Adaptive Operating Systems
|
|
|
|
BASE
|
|
Show details
|
|
|
|
|
