5235 search results - page 585 / 1047 » Analysis of Multithreaded Programs |
186
click to vote
ESOP
2008
Springer
15 years 9 months ago
2008
Springer
In this work we address the problem of proving, by static analysis means, that allocating and deallocating regions in the store provides a safe way to achieve memory management. Th...
189
click to vote
USS
2004
15 years 9 months ago
2004
Disassembly is the process of recovering a symbolic representation of a program's machine code instructions from its binary representation. Recently, a number of techniques h...
204
click to vote
GPCE
2009
Springer
15 years 5 months ago
2009
Springer
Template languages are widely used within generative programming, because they provide intuitive means to generate software artefacts expressed in a specific object language. Howe...
232
click to vote
IEEEARES
2009
IEEE
16 years 2 months ago
2009
IEEE
Dynamic taint analysis (DTA) is a technique used for tracking information flow by propagating taint propagation across memory locations during program execution. Most implementat...
227
click to vote
IMSCCS
2006
IEEE
16 years 1 months ago
2006
IEEE
Background: Hydrophobins are fungal proteins that can turn into amphipathic membranes at hydrophilic/hydrophobic interfaces by self-assembly. The assemblages by Class I hydrophobi...