Sciweavers

760 search results - page 5 / 152
» A visualization system for multithreaded programming
Sort
View
VISUALIZATION
1999
IEEE
13 years 11 months ago
A Multi-Threaded Streaming Pipeline Architecture for Large Structured Data Sets
Computer simulation and digital measuring systems are now generating data of unprecedented size. The size of data is becoming so large that conventional visualization tools are in...
C. Charles Law, Ken Martin, William J. Schroeder, ...
CGO
2008
IEEE
14 years 1 months ago
Program optimization space pruning for a multithreaded gpu
Program optimization for highly-parallel systems has historically been considered an art, with experts doing much of the per
Shane Ryoo, Christopher I. Rodrigues, Sam S. Stone...
PPDP
2009
Springer
14 years 1 months ago
Session types for linear multithreaded functional programming
The construction of reliable concurrent and distributed systems is an extremely difficult endeavour. For complex systems, it requires modular development strategies based on prec...
Vasco Thudichum Vasconcelos
CAV
2007
Springer
112views Hardware» more  CAV 2007»
14 years 1 months ago
Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...
Ahmed Bouajjani, Séverine Fratani, Shaz Qad...
ASPLOS
2009
ACM
14 years 8 months ago
DMP: deterministic shared memory multiprocessing
Current shared memory multicore and multiprocessor systems are nondeterministic. Each time these systems execute a multithreaded application, even if supplied with the same input,...
Joseph Devietti, Brandon Lucia, Luis Ceze, Mark Os...