3436 search results - page 302 / 688 » Software Tools for Performance Modeling of Parallel Programs |
105
Voted
ENTCS
2007
15 years 3 months ago
2007
The Mono Model Checker (mmc) is a software model checker for cil bytecode programs. mmc has been developed on the Mono platform. mmc is able to detect deadlocks and assertion viol...
215
click to vote
PPOPP
2003
ACM
15 years 8 months ago
2003
ACM
Because of increasing hardware and software complexity, the running time of many computational science applications is now more than the mean-time-to-failure of highpeformance com...
124
click to vote
IPPS
2009
IEEE
15 years 10 months ago
2009
IEEE
4 Automatic diļ¬erentiation is the primary means of obtaining analytic5 derivatives from a numerical model given as a computer program. There-6 fore, it is an essential productivi...
156
click to vote
IISWC
2008
IEEE
15 years 9 months ago
2008
IEEE
Dynamic binary translation systems enable a wide range of applications such as program instrumentation, optimization, and security. DBTs use a software code cache to store previou...
131
Voted
ISVLSI
2007
IEEE
15 years 9 months ago
2007
IEEE
In sub-90nm technologies, more frequent hard faults pose a serious burden on processor design and yield control. In addition to manufacturing-time chip repair schemes, microarchit...