Sciweavers

11716 search results - page 14 / 2344
» Computable symbolic dynamics
Sort
View
PPOPP
1999
ACM
14 years 1 months ago
Automatic Parallelization of Divide and Conquer Algorithms
Divide and conquer algorithms are a good match for modern parallel machines: they tend to have large amounts of inherent parallelism and they work well with caches and deep memory...
Radu Rugina, Martin C. Rinard
GECCO
2009
Springer
113views Optimization» more  GECCO 2009»
14 years 2 months ago
Variable size population for dynamic optimization with genetic programming
A new model of Genetic Programming with variable size population is presented in this paper and applied to the reconstruction of target functions in dynamic environments (i.e. pro...
Leonardo Vanneschi, Giuseppe Cuccu
EUROPAR
2007
Springer
14 years 3 months ago
SymGrid: A Framework for Symbolic Computation on the Grid
This paper introduces the design of SymGrid, a new Grid framework that will, for the first time, allow multiple invocations of symbolic computing applications to interact via the ...
Kevin Hammond, Abdallah Al Zain, Gene Cooperman, D...
CSFW
2011
IEEE
12 years 9 months ago
Security for Key Management Interfaces
—We propose a much-needed formal definition of security for cryptographic key management APIs. The advantages of our definition are that it is general, intuitive, and applicabl...
Steve Kremer, Graham Steel, Bogdan Warinschi
ICPR
2006
IEEE
14 years 10 months ago
Automatic Adjacency Grammar Generation from User Drawn Sketches
In this paper we present an innovative approach to automatically generate adjacency grammars describing graphical symbols. A grammar production is formulated in terms of rulesets ...
Joan Mas Romeu, Bart Lamiroy, Gemma Sánchez...