398 search results - page 23 / 80 » Granularity Control for Distributed Execution of Logic Progr... |
IPPS
1998
IEEE
15 years 4 months ago
1998
IEEE
Parallel processing networks, even full crossbars, that only implement point-to-point and multicast message passing are inefficient for collective communications because multiple ...
ICLP
2005
Springer
15 years 5 months ago
2005
Springer
The relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the part...
114
click to vote
PEPM
2010
ACM
15 years 8 months ago
2010
ACM
A method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations is presented. Such binaries may use operators to directly manipul...
122
click to vote
CCS
2011
ACM
13 years 11 months ago
2011
ACM
The complexity of modern web applications makes it difficult for developers to fully understand the security implications of their code. Attackers exploit the resulting security v...
IJCAI
1989
15 years 27 days ago
1989
Fold-unfold is a well known program transformation technique. Its major drawback is that folding requires an Eureka step to invent new procedures. In the context of logic programm...