Sciweavers

3002 search results - page 241 / 601
» Cloud Based Design Optimization
Sort
View
SIGMOD
2009
ACM
201views Database» more  SIGMOD 2009»
16 years 5 months ago
Cost based plan selection for xpath
We present a complete XPath cost-based optimization and execution framework and demonstrate its effectiveness and efficiency for a variety of queries and datasets. The framework i...
Haris Georgiadis, Minas Charalambides, Vasilis Vas...
DSD
2002
IEEE
86views Hardware» more  DSD 2002»
15 years 10 months ago
Using Formal Tools to Study Complex Circuits Behaviour
We use a formal tool to extract Finite State Machines (FSM) based representations (lists of states and transitions) of sequential circuits described by flip-flops and gates. The...
Paul Amblard, Fabienne Lagnier, Michel Lévy
ESTIMEDIA
2008
Springer
15 years 7 months ago
Performance analysis of reconfiguration in adaptive real-time streaming applications
We propose a design optimization framework for adaptive real-time streaming applications. The main contribution is a hybrid approach for performance analysis combining formal anal...
Jun Zhu, Ingo Sander, Axel Jantsch
GECCO
2008
Springer
119views Optimization» more  GECCO 2008»
15 years 6 months ago
Evolutionary synthesis of low-sensitivity equalizers using adjacency matrix representation
An evolutionary synthesis method to design low-sensitivity IIR filters with linear phase in the passband is presented. The method uses a chromosome coding scheme based on the grap...
Leonardo Bruno de Sá, Antonio Carneiro Mesq...
IACR
2011
106views more  IACR 2011»
14 years 5 months ago
Hash Functions Based on Three Permutations: A Generic Security Analysis
We consider the family of 2n-to-n-bit compression functions that are solely based on at most three permutation executions and on XOR-operators, and analyze its collision and preima...
Bart Mennink, Bart Preneel