2018 search results - page 209 / 404 » Code Normal Forms |
108
click to vote
ARC
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We describe a new approach for creating hardware description language (HDL) specifications for custom instructions, to form part of the instruction-set architecture (ISA)...
112
click to vote
ISCAPDCS
2004
15 years 3 months ago
2004
We present a scheme to protect mobile code from malicious hosts. We propose a transformation scheme that changes the semantics of a program using pseudorandom I/O scrambling, cond...
124
click to vote
IADIS
2003
15 years 3 months ago
2003
: In this paper, we present NetAirt – a redirection system that separates redirection mechanisms from redirection policies. NetAirt is implemented in the form of a module for the...
142
click to vote
CADE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In the context of deductive program verification, supporting floatingpoint computations is tricky. We propose an expressive language to formally specify behavioral proper...
118
click to vote
ACTA
2007
15 years 2 months ago
2007
We provide a novel model to formalize a well-known algorithm, by Chandra and Toueg, that solves Consensus among asynchronous distributed processes in the presence of a particular ...