• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year:
    
    • 2014 (28)
  • 
    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 Hits 1 – 20 of 28 1 SawjaCard: A Static Analysis Tool for Certifying Java Card Applications Besson, Frédéric; Jensen, Thomas; Vittet, Pierre In: 21st International Static Analysis Symposium (SAS 2014) ; https://hal.inria.fr/hal-01093327 ; 21st International Static Analysis Symposium (SAS 2014), 2014, Munich, Germany. pp.51 - 67, ⟨10.1007/978-3-319-10936-7_4⟩ (2014) BASE Show details 2 A Precise and Abstract Memory Model for C Using Symbolic Values Besson, Frédéric; Blazy, Sandrine; Wilke, Pierre In: 12th Asian Symposium on Programming Languages and Systems (APLAS 2014) ; https://hal.inria.fr/hal-01093312 ; 12th Asian Symposium on Programming Languages and Systems (APLAS 2014), 2014, Singapore, Singapore. pp.449 - 468, ⟨10.1007/978-3-319-12736-1_24⟩ (2014) BASE Show details 3 Planning Human-Computer Improvisation Nika, Jérôme; Echeveste, José-Manuel; Chemillier, Marc... In: International Computer Music Conference ; https://hal.archives-ouvertes.fr/hal-01053834 ; International Computer Music Conference, Sep 2014, Athens, Greece ; http://icmc14-smc14.net (2014) BASE Show details 4 The Package Blueprint: visually analyzing and quantifying package dependencies Abdeen, Hani; Ducasse, Stéphane; Pollet, Damien... In: ISSN: 0167-6423 ; Science of Computer Programming ; https://hal.inria.fr/hal-00957695 ; Science of Computer Programming, Elsevier, 2014, 89 (Part C), pp. 298-319. ⟨10.1016/j.scico.2014.02.016⟩ (2014) BASE Show details 5 ЯЗЫК СПЕЦИФИКАЦИИ ВИРТУАЛЬНОГО ОБОРУДОВАНИЯ ЭМУЛЯТОРОВ ЭВМ БУРЛАКОВ АЛЕКСЕЙ СЕРГЕЕВИЧ. - : Федеральное государственное бюджетное образовательное учреждение высшего образования «Иркутский национальный исследовательский технический университет», 2014 BASE Show details 6 COSMO : a Bayesian model of sensori-motor interactions in speech perception ; COSMO : un modèle bayésien des interactions sensori-motrices dans la perception de la parole Laurent, Raphael. - : HAL CCSD, 2014 In: https://tel.archives-ouvertes.fr/tel-01113286 ; Autre [cs.OH]. Université de Grenoble, 2014. Français. ⟨NNT : 2014GRENM063⟩ (2014) BASE Show details 7 Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL) Besnard, Loïc; Borde, Etienne; Dissaux, Pierre... In: https://hal.inria.fr/hal-00970244 ; [Technical Report] RT-0446, INRIA. 2014, pp.27 (2014) BASE Show details 8 Polymorphic Functions with Set-Theoretic Types. Part 1: Syntax, Semantics, and Evaluation Castagna, Giuseppe; Nguyen, Kim; Xu, Zhiwu... In: POPL '14, 41th ACM Symposium on Principles of Programming Languages ; https://hal.archives-ouvertes.fr/hal-00907166 ; POPL '14, 41th ACM Symposium on Principles of Programming Languages, Jan 2014, San Diego, United States. pp.5-17, ⟨10.1145/2535838.2535840⟩ (2014) BASE Show details 9 Code Your Own Game: The Case of Children with Hearing Impairments Giannakos, Michail,; Jaccheri, Letizia In: Lecture Notes in Computer Science ; 13th International Conference Entertainment Computing (ICEC) ; https://hal.inria.fr/hal-01408511 ; 13th International Conference Entertainment Computing (ICEC), Oct 2014, Sydney, Australia. pp.108-116, ⟨10.1007/978-3-662-45212-7_14⟩ (2014) BASE Show details 10 Dislog: a Logic-Based Language for Processing Discourse Saint-Dizier, Patrick In: Logic Programming: Theory, Practices and Challenges - Proceedings of the 8th International Conference on Language Resources and Evaluation (LREC 2012) ; https://hal.archives-ouvertes.fr/hal-03224122 ; Columbus, Nadya. Logic Programming: Theory, Practices and Challenges - Proceedings of the 8th International Conference on Language Resources and Evaluation (LREC 2012), L12-1 (paper 17), European Language Resources Association (ELRA), pp.2770-2777, 2014 ; https://www.aclweb.org/anthology/L12-1017/ (2014) BASE Show details 11 Automating Variability Model Inference for Component-Based Language Implementations Vacchi, Edoardo; Cazzola, Walter; Combemale, Benoit... In: SPLC'14 - 18th International Software Product Line Conference ; https://hal.inria.fr/hal-01023864 ; SPLC'14 - 18th International Software Product Line Conference, Sep 2014, Florence, Italy (2014) BASE Show details 12 τC: C with process network extensions for embedded manycores Goubier, T.; Couroussé, Damien; Azaiez, S. In: ISSN: 1877-0509 ; EISSN: 1877-0509 ; Procedia Computer Science ; https://hal-cea.archives-ouvertes.fr/cea-01831559 ; Procedia Computer Science, Elsevier, 2014, 29, pp.1100-1112. ⟨10.1016/j.procs.2014.05.099⟩ (2014) BASE Show details 13 Instrumentation of annotated c programs for test generation Petiot, G.; Botella, B.; Julliand, J.... In: 2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation ; https://hal-cea.archives-ouvertes.fr/cea-01836306 ; 2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation, Sep 2014, Victoria, Canada. pp.105-114, ⟨10.1109/SCAM.2014.19⟩ (2014) BASE Show details 14 Mezzo: a typed language for safe effectful concurrent programs ; Mezzo: un langage typé pour programmer de manière concurrent et sure en présence d'effets Protzenko, Jonathan. - : HAL CCSD, 2014 In: https://hal.inria.fr/tel-01086106 ; Programming Languages [cs.PL]. Université Paris Diderot - Paris 7, 2014. English (2014) BASE Show details 15 Mining Relevant Sequence Patterns with CP-based Framework Kemmar, Amina; Ugarte Rojas, Willy; Loudni, Samir... In: IEEE Int. Conf. on Tools with Artificial Intelligence (ICTAI 2014) ; https://hal.archives-ouvertes.fr/hal-01145905 ; IEEE Int. Conf. on Tools with Artificial Intelligence (ICTAI 2014), 2014, Limassol,, Cyprus. pp.552-559 (2014) BASE Show details 16 (Co)recursion in Logic Programming: Lazy vs Eager ... Heras, Jónathan; Komendantskaya, Ekaterina; Schmidt, Martin. - : arXiv, 2014 BASE Show details 17 Description and Optimization of Abstract Machines in a Dialect of Prolog ... Morales, Jose F.; Carro, Manuel; Hermenegildo, Manuel. - : arXiv, 2014 BASE Show details 18 BACIBeans: A NetBeans Plugin for Concurrent Programs Broadwell, Ashley In: Seaver College Research And Scholarly Achievement Symposium (2014) BASE Show details 19 A Language Support for Exhaustive Fault-Injection in Message-Passing System Models ... Suzuki, Masaya; Watanabe, Takuo. - : arXiv, 2014 BASE Show details 20 Martta: A C++ Language Workbench ... Wood, Gavin. - : arXiv, 2014 BASE Show details Page: 1 2

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