939 search results - page 64 / 188 » Improving Dynamic Data Analysis with Aspect-Oriented Program... |
151
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
We describe a new automatic static analysis for determining upper-bound functions on the use of quantitative resources for strict, higher-order, polymorphic, recursive programs de...
146
click to vote
MICRO
2009
IEEE
15 years 10 months ago
2009
IEEE
Hardware support for dynamic analysis can minimize the performance overhead of useful applications such as security checks, debugging, and profiling. To eliminate implementation ...
127
click to vote
PEPM
1993
ACM
15 years 7 months ago
1993
ACM
Binding-time analysis is a crucial component of an ofine partial evaluator. The accuracy of the binding-time information that it produces determines the degree of specialization o...
132
click to vote
PLDI
2006
ACM
15 years 9 months ago
2006
ACM
One common technique for preventing data races in multi-threaded programs is to ensure that all accesses to shared locations are consistently protected by a lock. We present a too...
128
click to vote
ISBI
2008
IEEE
16 years 4 months ago
2008
IEEE
Multi-subject analysis of functional Magnetic Resonance Imaging (fMRI) data relies on within-subject studies, which are usually conducted using a massively univariate approach. In...