5639 search results - page 286 / 1128 » Timed Abstract Non-interference |
95
Voted
FPL
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Globally Asynchronous Locally Synchronous (GALS) Systems have provoked renewed interest over recent years as they have the potential to combine the benefits of asynchron...
130
click to vote
FSE
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. In this paper, we present differential attacks on the selfsynchronizing stream cipher KNOT. Our best attack recovers 96 bits of the secret key with time complexity of 26...
118
Voted
GECCO
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. This paper investigates the use of a steady state genetic algorithm (GA) to perform quadrilateral finite element mesh smoothing. GAS short for genetic algorithm smoother...
123
Voted
FCT
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. The maximum intersection problem for a matroid and a greedoid, given by polynomial-time oracles, is shown NP-hard by expressing the satisfiability of boolean formulas in...
137
click to vote
GD
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We present a simple, linear-time algorithm to determine horizontal coordinates in layered layouts subject to a given ordering within each layer. The algorithm is easy to ...