• Refine your search:
  • 
    Keyword:
    
    • Computer Programming and Software (1.166)
    • Linguistics (675)
    • FOS Computer and information sciences (355)
    • SYNTAX (251)
    • Software / Tools (236)
    • SEMANTICS (208)
    • QA76 Computer software (202)
    • COMPUTER PROGRAMS (200)
    • Computer Hardware (200)
    • COMPUTER PROGRAMMING (185)
    •   more
  • 
    Creator / Publisher
  • 
    Year:
    
    • 2022 (43)
    • 2021 (160)
    • 2020 (136)
    • 2019 (151)
    • 2018 (143)
    • 2017 (112)
    • 2016 (131)
    • 2015 (164)
    • 2014 (113)
    • 2013 (122)
    •   more
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Page: 1 2 3 4 5...204 Hits 1 – 20 of 4.077 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 ... Borg, Markus; Bengtsson, Johan; Österling, Harald. - : arXiv, 2022 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 ... Ehrmann, Maud; Bunout, Estelle; Clematide, Simon. - : Zenodo, 2022 BASE Show details 8 Grenzüberschreitendes Textmining von Historischen Zeitungen - Das impresso-Projekt zwischen Text- und Bildverarbeitung, Design und Geschichtswissenschaft ... Ehrmann, Maud; Bunout, Estelle; Clematide, Simon. - : Zenodo, 2022 BASE Show details 9 A Formal Model of Checked C ... Li, Liyi; Liu, Yiyun; Postol, Deena L.; Lampropoulos, Leonidas; Van Horn, David; Hicks, Michael. - : arXiv, 2022 Abstract: We present a formal model of Checked C, a dialect of C that aims to enforce spatial memory safety. Our model pays particular attention to the semantics of dynamically sized, potentially null-terminated arrays. We formalize this model in Coq, and prove that any spatial memory safety errors can be blamed on portions of the program labeled unchecked; this is a Checked C feature that supports incremental porting and backward compatibility. While our model's operational semantics uses annotated ("fat") pointers to enforce spatial safety, we show that such annotations can be safely erased: Using PLT Redex we formalize an executable version of our model and a compilation procedure from it to an untyped C-like language, and use randomized testing to validate that generated code faithfully simulates the original. Finally, we develop a custom random generator for well-typed and almost-well-typed terms in our Redex model, and use it to search for inconsistencies between our model and the Clang Checked C implementation. ... : This is an extended version of a paper that appears at the 2022 Computer Security Foundations Symposium ... Keyword: D.3.1; FOS Computer and information sciences; Programming Languages cs.PL; Software Engineering cs.SE URL: https://dx.doi.org/10.48550/arxiv.2201.13394 https://arxiv.org/abs/2201.13394 BASE Hide details 10 PACSafe: Leveraging ARM Pointer Authentication for Memory Safety in C/C++ ... Hohentanner, Konrad; Zieris, Philipp; Horsch, Julian. - : arXiv, 2022 BASE Show 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 ... Zhu, Wenqing; Yoshida, Norihiro; Kamiya, Toshihiro. - : arXiv, 2022 BASE Show details 15 Classification of Natural Language Processing Techniques for Requirements Engineering ... Zhao, Liping; Alhoshan, Waad; Ferrari, Alessio. - : arXiv, 2022 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

Mobile view All Catalogues UB Frankfurt Linguistik 28 IDS Mannheim 32 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 4 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 1 Bibliographies BLLDB 18 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 1 MPI for Psycholinguistics 18 Linked Open Data catalogues Annohub 0 Online resources Link directory 237 Journal directory 0 Database directory 11 Dictionary directory 0 Open access documents BASE 3.755 Linguistik-Repository 3 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0