DE eng

Search in the Catalogues and Directories

Page: 1 2
Hits 1 – 20 of 23

1
An Approach Using MIP Products for the Development of the Coalition Battle Management Language Standard
In: DTIC (2013)
BASE
Show details
2
C2-Simulation Interoperability in NATO
In: DTIC (2013)
BASE
Show details
3
KEYNOTE 2 : Rebuilding the Tower of Babel - Better Communication with Standards
In: DTIC (2013)
BASE
Show details
4
Making Semantic Information Work Effectively for Degraded Environments
In: DTIC (2013)
BASE
Show details
5
Federated Registries: Issues and Approaches
In: DTIC (2009)
BASE
Show details
6
Applying A Formal Language of Command and Control For Interoperability Between Systems
In: DTIC (2008)
BASE
Show details
7
United States Air Force (USAF) Semantic Interoperability Capabilities Based Assessment and Technology Roadmap
In: DTIC (2007)
BASE
Show details
8
Ontology for the Gridded Met Database
In: DTIC (2007)
BASE
Show details
9
Toward a Standard Rule Language for Semantic Integration of the DoD Enterprise
In: DTIC (2006)
BASE
Show details
10
Adding Semantic Support to Existing UDDI Infrastructure
In: DTIC AND NTIS (2005)
BASE
Show details
11
Towards a Formal Ontology for Military Coalitions Operations
In: DTIC (2005)
BASE
Show details
12
Safe and Principled Language Interoperation
In: DTIC AND NTIS (2005)
BASE
Show details
13
Type-Directed Continuation Allocation
In: DTIC AND NTIS (2005)
Abstract: Suppose we translate two different source languages, L(sub1) and L(sub2), into the same intermediate language; can they safely interoperate in the same address space and under the same runtime system? If L(sub1) supports first-class continuations (call/cc) and L(sub2) does not, can L(sub2) programs call arbitrary L(sub1) functions? Would the fact of possibly calling L(sub1) impose restrictions on the implementation strategy of L(sub2)? Can we compile L(sub1) functions that do not invoke call/cc using more efficient techniques borrowed from the implementation? Our view is that the implementation of a common intermediate language ought to support the so-called pay-as-you-go efficiency: first-order monomorphic functions should be compiled as efficiently as in C and assembly languages, even though they may be passed to arbitrary polymorphic functions that support advanced control primitives (e.g. call/cc). In this paper, we present a typed intermediate language with effect and resource annotations, ensuring the safety of inter-language calls while allowing the compiler to choose continuation allocation strategies. ; Sponsored in part by Defense Advanced Research Projects Agency (DARPA) and by National Science Foundation (NSF) under grants CCR-9501624 and CCR-9633390.
Keyword: *ALLOCATIONS; *COMMON INTERMEDIATE LANGUAGE; *CONTINUATION ALLOCATION; *EFFECT INFERENCE; *FUNCTIONS(MATHEMATICS); *INTEROPERABILITY; *PROGRAMMING LANGUAGES; ASSEMBLY LANGUAGES; Computer Programming and Software; Cybernetics; Linguistics; MONOMORPHIC FUNCTIONS; POLYMORPHIC FUNCTIONS; SEMANTICS; STRATEGY
URL: http://www.dtic.mil/docs/citations/ADA436476
http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA436476
BASE
Hide details
14
Information Engineering in Support of Multilateral Joint Operational Interoperability
In: DTIC (2005)
BASE
Show details
15
Integrated DoD/C4ISR Architectures: It's not About the Framework.
In: DTIC (2004)
BASE
Show details
16
Implications of Multilingual Interoperability of Speech Technology for Military Use (Les implications de l'interoperabilite multilingue des technologies vocales pour applications militaires)
In: DTIC AND NTIS (2004)
BASE
Show details
17
Implications of Multilingual Interoperability of Speech Technology for Military Use (Les implications de l'interoperabilite multilingue des technologies vocales pour applications militaires) (CD-ROM)
In: DTIC (2004)
BASE
Show details
18
Information Engineering in Support of Multilateral Joint Operational Interoperability
In: DTIC (2004)
BASE
Show details
19
The Benefit of Ontologies for Interoperability of CCIS. (Easy, Quick and Cheap Solutions are Impossible, if Semantics of CCIS are Affected.)
In: DTIC (2003)
BASE
Show details
20
Semantic Interoperability in AD Hoc Wireless Networks
In: DTIC AND NTIS (2001)
BASE
Show details

Page: 1 2

Catalogues
0
0
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
23
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern