Search results for “[subject: computer-engineering]”

• Author(s): Nasa Technical Reports Server (Ntrs) | Et Al | Steven P. Miller • Publisher: Bibliogov • Publisher Imprint: Bibliogov • BISAC: GeneralRecent advanced in model-checking have made it practical to formally verify the correctness of many...

• Author(s): Richard Turner • Publisher: Bibliogov • Publisher Imprint: Bibliogov • BISAC: GeneralThe NASA Technical Reports Server (NTRS) houses half a million publications that are a valuable means of information to researchers, teachers, stude...

• Author(s): Nasa Technical Reports Server (Ntrs) • Publisher: Bibliogov • Publisher Imprint: Bibliogov • BISAC: GeneralThe NASA Technical Reports Server (NTRS) houses half a million publications that are a valuable means of information to resear...

• Author(s): Nasa Technical Reports Server (Ntrs) | Ten-See Wang • Publisher: Bibliogov • Publisher Imprint: Bibliogov • BISAC: GeneralThe objective of this study is to conduct a unified computational analysis for computing design parameters such...

• Author(s): Kemset Moore • Publisher: Bibliogov • Publisher Imprint: Bibliogov • BISAC: GeneralForest engineers and hydrologists regularly calculate design culvert dimensions for use in wildland road stream crossings. This project investigates e...

• Author(s): Elizabeth Mathis • Publisher: Bibliogov • Publisher Imprint: Bibliogov • BISAC: GeneralThe goal of this project is to re-engineer the Help Desk at USC into a cohesive group that will assist Computer Services to support the instructio...

• Author(s): Gregory P. Herrick • Publisher: Bibliogov • Publisher Imprint: Bibliogov • BISAC: GeneralConcerns regarding noise, propulsive efficiency, and fuel burn are inspiring aircraft designs wherein the propulsive turbomachines are partially...