Now showing items 25-27 of 65132

    • Satellite Drag and Sustainable Space Operations in a Dynamic Thermosphere 

      Parker, William E. (Massachusetts Institute of Technology, 2025-09)
      Earth’s orbit has become increasingly congested and contested in recent years. The surge in launched payloads, combined with satellite failures, explosions, and collisions, has contributed to a large and growing population ...
    • Evaluating Large Language Models as Circuit Design Assistants 

      Cox, Matthew J. (Massachusetts Institute of Technology, 2024-09)
      Large language models (LLMs) have exploded in capability in recent years. Previous attempts at AI systems for circuit design have had limited proficiency and been restricted in problem scope. LLMs, with their breadth of ...
    • Increasing Program Code Coverage Using Fuzzing and Targeted Branch Exploration 

      Nguyen, Gary (Massachusetts Institute of Technology, 2025-09)
      Code coverage is a longstanding metric for evaluating how thoroughly a program has been tested. Achieving high coverage remains a priority goal for quality assurance and software stability. Exhaustive enumeration of possible ...