<--- Back to Details
First PageDocument Content
Computer buses / Precision Time Protocol / Synchronization / Distributed control system / PCI Express / X Window System / Device driver / Rabbit / Computing / Software / System software
Date: 2011-05-20 08:29:57
Computer buses
Precision Time Protocol
Synchronization
Distributed control system
PCI Express
X Window System
Device driver
Rabbit
Computing
Software
System software

Requirements Common platform for machine instrumentation White Rabbit

Add to Reading List

Source URL: eval.esss.lu.se

Download Document from Source Website

File Size: 2,35 MB

Share Document on Facebook

Similar Documents

Overview  Representation Synchronization Synthesis

Overview Representation Synchronization Synthesis

DocID: 1xVLV - View Document

From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis ⋆ ˇ Pavol Cern´ y1 , Edmund M. Clarke2 , Thomas A. Henzinger3 , Arjun 4

From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis ⋆ ˇ Pavol Cern´ y1 , Edmund M. Clarke2 , Thomas A. Henzinger3 , Arjun 4

DocID: 1xVyQ - View Document

Pattern-based Synthesis of Synchronization for the C++ Memory Model Yuri Meshman Noam Rinetzky

Pattern-based Synthesis of Synchronization for the C++ Memory Model Yuri Meshman Noam Rinetzky

DocID: 1xVip - View Document

Theory of Computing Systems manuscript No. (will be inserted by the editor) Self-stabilizing Byzantine Clock Synchronization with Optimal Precision Pankaj Khanchandani · Christoph Lenzen

Theory of Computing Systems manuscript No. (will be inserted by the editor) Self-stabilizing Byzantine Clock Synchronization with Optimal Precision Pankaj Khanchandani · Christoph Lenzen

DocID: 1xUPN - View Document

Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs Roopsha Samanta Computer Engineering Research Centre, The University of Texas at Austin.

Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs Roopsha Samanta Computer Engineering Research Centre, The University of Texas at Austin.

DocID: 1xTqp - View Document