4725 search results - page 718 / 945 » Dependence-Based Program Analysis |
141
Voted
ASAP
2004
IEEE
15 years 8 months ago
2004
IEEE
Biosequence similarity search is an important application in modern molecular biology. Search algorithms aim to identify sets of sequences whose extensional similarity suggests a c...
126
click to vote
AISC
2006
Springer
15 years 8 months ago
2006
Springer
In program analysis and verification, there are some constraints that have to be processed repeatedly. A possible way to speed up the processing is to find some relations among the...
144
Voted
CC
2004
Springer
15 years 8 months ago
2004
Springer
This paper presents the integration of Soot, a byte-code analysis and transformation framework, with an integrated development environment (IDE), Eclipse. Such an integrated toolki...
148
Voted
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
176
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
We extend a previous type system for the -calculus that guarantees deadlock-freedom. The previous type systems for deadlockfreedom either lacked a reasonable type inference algorit...