981 search results - page 101 / 197 » Semantics-aware trace analysis |
155
Voted
CC
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Profiling can effectively analyze program behavior and provide critical information for feedback-directed or dynamic optimizations. Based on memory profiling, reuse dista...
240
Voted
POPL
2008
ACM
16 years 3 months ago
2008
ACM
Relevance heuristics allow us to tailor a program analysis to a particular property to be verified. This in turn makes it possible to improve the precision of the analysis where n...
142
click to vote
WECWIS
2007
IEEE
15 years 9 months ago
2007
IEEE
Business Process Execution Language (BPEL) is an XML-based language for specifying services. There have been numerous recent research and development efforts in both statically an...
142
click to vote
CONEXT
2005
ACM
15 years 5 months ago
2005
ACM
While the applications using the Internet have changed over time, TCP is still the dominating transport protocol that carries over 90% of the total traffic. Throughput is the key...
125
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Multiplex Ligation-Dependent Probe Amplification (MLPA) is an application that can be used for the detection of multiple chromosomal aberrations in a single experiment...