DE eng

Search in the Catalogues and Directories

Page: 1 2 3 4 5...14
Hits 1 – 20 of 277

1
Quality Assurance of Generative Dialog Models in an Evolving Conversational Agent Used for Swedish Language Practice ...
BASE
Show details
2
SPT-Code: Sequence-to-Sequence Pre-Training for Learning Source Code Representations ...
Niu, Changan; Li, Chuanyi; Ng, Vincent. - : arXiv, 2022
BASE
Show details
3
A Formal Model of Checked C ...
Li, Liyi; Liu, Yiyun; Postol, Deena L.. - : arXiv, 2022
BASE
Show details
4
PACSafe: Leveraging ARM Pointer Authentication for Memory Safety in C/C++ ...
BASE
Show details
5
Quickstrom: Property Based Acceptance Testing with LTL Specifications ...
O'Connor, Liam; Wickström, Oskar. - : arXiv, 2022
BASE
Show details
6
MSCCD: Grammar Pluggable Clone Detection Based on ANTLR Parser Generation ...
BASE
Show details
7
Classification of Natural Language Processing Techniques for Requirements Engineering ...
BASE
Show details
8
Conceptual Modeling of Events Based on One-Category Ontology ...
Al-Fedaghi, Sabah. - : arXiv, 2022
BASE
Show details
9
Towards Property-Based Tests in Natural Language ...
Gordon, Colin S.. - : arXiv, 2022
BASE
Show details
10
Accelerating Code Search with Deep Hashing and Code Classification ...
Gu, Wenchao; Wang, Yanlin; Du, Lun. - : arXiv, 2022
BASE
Show details
11
CSRS: Code Search with Relevance Matching and Semantic Matching ...
Cheng, Yi; Kuang, Li. - : arXiv, 2022
BASE
Show details
12
Detecting Privacy Requirements from User Stories with NLP Transfer Learning Models ...
BASE
Show details
13
Privacy-Preserving Prediction of Victim's Mortality and Their Need for Transportation to Health Facilities
In: IEEE Transactions on Industrial Informatics ; https://hal.archives-ouvertes.fr/hal-03456142 ; IEEE Transactions on Industrial Informatics, 2021, 14 (30), pp.1 (2021)
BASE
Show details
14
Exploiting augmented intelligence in the modeling of safety-critical autonomous systems
In: ISSN: 0934-5043 ; EISSN: 1433-299X ; Formal Aspects of Computing ; https://hal.archives-ouvertes.fr/hal-03411215 ; Formal Aspects of Computing, Springer Verlag, 2021, 33 (3), pp.343-384. ⟨10.1007/s00165-021-00543-6⟩ ; https://link.springer.com/article/10.1007%2Fs00165-021-00543-6 (2021)
BASE
Show details
15
Immediate Feedback for Students to Solve Notebook Reproducibility Problems in the Classroom
In: 2021 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) ; https://hal.archives-ouvertes.fr/hal-03378094 ; 2021 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Oct 2021, Saint Louis, Missouri, United States. ⟨10.1109/VL/HCC51201.2021.9576363⟩ (2021)
BASE
Show details
16
Language and semantics of expressions for Grafcet model synthesis in a MDE environment ; Langage et sémantique des expressions pour la synthèse de modèle Grafcet dans un environnement IDM
In: ISSN: 1638-5713 ; Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées ; Conférence de Recherche en Informatique (CRI 2019) ; https://hal.archives-ouvertes.fr/hal-02619121 ; Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2021, Volume 33 - 2020 - Numéro spécial CRI 2019, 33 - 2020, ⟨10.46298/arima.6452⟩ ; René Ndoundam, Eric Badouel, Maurice Tchuenté, Paulin Melatagia (2021)
BASE
Show details
17
SEALS: A framework for building Self-Adaptive Virtual Machines
In: SLE 2021 - 14th ACM SIGPLAN International Conference on Software Language Engineering ; https://hal.inria.fr/hal-03355253 ; SLE 2021 - 14th ACM SIGPLAN International Conference on Software Language Engineering, Oct 2021, Chicago, United States. pp.1-14, ⟨10.1145/3486608.3486912⟩ (2021)
Abstract: International audience ; Over recent years, self-adaptation has become a major concern for software systems that evolve in changing environments. While expert developers may choose a manual implementation when self-adaptation is the primary concern, selfadaptation should be abstracted for non-expert developers or when it is a secondary concern. We present SEALS, a framework for building self-adaptive virtual machines for domainspecific languages. This framework provides first-class entities for the language engineer to promote domain-specific feedback loops in the definition of the DSL operational semantics. In particular, the framework supports the definition of (i) the abstract syntax and the semantics of the language as well as the correctness envelope defining the acceptable semantics for a domain concept, (ii) the feedback loop and associated trade-off reasoning, and (iii) the adaptations and the predictive model of their impact on the trade-off. We use this framework to build three languages with self-adaptive virtual machines and discuss the relevance of the abstractions, effectiveness of correctness envelopes, and compare their code size and performance results to their manually implemented counterparts. We show that the framework provides suitable abstractions for the implementation of self-adaptive operational semantics while introducing little performance overhead compared to a manual implementation.
Keyword: [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
URL: https://hal.inria.fr/hal-03355253
https://doi.org/10.1145/3486608.3486912
https://hal.inria.fr/hal-03355253/file/SEALS-HAL.pdf
https://hal.inria.fr/hal-03355253/document
BASE
Hide details
18
Automating user-feedback driven requirements prioritization
In: ISSN: 0950-5849 ; EISSN: 1873-6025 ; Information and Software Technology ; https://hal.archives-ouvertes.fr/hal-03277970 ; Information and Software Technology, Elsevier, 2021, 138, pp.106635:1-106635:16. ⟨10.1016/j.infsof.2021.106635⟩ (2021)
BASE
Show details
19
Automatic Guide Generation for Stan via NumPyro
In: PROBPROG 2021 - Third International Conference on Probabilistic Programming ; https://hal.archives-ouvertes.fr/hal-03401708 ; PROBPROG 2021 - Third International Conference on Probabilistic Programming, Oct 2021, Virtual, United States (2021)
BASE
Show details
20
3D Serious Game Modeling and Design: Contributions to Language Learning ; Modélisation et Conception de jeu sérieux tridimensionnel : Contributions à l’apprentissage des langues
Tazouti, Yassine. - : HAL CCSD, 2021
In: https://hal.archives-ouvertes.fr/tel-03315793 ; Environnements Informatiques pour l'Apprentissage Humain. Université Ibn Tofail, Kénitra (Maroc), 2021. Français (2021)
BASE
Show details

Page: 1 2 3 4 5...14

Catalogues
0
0
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
277
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern