3436 search results - page 251 / 688 » Software Tools for Performance Modeling of Parallel Programs |
182
click to vote
COMPUTER
2006
15 years 6 months ago
2006
Model-driven development (MDD) is an emerging paradigm that improves the software development lifecycle, particularly for large software systems by providing a higherabstraction fo...
167
click to vote
IPPS
1996
IEEE
15 years 10 months ago
1996
IEEE
Technology trends make it attractive to use workstations connected by a local area network as a multicomputing platform for parallel applications. Achieving acceptable application...
164
click to vote
LCN
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes an apparatus which can be used to vary communication performance parameters for MPI applications, and provides a tool to analyze the impact of communication p...
205
click to vote
ANCS
2009
ACM
15 years 4 months ago
2009
ACM
In this paper, we propose an extensible Open-Architecture Services platform (OASis) for high-performance network processing. OASis embraces recent advances of open technologies, i...
189
click to vote
SPIN
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...