3436 search results - page 96 / 688 » Software Tools for Performance Modeling of Parallel Programs |
128
click to vote
IPPS
1997
IEEE
15 years 6 months ago
1997
IEEE
Current parallelizing compilers for message-passing machines only support a limited class of data-parallel applications. One method for eliminating this restriction is to combine ...
105
Voted
PDP
2003
IEEE
15 years 7 months ago
2003
IEEE
We describe a robust library for parallel and dependable master-worker programs (raftnet). From a software client’s viewpoint, flexibility, hardware independence and ease of us...
141
click to vote
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
Modern FPGA platforms provide the hardware and software infrastructure for building a bus-based System on Chip (SoC) that meet the applications requirements. The designer can cust...
122
click to vote
WSC
1998
15 years 3 months ago
1998
This paper describes the design and implementation of MPI-SIM, a library for the execution driven parallel simulation of MPI programs. MPI-LITE, a portable library that supports m...
LPAR
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...