391 search results - page 14 / 79 » On Time-Aware Instrumentation of Programs |
117
click to vote
FAC
2010
14 years 9 months ago
2010
Data refinement is a common approach to reasoning about programs, based on establishing that te program indeed satisfies all the required properties imposed by an intended abstract...
137
click to vote
PPOPP
2011
ACM
14 years 2 months ago
2011
ACM
In recent years, GPUs have emerged as an extremely cost-effective means for achieving high performance. Many application developers, including those with no prior parallel program...
114
click to vote
WCET
2010
14 years 9 months ago
2010
Hybrid measurement-based approaches to worst-case execution time (WCET) analysis combine measured execution times of small program segments using static analysis of the larger sof...
MICRO
1994
IEEE
15 years 3 months ago
1994
IEEE
: Program profiles identify frequently executed portions of a program, which are the places at which optimizations offer programmers and compilers the greatest benefit. Compilers, ...
142
click to vote
ASPLOS
2012
ACM
13 years 7 months ago
2012
ACM
Despite a burgeoning demand for parallel programs, the tools available to developers working on shared-memory multicore processors have lagged behind. One reason for this is the l...