• Refine your search:
  • 
    Keyword:
    
    • MEMORY DEVICES (71)
    • Computer Hardware (42)
    • Computer Programming and Software (41)
    • Linguistics (40)
    • COMPUTER PROGRAMMING (17)
    • *MEMORY DEVICES (14)
    • DATA PROCESSING (12)
    • Psychology (12)
    • SEMANTICS (12)
    • PROGRAMMING LANGUAGES (11)
    •   more
  • 
    Creator / Publisher
  • 
    Year
  • 
    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 Hits 1 – 20 of 93 1 Natural user interfaces and smart devices for the assessment of spatial memory using auditory stimuli Loachamín Valencia, Mauricio Renán. - : Universitat Politècnica de València, 2019 BASE Show details 2 Structural Complexity in Linguistic Systems Research Topic 3: Mathematical Sciences Crutchfield, James P In: DTIC (2015) BASE Show details 3 Document Image Parsing and Understanding using Neuromorphic Architecture Qiu, Qinru In: DTIC (2015) BASE Show details 4 Music and word recall: The strength of familiar melodies as mnemonic devices Sims, Whitney. - : The Ohio State University, 2008 BASE Show details 5 IBM MASTOR SYSTEM: Multilingual Automatic Speech-to-speech Translator Gao, Yuqing; Gu, Liang; Zhou, Bowen... In: DTIC (2006) BASE Show details 6 Designing clinical interventions for children with specific memory disorders. Rankin, PM; Hood, J In: Pediatr Rehabil , 8 (4) 283 - 297. (2005) (2005) BASE Show details 7 Building Certified Libraries for PCC: Dynamic Storage Allocation Yu, Dachuan; Hamid, Nadeem A.; Shao, Zhong In: DTIC AND NTIS (2003) Abstract: Proof-Carrying Code (PCC) allows a code producer to provide to a host a program along with its formal safety proof. The proof attests a certain safety policy enforced by the code, and can be mechanically checked by the host. While this language-based approach to code certification is very general in principle, existing PCC systems have only focused on programs whose safety proofs can be automatically generated. As a result, many low-level system libraries (e.g., memory management) have not yet been handled. In this paper, we explore a complementary approach in which general properties and program correctness are semi-automatically certified. In particular, we introduce a low-level language CAP for building certified programs and present a certified library for dynamic storage allocation. ; Sponsored in part by Defense Advanced Research Projects Agency (DARPA) and by National Science Foundation (NSF) under grants CCR-0081590 and CCR-0208618. The original document contains color images. Keyword: *ALLOCATIONS; *ASSEMBLY LANGUAGES; *DYNAMIC STORAGE; *LIBRARIES; *PCC(PROOF-CARRYING CODE); *STORAGE; CAP(CERTIFIED ASSEMBLY PROGRAMMING); CERTIFIED PROGRAMS; CODE CERTIFICATION; CODING; COMPUTER LOGIC; Computer Programming and Software; Cybernetics; HOST COMPUTERS; INFERENCE RULES; Linguistics; LOW LEVEL; MEMORY DEVICES; PROGRAMMING LANGUAGES; SAFETY URL: http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA436475 http://www.dtic.mil/docs/citations/ADA436475 BASE Hide details 8 Estimating Grammar Parameters using Bounded Memory Oates, Tom; Heeringa, Brent In: DTIC (2002) BASE Show details 9 A Type-Preserving Compiler Infrastructure League, Christopher A. In: DTIC AND NTIS (2002) BASE Show details 10 Towards a Unified Approach to Memory- and Statistical-Based Machine Translation Marcu, Daniel In: DTIC (2001) BASE Show details 11 Insights into Working Memory from The Perspective of The EPIC Architecture for Modeling Skilled Perceptual-Motor and Cognitive Human Performance. Kieras, David E.; Meyer, David E.; Mueller, Shane... In: DTIC AND NTIS (1998) BASE Show details 12 Efficient Algorithms for Speech Recognition. Ravishankar, Mosur K. In: DTIC AND NTIS (1996) BASE Show details 13 System, Performance, and Applicability Assessment of a High-Performance Computer System. Ghose, Kanad In: DTIC AND NTIS (1995) BASE Show details 14 Automatic Tools for Developing Fine-Grained Signal Processing Programs on Multicomputers. O'Hallaron, David R.; Kung, H. T. In: DTIC AND NTIS (1995) BASE Show details 15 Reading: Interactions with Memory. McKoon, Gail In: DTIC AND NTIS (1991) BASE Show details 16 Triton Reference Manual, Version 0.7.3 Heimbigner, Dennis In: DTIC (1991) BASE Show details 17 Scientific Programming Languages for Distributed Memory Multiprocessors: Paradigms and Research Issues Rosing, Matthew; Schnabel, Robert B.; Weaver, Robert P. In: DTIC (1991) BASE Show details 18 Neuro-Triggered Training Gevins, Alan S.; Cutillo, Brian A. In: DTIC AND NTIS (1991) BASE Show details 19 Analysis of the Organization of Lexical Memory Miller, George A. In: DTIC AND NTIS (1991) BASE Show details 20 Development of a Hypermedia Foreign Language Vocabulary Learning Environment Swartz, Merryanna L. In: DTIC AND NTIS (1990) BASE Show details Page: 1 2 3 4 5

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 93 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0