DE eng

Search in the Catalogues and Directories

Page: 1 2 3 4 5...204
Hits 1 – 20 of 4.078

1
Participatory Design in Digital Language Documentation: A Web Platform Approach
Hall, Patrick J. - : eScholarship, University of California, 2022
BASE
Show details
2
Quality Assurance of Generative Dialog Models in an Evolving Conversational Agent Used for Swedish Language Practice ...
BASE
Show details
3
SPT-Code: Sequence-to-Sequence Pre-Training for Learning Source Code Representations ...
Niu, Changan; Li, Chuanyi; Ng, Vincent. - : arXiv, 2022
BASE
Show details
4
Software interactivo como herramienta de aprendizaje para niños con discapacidad auditiva en la U.E. "Especial Maturín", estado Monagas ...
Oliveira, Juan J.; Pérez, César. - : Zenodo, 2022
BASE
Show details
5
Software interactivo como herramienta de aprendizaje para niños con discapacidad auditiva en la U.E. "Especial Maturín", estado Monagas ...
Oliveira, Juan J.; Pérez, César. - : Zenodo, 2022
BASE
Show details
6
Eine agentenbasierte Architektur für Programmierung mit gesprochener Sprache ...
Weigelt, Sebastian. - : KIT Scientific Publishing, 2022
BASE
Show details
7
Grenzüberschreitendes Textmining von Historischen Zeitungen - Das impresso-Projekt zwischen Text- und Bildverarbeitung, Design und Geschichtswissenschaft ...
BASE
Show details
8
Grenzüberschreitendes Textmining von Historischen Zeitungen - Das impresso-Projekt zwischen Text- und Bildverarbeitung, Design und Geschichtswissenschaft ...
BASE
Show details
9
A Formal Model of Checked C ...
Li, Liyi; Liu, Yiyun; Postol, Deena L.. - : arXiv, 2022
BASE
Show details
10
PACSafe: Leveraging ARM Pointer Authentication for Memory Safety in C/C++ ...
Abstract: Memory safety bugs remain in the top ranks of security vulnerabilities, even after decades of research on their detection and prevention. Various mitigations have been proposed for C/C++, ranging from language dialects to instrumentation. Among these, compiler-based instrumentation is particularly promising, not requiring manual code modifications and being able to achieve precise memory safety. Unfortunately, existing compiler-based solutions compromise in many areas, including performance but also usability and memory safety guarantees. New developments in hardware can help improve performance and security of compiler-based memory safety. ARM Pointer Authentication, added in the ARMv8.3 architecture, is intended to enable hardware-assisted Control Flow Integrity. But since its operations are relatively generic, it also enables other, more comprehensive hardware-supported runtime integrity approaches. As such, we propose PACSafe, a memory safety approach based on ARM Pointer Authentication. PACSafe uses ...
Keyword: Cryptography and Security cs.CR; FOS Computer and information sciences; Programming Languages cs.PL; Software Engineering cs.SE
URL: https://dx.doi.org/10.48550/arxiv.2202.08669
https://arxiv.org/abs/2202.08669
BASE
Hide details
11
Quickstrom: Property Based Acceptance Testing with LTL Specifications ...
O'Connor, Liam; Wickström, Oskar. - : arXiv, 2022
BASE
Show details
12
POLYCRUISE: A Cross-Language Dynamic Information Flow Analysis ...
Li, Wen. - : figshare, 2022
BASE
Show details
13
POLYCRUISE: A Cross-Language Dynamic Information Flow Analysis ...
Li, Wen. - : figshare, 2022
BASE
Show details
14
MSCCD: Grammar Pluggable Clone Detection Based on ANTLR Parser Generation ...
BASE
Show details
15
Classification of Natural Language Processing Techniques for Requirements Engineering ...
BASE
Show details
16
Conceptual Modeling of Events Based on One-Category Ontology ...
Al-Fedaghi, Sabah. - : arXiv, 2022
BASE
Show details
17
Towards Property-Based Tests in Natural Language ...
Gordon, Colin S.. - : arXiv, 2022
BASE
Show details
18
Accelerating Code Search with Deep Hashing and Code Classification ...
Gu, Wenchao; Wang, Yanlin; Du, Lun. - : arXiv, 2022
BASE
Show details
19
Local Sequence Alignment Experiment (3) ...
Gagniuc, Paul A.. - : figshare, 2022
BASE
Show details
20
Local Sequence Alignment Experiment (3) ...
Gagniuc, Paul A.. - : figshare, 2022
BASE
Show details

Page: 1 2 3 4 5...204

Catalogues
28
32
0
0
4
0
1
Bibliographies
18
0
0
0
0
0
0
1
18
Linked Open Data catalogues
0
Online resources
238
0
11
0
Open access documents
3.755
3
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern