- Subscribe to this page:
- RSS
- Email Alert
concurrency
(1817 results)White Papers, Webcasts, and Resources
-
Check out this webcast to learn more about fast and efficient business security strategies. You're in the midst of an arms race, make sure you win it.
-
White Papers
Learning From Mistakes-A Comprehensive Study on Real World Concurrency Bug Characteristics
March 5, 2008 12:00am PST
The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Addressing this challenge requires advances in multiple...
Provided by: Association for Computing Machinery
-
White Papers
Implicit Invocation Meets Safe, Implicit Concurrency
October 13, 2010 12:00am PDT
Writing correct and efficient concurrent programs still remains a challenge. Explicit concurrency is difficult, error prone, and creates code which is hard to maintain and debug. This type of...
Provided by: Association for Computing Machinery
-
White Papers
Externalizing Java Server Concurrency With CAL
December 5, 2008 12:00am PST
One of the most important decisions about the architecture of a server program is its concurrency mechanisms. However, a good concurrency model for general-purpose server programs is increasingly...
Provided by: Hong Kong University of Science and Technology
-
White Papers
Optimistic Concurrency Control Based on Cache Coherency in Distributed Database Systems
November 1, 2008 12:00am PDT
Optimistic concurrency control highly takes advantage of parallelism because there is no delay by lock. Unfortunately, I/O operations by transactions and cache operations are delayed in the...
Provided by: Kumoh National Institute of Technology
-
White Papers
Refactoring Sequential Java Code for Concurrency Via Concurrent Libraries
September 30, 2008 12:00am PDT
Parallelizing existing sequential programs to run efficiently on multicores is hard. The Java 5 package java.util.concurrent (j.u.c.) supports writing concurrent programs: much of the complexity...
Provided by: Massachusetts Institute of Technology
-
-
White Papers
Generic Construction of (Identity-based) Perfect Concurrent Signatures
October 25, 2006 12:00am PDT
The notion of concurrent signatures was recently introduced by Chen, Kudla and Paterson. In concurrent signature schemes, two entities can produce two signatures that are not binding, until one of...
Provided by: New York University
-
Book Chapters
Rethink concurrency: Task execution in Java 5.0
June 12, 2006 12:00am PDT
Java 5.0 is a huge step forward for the development of concurrent applications in Java, providing new higher-level components and additional low-level mechanisms that make it easier to build...
Provided by: Addison Wesley Professional
-
White Papers
Lolliproc: To Concurrency From Classical Linear Logic Via Curry-Howard and Control
September 29, 2010 12:00am PDT
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic - including double-negation...
Provided by: Association for Computing Machinery
-
White Papers
STORM: Static Unit Checking of Concurrent Programs
May 8, 2010 12:00am PDT
Concurrency is inherent in today's software. Unexpected interactions between concurrently executing threads often cause subtle bugs in concurrent programs. Such bugs are hard to discover using...
Provided by: Association for Computing Machinery
-
White Papers
Test-First Java Concurrency for the Classroom
March 13, 2010 12:00am PST
Concurrent programming is becoming more important due to the growing dominance of multi-core processors and the prevalence of Graphical User Interfaces (GUIs). To prepare students for the...
Provided by: Association for Computing Machinery
-
White Papers
ConMem: Detecting Severe Concurrency Bugs Through an Effect-Oriented Approach
March 13, 2010 12:00am PST
Multicore technology is making concurrent programs increasingly pervasive. Unfortunately, it is difficult to deliver reliable concurrent programs, because of the huge and non-deterministic...
Provided by: Association for Computing Machinery
-
White Papers
A Framework for Model Checking Concurrent Java Components
October 1, 2009 12:00am PDT
The Java programming language supports concurrency. Concurrent programs are harder to verify than their sequential counterparts due to their inherent non-determinism and a number of specific...
Provided by: Academy Publisher
-
White Papers
The Role of Programming Languages in Teaching Concurrency
September 4, 2009 12:00am PDT
By common conventions, parallel programming focuses on the exploitation of multiple execution agents to improve performance, and concurrent programming focuses on the coordination of multiple...
Provided by: Williams College
-
White Papers
Record-Replay Debugging for Concurrent SCOOP Programs
November 4, 2011 12:00am PDT
The authors report on the implementation of a record-replay tool for programs written in SCOOP, an object-oriented programming model for concurrency. The tool enables developers to re-produce the...
Provided by: ETH Zurich
-
White Papers
Testing Atomicity of Composed Concurrent Operations
October 27, 2011 12:00am PDT
The authors address the problem of testing atomicity of composed concurrent operations. Concurrent libraries help programmers exploit parallel hardware by providing scalable concurrent operations...
Provided by: Association for Computing Machinery
-
White Papers
Concurrently Secure Computation in Constant Rounds
May 20, 2011 12:00am PDT
The authors study the problem of constructing concurrently secure computation protocols in the plain model, where no trust is required in any party or setup. While the well established UC...
Provided by: UC Regents
-
White Papers
Test Case Generation for Concurrent System Using UML Combinational Diagram
May 14, 2011 12:00am PDT
The unreasonable interference of concurrent threads makes the testing activity for concurrent systems a difficult task. Test case explosion is the major problem in concurrency testing and make an...
Provided by: National Institute of Technology, Rourkela (NIT)
-
White Papers
Test Case Generation for Concurrent System Using UML Combinational Diagram
May 14, 2011 12:00am PDT
The unreasonable interference of concurrent threads makes the testing activity for concurrent systems a difficult task. Test case explosion is the major problem in concurrency testing and make an...
Provided by: National Institute of Technology, Rourkela (NIT)
-
White Papers
Contrabass: Concurrent Transmissions Without Coordination for Ad Hoc Networks
March 27, 2011 12:00am PDT
A practical protocol jointly considering PHY and MAC for MIMO based concurrent transmissions in wireless ad hoc networks, called Contrabass, is presented. Concurrent transmissions refer to...
Provided by: Institute of Electrical and Electronics Engineers
-
White Papers
On the Cost of Concurrency in Transactional Memory
March 10, 2011 12:00am PST
The crux of Software Transactional Memory (STM) is to combine an easy-to-use programming interface with an efficient utilization of the concurrent computing abilities provided by modern machines....
Provided by: Cornell University







































