Deriving Linearizable Fine-Grained Concurrent Objects Martin Vechev Eran Yahav IBM Research

Source URL: www.srl.inf.ethz.ch

• Concurrency
• Linearizability
• Algorithm
• Tree traversal
• Mutual exclusion
• Non-blocking algorithm
• Concurrent data structure
• Parallel computing
• Priority queue
• Concurrency control
• Computing
• Data management

FICHE TECHNIQUE _____________________________________________________________________________ INSTRUMENTS PIANO À QUEUE muni de sa banquette, réglé et accordé (442Hz) le jour même du concert. Steinway model D / Alte

Source URL: www.musiclx.lu

Idempotent Work Stealing Maged M. Michael Martin T. Vechev Vijay A. Saraswat

Source URL: www.srl.inf.ethz.ch

• Concurrency control
• Scheduling algorithms
• Computer programming
• Double-ended queue
• Non-blocking algorithm
• FIFO
• Algorithm
• Cilk
• Stack
• Computing
• Concurrent computing
• Abstract data types

International Journal of Innovative Computing, Information and Control Volume 9, Number 3, March 2013 c ICIC International 2013

Source URL: www.ijicic.org

• Management
• Active queue management
• Network congestion
• Random early detection
• Packet loss
• Robust random early detection
• TCP global synchronization
• Throughput
• Router
• Network performance
• Computing
• Network architecture

BATS Options Exchange Opening Process Effective[removed]BATS Options Exchange offers members the ability to queue orders during pre-market and regulatory halt periods.

Source URL: cdn.batstrading.com

• Finance
• Financial markets
• Futures contract
• Day trading
• Mathematical finance
• Options Price Reporting Authority
• Trading halt
• Stock market
• Financial economics
• Investment

Journal Entry Processing – Controller’s Office Review After the journal preparer successfully uploads a Web ADI manual journal entry, it sits in a queue to be reviewed by the Controller’s Office. If necessary the p

Source URL: www.dartmouth.edu

• Journal entry
• Debits and credits
• General journal
• Database transaction
• Payment systems
• Accountancy
• Business
• Finance
• Accounting systems

Proceedings Template - WORD

Source URL: conferences.sigcomm.org

• Data
• Active queue management
• Robust random early detection
• Network congestion
• Transmission Control Protocol
• Random early detection
• Queuing delay
• Additive increase/multiplicative decrease
• TCP Vegas
• Network performance
• Computing
• Management

Bus Access Optimization for Distributed Embedded Systems Based on Schedulability Analysis Paul Pop, Petru Eles, Zebo Peng Dept. of Computer and Information Science, Linköping University, Sweden Abstract

Source URL: www.ida.liu.se

• Inter-process communication
• Scheduling algorithms
• Networks
• Time-Triggered Protocol
• Computer networks
• Automation
• CAN bus
• Message queue
• Real-time operating system
• Computing
• Technology
• Concurrent computing

P e`re Cluster User Guide (Version[removed]Request an account on P e`re

Source URL: www.mu.edu

• Software
• Parallel computing
• Grid computing
• Condor Flugdienst
• Lufthansa
• At
• Job queue
• Secure Shell
• Condor High-Throughput Computing System
• Concurrent computing
• Computing
• Job scheduling

INFORMS Vol. 00, No. 0, Xxxxx 0000, pp. 000–000 issn[removed] | eissn[removed] | 00 | 0000 | 0001 doi[removed]xxxx[removed]

Source URL: tolgatezcan.simon.rochester.edu

• Network performance
• Markov models
• Queueing theory
• Operations research
• Virtual queue
• Throughput
• Triage
• Queueing model
• Workflow
• Statistics
• Stochastic processes
• Probability and statistics