Sciweavers

751 search results - page 62 / 151
» The Distinguishing Chromatic Number
Sort
View
CEC
2007
IEEE
15 years 3 months ago
Ranking-Dominance and Many-Objective Optimization
An alternative relation to Pareto-dominance is studied. The relation is based on ranking a set of solutions according to each separate objective and an aggregation function to calc...
Saku Kukkonen, Jouni Lampinen
CAV
2004
Springer
154views Hardware» more  CAV 2004»
15 years 2 months ago
Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values
Sequential consistency is the archetypal correctness condition for the memory protocols of shared-memory multiprocessors. Typically, such protocols are parameterized by the number ...
Jesse D. Bingham, Anne Condon, Alan J. Hu, Shaz Qa...
CRYPTO
2005
Springer
164views Cryptology» more  CRYPTO 2005»
15 years 4 months ago
Composition Does Not Imply Adaptive Security
We study the question whether the sequential or parallel composition of two functions, each indistinguishable from a random function by non-adaptive distinguishers is secure agains...
Krzysztof Pietrzak
ASIACRYPT
2006
Springer
15 years 2 months ago
On the (In)security of Stream Ciphers Based on Arrays and Modular Addition
Abstract. Stream ciphers play an important role in symmetric cryptology because of their suitability in high speed applications where block ciphers fall short. A large number of fa...
Souradyuti Paul, Bart Preneel
BMCBI
2006
118views more  BMCBI 2006»
14 years 11 months ago
A graphical model approach to automated classification of protein subcellular location patterns in multi-cell images
Background: Knowledge of the subcellular location of a protein is critical to understanding how that protein works in a cell. This location is frequently determined by the interpr...
Shann-Ching Chen, Robert F. Murphy