Sciweavers

561 search results - page 50 / 113
» Multithreaded programming in Cilk
Sort
View
SIGCSE
2010
ACM
158views Education» more  SIGCSE 2010»
15 years 4 months ago
Test-first Java concurrency for the classroom
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...
Mathias Ricken, Robert Cartwright
ISSTA
2012
ACM
13 years 6 days ago
Cooperative types for controlling thread interference in Java
Multithreaded programs are notoriously prone to unintended interference between concurrent threads. To address this problem, we argue that yield annotations in the source code sho...
Jaeheon Yi, Tim Disney, Stephen N. Freund, Cormac ...
CORR
2010
Springer
116views Education» more  CORR 2010»
14 years 8 months ago
Automatic Performance Debugging of SPMD Parallel Programs
Different from sequential programs, parallel programs possess their own characteristics which are difficult to analyze in the multi-process or multi-thread environment. This paper...
Xu Liu, Lin Yuan, Jianfeng Zhan, Bibo Tu, Dan Meng
CORR
2010
Springer
180views Education» more  CORR 2010»
14 years 7 months ago
XSB: Extending Prolog with Tabled Logic Programming
The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. The reasons for this ar...
Terrance Swift, David Scott Warren
ECOOP
2008
Springer
14 years 11 months ago
On Validity of Program Transformations in the Java Memory Model
Abstract. We analyse the validity of several common program transformations in multi-threaded Java, as defined by the Java Memory Model (JMM) section of Chapter 17 of the Java Lang...
Jaroslav Sevcík, David Aspinall