Sciweavers

2466 search results - page 32 / 494
» Concurrent Clustered Programming
Sort
View
PPPJ
2009
ACM
14 years 3 months ago
ConcJUnit: unit testing for concurrent programs
In test-driven development, tests are written for each program unit before the code is written, ensuring that the code has a comprehensive unit testing harness. Unfortunately, uni...
Mathias Ricken, Robert Cartwright
DAGSTUHL
2001
13 years 10 months ago
JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs
Debugging concurrent Java programs is a difficult task because of multiple control flows and inherent nondeterminism. It requires techniques not provided by traditional debuggers ...
Katharina Mehner
POPL
1990
ACM
14 years 4 days ago
Concurrent Constraint Programming
Abstract. Concurrent constraint programming is a simple but powerful framework for computation based on four basic computational ideas: concurrency (multiple agents are simultaneou...
Vijay A. Saraswat, Martin C. Rinard
CAV
2012
Springer
236views Hardware» more  CAV 2012»
11 years 11 months ago
Lock Removal for Concurrent Trace Programs
Abstract. We propose a trace-based concurrent program analysis to soundly remove redundant synchronizations such as locks while preserving the behaviors of the concurrent computati...
Vineet Kahlon, Chao Wang
CAV
2009
Springer
139views Hardware» more  CAV 2009»
14 years 9 months ago
A Concurrent Portfolio Approach to SMT Solving
With the availability of multi-core processors and large-scale computing clusters, the study of parallel algorithms has been revived throughout the industry. We present a portfolio...
Christoph M. Wintersteiger, Leonardo Mendonç...