×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents of larc-nasa
Formal prototyping in early stages of protocol design
Design Principles for Gateway Discovery Protocols
Training a Wireless Sensor Network
Calculation of Airfoil Flutter by an Euler Method with Approximate Boundary Conditions
Design and characterization of carbon nanotube nanocomposites
1 views
Low-storage, explicit Runge–Kutta schemes for the compressible Navier–Stokes equations
A Stable and Conservative Interface Treatment of Arbitrary Spatial Accuracy
Nasa/cr- 1999-209834
1 views
Re-evaluation of an Optimized Second Order Backward Difference (BDF2OPT) Scheme for Unsteady Flow Applications
On the removal of boundary errors caused by Runge-Kutta integration of nonlinear partial ei erential equations
Toward Effective Shell Modeling of Wrinkled Thin-Film Membranes Exhibiting Stress Concentrations
An improved treatment of transverse shear in the mindlin-type four-node quadrilateral element
Rapid prototyping in PVS
The search for effective algorithms for recovery from loss of separation
Design strategy for a formally verified reliable computing platform
The semi-Markov unreliability range evaluator program
A Preliminary Transient-Fault Experiment on the SIFT Computer System
Formal analysis of air traffic management systems: the case of conflict resolution and recovery
Simulation and verification I: formal analysis of air traffic management systems: the case of conflict resolution and recovery
Validation of a Fault,Tolerant Clock Synchronization System
Next >