5387 search results - page 590 / 1078 » Generating generic functions |
174
click to vote
JVM
2004
15 years 8 months ago
2004
This paper presents kernel plugins, a framework for dynamic kernel specialization inspired by ideas borrowed from virtualization research. Plugins can be created and updated inexp...
186
click to vote
CEC
2010
IEEE
15 years 8 months ago
2010
IEEE
Embodying robot morphologies evolved in simulation can present serious problems for an engineer when translating simplified simulated mechanisms into working devices, often drawing...
178
click to vote
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
Modularity and symmetry are two properties observed in almost every engineering and biological structure. The origin of these properties in nature is still unknown. Yet, as engine...
180
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
Let G1 be a cyclic multiplicative group of order n. It is known that the Diffie-Hellman problem is random self-reducible in G1 with respect to a fixed generator g if (n) is known....
222
click to vote
ENTCS
2006
15 years 7 months ago
2006
We describe an automatic complexity analysis mechanism for programs extracted from proofs carried out with the proof assistant Coq. By extraction, we mean the automatic generation...