4722 search results - page 191 / 945 » Encoding Program Executions |
130
click to vote
VMCAI
2007
Springer
15 years 11 months ago
2007
Springer
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of ...
144
click to vote
TCS
2010
15 years 3 months ago
2010
We present some decidability and undecidability results for subsets of the BlenX Language, a process-calculi-based programming language developed for modelling biological processe...
152
Voted
ANOR
2011
15 years 1 days ago
2011
This article deals with the resolution of over-constrained problems using constraint programming, which often imposes to add to the constraint network new side constraints. These ...
169
click to vote
IFIP
2010
Springer
14 years 12 months ago
2010
Springer
Many cryptographic schemes have been designed to enforce information flow policies. However, enterprise security requirements are often better encoded, or can only be encoded, usin...
147
click to vote
CGO
2003
IEEE
15 years 10 months ago
2003
IEEE
Optimizing programs at run-time provides opportunities to apply aggressive optimizations to programs based on information that was not available at compile time. At run time, prog...