1 |
A Model for Naturalistic Programming with Implementation
|
|
|
|
In: Applied Sciences ; Volume 9 ; Issue 18 (2019)
|
|
BASE
|
|
Show details
|
|
2 |
Distance Education and Community Learning Networks linked by a Library of Culture
|
|
|
|
In: Student Affairs Digital Community Development (2011)
|
|
BASE
|
|
Show details
|
|
3 |
CEMAP II: An Architecture and Specifications to Facilitate the Importing of Real-World Data into the CASOS Software Suite
|
|
|
|
In: DTIC (2008)
|
|
BASE
|
|
Show details
|
|
4 |
Spatial Hearing, Attention and Informational Masking in Speech Identification
|
|
|
|
In: DTIC (2008)
|
|
BASE
|
|
Show details
|
|
5 |
Language agnostic source level debugging for general purpose execution platforms ; Débogage symbolique multi-langages pour les plates-formes d'exécution généralistes
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00122789 ; Autre [cs.OH]. Université Nice Sophia Antipolis, 2006. Français (2006)
|
|
BASE
|
|
Show details
|
|
6 |
A Programming Language for Probabilistic Computation
|
|
|
|
In: DTIC (2005)
|
|
BASE
|
|
Show details
|
|
7 |
Formal Verification in the Polyhedral Model ; Vérification Formelle dans le Modèle Polyédrique
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00011522 ; Réseaux et télécommunications [cs.NI]. Université Rennes 1, 2004. Français (2004)
|
|
BASE
|
|
Show details
|
|
9 |
Representing Java Classes in a Typed Intermediate Language
|
|
|
|
In: DTIC AND NTIS (1999)
|
|
BASE
|
|
Show details
|
|
11 |
The Covering Property of the Object-Oriented Data Model - Design and Implementation Issues
|
|
|
|
In: DTIC AND NTIS (1993)
|
|
BASE
|
|
Show details
|
|
12 |
A Porting Methodology for Parallel Database Systems
|
|
|
|
In: DTIC AND NTIS (1993)
|
|
BASE
|
|
Show details
|
|
13 |
Maygen: A Symbolic Debugger Generation System
|
|
|
|
In: DTIC AND NTIS (1993)
|
|
BASE
|
|
Show details
|
|
14 |
Polymorphic Type Inference and Abstract Data Types
|
|
|
|
In: DTIC AND NTIS (1992)
|
|
BASE
|
|
Show details
|
|
15 |
A Formal Description of the Incremental Translation of Stage 2 VHDL into State Deltas in the State Delta Verification System (SDVS)
|
|
|
|
In: DTIC AND NTIS (1992)
|
|
BASE
|
|
Show details
|
|
16 |
ADA Implementation Issues as Discovered through a Literature Survey of Applications Outside the United States
|
|
|
|
In: DTIC AND NTIS (1992)
|
|
BASE
|
|
Show details
|
|
17 |
Turtle Graphics Implementation Using a Graphical Dataflow Programming Approach
|
|
|
|
In: DTIC AND NTIS (1992)
|
|
BASE
|
|
Show details
|
|
18 |
A Uniform Approach to the Semantics of Concurrency
|
|
|
|
In: DTIC AND NTIS (1991)
|
|
BASE
|
|
Show details
|
|
|
|