3436 search results - page 211 / 688 » Software Tools for Performance Modeling of Parallel Programs |
125
click to vote
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
VLIW machines possibly provide the most direct way to exploit instruction level parallelism; however, they cannot be used to emulate current general-purpose instruction set archit...
111
click to vote
CHI
2010
ACM
15 years 9 months ago
2010
ACM
End-user programmers’ code is notoriously buggy. This problem is amplified by the increasing complexity of end users’ programs. To help end users catch errors early and reliab...
CGO
2005
IEEE
15 years 8 months ago
2005
IEEE
Program execution traces are frequently used in industry and academia. Yet, most trace-compression algorithms have to be re-implemented every time the trace format is changed, whi...
165
click to vote
POPL
2011
ACM
14 years 5 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
121
click to vote
SCAM
2007
IEEE
15 years 9 months ago
2007
IEEE
SUDS is a powerful infrastructure for creating dynamic bug detection tools. It contains phases for both static analysis and dynamic instrumentation allowing users to create tools ...