3436 search results - page 129 / 688 » Software Tools for Performance Modeling of Parallel Programs |
139
click to vote
CASCON
2000
15 years 3 months ago
2000
Information about a software system's execution can help a developer with many tasks, including software testing, performance tuning, and program understanding. In almost all...
103
Voted
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
LAPI is a low-level, high-performance communication interface available on the IBM RS/6000 SP system. It provides an activemessage-like interface along with remote memory copy and...
107
click to vote
MICRO
2008
IEEE
15 years 8 months ago
2008
IEEE
The advent of multicores presents a promising opportunity for speeding up sequential programs via profile-based speculative parallelization of these programs. In this paper we pr...
108
click to vote
ISSE
2010
15 years 21 days ago
2010
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...
102
click to vote
IWPC
2009
IEEE
15 years 9 months ago
2009
IEEE
We present a static analysis framework for inference of security-related program properties. Within this framework we design and implement ownership, immutability and information ...