17082 search results - page 3033 / 3417 » Abstractions for Mobile Computation |
186
Voted
IWPC
2002
IEEE
16 years 19 days ago
2002
IEEE
Program understanding tools manipulate program represensuch as abstract syntax trees, control-flow graphs, or data-flow graphs. This paper deals with the use of visitor combinat...
223
click to vote
WCRE
2002
IEEE
16 years 19 days ago
2002
IEEE
The University of Queensland Binary Translator (UQBT ) is a static binary translation framework that allows for the translation of binary, executable programs, from one architectu...
176
click to vote
LATA
2010
Springer
16 years 17 days ago
2010
Springer
Abstract. We consider the efficient simplification of regular expressions and suggest a quantitative comparison of heuristics for simplifying regular expressions. To this end, we...
191
click to vote
ACNS
2010
Springer
16 years 16 days ago
2010
Springer
Abstract. In 2008, Groth and Sahai proposed a general methodology for constructing non-interactive zeroknowledge (and witness-indistinguishable) proofs in bilinear groups. While av...
247
click to vote
ADAEUROPE
2010
Springer
16 years 16 days ago
2010
Springer
Because multicore CPUs have become the standard with all major hardware manufacturers, it becomes increasingly important for ing languages to provide programming abstractions that ...