2943 search results - page 490 / 589 » Software Implementation of Synchronous Programs |
163
click to vote
TCC
2005
Springer
15 years 10 months ago
2005
Springer
We address the problem of using untrusted (potentially malicious) cryptographic helpers. We provide a formal security definition for securely outsourcing computations from a comp...
135
click to vote
CC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper presents the design, implementation and experimental evaluation of a practical region-based partial dead code elimination (PDE) algorithm on predicated code in...
135
click to vote
FSTTCS
2003
Springer
15 years 9 months ago
2003
Springer
We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, “ ”, that allows to model parallel composition while ke...
154
click to vote
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
The traditional model transformation approach is to write transformation programs in a specialized language. Although such languages provide powerful capabilities to automate mode...
134
click to vote
SIGADA
2001
Springer
15 years 9 months ago
2001
Springer
The last years have seen an increasing, albeit restricted simulation of large-scale networks on shared memory parallel platforms. As the complexity of communication protocols and ...