Concurrency

Results: 2238



#Item
951Parallel computing / Microprocessors / Computer architecture / Concurrency control / Application programming interfaces / OpenMP / Thread / Profiling / Multi-core processor / Computing / Concurrent computing / Computer programming

Harmony: Collection and Analysis of Parallel Block Vectors Melanie Kambadur, Kui Tang, and Martha A. Kim Columbia University, New York, NY {melanie,martha}@cs.columbia.edu, Abstract

Add to Reading List

Source URL: arcade.cs.columbia.edu

Language: English - Date: 2014-06-08 14:34:08
952Concurrent computing / Concurrency control / Procedural programming languages / Scripting languages / Thread / Process / Scheduling / Programming language / Communications protocol / Computing / Computer programming / Software engineering

Falcon 1.0 Organic virtual machine specification The Falcon Committee Giancarlo Niccolai

Add to Reading List

Source URL: www.niccolai.cc

Language: English - Date: 2012-10-16 11:06:08
953Transaction processing / Fault-tolerant computer systems / Data synchronization / Concurrency control / Replication / Serializability / Consistency model / Serialization / Database / Computing / Data management / Data

Minimal Replication Cost for Availability  Haifeng Yu Amin Vahdat Computer Science Department

Add to Reading List

Source URL: www.comp.nus.edu.sg

Language: English - Date: 2006-11-02 03:32:08
954Concurrent computing / Concurrency control / Procedural programming languages / Scripting languages / Thread / Process / Scheduling / Programming language / Communications protocol / Computing / Computer programming / Software engineering

Falcon 1.0 Organic virtual machine specification The Falcon Committee Giancarlo Niccolai

Add to Reading List

Source URL: niccolai.cc

Language: English - Date: 2012-10-16 11:06:08
955Wireless sensor network / Microcontrollers / TI MSP430 / TinyOS / Lock / Device driver / Serial Peripheral Interface Bus / Sensor node / I²C / Computing / Computer hardware / Software

Integrating Concurrency Control and Energy Management in Device Drivers Kevin Klues†∓? , Vlado Handziski? , Chenyang Lu∓ , Adam Wolisz? , David Culler• , David Gay‡ , and Philip Levis† †

Add to Reading List

Source URL: www.barnowl.org

Language: English - Date: 2007-08-16 18:20:27
956Concurrency control / Method / C++ / Critical section / Lock / Destructor / Thread / Constructor / Mutual exclusion / Software engineering / Computing / Computer programming

Generic Synchronization Policies in C++ Ciaran McHale CiaranMcHale.com 1

Add to Reading List

Source URL: www.ciaranmchale.com

Language: English - Date: 2008-05-17 08:15:49
957Application programming interfaces / Free software / MPICH / Public domain software / Concurrency control / Synchronization / Lock / Computer cluster / Message Passing Interface / Computing / Parallel computing / Computer programming

Optimizing the Synchronization Operations in MPI One-Sided Communication∗ Rajeev Thakur William Gropp Brian Toonen Mathematics and Computer Science Division

Add to Reading List

Source URL: www.mcs.anl.gov

Language: English - Date: 2005-04-07 19:00:21
958Concurrency control / Concurrency / Generic programming / Method / C++ / Producer-consumer problem / Lock / Critical section / Destructor / Software engineering / Computing / Computer programming

Generic Synchronization Policies 1 Generic Synchronization Policies in C++

Add to Reading List

Source URL: www.ciaranmchale.com

Language: English - Date: 2008-05-17 08:15:39
959Electronic engineering / Formal methods / Predicate logic / Hardware description languages / Construction and Analysis of Distributed Processes / Formal verification / State transition system / Model checking / Petri net / Models of computation / Theoretical computer science / Concurrency

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) VeriTech - A Framework for Translating among Model Description Notations Orna Grumberg and Shmuel Katz

Add to Reading List

Source URL: www.cs.technion.ac.il

Language: English - Date: 2005-11-29 05:50:59
960Concurrency control / Computer memory / Concurrent computing / Transaction processing / Memory model / Java Memory Model / Parallel computing / Consistency model / Thread / Computing / Software engineering / Compiler construction

Foundations of the C++ Concurrency Memory Model

Add to Reading List

Source URL: www.hpl.hp.com

Language: English - Date: 2008-05-21 19:05:11
UPDATE