3436 search results - page 171 / 688 » Software Tools for Performance Modeling of Parallel Programs |
133
click to vote
WEA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Many large-scale optimization problems rely on graph theoretic solutions; yet high-performance computing has traditionally focused on regular applications with high degre...
142
click to vote
PDPTA
2010
15 years 12 days ago
2010
Though the GPGPU concept is well-known in image processing, much more work remains to be done to fully exploit GPUs as an alternative computation engine. The difficulty is not refo...
140
click to vote
FMICS
2009
Springer
15 years 9 months ago
2009
Springer
Most modern safety-critical control programs, such as those embedded in fly-by-wire control systems, perform a lot of floating-point computations. The well-known pitfalls of IEEE...
110
Voted
IPPS
2005
IEEE
15 years 8 months ago
2005
IEEE
The computational power needed for searching exponentially growing databases, such as GenBank, has increased dramatically. Three different implementations of the most widely used ...
118
click to vote
SCAM
2008
IEEE
15 years 9 months ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...