12272 search results - page 101 / 2455 » Experimental program analysis |
BMCBI
2010
15 years 28 days ago
2010
Background: Successful application of crosslinking combined with mass spectrometry for studying proteins and protein complexes requires specifically-designed crosslinking reagents...
120
Voted
EUROSYS
2006
ACM
15 years 10 months ago
2006
ACM
Nearly ten years after its first presentation and five years after its first application to operating systems, the suitability of AspectOriented Programming (AOP) for the devel...
96
Voted
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
The term grammar-based software describes software whose input can be specified by a context-free grammar. This grammar may occur explicitly in the software, in the form of an in...
130
click to vote
PPOPP
2003
ACM
15 years 6 months ago
2003
ACM
Speculative multithreading (SpMT) architecture can exploit thread-level parallelism that cannot be identified statically. Speedup can be obtained by speculatively executing threa...
84
Voted
ASPLOS
2006
ACM
15 years 6 months ago
2006
ACM
We present the design, implementation, and evaluation of HeapMD, a dynamic analysis tool that finds heap-based bugs using anomaly detection. HeapMD is based upon the observation ...