• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium:
    
    • Print (324)
    • Online (57)
  • 
    Type
  • 
    BLLDB-Access:
    • free (381)
    • subject to license (52)

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...20 Hits 1 – 20 of 381 1 The Morphology of Prometheus, Literary Geography and the Geoethical Project Charles Travis In: Geosciences ; Volume 11 ; Issue 8 (2021) BASE Show details 2 Precision Spectroscopy of Positronium Using a Pulsed Slow Positron Beam Heiss, Michael Wolfgang. - : ETH Zurich, 2021 BASE Show details 3 Semelfactives as atomic predicates Trebisacce, Romina In: DELTA: Documentação e Estudos em Linguística Teórica e Aplicada; v. 36, n. 1 (2020) ; 1678-460X ; 0102-4450 (2021) BASE Show details 4 Semelfactives as atomic predicates Romina Trebisacce In: DELTA: Documentação de Estudos em Lingüística Teórica e Aplicada, Vol 36, Iss 1 (2020) (2020) BASE Show details 5 The Geographical Heterotopia in Douglas Coupland’s Generation X DUAN, Yingjie In: Studies in Literature and Language; Vol 19, No 2 (2019): Studies in Literature and Language; 47-52 ; 1923-1563 ; 1923-1555 (2019) BASE Show details 6 Radical Social Ecology as Deep Pragmatism: A Call to the Abolition of Systemic Dissonance and the Minimization of Entropic Chaos Brender, Arielle In: Student Theses 2015-Present (2018) BASE Show details 7 History's Perilous Pleasures: Experiencing Antiquity in the Postwar Hollywood Epic West III, Thomas Jefferson In: Dissertations - ALL (2018) BASE Show details 8 Problemy lingwistycznego opisu kategorii prototypowych (na przykładzie kategorii pojęciowej 'robak') : = Difficulties involved in a linguistic description of prototype categories (the case of conceptual category robak) Pędzich, Ewelina In: Acta neophilologica. - Olsztyn : Wydawnictwo UWM 19 (2017) 1, 123-134 BLLDB Show details 9 ОЦЕНОЧНАЯ КАТЕГОРИЗАЦИЯ ЛИЦ ПО ВНЕШНИМ И ВНУТРЕННИМ ПАРАМЕТРАМ ПОСРЕДСТВОМ АНГЛИЙСКИХ ФРАЗЕОЛОГИЗМОВ-АНТРОПОНОМИНАНТОВ ТИТОВА ОЛЬГА АНАТОЛЬЕВНА. - : Общество с ограниченной ответственностью Издательство Грамота, 2016 BASE Show details 10 A Workflow For Creating, Analysing, And Storing Multi-Layer Corpora: Pepper, Atomic, Annis And Laudatio ... Druskat, Stephan; Krause, Thomas; Odebrecht, Carolin. - : Zenodo, 2016 BASE Show details 11 Atomic Mass Nouns: Unity, Plurality and Semantic Flexibility Cai, Haitao. - : Studies in the Linguistic Sciences, University of Illinois at Urbana-Champaign, 2016 BASE Show details 12 Комбинаторные особенности внутренней синтагматики фразеологических единиц в сравнении (на материале испанского и французского языков) НЕМЦЕВА КСЕНИЯ ИГОРЕВНА. - : Общество с ограниченной ответственностью Издательство Грамота, 2015 BASE Show details 13 ЛОГИКО-ПОНЯТИЙНАЯ СХЕМА - БАЗИС ПРИ СОСТАВЛЕНИИ ПЕРЕВОДНОГО ДВУЯЗЫЧНОГО ТЕРМИНОЛОГИЧЕСКОГО СЛОВАРЯ ПО АТОМНОЙ ЭНЕРГЕТИКЕ ФРОЛОВ ИЛЬЯ ОЛЕГОВИЧ. - : Общество с ограниченной ответственностью Издательство Грамота, 2015 BASE Show details 14 Can "God" and "Allah" promote intercultural communication? Habib, Sandy In: Rask. - Odense : Univ. Press (2015) 42, 77-103 BLLDB Show details 15 Atomic: An Annotation Platform To Meet The Demands Of Current And Future Research ... Druskat, Stephan; Gast, Volker. - : Zenodo, 2015 BASE Show details 16 Saltnpepper, Annis & Atomic: Eine Infrastruktur Für Mehrebenenkorpora ... Zipser, Florian; Röhrig, André; Lüdeling, Anke. - : Zenodo, 2015 BASE Show details 17 АВТОМАТИЗИРОВАННЫЕ МЕТОДЫ ПОСТРОЕНИЯ АТОМАРНОЙ ДИАГРАММЫ МОДЕЛИ ПО ТЕКСТУ ЕСТЕСТВЕННОГО ЯЗЫКА МАХАСОЕВА ОЛЬГА ГРИГОРЬЕВНА; ПАЛЬЧУНОВ ДМИТРИЙ ЕВГЕНЬЕВИЧ. - : Федеральное государственное автономное образовательное учреждение высшего образования «Новосибирский национальный исследовательский государственный университет», 2014 BASE Show details 18 "Jesus!" vs. "Christ!" in Australian English: semantics, secondary interjections and corpus analysis Goddard, Cliff In: Yearbook of corpus linguistics and pragmatics .... - Cham : Springer 2 (2014), 55-77 BLLDB Show details 19 Nested atomic sections with thread escape : semantics and compilation ; Sections atomiques emboîtées avec échappement de processus légers : sémantiques et compilation Pinsard, Thomas. - : HAL CCSD, 2014 In: https://tel.archives-ouvertes.fr/tel-01362118 ; Algorithme et structure de données [cs.DS]. Université d'Orléans, 2014. Français. ⟨NNT : 2014ORLE2075⟩ (2014) Abstract: Transactions are becoming a popular mechanism for parallel and concurrent programming. In most implementations the nesting of transactions is not supported which hinders modularity. Rather than transactions, which are an implementation choice, we consider directly the notion of atomic section. For the sake of modularity with we consider a simple imperative language with fork/join parallelism and lexically scoped nested atomic sections from which threads can escape. In this context, our first contribution is the precise definition of atomicity, well-synchronisation and the proof that the latter implies the strong form of the former. This is done on execution traces without being specific to a language syntax and operational semantics. This first part of our work could be considered as a specification for the design and implementation of such a parallel language. A formalisation of our results in the Coq proof assistant is also available. Our second contribution is a formal definition of the Atomic Fork Join (AFJ) language and its operational semantics. We show that it indeed satisfies the conditions previously defined. The third contribution of our work is a compilation procedure of AFJ programs to programs another language with threads and locks but without atomic sections, named Lock Unlock Fork Join (LUFJ). We study the correctness of the compilation from AFJ to LUFJ. ; La mémoire transactionnelle est un mécanisme de plus en plus populaire pour la programmation parallèle et concurrente. Dans la plupart des implantations, l’emboîtement de transactions n’est pas possible ce qui pénalise la modularité. Plutôt que les transactions, qui sont un choix possible d’implantation, nous considérons directement la notion de section atomique. Dans un objectif d’améliorer la modularité et l’expressivité, nous considérons un langage impératif simple étendu avec des instructions de parallélisme avec lancement et attente de processus légers et une instruction de section atomique à portée syntaxique, depuis laquelle des processus légers peuvent s’échapper. Dans ce contexte notre première contribution est la définition précise de l’atomicité et de la bonne synchronisation. Nous prouvons que pour des traces bien formées, la dernière implique la forme forte de la première. Ceci est fait sur des traces d’exécution abstraites dans le sens où nous ne définissons par précisément la syntaxe et la sémantique opérationnelle d’un langage de programmation. Cette première partie de notre travail peut être considérée comme une spécification pour un tel langage. Nous avons utilisé l’assistant de preuve Coq pour modéliser et prouver nos résultats. Notre deuxième contribution est la définition formelle du langage Atomic Fork Join (AFJ). Nous montrons que les traces de sa sémantique opérationnelle vérifient effectivement les conditions de bonne formation définies précédemment. La troisième contribution est la compilation de programmes AFJ en programmes Lock Unlock Fork Join (LUFJ) un langage avec processus léger et verrous mais sans sections atomiques. Nous étudions la correction de la compilation de AFJ vers LUFJ. Keyword: [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]; Assistant de preuve; Atomic section; Atomicité; Atomicity; Bonne synchronisation; Compilation; Formal semantics; Lock; Operational semantics; Parallelism; Parallélisme; Préservation de la sémantique; Processus léger; Program trace; Proof assistant; Section atomique; Semantic preservation; Sémantique formelle; Sémantique opérationnelle; Thread; Trace de programme; Verrou; Well-synchronisation URL: https://tel.archives-ouvertes.fr/tel-01362118/document https://tel.archives-ouvertes.fr/tel-01362118 https://tel.archives-ouvertes.fr/tel-01362118/file/thomas-pinsard_3709.pdf BASE Hide details 20 Atomic: An Open-Source Software Platform For Multi-Level Corpus Annotation ... Druskat, Stephan; Bierkandt, Lennart; Gast, Volker. - : Zenodo, 2014 BASE Show details Page: 1 2 3 4 5...20

Mobile view All Catalogues UB Frankfurt Linguistik 44 IDS Mannheim 0 OLC Linguistik 61 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 1 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 331 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 0 MPI for Psycholinguistics 1 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 45 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0