3868 search results - page 289 / 774 » A Distributed Parallel Programming Framework |
157
click to vote
SCI
1999
Springer
15 years 11 months ago
1999
Springer
This paper describes the parallelization of a commercial molecular dynamics simulation code, GROMOS96, on a SCI (Scalable Coherent Interface) interconnected PC cluster. The underly...
168
click to vote
SIGCSE
2005
ACM
16 years 6 days ago
2005
ACM
The subject matter of a typical undergraduate software engineering course, while providing necessary background, can be quite dry. Team-based programming projects often complement...
188
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
Boolean programs with recursion are convenient abstractions of sequential imperative programs, and can be represented as recursive state machines (RSMs) or pushdown automata. Motiv...
141
click to vote
CCGRID
2006
IEEE
16 years 22 days ago
2006
IEEE
We present a transparent, system-level checkpointing solution for master-worker parallelism that automatically adapts, upon restart, to the number of processor nodes available. Th...
162
click to vote
PDPTA
2003
15 years 8 months ago
2003
We present a novel approach to parallel Boolean satisfiability (SAT) checking. A distinctive feature of our parallel SAT checker is that it incorporates all essential heuristics ...