3436 search results - page 300 / 688 » Software Tools for Performance Modeling of Parallel Programs |
124
click to vote
CC
2010
Springer
15 years 10 months ago
2010
Springer
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...
126
Voted
ENTCS
2006
15 years 3 months ago
2006
We present GMC2 , a software model checker for GCC, the opensource compiler from the Free Software Foundation (FSF). GMC2 , which is part of the GMC static-analysis and model-check...
148
click to vote
ICPP
1995
IEEE
15 years 7 months ago
1995
IEEE
Interactive program steering permits researchers to monitor and guide their applications during runtime. Interactive steering can help make end users more effective in addressing ...
130
Voted
BMCBI
2005
15 years 3 months ago
2005
Background: Protein sequence alignments have become indispensable for virtually any evolutionary, structural or functional study involving proteins. Modern sequence search and com...
132
click to vote
ISCAS
1999
IEEE
15 years 7 months ago
1999
IEEE
In the design of low power systems, it is important to analyze and optimize both the hardware and the software component of the system. To evaluate the software component of the s...