15792 search results - page 2888 / 3159 » Computational Abstraction Steps |
149
click to vote
CC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We introduce the concept of future values. Using future values it is possible to represent programs in a new control-flow form such that on any control flow path the data...
183
click to vote
ACSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
Code injection continues to pose a serious threat to computer systems. Among existing solutions, W X is a notable approach to prevent the execution of injected code. In this paper...
148
click to vote
ASIACRYPT
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In this paper we combine a recent rotational cryptanalysis with the rebound attack, which results in the best cryptanalysis of Skein, a candidate for the SHA-3 competitio...
156
click to vote
ASPDAC
2010
ACM
15 years 4 months ago
2010
ACM
- The design of embedded computing systems faces a serious productivity gap due to the increasing complexity of their hardware and software components. One solution to address this...
256
click to vote
BIOCOMP
2010
15 years 4 months ago
2010
Abstract-- Modeling the intermolecular reactions in a single cell is a critical problem in computational biology. Biochemical reaction systems often involve species in both low and...