Sciweavers

ERCIMDL
2006
Springer
134views Education» more  ERCIMDL 2006»
14 years 2 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»
14 years 2 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...