Sciweavers

427 search results - page 15 / 86
» The CODE 2.0 graphical parallel programming language
Sort
View
129
Voted
PTS
2008
109views Hardware» more  PTS 2008»
15 years 4 months ago
Runtime Verification of C Programs
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
Klaus Havelund
130
Voted
ECOOPW
1998
Springer
15 years 7 months ago
Program Restructuring to Introduce Design Patterns
In restructuring legacy code it may be useful to introduce a design pattern in order to add clarity to the system and thus facilitate further program evolution. We show that aspec...
Mel Ó Cinnéide, Paddy Nixon
141
Voted
SAC
2009
ACM
15 years 10 months ago
Celling SHIM: compiling deterministic concurrency to a heterogeneous multicore
Parallel architectures are the way of the future, but are notoriously difficult to program. In addition to the low-level constructs they often present (e.g., locks, DMA, and non-...
Nalini Vasudevan, Stephen A. Edwards
164
Voted
ICFP
2008
ACM
16 years 3 months ago
Space profiling for parallel functional programs
This paper presents a semantic space profiler for parallel functional programs. Building on previous work in sequential profiling, our tools help programmers to relate runtime res...
Daniel Spoonhower, Guy E. Blelloch, Robert Harper,...
124
Voted
PPL
2008
99views more  PPL 2008»
15 years 3 months ago
A Modular Implementation of Data Structures in Bulk-Synchronous Parallel ML
A functional data-parallel language called BSML has been designed for programming Bulk-Synchronous Parallel algorithms. Many sequential algorithms do not have parallel counterpart...
Frédéric Gava