3436 search results - page 319 / 688 » Software Tools for Performance Modeling of Parallel Programs |
156
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: Availability of high-resolution RNA crystal structures for the 30S and 50S ribosomal subunits and the subsequent validation of comparative secondary structure models h...
116
click to vote
PLDI
2005
ACM
15 years 8 months ago
2005
ACM
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...
171
click to vote
SPAA
2012
ACM
13 years 5 months ago
2012
ACM
GPU-based heterogeneous clusters continue to draw attention from vendors and HPC users due to their high energy efficiency and much improved single-node computational performance...
144
click to vote
RTSS
1995
IEEE
15 years 6 months ago
1995
IEEE
E cient automatic model-checking algorithms for real-time systems have been obtained in recent years based on the state-region graph technique of Alur, Courcoubetis and Dill. Howe...
140
click to vote
ICS
1999
Tsinghua U.
15 years 7 months ago
1999
Tsinghua U.
—This paper explores the use of compiler optimizations which optimize the layout of instructions in memory. The target is to enable the code to make better use of the underlying ...