Sciweavers

298 search results - page 14 / 60
» Sequential and Distributed Simulations Using Java Threads
Sort
View
ASIAN
2004
Springer
150views Algorithms» more  ASIAN 2004»
14 years 2 months ago
Concurrent Constraint-Based Memory Machines: A Framework for Java Memory Models
A central problem in extending the von Neumann architecture to petaflop computers with millions of hardware threads and with a shared memory is defining the memory model [Lam79,...
Vijay A. Saraswat
PLDI
2003
ACM
14 years 2 months ago
A type and effect system for atomicity
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work addressed th...
Cormac Flanagan, Shaz Qadeer
PDP
2007
IEEE
14 years 3 months ago
An Annotation-Based Framework for Parallel Computing
This paper presents a programming language for parallel computing based on code annotations. It has similar goals and philosophy as OpenMP but it is more tightly coupled to the ob...
Carlos A. Cunha, João Luís Sobral
NPC
2007
Springer
14 years 2 months ago
A Cost-Aware Parallel Workload Allocation Approach Based on Machine Learning Techniques
Parallelism is one of the main sources for performance improvement in modern computing environment, but the efficient exploitation of the available parallelism depends on a number ...
Shun Long, Grigori Fursin, Björn Franke
SAS
2007
Springer
126views Formal Methods» more  SAS 2007»
14 years 2 months ago
Hierarchical Pointer Analysis for Distributed Programs
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
Amir Kamil, Katherine A. Yelick