Sciweavers

3907 search results - page 322 / 782
» Time, Knowledge, and Choice
Sort
View
CRYPTO
2007
Springer
143views Cryptology» more  CRYPTO 2007»
16 years 29 days ago
A Hybrid Lattice-Reduction and Meet-in-the-Middle Attack Against NTRU
To date the NTRUEncrypt security parameters have been based on the existence of two types of attack: a meet-in-the-middle attack due to Odlyzko, and a conservative extrapolation of...
Nick Howgrave-Graham
EMSOFT
2007
Springer
16 years 28 days ago
E-FRP with priorities
E-FRP is declarative language for programming resourcebounded, event-driven systems. The original high-level semantics of E-FRP requires that each event handler execute atomically...
Roumen Kaiabachev, Walid Taha, Angela Yun Zhu
FMCO
2007
Springer
118views Formal Methods» more  FMCO 2007»
16 years 28 days ago
Coordination: Reo, Nets, and Logic
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...
Dave Clarke
GECCO
2007
Springer
212views Optimization» more  GECCO 2007»
16 years 28 days ago
An experimental analysis of evolution strategies and particle swarm optimisers using design of experiments
The success of evolutionary algorithms (EAs) depends crucially on finding suitable parameter settings. Doing this by hand is a very time consuming job without the guarantee to ...
Oliver Kramer, Bartek Gloger, Andreas Goebels
HIPEAC
2007
Springer
16 years 28 days ago
Applying Decay to Reduce Dynamic Power in Set-Associative Caches
Abstract. In this paper, we propose a novel approach to reduce dynamic power in set-associative caches that leverages on a leakage-saving proposal, namely Cache Decay. We thus open...
Georgios Keramidas, Polychronis Xekalakis, Stefano...