Sciweavers

3002 search results - page 241 / 601
» Cloud Based Design Optimization
Sort
View
SIGMOD
2009
ACM
201views Database» more  SIGMOD 2009»
16 years 7 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»
16 years 3 days 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 9 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 8 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 6 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