4722 search results - page 434 / 945 » Encoding Program Executions |
152
click to vote
ENTCS
2007
15 years 6 months ago
2007
The use of typed intermediate languages can significantly increase the reliability of a compiler. By typechecking the code produced at each transformation stage, one can identify...
170
Voted
TSP
2008
15 years 6 months ago
2008
This paper deals with the design of coded waveforms which optimize radar performances in the presence of colored Gaussian disturbance. We focus on the class of linearly coded puls...
195
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
We present role logic, a notation for describing properties of relational structures in shape analysis, databases, and knowledge bases. We construct role logic using the ideas of ...
177
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Genome databases contain diverse kinds of information, including gene annotations and nucleotide and amino acid sequences. It is not easy to integrate such information...
179
click to vote
NDSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Anti-malware companies receive thousands of malware samples every day. To process this large quantity, a number of automated analysis tools were developed. These tools execute a m...