Microsoft

Displaying 1571 - 1580 of 1609 results

  • Where's the Beef? Why FPGAs Are So Fast

    White Papers · Sep 2008 · Provided By Microsoft

    Where do all the cycles go when microprocessor applications are implemented spatially as circuits on an FPGA (Field-Programmable Gate Array)? It is well established that certain sequential applications can be captured spatially and achieve breathtaking speedups when run on an FPGA, but why? Despite running at clock speeds orders of...

    Download Now
  • Relocation and Automatic Floor-planning of FPGA Partial Configuration Bit-Streams

    White Papers · Aug 2008 · Provided By Microsoft

    An extensible processor provides a standard data-path and one or more regions for use as application-specific reconfigurable logic. In this paper, the authors address two problems that arise in the practical use of extensible processors. Using multiple extensible regions can lead to avoidable time and space inefficiencies, and the physical...

    Download Now
  • A Security Model for Reconfigurable Microcomputers

    White Papers · Aug 2008 · Provided By Microsoft

    In this paper, the authors define a security model for FPGAs (Field-Programmable Gate Arrays) that provides virtualization and sharing of the reconfigurable fabric. The approach is to encapsulate the reconfigurable fabric within the context of a standard OS (Operating System) process, separated from the security-sensitive resources iff the process is...

    Download Now
  • Effective Program Verification for Relaxed Memory Models

    White Papers · May 2008 · Provided By Microsoft

    Program verification for relaxed memory models is hard. The high degree of non-determinism in such models challenges standard verification techniques. This paper proposes a new verification technique for the most common relaxation, store buffers. Crucial to this technique is the observation that all programmers, including those who use low-lock techniques...

    Download Now
  • Cimbiosys: A Platform for Content-Based Partial Replication

    White Papers · May 2008 · Provided By Microsoft

    People increasingly use multiple devices and Internet services to manage and share information. Since portable devices have limited resources for storage and bandwidth, it is essential to take advantage of proximity and selected replication of content. To this end the authors present Cimbiosys, a replication platform that permits each device...

    Download Now
  • Data Randomization

    White Papers · May 2008 · Provided By Microsoft

    Attacks that exploit memory errors are still a serious problem. The authors present data randomization, a new technique that provides probabilistic protection against these attacks by xoring data with random masks. Data randomization uses static analysis to partition instruction operands into equivalence classes: it places two operands in the same...

    Download Now
  • Model-Based Testing of Robots with NModel

    White Papers · May 2008 · Provided By Microsoft

    In this paper, the authors present a method of two level modeling for model-based testing of robotics applications. The goal is to perform model-based hardware-in-the-loop testing of a system of robots. The main idea is to use models in two different roles: as control models of individual robots, and as...

    Download Now
  • Temporal Analysis for Adapting Concurrent Applications to Embedded Systems

    White Papers · Apr 2008 · Provided By Microsoft

    Embedded services and applications that interact with the real world often, over time, need to run on different kinds of hardware (low-cost microcontrollers to powerful multicore processors). It is difficult to write one program that would work reliably on such a wide range of devices. This is especially true when...

    Download Now
  • Real-Time KD-Tree Construction on Graphics Hardware

    White Papers · Apr 2008 · Provided By Microsoft

    In this paper, the authors present an algorithm for constructing kd-trees on GPUs (Graphics Processor Units). This algorithm achieves real-time performance by exploiting the GPU's streaming architecture at all stages of kd-tree construction. Unlike previous parallel kd-tree algorithms, their method builds tree nodes completely in BFS (Breadth-First Search) order. They...

    Download Now
  • Dynamic Separation for Transactional Memory

    White Papers · Mar 2008 · Provided By Microsoft

    Implementations of language constructs over Transactional Memory (TM) have typically provided unexpected semantics, required the re-compilation of non-transacted code, or assumed new hardware. The authors introduce an alternative approach founded on a contract between the programmer and the language implementation in which strong semantics are provided to programs that are...

    Download Now