SRI International

Displaying 1 - 3 of 3 results

  • Formal Analysis for Real-Time Scheduling

    White Papers // Nov 2014 // provided by SRI International

    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 ...

    Download Now
  • Towards Automated Collection of Application-Level Data Provenance

    White Papers // May 2011 // provided by SRI International

    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, ...

    Download Now
  • Chapter III: Optical Fiber for Communications

    White Papers // Jan 2010 // provided by SRI International

    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 ...

    Download Now

Submit Your Content

Get your content listed in our directory for free!

Our directory is the largest library of vendor-supplied technical content on the web. It's also the first place IT decision makers turn to when researching technology solutions. Our members are already finding your competitors' papers here - shouldn't they find yours too?