BROADCAST SMPTE ST 2059 Timing Synchronization through SMPTE STIntroduction

Source URL: www.adeas.nl

Extended Sequential Reasoning for Data-Race-Free Programs

Source URL: www.hpl.hp.com

• Computing
• Software engineering
• Concurrency control
• Concurrency
• Java platform
• Concurrent computing
• Communication
• Synchronization
• U3
• Java memory model
• Vienna U-Bahn
• Java class file

Sparsifying Synchronization for High-Performance Shared-Memory Sparse Triangular Solver Jongsoo Park, Mikhail Smelyanskiy, Narayanan Sundaram, and Pradeep Dubey Parallel Computing Lab, Intel Corporation

Source URL: pcl.intel-research.net

AUTONOMIC DELIVERS ARRAY OF NEW FEATURES FOR MIRAGE MUSIC PLAYERS Improved sound quality for Sirius/XM users, Deezer compatibility, proprietary Snapshot function, enhanced playlist management and new synchronization soft

Source URL: www.autonomic-controls.com

Separating the WHEAT from the Chaff: An Empirical Design for Geo-Replicated State Machines João Sousa and Alysson Bessani LaSIGE, Faculdade de Ciências, Universidade de Lisboa, Portugal Abstract—State machine replica

Source URL: www.di.fc.ul.pt

• Computing
• Fault-tolerant computer systems
• Data synchronization
• Network protocols
• Internet protocols
• State machine replication
• Byzantine fault tolerance
• Replication
• Hypertext Transfer Protocol
• Quorum
• WAN optimization
• Latency

Preprint – March 28, 2013 Quantitative Reasoning for Proving Lock-Freedom Jan Hoffmann Michael Marmar

Source URL: cs-www.cs.yale.edu

• Concurrency control
• Computing
• Computer programming
• Concurrent computing
• Non-blocking algorithm
• Hazard pointer
• Mutual exclusion
• Lock
• Concurrent data structure
• Synchronization
• Compare-and-swap
• Linearizability

DEMO: Time Synchronization and Localization for Underwater Acoustic Sensor Networks with the SUNSET Framework Chiara Petrioli Roberto Petroccia

Source URL: reti.dsi.uniroma1.it

Microsoft Wordegnyte-named-a-visionary-in-gartners-magic-quadrant-for-enterprise-file-synchronization-and-sharing.docx

Source URL: www.egnyte.com

Enabling Highly-Scalable Remote Memory Access Programming with MPI-3 One Sided Robert Gerstenberger ∗

Source URL: htor.inf.ethz.ch

• Computing
• Computer programming
• Parallel computing
• Software engineering
• Application programming interfaces
• MPICH
• SHMEM
• Message Passing Interface
• Partitioned global address space
• Coarray Fortran
• Synchronization
• Remote direct memory access

AmazingStore: Available, Low-cost Online Storage Service Using Cloudlets ∗ Zhi Yang∗ , Ben Y. Zhao† , Yuanjian Xing∗ , Song Ding∗ , Feng Xiao∗ and Yafei Dai∗ ∗

Source URL: www.cs.ucsb.edu

• Computing
• Fault-tolerant computer systems
• Distributed data storage
• Inter-process communication
• File sharing
• Data synchronization
• Peer-to-peer
• Clientserver model
• Replication
• Cloud storage
• BitTorrent
• Scalability