Sciweavers

ERCIMDL
2006
Springer
134views Education» more  ERCIMDL 2006»
13 years 9 months ago
OAI-PMH Architecture for the NASA Langley Research Center Atmospheric Science Data Center
We present the architectural decisions involved in adding an Open Archives Initiative Protocol for Metadata Harvesting (OAI-PMH) interface to the NASA Langley Research Center Atmos...
Churngwei Chu, Walter E. Baskin, Juliet Z. Pao, Mi...
ATVA
2006
Springer
162views Hardware» more  ATVA 2006»
13 years 10 months ago
Predicate Abstraction of Programs with Non-linear Computation
e Abstraction of Programs With Non-linear Computation Songtao Xia1 Ben Di Vito2 Cesar Munoz3 1 NASA Postdoc at NASA Langley Research Center, Hampton, VA 2 NASA Langley Research Cen...
Songtao Xia, Ben Di Vito, César Muño...