SRI International

Displaying 1-3 of 3 results

  • White Papers // Nov 2014

    Formal Analysis for Real-Time Scheduling

    In modern avionics architectures, application software increasingly relies on services provided by a Real-Time Operating System (RTOS). An application is typically structured in sets of processes that share common hardware resources via the RTOS. Such architectures present numerous advantages for software development by decoupling the application software from the specifics...

    Provided By SRI International

  • White Papers // May 2011

    Towards Automated Collection of Application-Level Data Provenance

    Gathering data provenance at the operating system level is useful for capturing system-wide activity. However, many modern programs are complex and can perform numerous tasks concurrently. Capturing their provenance at this level, where processes are treated as single entities, may lead to the loss of useful intra-process detail. This can,...

    Provided By SRI International

  • White Papers // Jan 2010

    Chapter III: Optical Fiber for Communications

    The focus of this case is the invention and subsequent development of a method for making optical fibers that within 20 years displaced copper wire as the transmission medium of choice for most commercial applications in telecommunications systems and computer networks worldwide. Optical fibers about the size of a human...

    Provided By SRI International

  • White Papers // Jan 2010

    Chapter III: Optical Fiber for Communications

    The focus of this case is the invention and subsequent development of a method for making optical fibers that within 20 years displaced copper wire as the transmission medium of choice for most commercial applications in telecommunications systems and computer networks worldwide. Optical fibers about the size of a human...

    Provided By SRI International

  • White Papers // May 2011

    Towards Automated Collection of Application-Level Data Provenance

    Gathering data provenance at the operating system level is useful for capturing system-wide activity. However, many modern programs are complex and can perform numerous tasks concurrently. Capturing their provenance at this level, where processes are treated as single entities, may lead to the loss of useful intra-process detail. This can,...

    Provided By SRI International

  • White Papers // Nov 2014

    Formal Analysis for Real-Time Scheduling

    In modern avionics architectures, application software increasingly relies on services provided by a Real-Time Operating System (RTOS). An application is typically structured in sets of processes that share common hardware resources via the RTOS. Such architectures present numerous advantages for software development by decoupling the application software from the specifics...

    Provided By SRI International