ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
Filter
  • Computer Programming and Software  (1.145)
  • 2000-2004  (1.145)
  • 1
    facet.materialart.
    Unbekannt
    Meshing, Visualization, and Computational Environments (2004)
    In:  Other Sources
    Details
    Publikationsdatum: 2019-08-28
    Beschreibung: There was probably no higher profile application of meshing, visualization, and computational software this past year than that performed in support of the space shuttle's Return to Flight activities. After heavy use of simulation during the accident investigation, these same tools are now helping address safety and operational issues. In turn, these applications are raising the bar for computational tools in terms of simulation fidelity and turnaround time.
    Schlagwort(e): Computer Programming and Software
    Materialart: Aerospace America; 42; 12; 75
    Format: text
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    NASA TECHNICAL REPORTS
  • 2
    facet.materialart.
    Unbekannt
    The Lunar L1 Gateway Concept: Supporting Future Major Space Science Facilities (2004)
    In:  CASI
    Details
    Publikationsdatum: 2019-08-28
    Beschreibung: We report here on a series of ongoing studies to evaluate alternative architectures for future space science facilities and how robots, humans, and autonomous systems might be optimally used to support them. This presentation outlines one scenario -- a "Gateway" at the Earth-Moon L1 point for supporting multiple options beyond Low Earth Orbit -- plus our process for evaluating human/robotic activities to construct telescopes.
    Schlagwort(e): Computer Programming and Software
    Materialart: New Concepts for Far-Infrared and Submillimeter Space Astronomy; 259-263; NASA/CP-2003-212233
    Format: application/pdf
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    NASA TECHNICAL REPORTS
  • 3
    facet.materialart.
    Unbekannt
    Software Past, Present, and Future: Views from Government, Industry and Academia (2000)
    In:  CASI
    Details
    Publikationsdatum: 2019-08-28
    Beschreibung: Views from the NASA CIO NASA Software Engineering Workshop on software development from the past, present, and future are presented. The topics include: 1) Software Past; 2) Software Present; 3) NASA's Largest Software Challenges; 4) 8330 Software Projects in Industry Standish Groups 1994 Report; 5) Software Future; 6) Capability Maturity Model (CMM): Software Engineering Institute (SEI) levels; 7) System Engineering Quality Also Part of the Problem; 8) University Environment Trends Will Increase the Problem in Software Engineering; and 9) NASA Software Engineering Goals.
    Schlagwort(e): Computer Programming and Software
    Materialart: Proceedings of the Twenty-Fourth Annual Software Engineering Workshop; NASA/CP-2000-209890
    Format: text
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    NASA TECHNICAL REPORTS
  • 4
    facet.materialart.
    Unbekannt
    Hard Real-Time: C++ Versus RTSJ (2004)
    In:  Other Sources
    Details
    Publikationsdatum: 2019-08-26
    Beschreibung: In the domain of hard real-time systems, which language is better: C++ or the Real-Time Specification for Java (RTSJ)? Although ordinary Java provides a more productive programming environment than C++ due to its automatic memory management, that benefit does not apply to RTSJ when using NoHeapRealtimeThread and non-heap memory areas. As a result, RTSJ programmers must manage non-heap memory explicitly. While that's not a deterrent for veteran real-time programmers-where explicit memory management is common-the lack of certain language features in RTSJ (and Java) makes that manual memory management harder to accomplish safely than in C++. This paper illustrates the problem for practitioners in the context of moving data and managing memory in a real-time producer/consumer pattern. The relative ease of implementation and safety of the C++ programming model suggests that RTSJ has a struggle ahead in the domain of hard real-time applications, despite its other attractive features.
    Schlagwort(e): Computer Programming and Software
    Materialart: 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications; Oct 24, 2004 - Oct 28, 2004; Vancouver, British Columbia; Canada
    Format: text
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    NASA TECHNICAL REPORTS
  • 5
    facet.materialart.
    Unbekannt
    The HiVY Tool Set (2004)
    In:  Other Sources
    Details
    Publikationsdatum: 2019-08-26
    Beschreibung: Our aim is to validate mission-specific components of spacecraft flight software designs that are specified using state-charts and translated automatically to the final flight code for the mission. We established an automatic translation tool set from state-charts to SPIN for the validation of such mission-specific components. To guarantee compliance with autogenerated flight code, our translation tool set preserves the StateFlow@ semantics. We are now able to specify and validate portions of mission-critical software design and implementation using the exhaustive exploration techniques of model checking.
    Schlagwort(e): Computer Programming and Software
    Materialart: 16th International Computer Aided Verification Conference (CAV 2004); Jul 13, 2004 - Jul 17, 2004; Boston, MA; United States
    Format: text
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    NASA TECHNICAL REPORTS
  • 6
    facet.materialart.
    Unbekannt
    Method for distributed object communications based on dynamically acquired and assembled software components (2002)
    In:  CASI
    Details
    Publikationsdatum: 2019-08-17
    Beschreibung: A method for acquiring and assembling software components at execution time into a client program, where the components may be acquired from remote networked servers is disclosed. The acquired components are assembled according to knowledge represented within one or more acquired mediating components. A mediating component implements knowledge of an object model. A mediating component uses its implemented object model knowledge, acquired component class information and polymorphism to assemble components into an interacting program at execution time. The interactions or abstract relationships between components in the object model may be implemented by the mediating component as direct invocations or indirect events or software bus exchanges. The acquired components may establish communications with remote servers. The acquired components may also present a user interface representing data to be exchanged with the remote servers. The mediating components may be assembled into layers, allowing arbitrarily complex programs to be constructed at execution time.
    Schlagwort(e): Computer Programming and Software
    Format: application/pdf
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    NASA TECHNICAL REPORTS
  • 7
    facet.materialart.
    Unbekannt
    Ask Pete, software planning and estimation through project characterization (2001)
    In:  Other Sources
    Details
    Publikationsdatum: 2019-08-17
    Beschreibung: Ask Pete, was developed by NASA to provide a tool for integrating the estimation and planning activities for a software development effort. It incorporates COCOMO II estimating with NASA's software development practices and IV&V criteria to characterize a project. This characterization is then used to generate estimates and tailored planning documents.
    Schlagwort(e): Computer Programming and Software
    Materialart: PROC INT CONF REQUIR ENG. PROC INT CONF REQUIR ENG|5th IEEE International Symposium on Requirements Engineering; 08/27-31/01; Toronto, Ont; Canada
    Format: text
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    NASA TECHNICAL REPORTS
  • 8
    facet.materialart.
    Unbekannt
    MHD Instability and Turbulence in the Tachocline (2001)
    In:  CASI
    Details
    Publikationsdatum: 2019-08-17
    Beschreibung: In this quarter we have begun simulations on the Cray T3E at PSC and we are debugging our code on the TSC. The PSC simulations are examining stratified shear turbulence with a flow-aligned magnetic field and passive tracer particles. We have conducted analysis of neutral simulations to establish a firm basis of comparison. Second-order structure functions have been computed, fit, and compared to theoretical expressions relating the dissipation fields and the structure-function-fit parameters. Agreement with high-Reynolds number observations is excellent, giving us confidence that the lower-Re simulations are relevant to higher-Re flows. We have also evaluated the neutral layer anisotropy.
    Schlagwort(e): Computer Programming and Software
    Materialart: NASA-99026-QPR9
    Format: application/pdf
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    NASA TECHNICAL REPORTS
  • 9
    facet.materialart.
    Unbekannt
    Explicit Substitutions and All That (2000)
    In:  CASI
    Details
    Publikationsdatum: 2019-08-17
    Beschreibung: Explicit substitution calculi are extensions of the lambda-calculus where the substitution mechanism is internalized into the theory. This feature makes them suitable for implementation and theoretical study of logic-based tools such as strongly typed programming languages and proof assistant systems. In this paper we explore new developments on two of the most successful styles of explicit substitution calculi: the lambda sigma- and lambda S(e)-calculi.
    Schlagwort(e): Computer Programming and Software
    Materialart: AD-A385383 , ICASE-2000-45 , NASA-CR-2000-210621
    Format: application/pdf
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    NASA TECHNICAL REPORTS
  • 10
    facet.materialart.
    Unbekannt
    Preservation Environments (2004)
    In:  CASI
    Details
    Publikationsdatum: 2019-08-17
    Beschreibung: The long-term preservation of digital entities requires mechanisms to manage the authenticity of massive data collections that are written to archival storage systems. Preservation environments impose authenticity constraints and manage the evolution of the storage system technology by building infrastructure independent solutions. This seeming paradox, the need for large archives, while avoiding dependence upon vendor specific solutions, is resolved through use of data grid technology. Data grids provide the storage repository abstractions that make it possible to migrate collections between vendor specific products, while ensuring the authenticity of the archived data. Data grids provide the software infrastructure that interfaces vendor-specific storage archives to preservation environments.
    Schlagwort(e): Computer Programming and Software
    Materialart: NASA/IEEE MSST 2004 Twelfth NASA Goddard Conference on Mass Storage Systems and Technologies in cooperation with the Twenty-First IEEE Conference on Mass Storage Systems and Technologies; 79-92; NASA/CP-2004-212750
    Format: application/pdf
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    NASA TECHNICAL REPORTS
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie hier...