3436 search results - page 251 / 688 » Software Tools for Performance Modeling of Parallel Programs |
142
click to vote
COMPUTER
2006
15 years 3 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...
124
click to vote
IPPS
1996
IEEE
15 years 7 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...
119
click to vote
LCN
2002
IEEE
15 years 8 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...
154
Voted
ANCS
2009
ACM
15 years 1 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...
141
click to vote
SPIN
2004
Springer
15 years 8 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...